Los fundamentos lgicos de la cognicin

1. Introduccin
John Macnamara y Gonzalo E. Reyes

Adems, nos encontramos con la caracterstica distintiva de todos los fenmenos

cognitivos
ser ... referencia a algo como un objeto.
- Franz Brentano

Abordamos esta introduccin al lector casual que desea tener una breve mirada
de la cognicin que dio origen a esta coleccin y al proyecto que creemos aqu se puso
en marcha. La introduccin sita el proyecto histricamente, esboza cmo se relaciona
con otros proyectos, en particular con psicologa experimental estndar, la ciencia
cognitiva y la filosofa de la mente (incluyendo el enfoque de Husserl). Tambin
intentamos hacer frente, muy brevemente, con ciertas objeciones sobre a la opinin de
que no puede haber una teora matemtica precisa de la cognicin.
La cognicin es solo una palabra para los actos de conocer y estados de
conocimiento, as como para los estados de querer (o desear) y de decisiones en la
medida en que son guiados por conocimiento. Extendemos el trmino para incluir la
teora de tales actos y estados. Es en este uso extendido que nos permitimos el ttulo de
este volumen: los fundamentos lgicos de la cognicin. Est claro que queremos decir
los fundamentos lgicos de la teora del conocimiento.
El estudio de los fundamentos lgicos de la cognicin exige un lector
contemporneo atento y criterioso. Lanza Rips (de prxima publicacin) comenta que
tradicionalmente, los psiclogos interesados en los procesos cognitivos, han adoptado
un enfoque psicomtrico o uno experimental. El enfoque psicomtrico consiste en
disear pruebas mentales de rasgos o habilidades - la comprensin, sensibilidad a los
dems, la inteligencia, etc. - y estudiar las correlaciones entre los resultados de las
pruebas. La experimental esta enfocado en guiar la teora. La principal lnea es disear
una teora de pruebas sobre las operaciones mentales. Hoy en da, el experimento es a
veces acompaado de modelos informticos. Todava los modelos informticos es
suficientemente vigorosa y autnoma para merecer su nombre propio: la estrategia
modelo.
Sin excluir ninguno de los tres enfoques que acabamos de mencionar, la presente
coleccin adopta una diferente, que propiamente se puede llamar el enfoque cognitivo.
Ello implica que la referencia es la base primitiva. La coleccin es interdisciplinaria
pero cada ensayo es una contribucin a la teora de la referencia. Por supuesto no nos
imaginamos que nuestro proyecto sea el primero en tomar la referencia. Nos inclinamos
a creer, sin embargo, que en ninguna parte de la escena contempornea tuvo el papel
central y fundamental que tiene aqu. Vemos este volumen como un primer paso hacia el
desarrollo de una teora unificada de la cognicin en la que la referencia es la base
primitiva. Desde la perspectiva de la historia de la psicologa, la ambicin est lejos de
ser nueva. De hecho, es una vuelta a los intereses y punto de vista de la mayora de los
psiclogos a travs de los aos.
Siguiendo la sugerencia de Aristteles en De anima (Libro 3, captulo 3), la
prueba ms antigua para ver si un fenmeno psicolgico era cognitivo, se deba
comprobar si los predicados 'verdadero' y 'falso' eran aplicables a ella. Por ejemplo, un
hombre puede sentirse triste, pero no tiene sentido preguntar si su tristeza es cierto o
falsa. Por el contrario, si l cree que fue mal utilizado, tiene perfecto sentido preguntar
si su creencia es verdadera o falsa. Los lugares de prueba de la tristeza son fuera de la
cognicin y lo de la creencia en el interior. Esto no es negar que puede haber
componentes cognitivos en estados de tristeza.
La intuicin detrs de la visin aristotlica es que los estados cognitivos y los
acontecimientos afirman que tienen en el mundo un determinado estado de cosas. La
afirmacin puede ser verdadera o falsa. Para hacer cualquier aseveracin, sin embargo,
la mente debe hacer contacto con el mundo, el tipo de contacto en la que de referencia
es central. Es decir, los estados cognitivos tienen cadenas de smbolos interpretados en
su ncleo. Ellos pueden comprender mucho ms que smbolos interpretados pero nunca
menos. No es de extraar, entonces, que Franz Brentano, un descuidado fundador de la
psicologa moderna y l mismo un gran estudioso de Aristteles debe especificar
"referencia a algo/cosa como un objeto", como la distintiva marca de lo cognitivo.
En parte para explorar la teora de la referencia, Aristteles fund la lgica, que
incluy su teora de la semntica de varias clases de expresiones del lenguaje natural.
Hoy en da, con la ayuda de la teora matemtica de categoras y en especial su
componente lgico, lgica categrica, estamos en una posicin mucho ms fuerte para
perseguir el programa original de Aristteles. De hecho, vemos la relacin entre la
lgica categrica y la cognicin como paralelas para que entre el clculo y la dinmica.
La motivacin para tomar este paralelismo es el papel del sujeto de John Macnamara y
la respuesta de Hilary Patnam. La relacin terica ms general entre lgica (objetiva y
subjetiva) y la cognicin, as como la adecuacin de la teora de la categora en el
contexto, se analiza en el peridico por F. William Lawvere.
Una reaccin comn es decir que todo el proyecto es un error en el tema de que
la mente no es puramente lgica. Los motivos habituales para la reaccin negativa se de
que la mente est influenciada por las emociones y por los mecanismos de defensa, que
militan desapasionadamente contra la lgica desapasionada. La reaccin parece
plenamente justificada en la medida en que afecta a lo que la gente dece y por qu
llegan a las conclusiones que hacen. Pero esto tiene poco que ver con el proyecto El
proyecto es estudiar la referencia de expresiones del lenguaje natural, tales como el
nombre propio 'Richard Nixon, el sustantivo "perro", el sustantivo "agua" de masas, el
predicado 'enfermo'. No importa en absoluto si los altavoces aman u odian Richard
Nixon, si utilizan el nombre con calma o en la ira; se escoge la misma persona,
independientemente del estado emocional del usuario o agenda poltica. Y as, con
otros tipos de expresiones. Esto es paralelo al proyecto lingstico de explicar por qu,
por ejemplo, las palabras en ingls en ciertas combinaciones son gramaticales y en
ciertos otros antigramaticales.
Otra fuente de duda es con la forma en que las expresiones deben ser
interpretadas y la forma en que las inferencias deben ser dibujadas; en otras palabras, la
lgica se ocupa de idealizaciones de interpretacines y deduccin. En psicologa, por el
contrario, se considera el estudio de la interpretacin de los hechos y los hechos de
cmo las personas sacan conclusiones, que son, con la suficiente frecuencia, errnea
desde el punto de vista lgico. Cuando la gente escuchar una propuesta para tomar la
relacin entre la lgica y la psicologa como paralela a la existente entre el clculo y la
dinmica, sealan que el clculo se aplica a la dinmica en virtud de la idealizacin y
simplificacin adecuado. Por ejemplo, la matematizacin de Galileo del movimiento
abstrado a partir de la friccin y la resistencia del aire. La primera ley del movimiento
de Newton afirma describir el movimiento en el espacio libre de fuerzas, que no existe
en ninguna parte de la realidad. Esta aproximacin inspir la idealizacin y la
simplificacin que llev tanto para el clculo y el crecimiento de la fsica. En este
contexto, cmo vamos pensar en la cognicin?
 Nuestra respuesta tiene dos partes. La primera consiste en pasar de los lenguajes
