In 1962 a mimeographed sheet of paper fell into my possession. It had been prepared by Ernest Adams of the Philosophy Department at Berkeley as a handout for a colloquim. Headed 'SOME FALLACIES OF FORMAL LOGIC' it simply listed eleven little pieces of reasoning, all in ordinary English, and all absurd. I still have the sheet, and quote a couple of the arguments here to give the idea. • If you throw switch S and switch T, the motor will start. There fore, either if you throw switch S the motor will start, or, if you throw switch T the motor will start . • It is not the case that if John passes history he will graduate. Therefore, John will pass history. The disconcerting thing about these inferences is, of course, that under the customary truth-functional interpretation of and, or, not, and if-then, they are supposed to be valid. What, if anything, is wrong? At first I was not disturbed by the examples. Having at that time consider able personal commitment to rationality in general and formal logic in par ticular, I felt it my duty and found myself easily able (or so I thought) to explain away most of them. But on reflection I had to admit that my expla nations had an ad hoc character, varying suspiciously from example to example.
Cooper demuestra ser uno de los mejores lógicos que he leído. comenta sobre tantos temas que es imposible enumerarlos pero, así que recuerde, trata: la relación de la lógica con la pragmática, las descripciones de 'caja negra' y otros enfoques metodológicos interesantes, los autómatas de lenguaje, las relaciones lógicas vs. las cuasi-lógicas, la teoría purport-import del significado, la lógica inductiva, los autómatas probabilistas, la relación de su teoría de los estados de información con la probabilidad bayesiana, las aplicaciones concretas al estudio del caso 'if-then', la ambigüedad, la distinción analítico-sintético y, por último, las (posibles) aplicaciones a la IA.
su objetivo es construir un nuevo campo de estudio en el que formular hipótesis precisas sobre el uso del lenguaje ordinario, la lógico-lingüística. se puede decir que todo el libro gira en torno al caso paradigmático de los condicionales indicativos; todos sus esfuerzos por definir el lugar preciso de la lógica-lingüística le permiten testear dos hipótesis: la que colapsa condicional material e indicativo y la que él defiende, basada en una teoría de conectivas probabilísticas y estados de información. finalmente, Cooper afirma haber probado empíricamente que la segunda es más cierta que la primera (interesantemente, la lógica resultante es distinta a la de una propuesta suya anterior).
aunque algunos puedan considerar que Cooper elude argumentos como el de Grice, se pueden extraer de sus páginas suficientes ideas como para mostrar que sus intuiciones siguen vigentes hoy en día.
como decía, si hubiera más estrellas se las daría.