naturales con sus ambigedades para el lenguaje del pensamiento, tomando este ltimo
sea inequvoca y semnticamente perspicaz. Dos consideraciones animan este
movimiento. Una es que somos capaces de co prender las distintas interpretaciones de
frases que tienen expresiones ambiguas; y podemos co prender las distintas estructuras
lgicas que pueden estar correctamente asociados con frases en lenguaje natural. No se
sigue simplemente que nuestra mente es capaz de captar diversas posibilidades de
interpretacin, pero tenemos en nuestra mente los poderes expresivos de representarlos
a todos claramente. Es natural postular un lenguaje de pensamiento en el cual alojar
estos poderes expresivos - es decir, una lengua de la mente en la que se recopilan frases
en lenguaje natural. La segunda consideracin que soporta el paso a la lengua de
pensamiento es que hay al menos un rea de la cognicin donde un enriquecido lenguaje
natural es a la vez ambigua y semnticamente perspicaz, a saber, el lenguaje de las
matemticas. Esto significa que el lenguaje de las matemticas que proponemos tiene
instancias de idealizacin,; a pesar que cualquier uso particular puede apartarse en cierta
medida de lo ideal. (Estos comentarios deben mucho a Michael Makkai.)
La segunda parte de nuestra respuesta a la consulta sobre la idealizacin en la
cognicin es ms audaz y ms especulativa. Lo vemos como algo similar en espritu a la
postulacin de esas simplicidades fundamentales de la dinmica, las Leyes de Newton
del movimiento. Postulamos que las propiedades ms bsicas de la psicologa cognitiva,
las simplicidades subyacentes de la cognicin, son un show de las propiedades
universales de la teora de las categoras. Lo que esto significa es explicado en el
artculo de Franois Magnan y Gonzalo E. Reyes, que est escrito como una
introduccin a la teora de categoras para lectores poco sofisticados matemticamente.
Varios ejemplos de confirmacin se dan en la papel de Marie La Palme Reyes, John
Macnamara y Gonzalo E. Reyes, el trabajo de Macnamara y que por Macnamara y
Reyes.
Unas palabras preliminares acerca de por qu la lgica categrica y modelos
categricos en lugar de lgica clsica y modelos de teora de conjuntos. La lgica
clsica, con sus modelos de teora de conjuntos, creci a partir del estudio de la
aritmtica. Ahora la cantidad de aritmticos con propsitos que son eternas e
inmutables, mientras que los objetivos de la mayora de los discursos son efmeros y
cambiables. Por otra parte, la teora de conjuntos generalmente slo reconoce un solo
nombre primitivo contable, SEF. En algunas versiones, la teora de conjuntos
reconoce un nombre ms contable, a saber, Ur-elementos, cuya interpretacin es slo
cualquier cosa que carece de miembros. Aunque la igualdad de dos conjuntos es
definible en la teora como la relacin de tener los mismos miembros, este no funciona
para Ur-elementos, precisamente porque carecen de la configuracin terica estructural.
Se supone simplemente que urelements viene equipados con una nocin de la igualdad
y el asunto queda en eso. Incluso la geometra axiomatizada por Hilbert (1902) tiene
tres nombres contables primitivos: 'poinf, line 'y' plano. Est descartado que las
preguntas de todos los das de la clase - zapatos, barcos y lacre, coles y reyes debe ser
reducido a un solo tipo. Consideramos los intentos de los lgicos clsicos para tratar
todas estas clases como predicados de una clase universal COSA como equivocadas y
engaosa. Hay muchas razones para rechazar la idea, la principal es que no tenemos
acceso a tal clase - una especie que pretender abrazar bicicletas, as como los errores en
la gramtica. Por no tener idea de cmo individualizar objetos sin restricciones a la
nocin de cosa (ver los trabajos de Macnamara; Putnam, La Palme Reyes, Macnamara y
Reyes). De ello se desprende que necesitamos una alternativa a la lgica clsica.
Llamamos a la alternativa la lgica de clases "- un tipo ms de lgica.
El problema con la teora de conjuntos corre an ms profundo. Aunque los
conjuntos pueden tener un e-estructura rica (dada por los miembros de los miembros
de ...), sobre todo en versiones no bien fundadas (vase Aczel, 1988), hay un sentido en
el que Los conjuntos son la categora ms empobrecida. Funciones entre conjuntos no
son
necesarios para preservar este e-estructura y por lo tanto, desde el punto de vista mapas,
los objetos en conjuntos parecen colecciones no estructurados de elementos (que puede
ser pensado como puntos) en el que las funciones pueden operar en una manera sin
restricciones. El punto de vista categrico, en la que los objetos y los mapas son ambos
bsicos, requiere que los mapas puedan conservar la estructura de los objetos. En la
categora de Grficos, por ejemplo, los mapas entre las grficas estn restringido por la
estructura grfica: estos envan vrtices de vrtices y las flechas a las flechas de tal
manera como para preservar las relaciones de incidencia entre los vrtices y flechas. Por
ahora tenemos una gran cantidad de categoras con propiedades generalizadas a las
categora de conjuntos (Sets). Estos pueden ser provechosos al ser sustituidos por
conjuntos en la construccin de modelos de procesos cognitivos. De hecho, la mente
est involucrada en esencia con construcciones que parece tan natural y universal que
deben ser severamente restringidos. De ello se desprende que la captura de estas
construcciones, precisamente, necesitamos una teora que prev la posibilidad de la
construccin de varias limitaciones en el nivel bsico. La teora de categoras da forma
sistemtica para construir y ejemplos de estudios con objetos estructurados como para
forzar las restricciones deseadas.
La psicologa cognitiva, en el sentido descrito, tiene slo un ligero solapamiento
con la disciplina que lleva hoy el nombre de "ciencia cognitiva". La coincidencia es en
esas reas que tienen referencia, como el aprendizaje en los nios y la teora de los
conceptos en los adultos. Esperamos que el volumen haga contribuciones sustanciales y
aclaraciones en estas reas. Con los componentes del modelo computacional de la
ciencia cognitiva, tomamos en serio la responsabilidad de ir ms all de estrategias
experimentales estndar en ofrecer una teora unificada de una parte importante de la
cognicin. Los ordenadores, sin embargo, no interpretan sus smbolos en una realidad
externa a la computadora. En tanto los informticos intentan modelar estados
cognitivos, ellos requieren de la postura de que Jerry Fodor (1981) llamada solipsismo
metodolgico. El impacto de esta postura ha sido descrito por el chiste de que el
solipsismo metodolgico significa la psicologa de la piel. El mundo cae de (a) la vista,
por as decirlo, y con ella desaparece referencia al mundo. Esto no es de ninguna
manera negar un papel de las computadoras en el modelado de otras reas de la
psicologa, como la percepcin; ni, por supuesto, negar las habilidades computacionales
de la mente.
Una pregunta que a veces se nos pide es la psicologa cognitiva se refiere a la
tradicional relacin de Brentano a la obra de Edmund Husserl, estudiado por Bretano.
En cara de las cosas, Husserl desarroll una teora de los objetos y del conocimiento de
los objetos, una teora que tiene puntos de contacto con el enfoque de modelado de la
ciencia cognitiva (vase Dreyfus y Hall 1982, Introduccin). En parte para manejar esta
consulta, pedimos Dagfinn Fallesdal para escribir el artculo sobre Husserl. Este
documento tiene dos importantes funciones. Follesdal explica que Husserl abandon el
criterio para la mental de Brentano (referencia a algo como un objeto) porque Brentano
haba dejado de dar una teora adecuada de los objetos ficticios. Mientras que Husserl
mismo no parece haber tenido xito donde Brentano fracasa, consideramos que sus
preocupaciones eran plenamente justificadas. En su artculo, Marie La Palme Reyes
propone una nueva solucin al problema de la referencia a los objetos de ficticios, una
solucin que creemos que nos permite mantener la caracterizacin de Bretano de lo
mental. Follesdal pasa a explicar la proia teora de Husserl de la construccin mental de
los objetos de estados intencionales, su teora de la noema (nmada?). Si bien hay sin
duda ideas de gran valor en noema de Husserl, nos parece que el proyecto en su
conjunto debe fallar por falta de una adecuada teora de tipos para individuar y manejar
la identidad de los objetos de la cognicin. La insuficiencia en planteamiento de Husserl
se muestra en el manejo de la existencia. Su epoche o parntesis de la existencia intenta
eludir la cuestin de la existencia. Para iluminar el pensamiento de Husserl, Follesdal
llama la atencin sobre la figura ambigua pato / conejo, que acento que el modo que
nosotros interpretamos a una presentacin perceptual puede en nada depender en la
inmediata matriz perceptiva. Esto es an ms evidente en la percepcin "no-ambigua":
la forma en que interpretamos la presentacin perceptual proporcionada por, decir, un
nio - como un nio, un hijo, una persona, un animal, etc. - puede depender en nada de
la matriz perceptual inmediata. Por todo eso, muchacho, hijo, persona, ANIMAL son
distintos tipos, aunque relacionados; y la existencia de muchachos, hijos, personas y
animales parece bastante problemtico. Esto plantea un reto que, a nuestro juicio,
Husserl no manejar de manera satisfactoria, que de dar cuenta de las relaciones entre
esos tipos obviamente relacionados como as como las relaciones entre los rangos
variables de existencia de su miembros. Por ejemplo, el rango de la existencia para un
nio y para el relato de una persona es diferente. De ello se desprende que un nio no es
idntico con la persona relacionada. Para manejar las relaciones como la que existe
entre la de nio y la de persona es una de las tareas bsicas de la lgica de clases.
Otra de las tareas en el mbito de la intencionalidad es caracterizar el contenido
de las creencias y dar cuenta de cmo las creencias son individualizadas; como contar
dos creencias como la misma creencia y cuando contarlos como diferentes. Las
creencias estn en el centro de los estados intencionales (referenciales), esto es
obviamente, una tarea clave que los filsofos ya han dedicado una gran cantidad de
atencin. Martin Hahn y Philip Hanson dedican sus trabajos a este problema.
Las teoras de la semntica de las expresiones de lenguaje natural restringen las
teoras psicolgicas de los requisitos previos para aprender a interpretar tales
expresiones y teoras de cmo se aprenden. Macnamara y Reyes exploran las
implicaciones psicolgicas de la teora de los tipos. Su papel junto con los papeles
relacionado por La Palme Reyes, Macnamara y Reyes lo han estudiado desde el punto
de vista terico de Alberto Peruzzi y desde el punto de vista del trabajo experimental
con nios por Geoff Hall. La coleccin en su conjunto hace hincapi en la extensin de
los recursos lgicos que estn implicados en las formas ms simples de pensamiento de
la vida cotidiana. Ahora, esto es una cosa para especificar los recursos lgicos en un
camino general; otra es especificar la forma en la que se realizan en la mente. Este
ltimo es el problema que los estudios Martin Braine.
Otra forma de abordar el problema de Martin Braine en descubrir las
propiedades mentales de la mente, es buscar por los universales lingsticos. Es tentador
basar las propias afirmaciones sobre los recursos lgicos en intuiciones acerca de las
propiedades semnticas de las categoras gramaticales con el nmero pequeo de
idiomas con la que uno pasa a ser familiar. Si, sin embargo, uno reivindica el papel
fundamental en cognicin de una cierta estructura lgica, es razonable preguntarse si la
estructura lgica aparece en todas las lenguas naturales. Los trabajos de Emmon Bach y
Jeff Pelletier se dedican a este tema la lingstica universal relacionada con el papel
lgico de las categoras sintctica.
El trabajo que aqu se presenta es ms que una parte de lo que ya se ha hecho y
una mera fraccin de lo que queda por hacer.
No es raro escuchar la opinin de que la intuicin lingstica es suficientemente
confiable para fundamentar teoras slidas de la sintaxis, la morfologa y la fonologa,
pero que las intuiciones semnticas son poco fiables. Desde la intuicin lingstica,
queremos afirmar que las intuiciones bsicas relativas a la referencia - la referencia de
los nombres propios, contar los sustantivos, sustantivos de masas y predicables - son tan
slido como cualquier cosa en matemticas. Creemos que esto se hace evidente cuando
la referencia es abordada con herramientas matemticas suficientemente flexibles.
Esperamos que esta coleccin de documentos ayude a difundir esta conviccin. Era, nos
apresuramos a aadir, la conviccin de Franz Brentano, y en menor medida, de ese otro
padre fundador de la psicologa moderna, Wilhelm Wundt (ver Macnamara la prxima
publicacin). Las generaciones que siguieron pierden de vista su programa psicolgico.
Es esencial para poner las cosas en orden. Hay mucho en juego, porque sin la correcta la
comprensin de la lgica, lo que est en juego es la posicin que le corresponde en el
estudio de la psicologa a la condicin.
 2. Lgica y cognicin
John Macnamara

1. Introduccin
La posicin recibida en lgica y en cognicin es que los dos sujetos tienen poco o nada
que ver uno con el otro. Esta posicin, adoptada el siglo pasado, es el resultado de dos
eventos. Uno fue el divorcio entre filosofa y psicologa. En el asentamiento despus del
divorcio, la lgica, la especificacin habitual de la inferencia correcta, se fue para la
filosofa, mientras que para la psicologa fue lo que se ve como los hechos mentales de
la vida. Podemos expresar la divisin como:

Normas de perfeccin hechos

=
Filosofa psicologa

El segundo evento fue el cierre del debate del psicologismo. Este debate era sobre la
relacin adecuada entre la lgica y la psicologa. Uno lado sostuvo que las bases de
lgica descasaban sobre una base psicolgica; que la verdad de afirmaciones lgicas y
la solidez de las reglas de inferencia lgica estn garantizados por los hechos de la
psicologa. Esta posicin aparece con toda su fuerza en Fries Jakob (1783-1844) y
Friedrich Beneke (1798-1854) y fue compartida por muchos lgicos del siglo XIX
como John Stuart Mill. El debate se instalo en la mayora de la gente por la aparicin de
dos libros: Gottlob Frege (1884), Los fundamentos de la aritmtica; y Edmund Husserl
(1900), Lgica Investigaciones. Estos libros argumentaron que:
(i) lgica no deriva sus principios bsicos de la psicologa,
(ii) La lgica no describe los estados psicolgicos y eventos.
Elliott Sober (1978) capta algo de la atmsfera de los tiempos: "Mientras que los
psiclogos se iban, los filsofos dan portazos detrs de ellos. Esto demuestra una
tercera posicin, que Susan Haack (1978) atribuye a Frege:
(iii) "La lgica no tiene nada que ver con los procesos mentales." (P. 238)
 Mientras Frege duda argumentado que la lgica no tiene nada que aprender de la
psicologa, sin embargo no es del todo claro, como Notturno (1984) que neg que la
psicologa pudiera aprender de la lgica.
Por todo eso, (iii) describe bien cmo los psiclogos consideran la lgica. La
bsqueda a travs de algunos de los manuales ms conocidos de psicologa y ciencia
cognitiva revela ya sea un total abandono de la lgica o de la actitud que, como mucho,
la lgica es una cantera de la cual extraer hiptesis para la investigacin experimental de
los procesos de pensamiento humano. Una excepcin es la obra de Jean Piaget, a pesar
de que con frecuencia es atribuido a los nios las normas y esquemas de inferencia
ilgicas, haciendo as la aparicin de unos sonido lgicamente totalmente misterioso.
Uno de los pocos psiclogos en escribir sobre el debate del psicologismo es George
Humphrey. En su influyente libro, Pensamiento (1951) afirma Humphrey que polmica
de Husserl contra el psicologismo habra "liberado la psicologa de los cadenas de la
lgica" (. p 78). George Miller (1951) en el mismo ao puso la relacin entre las dos
disciplinas de la siguiente manera: "El hecho es que la lgica es un sistema formal, al
igual que la aritmtica es un sistema formal, y esperar a que sujetos no entrenados
piensen lgicamente lo mismo que esperar a nios en edad preescolar conocer la tabla
de multiplicar "(p. 806). Un lejano grito de Leibniz lgica es natural!
Como veremos, no todos los psiclogos estn de acuerdo con Miller. Al mismo
tiempo, ningn departamento de psicologa, por lo que yo s, insiste en que sus
estudiantes estudien lgica. Insisti para que estudien estadstica como herramienta
oficial, que curiosamente no entra la teora de psicologa. En filosofa se insitito que los
estudiantes estudien lgica como herramienta oficial, donde la lgica con frecuencia
juega un papel esencial en la teora. Es tentador, a continuacin, establecer la siguiente
ecuacin:

Lgica Estadstica
=
Filosofa Psicologa

Los filsofos parecen pensar que la lgica es una herramienta til para explorar y
expresar ciertos estndares de perfeccin que se aplican a los humanos razonamiento.
Desde los psiclogos, en general, han evitado tales normas, ven poca necesidad de una
educacin en la lgica.
 Mi estrategia, despus (1) de esta seccin introductoria y (2) una nota de la
antecedentes histricos de la divisin del trabajo entre la filosofa (con la lgica) y la
cognicin, es (3) argumentar brevemente (porque he presentado el caso ms a fondo en
Macnamara 1986) que la lgica es de gran importancia para la psicologa cognitiva; (4)
para argumentar con mayor extensin, en contra de la actual creencia, que la lgica
tiene mucho que aprender de la psicologa. (5) Reclamo, sin embargo, que la lgica no
se basa en la psicologa y que la lgica no describe los estados mentales y eventos. (6)
La psicologa, segn creo, es ms amplia que la de la mayora de los actuales
psiclogos, as que voy a hacer algunas observaciones sobre como considero deba ser la
psicologa. (7) Concluyo con una declaracin de la intencin de poner en perspectiva los
diversos elementos en este papel.
Mi tesis es que: la lgica y la psicologa constrien mutuamente el uno al otro en
algo de la manera como matemticas y fsica se restringen el uno al otro. El clculo, por
ejemplo, se invent para expresar y manejar conceptos que se requieren en el estudio de
las fuerzas fsicas y el movimiento de los cuerpos fsicos. Por todo eso, el clculo es un
anlisis de matemtica continua, no de cuerpos fsicos o su movimiento del espacio
fsico. El clculo, entonces, tiene una vida propia aparte de la mecnica. En el mismo, el
clculo del tiempo es esencial para la teora de la mecnica de dos maneras: es el idioma
principal en el cual expresar la teora (testigo las ecuaciones de Hamilton y la ecuacin
de Schrodinger); es la principal herramienta conceptual que limita la construccin y
prueba de la teora. Del mismo modo, espero mostrar, que la lgica es un componente
esencial de la teora de la cognicin: suministra el lenguaje matemtico adecuado,
expresar las propiedades y los procesos cognitivos y un adecuado instrumento
matemtico con el que explorar ms a fondo. Las propiedades y los procesos en
cuestin implican la capacidad de interpretar smbolos y comprender las implicaciones
de las relaciones entre las frases. Por todo esto, la lgica matemtica tiene una vida
propia. La lgica no es ms que cognicin como el clculo es mecnica - a pesar que la
lgica est configurada para expresar y manejar la interpretacin de los smbolos y de
las implicaciones entre frases. En resumen, la lgica y la cognicin se constrien entre
s al igual que el clculo y mecnica.
En relacin con esto, tambin se puede apuntar a la teora de la lingstica y la
capacidad psicolgica para producir y reconocer frases gramaticales. La teora de la
gramtica y la teora de la psicolingstica se limitan mutuamente el uno al otro. El
ejemplo es menos probable, sin embargo, en la medida en que normalmente uno no
incluye la semntica bajo la gramtica.

2. Nota histrica sobre la divisin del trabajo entre Filosofa y Psicologa

Sospecho que la psicologa dio la espalda a los estndares de la perfeccin y los ideales
cuando Thomas Hobbes adopt la cinemtica de Galileo como el modelo para la
psicologa (ver Macnamara 1990). Ciertamente, la fsica (cinemtica incluida) idealiza -
sealar centros de masa, para los espacios de fuerza libre, a los gases ideales. Pero los
ideales estn en la teora, no en el mundo fsico descrito por la teora. Una psicologa
que imita la fsica tambin asume que los ideales estn ms bien en la realidad mental.
Un ejemplo de un ideal psicolgico es la nocin de coeficiente intelectual del individuo,
ya que la puntuacin media obtenida por el individuo en una serie infinita de pruebas de
inteligencia sin aprender. En una psicologa tal, sin embargo, los ideales no estn en la
mente sino en la teora; ellos estn convencidos que son medios que ayudan al
desarrollo de la teora.
Qu diferente es el enfoque de la mente humana de San Agustn o Santo Toms
de Aquino? El antiguo enfoque se encuentra en Descartes y Leibniz. La tercera serie de
objeciones a las Meditaciones de Descartes, escrito por Hobbes (y Descartes de
respuesta a ellos) ya presagiar la desaparicin del sujeto material o la psicolgico. Un
solo ejemplo soporta para todos. En la quinta de las Meditaciones, Descartes habla de
imaginar un tringulo que "aunque no est en ninguna parte del mundo es una figura
fuera de mi pensamiento, sin embargo, tiene una determinada naturaleza "(Vol. 1, p.
180). Obviamente Descartes est hablando de una figura en un plano idealizado
delimitada por tres lneas idealizadas (que, que no tiene espesor, son necesariamente
invisible). Para Hobbes la nocin es incomprensible: "Si el tringulo no existe en
ninguna parte, que no entiendo cmo se puede tener la naturaleza;... El tringulo en la
mente viene desde el tringulo que hemos visto "(tercer conjunto de objeciones a las
Meditaciones; objecin de 14). Aqu es mi punto. Si uno niega la realidad objetiva a los
ideales, uno puede, al igual que Hobbes, olvidarse de cualquier capacidad idealizadora
en la mente. Parece que esto es lo que sucedi en la psicologa que, a raz de Hobbes,
modela ella misma la fsica.
Pero los ideales son demasiado importantes como para ser abandonado por
completo. Una divisin del trabajo, bien arraigada en el tiempo de Kant, le asigna a la
filosofa mientras que la asignacin a la psicologa de los hechos de la vida mental -
como si los ideales no tuvieran realidad en la vida mental. En el siguiente pasaje de
Kant de Lgica, vemos la divisin del trabajo en plena floracin:
Algunos lgicos presuponen principios psicolgicos en la lgica. Pero para llevar tales
principios a la lgica es tan absurdo como teniendo moralidad de la vida. Si tomramos
los principios de la psicologa, es decir, a partir de observaciones acerca de nuestra
comprensin, queremos simplemente ver cmo se produce el pensamiento y cmo esta
bajo mltiples obstculos y condiciones; por lo tanto, esto llevara a la cognicin de
meras leyes contingentes. En lgica, sin embargo, la cuestin no es de contingencia slo
de normas necesarias, no sobre nuestra forma de pensar sino cmo debemos pensar. Las
reglas de lgica, por lo tanto, no se deben tomar como contingente sino del necesario
uso del entendimiento, que uno encuentra, fuera de cualquier psicologa, en uno mismo.
(Lgica, p. 16)
As el lgico mira las normas de razonamiento perfecto; el psiclogo mira proceso
actual. . La primera voz importante que se levanta contra de esta visin es la de Noam
Chomsky, aunque principalmente en el dominio de la sintaxis. No hay/no es, sin
embargo, una cierta torsin en la distincin que Kant desea mantener? Si tenemos
estndares de perfeccin para nuestros procesos mentales reales, y si la psicologa se
ocupa de procesos mentales reales, por qu debera ser excluido la psicologa de
intentar incorporar estas normas en su mbito de aplicacin y de intentar dar cuenta de
ellos? Hay una comprensin de la mente en sus aspectos lgicos, sin acceso a las
normas lgicas de la mente? Hay alguna explicacin de la satisfaccin y la
insatisfaccin de la gente con particulares argumentos y su disposicin a dar marcha
atrs cuando el error lgico es sealado con ellos? En efecto, hay alguna comprensin
de su capacidad para reconocer error lgico en sus propios procesos de razonamiento?
Chomsky ha resistido la resolucin que los lingistas deben preocuparse de la
competencia lingstica (estndares de perfeccin lingstica) y que los psiclogos
deberan ocuparse de la actuacin lingstica. En esto, creo yo, l est plenamente
justificado. Por la paralelismo/igualdad del razonamiento, debemos resistir la divisin
correspondiente de la mano de obra en el campo de la lgica. Pero soy adelantando a m
mismo.
Para volver a la actividad principal que nos ocupa, la divisin del trabajo parece
sobrevivir hasta nuestros das. En "epistemologa naturalizada," Quine (1969) propone
la psicologa como nuestra mejor oportunidad/golpe/intento epistemolgico. Pero la
psicologa slo se revelar "cmo la ciencia de hecho" (p. 78). No va a dar una
justificacin lgica para las conclusiones de la ciencia. No es la epistemologa el punto
que me refiero pero la concepcin de la psicologa como disciplina que se ocupa de los
hechos a la exclusin, si entiendo Quine, de normas de la perfeccin.
Una palabra sobre una posible fuente de confusin. Se dice con frecuencia que la
lgica es una ciencia normativa, mientras que la psicologa no lo es. Darse cuenta de
que Kant, en el pasaje antes citado, dice que la lgica no se trata de "la forma en que
pensamos, sino cmo debemos pensar. Uno tambin habla de las leyes de la lgica.
Esto est bien siempre y cuando nos damos cuenta de que las leyes en cuestin tienen
solamente que ver con el deseo de alcanzar la verdad. Como Husserl (1900/1970, pp. 88
y ss.) sealaron, las leyes lgicas presuponen verdad lgica. La ley de contradiccin,
por ejemplo, debe ser respetada en el pensamiento no porque es una ley, sino porque es
la verdad. Siendo normativo, entonces, no se opone a ser verdad, a ser un hecho.

3. Lgica relevante a la Psicologa Cognitiva

Al mismo tiempo, hay algunos filsofos y psiclogos que se incomodan con la posicin
ortodoxa de cmo lgica y la cognicin estn relacionados. Testigo particular, Cohen
(1981) y los numerosos comentarios que acompaan ese papel. En el mismo espritu
esta Henle (1962), Pylyshyn (1972), Braine (1978; y este volumen), Sober (1978),
Corrientes (1983) y Macnamara (1986).
En su lgica ms sombro, aclara ciertos usos de las conectivas 'no, 'y' y 'o',
ciertos usos de las palabras 'todo' y 'algunos', as como ciertos usos de las palabras clave
de la lgica: verdadero y falso. Es obvio que cualquier psiclogo interesado en
explicar cmo los nios llegan a entender los usos de esas expresiones, o cmo entrar en
las vidas mentales de los adultos, se quiere aprender lo que los lgicos han sido capaces
de descubrir sobre su interpretacin. De hecho Quine (1970), Davidson (1980, ensayo
14) y Smedslund (1990) todos dicen que no hay alguien que interprete que sea una
desviacin lgica de tales expresiones. Entre las personas debemos interpretar estos
lgicos. De ello se sigue, en la opinin de los autores que se esta discutiendo, que hay
que interpretarlos como exploran ciertos usos del lenguaje ordinario de las expresiones
en cuestin. Adems, dado que los lgicos exploran las propiedades lgicas de estas
expresiones ms profundamente que el resto de nosotros, los psiclogos deben recurrir a
los lgicos para una completa comprensin de estas expresiones, si se van a dar cuenta
de cmo esas expresiones (en aquellos usos) se aprenden o cmo posteriormente se
despliegan.
 Una lgica menos sombro abarcar los nombres propios, sustantivos, la masa
sustantivos, indxicos, predicables (principalmente adjetivos y frases verbales), los
operadores modales "necesario" y "posible" y una serie de otros. Por lgica de este tipo
de expresiones, me refiero a una descripcin de la forma en que contribuyen a que se
produzcan las condiciones de verdad de las oraciones. Estos son los elementos ms
accesibles de su interpretacin. En Una disputa fronteriza, hice un esfuerzo para
deletrear/significar todo esto y sealar con cierto detalle para el psiclogo las
implicaciones relevantes de la lgica. Al mismo tiempo, tuve la precaucin de mantener
la distincin entre la lgica y la psicologa, para evitar una posicin psicologista. Me
pareci que la lgica tuvo un poco riesgo de ser devorada por la psicologa si, para su
propsito, la psicologa tomado ideas lgicas.
En una disputa fronteriza, sin embargo, argument que la lgica clsica esta mal
equipada para manejar la lgica del discurso ordinario precisamente porque lgica
clsica se deriva principalmente de un anlisis de las sentencias aritmticas. La
aritmtica es un dominio poco comn del discurso, porque (a) los objetos en el dominio
son eternas e inmutables; todas sus propiedades esta/son las necesarias. Y (b) slo un
nico nombre contable bsico se requiere en frases de aritmtica: 'nmeros' o
'conjuntos en funcin del nivel de la propia obra. Cualquier otro nombre contable puede
definirse como un subconjunto de nmeros o conjuntos - por ejemplo, 'nmeros primos',
'conjunto finito.
La mayora del discurso ordinario, en contraste, (a) se ocupa de lo efmero y
cambiar objetos. Y (b) es muy improbable que los tipos de tales discursos - perros,
ideas, molculas, etc. - se puedan reducir a un solo tipo o definido como subconjuntos
de un solo tipo. Resulta que la lgica clsica necesita ser enriquecido sustancialmente si
se va a extender a las partes del discurso ordinario aludiendo a la lgica clsica.
Mi tesis general es prcticamente una tautologa. Es que se gua de cmo
construir una lgica ms rica que la lgica clsica es (en) la manera en que
interpretamos las expresiones del lenguaje ordinario y la manera en que captamos las
implicaciones entre las oraciones del lenguaje ordinario. Estas, sin embargo, son
cuestiones de hecho psicolgico. De ello se desprende que hechos psicolgicos pueden
guiar la construccin de la lgica. La lgica as construida es una objeto matemtico con
una vida matemtica propia. (Esto) no es la psicologa. Pero en su construccin, est
limitada por ciertos estados y eventos cognitivos. Aunque la tesis parece obvia, no se la
tiene ha considerado con seriedad que se merece, ya sea en lo filosfico o en literatura
psicolgica. La razn, sospecho, es el miedo al psicologismo - una hereja tan terrible
que ante la mencin de la palabra, como Brentano (1874) dice, "muchos filsofo
piadosos... se persigna como si el diablo estaba en i"(p. 306). El temor es bastante
infundado, como vimos cuando hemos conceptualizado ms plenamente la relacin
entre las dos disciplinas.

4. Aportes psicolgicos a Lgica

Varios documentos recientemente sostienen la relevancia de la psicologa a/para varias
empresas filosficas. Ned Block (1981) afirma que estudios de inteligencia de la
psicolgica tienen una contribucin que hacen a la comprensin filosfica de lo que es
ser inteligente. Adrian Cussins (1987) reclama que los estudios psicolgicos de la
formacin de conceptos son relevantes para la comprensin filosfica de lo que es tener
un concepto. Quiero concentrarme en la lgica.
Mi estrategia es presentar una serie de afirmaciones psicolgicas relacionadas
con la interpretacin de las expresiones y mostrar cmo se emplearon estas afirmaciones
para constreir "la lgica de clases '. Por esto quiero decir que la teora categrica
semntica para una gama/rea de las expresiones del lenguaje natural desarrollado por
Gonzalo Reyes trabajando en colaboracin con Marie Reyes y conmigo. He elegido las
afirmaciones psicolgicas. He elegido las afirmaciones psicolgicas para que permitan
un pequeo esbozo/ resea de la teora de clases. No es mi intencin defender la lgica
aqu. Eso sera perder el punto. Mi excusa para la seleccin ciertas
demandas/afirmaciones psicolgicas es mi creencia de que la lgica de clases es
interesante en si mismo. La lgica le debe mucho a la obra de Peter Geach (1957, 1961,
1962, 1972), Aldo Bressan (1972), David Wiggins (1980) y Anil Gupta (1980). Otros
detalles de la lgica se encuentran en GE Reyes (1991), y M. Reyes (1988). La
motivacin para la lgica, as como una introduccin a su formulacin matemtica, es
que se encuentran en La Palme Reyes, Macnamara y Reyes (en este volumen).
Cada afirmacin psicolgica es en el sentido de que podemos entender P o que
no podemos entender Q. La afirmacin de que nosotros entendemos P es seguir por la
afirmacin que hay una lgica que subyace al hecho de que podemos. Esto es poco ms
que la afirmacin de que debe haber una teora de cmo interpretar P. Los puntos de una
afirmacin psicolgica a/para una clase de lgica que toma conocimiento de ese hecho.
Una afirmacin psicolgica que no podemos entender Q es seguida por la afirmacin de
que la lgica no debera asumir que puede o nos requiere hacerlo. Algunas afirmaciones
psicolgicas pueden expresarse igualmente bien como demandas/afirmaciones
lingsticas. Existe una relacin ms ntima entre afirmaciones sobre la estructura del
lenguaje y las afirmaciones sobre comportamiento lingstica. Comportamiento
lingstico se explica por la incorporacin de propiedades lingsticas de la mente. Al
mismo tiempo, los lenguajes naturales tienen ellos las propiedades que lo hacen slo
porque esas propiedades pueden ser reconocido por infantes y manipulado por ellos sin
el tipo de asistencia metalingstica que los alumnos de segundo idioma
suelen/tpicamente reciben. En otras palabras, hay una estrecha correspondencia entre
las propiedades lingsticas de la mente y las propiedades de las lenguas naturales.
No afirmo que tengamos acceso infalible/seguro a los hechos psicolgicos. Las
afirmaciones que hago no son particularmente controversiales, y algunas son
francamente obvias. Reconozco, sin embargo, que las afirmaciones aparentemente
obvias pueden ser engaosas, como Frege encontr a su pesar. Estoy totalmente
preparado a aceptar la opinin de la psicologa (experimental o terico) o de la lgica
sobre mis supuesto de los hechos psicolgicos. Por ejemplo, si mis afirmaciones se
muestran incompatibles, voy a abandonar algunos de ellos, porque frases incoherentes
expresan conjuntamente nada comprensible. Yo no tendr dolores de defender mis
propuestas psicolgicas, ya que mi intensin es principalmente ilustrar cmo la
psicologa constrie la lgica ms bien de establecer de una vez y por todas un conjunto
particular de limitaciones psicolgicas.
Tampoco sugiero que una afirmacin psicolgica particular nos gue a una nica
lgica. Ni siquiera estoy seguro de que todos los hechos psicolgicos relevantes nos
gue a una nica lgica. Naturalmente, sin embargo, las limitaciones aumentan como (a
medida que) el nmero de hechos aumenta. Por ltimo, reconozco que puede haber
otras rutas que las que propongo llegar para la lgica particular.
Afirmacin Psicologa I: Si somos fieles a nuestra intuicin lingstica,
concedemos/fijamos ciertos cuantificadores ('a', 'muchos', 'pocos,' uno ',' dos ', etc.) para
contar sustantivos. En la universalidad de esta afirmacin, consulte Emmon Bach (en
este volumen).
Por ejemplo, decimos "un perro", "una prueba ms, pero no 'dos paseante',
muchos rpidamente ', ' poco caliente.
Afirmacin Psicolgica 2: No podemos comprender conceptualmente un
individuo sin el apoyo de un sustantivo contable.
 Un indxico, tales como este, no lo va a hacer por su cuenta. Este, aplicado
a una persona individual, por ejemplo, puede llamar la atencin a la persona o a la ropa
de la persona, o la apariencia, o incluso modales. Por su parte, un indexico no puede
recoger/seleccionar de forma inequvoca a ninguna de esas cosas. Ni puede un
predicado (adjetivo o frase verbal) por su propia cuenta. Tu no pueden contar todo lo
que es azul en una habitacin, porque no sabes que ha de contar como azul, un conjunto
de camisas azul, o las mangas por separado con el motivo que fueron cosidos, o los
hilos separados, o las fibras de los hilos. De ello se desprende que una coleccin de
predicados no servir a los propsitos. Ni tampoco un nombre propio por su cuenta. Por
una cosa, la mayora de las personas no tienen un nombre propio, por lo que los
nombres propios no pudieron ser las vas generales de la especificacin de un individuo.
Estos hechos apuntan a una lgica que reconoce sustantivos contables como un
conjunto categora lgicas distintas de predicados. Esta es la principal tesis del Gupta
(1980). Tambin apuntan a una lgica en la que cualquier referencia a un individuo est
escrita por un sustantivo contable. (Individuacin y la identidad en relacin con
sustantivos de masa - como 'agua' y 'dinero - requiere un tratamiento separado, que no
me propongo entrar aqu.) Esto significa que los indexicos y los nombres propios deben
escribirse por un sustantivo contable. Las descripciones definidas remiten sustantivos
contables visiblemente.
Afirmacin psicolgica 3: no podemos comprender conceptualmente el alcance
individual/de un individuo en una clase universal denotada supuestamente por el
sustantivo contable cosa u objeto.
Las razones son similares a las que revelan la insuficiencia de un predicado con
el propsito de especificar un individuo. Si le piden que cuente las cosas en una
habitacin, no s si se debe contar personas por separado de sus rganos, y sus clulas
por separado de sus rganos, ya que todos podran caracterizarse como cosas. (Ms
adelante veremos que existe una clara nocin de una cosa, o entidad, en una
subcategora de clases, pero no tiene nada que ver con una categora universal de las
cosas). De ello se deduce que no puedo conceptualmente captar un individuo bajo la
descripcin de "cosa".
Este hecho supone el punto de vista que de la lgica no debemos esperar para/a
captar un individuo bajo la descripcin cosa. Tampoco, lo que es casi lo mismo,
debemos suponer que tenemos la nocin de un particular al descubierto esto es, de un
individuo que no tiene tipo/clase por un genuino sustantivo contable tal como
bicicleta, perro, o idea. Ahora, en el enfoque de Frege, la lgica clsica nos pide
para hacer precisamente eso. Para que acercarse a reglamentos (?) como un hombre
es alto:
4.1 3x (Hombre (x) y Alto (x))
La variable sin tipo se supone debe interpretarse en un clase universal de COSA. Si uno
toma el punto vista de Peirce, uno puede asumir que la variable se extiende sobre un
dominio ms restringido del discurso. En que la lectura, hay que acusar a los lgicos de
ser descuidados, porque ellos no se han especificado el dominio del discurso como para
hacer una provisin adecuada para la individuacin de la persona que tiene las
propiedades de ser hombre y ser alto. Ambas lecturas colocan el sustantivo contable
"hombre" en posicin de sujeto en pie de igualdad lgica con el predicado 'alto'.
Nosotros podemos corregir defectos de ambos a la vez si reemplazamos (4.I) con:
4.2 3 (x: Hombre) Alto (x)
dice: 'hay algn individuo en la clase HOMBRE que es alto'. Este es un ejemplo de la
cuantificacin restringida, defendida por muchos lgicos. Hay otras razones, con el
apoyo de la observacin psicolgica, para tal cuantificacin. Bach (1989, cap. 4) seala
que expresiones como "la mayora de los perros" son imposibles de interpretar de la
manera que naturalmente interpretamos si la cuantificacin es irrestricta. La razn es
que si bien es cierto que la mayora de los perros tienen cuatro patas, no es cierto que la
mayora de las cosas son los perros y tienen cuatro patas.
Ntese la determinacin mutua de individuos y clases en lgica que esbozo. Una
clase se especifica por sus miembros; pero los miembros estn especificados por la
clase. Este tipo de relacin dialctica es familiar para los psiclogos de los escritos de la
escuela Gestalt. Los psiclogos de la Gestalt observaron que las figuras de la percepcin
o todas estn determinadas por su parte de la percepcin, mientras que papel de la
pecepcin de la parte de la percepcin se determina por el conjunto perceptual de la que
forma parte. Otro familiar ejemplo es suministrado por el lenguaje. Una sentencia se
determina gramaticalmente y semnticamente por sus constituyentes/ constitucin, y la
funcin gramatical y el papel semntico de un componente est determinado por la
sentencia a que pertenece. Me limito a sealar que la lgica debe respetar la dialctica
relacin entre los individuos y las clases a las que pertenecen. Todo esto seala un
estatus especial en lgica para sustantivos contables, que se refieren a clases.
Afirmacin Psicolgica 4: Empleamos la palabra "perro" para referirse a los
perros de tiempos pasado y perros futuras as como para los perros del da presente.
 . De hecho, no tenemos otro medio de referencia a toda la clase PERRO. Esto
sugiere el principio lgico de que la referencia del sustantivo contable "perro", (es decir,
el tipo DOG) es independiente del tiempo y las circunstancias de uso, y as para todos
los sustantivos contables. Llamamos a esta caracterstica de sustantivos contables
'constancia modal, usando la expresin en un sentido diferente de Gupta (1980).
Nosotros entendemos por "constancia modal que la referencia de un sustantivo
contable no pueden, en general, estar identificado con los miembros que pasan a existir
en el momento que se utiliza la palabra. En su lugar, esto refiere a uno solo, inmenso
objeto, una clase que abarca todos los miembros que alguna vez fueron, son o sern ser.
Esto sugiere que una clase es un objeto abstracto, y el camino sencillo para/a
conceptualiza es como un conjunto o, ms generalmente como un objeto en una
categora. De hecho, en la lgica de clases, una clase se presenta como un conjunto
junto con una relacin de existencia en el conjunto asignando a cada miembro de las
situaciones, tanto de hecho y contrafcticol, de los cuales el miembro es un constituyente.
Afirmacin Psicolgica 5: No podemos controlar conceptualmente la nocin de
un posible miembro de una clase.
Las clases estn limitan a los miembros que son componentes de algunas
situaciones de hecho (basado en hechos). Quine (1961, p. 4) ha hecho la pregunta
relevante ("Cmo es posibles que muchos hombres gordos pueden caber en una
entrada? "). l parece estar perfectamente justificado en su escepticismo sobre la
posibilidad de una respuesta sensata y, por implicacin, en su escepticismo de la
comprensin de la nocin de un posible hombre gordo.
En la lgica de clases, no hay posibles hombres gordos, nicos reales. Nos
apoyamos en nuestra posicin por la gramtica del lenguaje ordinario - que a su vez da
lugar a una afirmacin psicolgica altamente relevante. Para ilustrar, consideremos un
par, Derby y Joan, que no tienen ninguna hija. Decimos que podra haber sido posible
que ellos hayan tenido una hija; no es que podran haber tenido una posible hija. Nadie
saber cmo tratar una posible hija. Al mismo tiempo, la hija de Derby y Joan no es un
constituyente de cualquier situacin de hecho, slo contrafactico(?). Para distinguir
entre ella y sus hijas reales, Marie Reyes postula un predicado de nivel superior - 'para
ser considerado como una hija - que puede aplicarse a conjuntos de propiedades de las
personas. Esta sugerencia no ha sido plenamente investigada todava, pero si es
correcta, traera a disposicin de la lgica de clases para individuos que son
constituyentes de ambas situaciones de hecho y situaciones contrafctica. Slo el ltimo
es de la buena fe de los miembros de la especie; el anterior, se limita a situaciones
hipotticas, son miembros de un objeto de orden superior. De esta manera, la lgica de
tipo abastece para lo que era valioso en intentos de hablar sobre la posible de los
individuos.
Afirmacin Psicolgica 6: No podemos expresar directamente la identidad a
travs de diferentes clases.
Para ilustrar esto, podemos desear para afirmar que un nio es idntica a la
hombre al que ms tarde se convirti. Pero no podemos decir que un determinado nio
es el mismo chico como un hombre, o que el nio es el mismo hombre como un
hombre. Como Hilary Putnam dijo, al comentar este artculo, no se puede decir T am el
chico que una vez fue ". Seal, sin embargo, que si no hubiera hablado de un nio
determinado, hace 50 aos, uno bien podra decir: "Yo soy ese chico '. Pero esta no
significa que la identidad de uno se expresa a travs del MUCHACHO tipos y
HOMBRE. Para comenzar con el T en cuestin se escribe y no por "hombre", sino por
"persona", ya que abarca la totalidad de la existencia de una persona. La frase "Yo soy
ese chico * expresa una relacin entre un nio determinado y cierto la persona. La
relacin se indica mediante la cpula con exceso de trabajo. Qu es exactamente esa
relacin se pondrn de manifiesto cuando vemos cmo construir la nocin de una
entidad en un sistema de tipos. All veremos que Putnam es una intuicin importante.
Una teora general que se encarga de la identidad requiere un poco de
regimentacin sensibles de las expresiones de lenguaje natural. Sensibilidad a la
totalidad de la gama de intuicin pertinente que revela que '=' es un tipo de predicado
que requiere que las expresiones a que se refieren estn situadas a su izquierda y
derecha para formar un sola sentencia, deberan ambos ser escrito por el mismo
sustantivo contable. Esto es casi lo mismo que Wiggins (1980, cap. 1) tesis de D. vuelvo
a otro prestacin lgica relacionada despus de la siguiente afirmacin.
Afirmacin Psicolgica 7: Contamos los pasajeros y las personas de manera
diferente (los ejemplo es de Gupta, 1980), y podemos entender esas formas de clculo.
Si usted viaja tres veces con Air Canad en 1991, se le cuenta como tres
pasajeros, aunque usted es una sola persona. Distinciones similares se hacen en el
conteo de los pacientes y las personas en hospitales, comedores y personas en un
restaurante, personas en una universidad (no habiendo personas que toman mayores
conjuntos), y as sucesivamente.
 Si no podemos expresar cual es la identidad o la falta de identidad a lo largo
diferente tipos, tales como pasajero y persona, cmo evitar una excesiva ontologa en
las personas adems de los pasajeros hacinados en aviones? La primera cosa a notar es
que la clase PASAJERO no est incluido (teora de conjuntos) en la clase PERSONA.
La inclusin de teora de conjuntos de A en B es uno-uno en este sentido: por cada
miembro de A slo hay una miembro del B, que es idntica a ella, y ningn miembro de
B es idntica con ms de un miembro de A. De ello se deduce que el nmero de B no
puede ser menor que el nmero de A de. Pero el nmero de personas podran as ser
menor que el nmero de pasajeros. La inclusin de la teora de conjuntos no puede
manejar esto.
La lgica de clases maneja/manipula esto por un postulando subyacente al mapa
o entre ciertos pares de clases u: PASAJERO -> PERSONA. El mapa asigna a cada
pasajero una persona u(p). La teora postula mapas similares - u ': CHICO ->
PERSONA y u":. HOMBRE - PERSONA Ahora expresan la relacin entre el chico y
el hombre al que ms tarde se convirti como una identidad de personas subyacentes.
Si b es el chico y m el hombre, decimos u '(b) = u "(m). Respetando la tipificacin de '='
es un primer paso para evitar la ontologa que amenazaba. Voy a presentar un segundo
paso cuando se habla de la nocin de una entidad en una subcategora de clases.
Afirmacin Psicolgica 8: Podemos entender la metamorfosis del cuento de
hadas en que, contrariamente quizs a las leyes de la naturaleza, un prncipe se
transforma en una rana y de vuelta en un prncipe.
Este fue el punto de partida de Marie La Palme Reyes (1988) para construir una
lgica que maneja esa comprensin. Ella postula la existencia de un cuento de hadas
contrafactico, el mundo de las contrapartes de las clases en el mundo real con
morfismos subyacentes entre ellos. En Palme Reyes (este volumen) mantiene el
lenguaje de los cuentos como el ingls ordinario, y cambia la interpretacin. La
intuicin, a una psicolgica, es que el lenguaje de la ficcin y de no ficcin es lo
mismo; la diferencia est en la interpretacin. Ella explica la comprensin de la Rana-
Prince y tales historias por postular mapas subyacentes entre las clases de los cuentos de
hadas RANA y PRNCIPE ', por un lado, y los cuentos de hadas ANIMAL - u: RANA -
>ANIMAL y u: PRNCIPE -> ANIMAL en el otro. La identidad de la rana-prncipe,
debe entenderse como la identidad del animal subyacente/hondo/interior/se haya oculto.
El hecho que tenemos, por ejemplo, con las ranas de los cuentos de hadas ranas de
cuento de hadas y la no realidad se seala en el hecho de que las ranas en la historia
pueden hablar. El Cuentacuentos nos invita a plantear nuevas formas apropiadas para la
historia.
Afirmacin psicolgica 9: Podemos entender los sistemas cuya lgica no es
clsica.
Evert Beth y Saul Kripke han propuesto modelos distintos para la lgica
intuicioncita. Ms impresionante, sin embargo, es el hecho de que la lgica interna de
los espacios abiertos en la topologa es intuicioncita. Me parece ms impresionante
porque la topologa de los espacios abiertos es no artificial - ms bien, se descubre.
Ms en general, creo que nuestras intuiciones semnticas comunes son locales.
Por lo general relatan a pequeas partes del universo en intervalos cortos de tiempo y no
tienen nada que ver con el resto del tiempo y espacio. El enganche/copula de esto con el
descubrimiento de modelos intuicioncitas en matemticas, concluyo que la lgica de
clases es clsica (dos valores) slo en casos especiales. Abastece/suministra para el
intuicionismo. En efecto, la lgica de clases desarrollada por Gonzalo Reyes es teora
categrica, que es naturalmente intuicioncita, pero tambin lo suficientemente general
para abarcar la lgica clsica como un caso especial.

4a. Restricciones lgicas en Psicologa

Para no le dar la impresin que la deuda es todo de un lado, me gustara dar uno
o dos ejemplos de nuestra experiencia en que los acontecimientos matemticos
condujeron a la iluminacin psicolgica.
Caso I: El lenguaje natural es confuso en que puede aparecer una sola expresin
tanto como el sujeto de una oracin y como parte del predicado. Llevar pasajero y
persona en
4a.1) Este pasajero es la mujer que yo admiro.
4a.2) Esta mujer es un pasajero.
Podemos preguntarnos si las expresiones "este pasajero' y 'la mujer que admiro' en (4a.l)
denotan el mismo individuo. Wiggins (1980) construy un simple argumento en el
efecto/sentido de que la individuacin y la identidad deben ser de una pieza. Ms
particularmente, se demostr que, concedi la ley de Leibniz, si a y b son iguales qua F
y si a es G, entonces a y b debe ser igual qua G. Ahora pasajero y 'mujer' son de
identidad diferentemente. De ello se desprende que "este pasajero" y "la mujer que yo
admiro son expresiones que no son co-referenciales; que la sentencia no puede
interpretarse afirmando que un determinado pasajero es un miembro de la clase MUJER
ADMIRO. El argumento de Wiggins, que es totalmente matemtico, conduce a la
iluminacin de la forma en que interpretamos las expresiones del lenguaje ordinario.
Nos lleva a la conclusin que "al ser la mujer que admiro 'en (4a.l) es de hecho un
predicado y no una expresin que se refiere en absoluto. En el otro esta mujer en
(4a.2) es una expresin que se refiere al sujeto de la frase. Y as, "mujer" se comporta de
manera diferente en las dos frases desde el punto de vista semntico.
Estos puntos son sutiles y a menudo se esconden de la intuicin directa. Los
matemticos ayudan a revelar lo que est pasando en la interpretacin de expresiones
del lenguaje ordinario, es decir, en la psicologa. Por argumentos adicionales de carcter
lingstico en el mismo sentido, vase Williams (1983).
Caso 2: En los primeros das de trabajo en la lgica de clases, nos quedamos
sorprendidos acerca de cmo representar el 'es un' del lenguaje ordinario, como en 'Un
perro es un animal ". Vimos que la inclusin de la teora de conjuntos no era. Gonzalo
Reyes propuso que empleamos los morfismos de los cuales es el estudio de la lgica
categrica. El estmulo, por as decirlo, era la psicolgica; la respuesta era emplear una
herramienta matemtica bien establecida. El movimiento, sin embargo, ayud a aclarar
otras dificultades de manera imprevista.
Uno de ellos fue el comportamiento semntico de predicables. En la lgica de
clases, todos los predicables se escriben con un sustantivo contable. De ello se deduce
que puede haber problemas lgicos cuando una predicable se transfiere de un sustantivo
contable a otro, como sucede regularmente en el silogismo. Por ejemplo, se observ en
la antigedad que a pesar de todo, los ladrones son una persona, pero no se sigue que si
es un buen ladrn es una buena persona. Tales casos son numerosos. A pesar de que
cada persona es un animal, una persona blanca no es un animal blanco, animales
blancos que se ejemplifican por conejos blancos, ratas blancas. Diferente matiz. Aunque
cada beb es una persona, un beb grande no es una persona grande. Y as sigue. A
veces las cosas son el otro al revs. Cada jugador de baloncesto es una persona y un
jugador de baloncesto alto es una persona alta; pero si una persona alta es un jugador de
baloncesto, no se sigue que l es un jugador de baloncesto de alto. Algunos predicables
parecen pasar de un sustantivo contable a otro sin vacilar semnticamente. Por ejemplo,
un beb de sexo masculino es una persona de sexo masculino, un ladrn de 30 aos de
edad, es una persona treinta aos de edad; un jugador de baloncesto herido es una
persona herida y una persona lesionada que pasa a ser un jugador de baloncesto es un
jugador lesionado de baloncesto.
 Tales observaciones han conducido al desarrollo de una lgica de predicados
adecuada para la lgica de clases, y para este propsito los mapas subyacentes
resultaron indispensables. La idea bsica en este desarrollo es la funcionalidad de los
predicados como ellos 'se mueve por encima' de los mapas subyacentes en un sistema de
clases. Funcional' en este contexto significa, aproximadamente, dar el mismo valor de
verdad. Para ms informacin sobre esto, vea Reyes, La Palme Reyes y Macnamara (en
preparacin).
Un segundo problema en el que los mapas subyacentes fueron de gran valor est
relacionado con la nocin de una entidad en una subcategora de clases. (Este es donde
cumplo mi promesa de decir algo acerca de la interpretacin de las palabras 'cosa' y
'objeto.) Nuestra solucin al problema 'es un' tiene el mrito de mantener distinto lo
que (ha de mantenerse) se mantiene distinto pasajeros y personas, pacientes y
personas, y as sucesivamente. Bill Lawvere sugiri en una conversacin que la nocin
categrica de los co-lmite de una funcin podra ser utilizada para construir la clase de
ENTIDAD relativo a un sistema de la categora de clases. Se obtiene el co-lmite en
cuestin en dos pasos. Primero, tomar la unin inconexa (no junta/aislada) de todas las
clases en la subcategora y luego dividir la unin inconexa por una relacin equivalente,
es decir, la relacin de equivalencia generada por pares de los miembros de las clases
que estn en el relacin subyacente. Para ver lo que esto significa, considere una fiesta
en la que hay hombres y mujeres, esposas y esposos, estudiantes y profesores, Los
irlandeses y canadienses. La unin inconexa ensambla el lote manteniendo las esposas
distintas de las mujeres, de los profesores y as sucesivamente. La operacin de dividir
por la relacin de equivalencia se reduce a considerar una mujer en particular, una
esposa particular y un profesor en particular, por ejemplo, como la misma entidad en el
sistema determinado As, aunque el anfitrin aprecia que cada mujer, cada esposa, cada
profesor, cada canadiense y cada persona en la fiesta necesita ser alimentado, se prepara
nicamente con muchas comidas, ya que hay entidades en la fiesta. En este caso, el
lenguaje natural permite "persona" para cubrir la nocin de entidad en el sistema.
Dnde, sin embargo, la palabra de orden superior es un sustantivo -digamos, 'comida',
uno necesita para construir el co-lmite de una manera diferente, identificando, por
ejemplo, una porcin de carne de vacuno con una porcin de carne para obtener la
nocin de una parte de cosas en el sistema delimitado por "alimento". Las matemticas
conducen a una conceptualizacin perfectamente natural de la palabra "cosa", una
conceptualizacin que tiene ejercicio en las mentes de varios filsofos, Gibbard (1975)
y Gupta (1980), por ejemplo, sin resolucin anterior.
No estoy diciendo que la "cosa" no tiene otros usos. Obviamente, a veces
funciona como una variable ms de clases, como en 'vi algo azul en los arbustos. En la
notacin ya introducida, podramos reglamentar que oraciones como 3 (k: K) [Azul (k)]
donde K es una variable que varia de clase y k es una variable varia sobre los individuos
en K. Hay, sin embargo, este otro uso de "cosa" o "entidad" que se revela por las
operaciones matemticas de tomar el co-lmite de un sistema de tipos y dividindolo por
una relacin de equivalencia correspondiente.
Ahora estamos en condiciones de dar el segundo paso para evitar un exceso
ontologco. Para ciertos propsitos colapsamos travs de ciertos individuos en un
sistema de clases y, por ejemplo, tratar a un cierto pasajero y una cierta persona como
idnticos. Esto explica tambin la intuicin de Putnam. La razn puede decir: "Yo soy
ese nio' es que uno ha construido el tipo ENTIDAD en el sistema adecuado, quedando
as el derecho de tratar a un determinado nio y a una persona determinada como
idnticos - no a travs de la clase NIO y PERSONA sino como miembros de la nica
especie ENTIDAD en el sistema correspondiente. Observe que tambin se puede decir
el niio es (era) yo"- que espera ser, la identidad una relacin simtrica.
El co-lmite de la que hablo es el co-lmite de la funcin que interpreta una
categora lingstica N en la categora K de clases. En el nivel lingstico, uno tiene
morfemas entre nombres contables del tipo "los perros son animales ',' los pasajeros son
personas '. La funcin que se interpreta como morfemas asigna a cada uno un morfema
de tipo, por ejemplo, u: PERRO - ANIMAL, u ': PASAJERO - PERSONA.

5. Tipo de Psicologa previstas

Es evidente en lo anterior que la psicologa me imagino no es exclusivamente
experimental. Hace uso sustancial de la intuicin. Describimos una proposicin como
siendo intuitiva cuando se nos presenta como verdadero sin beneficio de razonamiento
consciente o prueba. La palabra "intuicin" viene Del intueri latn, que significa "mirar
a o "contemplar a. Tal como se utiliza por psiclogos y filsofos, la palabra es una
metfora transparente. Precisamente como normalmente no demostramos la existencia
de objetos cotidianos que podemos ver con nuestros ojos, as decimos que normalmente
no probamos la verdad de ciertas proposiciones que no podemos verificar directamente
a travs de nuestro sentido. Por ejemplo, yo afirm que usamos la palabra "perro" como
para abrazar perros pasados y por venir, as como los actuales. Ahora pretendo que esta
afirmacin psicolgica es intuitivamente obvia. Por intuicin s que yo lo utilizo la
palabra. Puedo, por supuesto, comprobar las intuiciones de otras personas
pidindoles/preguntndoselas, y tambin puedo estudiar la prctica aceptada. Pero
incluso entonces la evidencia tiene que ser interpretada con generosidad. La relacin
entre el uso de una persona de la palabra "perro y los perros que han dejado de existir o
que an no han llegado a existir no puede ser directamente verificable por los sentidos.
Ciertamente, es difcil para ver cmo nuestros sentidos verifican que el uso de una
persona incluso del nombre propio de perro denota/indica que perro cuando el perro est
a la vista del que habla. Sin embargo, en la forma que nuestros sentidos nos sirven en
ese caso, no nos pueden servir en el otro, en el que los perros ni siquiera existen en el
momento de hablar.
Toda una vida como un psiclogo experimental me pongo nervioso en esta
conexin. Los psiclogos insisten con razn en la evidencia emprica para la afirmacin
psicolgica: son recelosos de intuiciones. Sospechan que en atractivo la intuicin est
apelando a la introspeccin bajo otro nombre. As que algunas palabras tranquilizadoras
son necesarias.
Para empezar, las intuiciones son parte de la experiencia ordinaria y por lo tanto
son emprica en el sentido ordinario de la palabra. Ellas no son experimentales, pero eso
es harina de otro costal. Cuando ves una vaca, la vaca entra en la experiencia, pero as
tambin lo hace el hecho de que usted est viendo la vaca, sin tocar imaginndola, y el
hecho de que eres t y no otro persona que est viendo ella. A veces las intuiciones son
oscuras, y pueden ayudar a comprobar la suya frente a los de los dems, e incluso contar
cabezas, como los psiclogos hacen con frecuencia. En otras ocasiones, puede ser
importante comprobar la intuicin de que usted est viendo una vaca, no imaginndola,
intentando tocar la vaca. Otras intuiciones son tan claras que tal comprobacin parece
superflua. La matemtica presta gran atencin a la intuicin y sin embargo, las
matemticas es el seguro de pata de las ciencias ms, no tuvo que retractarse de
cualquier teora muy extendida, en la forma en que incluso la fsica tiene. Algunas
intuiciones psicolgicas (como que uno no puede contar lo que es de color blanco en
una habitacin) me parecen como sonido como cualquiera en matemticas. Por
supuesto, la intuicin psicolgica no es la intuicin matemtica. El contenido de uno es
la psicologa; el de la otra es matemtico. A pesar de eso hay similitudes importantes.
Lo que ms opongo a la divisin de trabajo entre la psicologa y la filosofa es que tales
hechos evidentes parecen ser colocado fuera del mbito de la psicologa. La nica
explicacin que se me ocurre es que los psiclogos son los fsicos imitando no como
los fsicos realmente son, me temo, pero a medida que los psiclogos se imaginan que
son.
Franz Brentano vio todo esto, y aunque su principal fuente para la verdad
psicolgica era la intuicin o "percepcin interna", llam a su principal libro Psicologa
desde un punto de vista emprico. Otro que lo ve Noam Chomsky, quien a lo largo ha
hecho un llamamiento a la intuicin lingstica como evidencia emprica de las teoras
lingsticas.
Brentano era muy consciente de los peligros de la introspeccin, que l se
esforz en distinguir de la intuicin. Desde los psiclogos sabiamente han dado la
espalda a la introspeccin, despus de algunas malas experiencias, vale la pena citar a
Brentano en la distincin entre sta y la intuicin o "percepcin interna", como l lo
llama en el pasaje que cito:
En la observacin, dirigimos nuestra atencin a un fenmeno con el fin de aprehender
con precisin. Pero con objetos de la interior percepcin esto es absolutamente
imposible. Esto es especialmente claro en lo que respecta a ciertos fenmenos mentales
como la ira. Si alguien est en un estado en el que se quiere observar su propia ira
furiosa dentro de l, la ira ya debe haber disminuido un poco, y por lo que su objeto
original de la observacin habra desaparecido .... Es solamente mientras que nuestra
atencin se volvi hacia un objeto diferente de lo que somos capaces de percibir, dicho
sea de paso [nebenbei], los procesos mentales que se dirigen hacia el objeto. (Brentano
1874, pp. 29-30)
El problema es que la introspeccin fue considerada por algunos para revelar
directamente las representaciones y procesos de la mente. Sin embargo, debido a la
intencionalidad, tales representaciones y procesos nunca estn directamente disponibles
a la mente, solo sus objetos estn, las cosas que son acerca de las representaciones y
procesos. Es por eso que Brentano subraya que la intuicin psicolgica es incidental. Al
mirar la vaca y asistir a ella, estoy siendo consciente de mi visin. Pero si con
introspectiva intencin intento estudiar mi ver, dejo de asistir a la vaca y mi percepcin
de ella se altera.
Lo ms importante, la apelacin de Brentano a la intuicin para fines
psicolgicos esta bastante en desacuerdo con la divisin kantiana del trabajo que he
expresado en la ecuacin:
Normas de la perfeccin Hechos
=
Filosofa Psicologa

Lo que ms han objetado es la suposicin de que las normas que los estndares/normas
de perfeccin son irrelevantes para la comprensin de la mente humana, aunque el
acceso a tales normas no fuera un hecho psicolgico. Es un hecho psicolgico que la
mente tiene acceso a las normas de perfeccin que nunca puede darse cuenta
plenamente en el mundo extra-mental: en la medicin, en la facilidad y gracia de
movimientos, en la pintura, la escultura y las artes musicales, en el vestir, en las
relaciones interhumanas, en la tica y por supuesto en razonamiento. Es igualmente un
hecho que no podemos tener acceso directo a esas normas por medio de nuestros
sentidos externos. De hecho nuestro principal acceso a ellos es en la intuicin. As que
cualquier psicologa que evita la intuicin psicolgica debe ser ciega a tal vez los
hechos ms importantes acerca de la mente. Y cualquier psicologa que ignora el acceso
de la mente a las normas de la perfeccin no es digna de ese nombre.
Nada de esto es negar que las encuestas psicolgicas de la intuicin y los
experimentos psicolgicos tengan un lugar en el estudio de la mente en sus aspectos
lgicos, o que tales experimentos tengan una contribucin que hacer al desarrollo de una
lgica que responda a los procesos de pensamiento humanos. Pero no es el propsito de
este artculo para resaltar el experimental enfoque.

6. Declaracin Final
Ha habido mucha controversia en los ltimos aos sobre el papel de las penas en
estados intencionales. Fodor (1975 y 1981) hace oraciones y actitudes preposicionales a
penas de la esencia de los estados intencionales. Esto es de hecho la posicin natural
para los trabajadores de la inteligencia artificial, como Pylyshyn (1984) seala. Por otro
lado, hay filsofos que van tan lejos como para negar la realidad de los estados
intencionales por completo, sobre todo Patricia Churchland (1986) y Paul Churchland
(1984), etc. que no tienen ningn papel importante para oraciones en nuestra vida
mental. Otros como Dennett (1987), Stich (1983) y Putnam (1988) echan un poco visin
escptica sobre su papel. Putnam, en particular, est impresionado por lo que l se
refiere como el holismo de lo mental. Con esto quiere decir que es en general imposible
especificar una creencia sin apelar a varios otros, o por lo menos presuponindolos. Yo
simpatizo con sus argumentos, aunque como Fodor (1987), la esperanza de que el
holismo de lo mental es local en la forma en que el significado de las primitivas en
Fundamentos de Hilbert de la Geometra es local.
Sea como fuere, creo que tenemos que tener un lugar para las oraciones en el
ncleo de los estados intencionales. Tal vez tenemos que mantener mucho ms que
frases, pero no menos. El argumento es el siguiente. Con las principales y mayores
igualdades de los tericos, que afirman que los estados intencionales son evaluables
semnticamente. Especifican, dentro de un cierto grado, las condiciones de verdad en
algn dominio de objetos. Pero hemos visto que para captar un objeto u objetos
conceptualmente, uno tiene necesidad de un apropiado sustantivo contable. Una sencia
requiere una frase para fijar la categora gramatical y referencia de una forma lingstica
particular. De ello se deduce que para hacer el tipo correcto de contacto conceptual con
un individuo, existe la necesidad de un sustantivo contable en un frase. De ello se
desprende, adems, que hay un papel esencial para las frases en estados intencionales.
La lgica es el lenguaje matemtico con expresamos y exploramos la
interpretacin de los constituyentes de las oraciones y la relacin implicacional de las
relaciones entre las frases. De ello se desprende que la lgica es el lenguaje matemtico
apropiado para caracterizar los elementos esenciales en estados intencionales, es decir,
la interpretaciones de los smbolos lingsticos y la capacidad de comprender las
implicaciones entre frases. No computacin, tu mente. Los ordenadores, en Dennett
(1984, p. 28) acertada expresin, son motores sintctica, no semnticos. Son aptos para
el modelado de la teora de la prueba, menos aptos para la teora de modelos de
modelado. En la cognicin humana el ms bsico trabajo por hacer es en relacin a la
interpretacin de los smbolos. Esto parecera que, en este contexto, el equipo no es una
herramienta til.
Tampoco ayuda el solipsismo metodolgico, que se abog por Fodor (1981), y
que es esencial para la inteligencia artificial. Fodor toma la explicacin de la accin en
trminos de creencias y deseos de ser el ncleo de la psicologa cognitiva; y puesto que
las creencias y los deseos son lgicamente opacos, l espera que la psicologa cognitiva
puede darse el lujo de ignorar referencia. Esto es un error. El objetivo principal de la
psicologa cognitiva, como su propio nombre indica, es dar cuenta de los
conocimientos. El conocimiento es una relacin entre la mente y el mundo extra-mental.
La referencia es el ingrediente principal en esa relacin. La referencia es, de hecho,
lgicamente antes de la creencia y el deseo de la creencia informada. De ello se
desprende que el solipsismo metodolgico de Fodor es de poca ayuda. Y con el
solipsismo metodolgico debe ir el ordenador como un instrumento para establecer el
modelado cognitivo en su cognicin recesivamente.
As como la fsica y las matemticas se limitan/constrien mutuamente (Galileo
insight), al igual que la psicolingstica y la lingstica restringen cada otra (visin de
Chomsky), por lo que la cognicin y la lgica se limitan/constrien mutuamente El uno
al otro. Podemos expresar la relacin como:

Cognition > Logic

Quizs es justo atribuir esta visin el padre de la lgica, Aristteles.
As como la fsica y las matemticas no se colapsan a un solo tema, por lo la
cognicin y la lgica no se colapsan a un solo tema. El error bsico de los lgicos
psicologistas es imaginar que lo hacen.
La lgica de clases los cuales me dio un esbozo es, en algn sentido obvio de la
palabra, descubierto por el examen de nuestras prcticas interpretativas. No es una
lgica que uno impone de manera brutal en la teora de la cognicin. Necesita ser
alojado/acomodada y ampliada/expandida como va de la mano de uno y examinar los
estados cognitivos y eventos. Y mientras que la lgica de clases toma como suya la vida
de la matemtica, conserva una estructura armnica con los hechos bsicos de la
cognicin. En cierto sentido, entonces, la lgica de clases es objetiva; se descubre
mediante el estudio de algo objetivo, a saber, la categora de clases. La lgica de clases
tambin es objetivo en otro sentido. Es la lgica que matematiza adecuadamente
nuestra comprensin conceptual de los objetos.
Concluyo expresando la conviccin que la matemtica es la mejor herramienta
adaptada para trabajar en cognicin es la lgica categrica. La lgica de clases se
expresa en los trminos de la lgica categrica. Esto no es un accidente. La lgica
categrica es naturalmente intuicionista, aunque tambin puede ser clsica cuando se
presenta la ocasin. La lgica natural es mas-ordenador, y lgica categrica, porque
trata morfismos tan bsico, parece especialmente adaptada para hacer frente a-muchos
sistemas ordenados. Lgica natural implica la manipulacin simultnea de la constancia
y el cambio, porque el cambio es concebible slo en contra de un fondo de la
constancia. En la lgica de tipos, los sistantivos contables de forma modal constantes
suministran el fondo de la constancia; predicables y conectivas modales expresan
cambio. Categrico lgica, con su sensibilidad a funcionalidad, est especialmente
adaptado para manejar como la constancia y la variabilidad. Por la misma razn, la
lgica es categrica la herramienta matemtica apropiada para el manejo de ese funtor
entre estructuras lingsticas y la estructura de la no-lingstica que llamamos
"interpretacin". Lgica categrica ha elaborado una teora generalizada de las
estructuras de verdad - objetos contra los que aparece de la lgica clsica {0,1} como un
caso especial. Su respeto por functoriality hace categrica lenguaje de la herramienta
matemtica adecuada para interpretaciones cartogrficas en valores de verdad. Pero yo
no quiero invadir el terreno de la los otros contribuidores a este volumen, que
argumentar mejor que yo que la lgica categrica es la herramienta matemtica
apropiada para el estudio de la cognicin.
Termino compartiendo con ustedes una visin. Es que en la cognicin que
estamos en el ao 1690. Nuestro clculo (lgica categrica) se ha inventado - por Bill
Lawvere, a quien tenemos el honor de tener entre el pblico. Pero tiene solamente
comenzado a ser aplicada. Mi visin es la de una teora profunda y satisfactoria de la
mente humana y el desarrollo de la sustitucin de las tendencias en 'cognitiva estudios
"que me parecen en su mayor parte como indigno de su objeto.