Tema 53 Nominalismo y ciencia del s.XIV

Tema 53 NOMINALISMO Y CIENCIA DEL S. XIV

1. Introducción
2. Concepto de nominalismo
3. Nominalismo hasta s. XIV
3.1 Condena de 1277
3.2 Antecedentes filosóficos, culturales, políticos del nominalismo medieval
4. Períodos del nominalismo medieval
5. Guillermo de OckhM
5.1 Criticismo ockhamista frente a filosofía tradicional: "navaja de Ockham" 
6. Aspectos importantes del pensamiento de Ockham que permiten el desarrollo de las ciencias en el s. XIV y provocan un cambio de mentalidad en la época
6.1 De lo inobservable empíricamente no existe ciencia
6.2 Omnipotencia divina
6.3 Logicismo del principio de no contradicción
6.4 Economía metafísica
6.5 Inmanencia gnoseológica
7. Nominalismo como corriente
8. Ciencia del s. XIV
8.1 "Calculadores" de Merton College
8.2 Físicos de París
9. Conclusiones
10. Bibliografía


1. Introducción
- Nominalismo y ciencia del s.XIV tienen orígenes comunes 
- La filosofía de G. Ockham supone un cambio de mentalidad en la cultura medieval y anticipa características modernas
- A raíz de ellas varias escuelas cuestionan los pilares del aristotelismo

2. Concepto de nominalismo

- Solución al problema medieval de los universales
- El universal no es ninguna entidad real y no está en las entidades reales
- Solo es flatus vocis
- Los universales no se hayan ante rem ni son previos a la cosa como sostiene el realismo y el platonismo
- No están in re como sostiene el realismo moderado o aristotélico
- Los universales son nombres o términos
- El nominalismo defiende que solo tienen existencia real los individuos o entidades particulares
- Roscelino: 1. Noción universal como sonido de la voz
                       2. Sólo son reales los entes particulares
                       3. Una cualidad no es separable de la cosa que se dice que tiene esa cualidad

3. Nominalismo hasta s.XIV
3.1 Condena 1277
- s. XIV es consecuencia de las controversias acaecidas en s. XIII
- Acotó y Ockham manifiestan recelo hacia la razón especulativa provocada por las condenas al averroísmo
- 1277 Templete, obispo de París, excomulga a quienes enseñen doctrinas paganas contra la Iglesia, amparado en la Teoría de la imposibilidad de la doble verdad.
- 219 tesis conforman la condena, atacando textos de: Sto. Tomás de Aquino, Averroes, averroístas, avicenistas y otros textos no filosóficos.
- Condena la síntesis entrenaristotelismo y cristianismo realizada por Sto.Tomás
- Consecuencia de la condena: sembrar el desconcierto, creó desconfianza en la razón, actitud crítica iniciada por Ockham y que se prolonga hasta s.XV en París y Oxford
- Fe y razón quedan en plazos irreconciliables, sin síntesis posible
- Condena del arzobispo de Canterbury hacia Sto. Tomás y el aristotelismo
- Consecuencias: 1. Los agustinianos refuerzan su postura de platonismo difuso
                                2. Primacía de la verdad revelada: acomodación a ella del resto de conocimiento que el hombre pueda alcanzar
                                3. La verdad aristotélica puede tener fisuras, por tanto, hay que desterrarla en física
- El aristotelismo tomista derrotó al averroístas pero no al enemigo de ambos, el misticismo franciscano, que sin embargo ya no encajaba en las nuevas formas de conocimiento

3.2 Antecedentes filosóficos culturales y políticos del nominalismo medieval

- El nominalismo medieval se asienta sobre teorías del mundo antiguo
- Los autores escépticos pueden considerarse defensores del nominalismo
- Porfirio describe el nominalismo cuando dice que los géneros y las especies pueden ser representados como simples concepciones del espíritu
- Hasta la Edad Media esta posición no ocupó un lugar central
- A finales de la E. Media la corriente que tomó fuerza fue el "princeps nominalismo" de Ockham: los signos tienen suponere pro , están en el lugar de las cosas designadas, no son ellas, sino que las, significan.
- Este cambio de pensamiento se deriva del avance de la burguesía en Europa que provocó crisis social del S.XIII
- s. XIV cae la sociedad estamental planteando nuevas exigencias culturales y políticas, no compatibles con la rigidez medieval , lo cual disuelve la Escolástica.
- Las muertes de Manfredo y Bonifacio VIII provocan que no se una el Imperio y que no se eleve el papado a autoridad política
- Hay 2 períodos del nominalismo:
      1. s. XI Roscelino de Compiège
      2. s. XIV Ockham
- Ambos apoyan el nominalismo porque admitir universales en la mente de Dios era limitar la omnipotencia divina.
- Admitir universales en las cosas era suponer que las cosas tienen o pueden tener ideas o moldes propios, con lo que,  también se limita la omnipotencia divina.
- Dilthey señaló como diferencia entre ambos, que el nominalismo de Ockham está vivificado por el voluntarismo y el de Roscelino, no.

5. Guillermo de Ockham 
- Perfecciona las posturas de los nominalista de los siglos XI - XII y los inserta en un sistema filosófico coherente, ello provoca un cambio de mentalidad que prepara a la Edad Media para la Modernidad.
- La obra de Ockham supone una lucha filosófica en contra de los sistemas del s.XIII como los de S. Tomás y D. Scoto.

5.1 Criticismo ockhamista frente a filosofía tradicional: " navaja de Ockham" 
- Pionero en defender la separación entre Iglesia y Estado
- Su obra posee carácter crítico y constructivo, es dialéctica.
- Obras: " Comentario a las sentencias"
                " Cuestión es Quodlibetales"
                " Summa Lógica"
- Defiende que, en filosofía, lo observable, ha de mandar sobre lo inobservable. Al contrario que Se.Agustín, que no partía de lo sensible sino de lo inteligible.
- Sto. Tomàs había partido de la observación empírica pero según Ockham busca simplificar lo complejo, era un franciscano riguroso, por tanto, un místico exigente.
- Defiende la elegancia conceptual
- Metodología: no duplicar los entes más allá de la estricta necesidad
- "Navaja de Ockham" : 1. Economía del pensamiento, en contra de las escuelas de la metafísica tradicional
                                              2. Novedad en el debate sobre el intelecto:
                                                   . ¿qué necesidad tenemos de distinguir el intelecto agente del paciente?
                                                  . ¿ cómo sabemos que no es una distinción verbal , privada de fundamento y correlato con lo real?
                                                  . Ockham niega contra los averroístas la separación del intelecto agente y paciente.

- Los aristotélicos afirman que el acto cognoscitivo exige la intervención de categorías y principios universales y de ahí nafirmN el entendimiento agente.
- Ockham plantea si es indispensable dicha intervención
- Responde con su versión del empirismo: nominalismo
- La única fuente de conocimiento es la intuición sensible que nos pone en contacto inmediato con la realidad de los objetos individuales.
- Las otras formas cognoscitiva s derivan de la experiencia y encuentran en ella su justificación
- Se opone a la teoría de la abstracción tomista y de D. Scoto de naturalezas comunes.
- Si el conjunto de las operaciones cognoscitivas es único , deberá ser único el intelecto que lo efectúa.
- Si ni la memoria ni el conocimiento conceptual nos llevan más allà de la intuición empírica, hasta con admitir el alma individual, que es donde reside la intuición
- Todo recurso a entidades más complejas debe rechazarse para seguir el principio de economía metafísica llamado "navaja de Ockham"
- Desaparece el concepto de sustancia y causa
- No hay motivo para postular la existencia de una sustancia más allá de las cualidades
- Reconocemos la continuidad entre causa y efecto pero no el vínculo metafísico que supuestamente las une
- No se pueden deducir los efectos de las causas o aplicar causalidad fuera del campo donde sea verificable

6. Aspectos importantes del pensamiento de Ockham
6.1 De lo inobservable empíricamente no existe ciencia
- Consecuencias:
a) Que haya una causa última que llamamos Dios, se sabe por fe y no por ciencia
b) No puede afirmarse empíricamente la existencia del alma , se sabe por fe.
c) No puede demostrarse filosóficamente la libertad.
- Creemos que somos libres y tenemos fe en el libre albedrío pero, no podemos demostrarlo empíricamente.
6.2 Omnipotencia divina
- Sto. Tomás: los Diez mandamientos son asequibles a la razón. Ockham argumenta en contra: Dios por su omnipotencia divina hubiera podido crear cualquier mundo.
- Consecuencias: a) Contingentismo ontológico total: no rige el principio de no contradicción, ni el de identidad. Lo que no sea Dios, es caducó y contingente.
                                b) Escepticismo: nunca podemos estar seguros de nuestro conocimiento porque solo Dios es omnisciente y podría revocar cualquier afirmación a la que hayamos llegado.
                                c) voluntarismo: metafísico y moral: Dios decide a voluntad cómo es la realidad. Por tanto, el Bien y el Mal se supeditan a la omnipotencia de la libérrima voluntad de Dios.

6.3 El Logicismo del principio de no contradicción

- Dios lo puede todo, por lo que podría hacer que A devenga no A

6.4 Economía metafísica

- Ockham simplifica hasta el extremo para describir la realidad
- Se basa en no multiplicar los entes sin necesidad o no afirmar muchas cosas donde baste afirmar pocas. Negó las bases aristotélico-tomistas por estar constituidas por exceso de conceptos: potencia-acto, materia-forma, entendimiento agente- entendimiento paciente, sustancia-accidente...
- No podemos admitir nada que no sea necesario o no pueda demostrarse o probarse empíricamente.

6.5 Inmanencia gnoseológica

- Conclusiones: a) Los conceptos universales quedan clausurados dentro del yo cognoscente: la referencia al objeto extramental solo es un símbolo; el conocimiento abstracto no es fiable, por lo que no podemos afirmar que los universales sean más que símbolos; aplicamos los universales a un conjunto de individuos porque se nos asemejan pero no porque haya una esencia común. 
                             b) Los conceptos universales son signos lingüísticos: los signos lingüísticos tienen la capacidad de ocupando !jugar de las cosas que significan en un discurso; a eso lo llama Ockham suposición; hay signos lingüísticos de tres clases: (convencionales) 1. proferidos: palabras habladas y 2. escritos ; (naturales) 3. pensados : conceptos
- El entendimiento posee un conocimiento directo e intuitivo de las realidades individuales. Al contrario que para Sto. Tomás no hay el complejo proceso de abstracción
- Con Ockham la filosofía dejó de ser realista
- Ahora es problemática, crítica, dubitativa, presidida por la sospecha y la decepción respecto al mundo exterior.
- Ockham dio paso a la filosofía aporética y perpleja

7. Nominalismo como corriente

- Para Ockham no existen las ideas subsistentes por encima de la realidad como lo eran al modo platónico- agustiniano
- Tampoco abstrídas como lo eran al modo aristotélico-tomista
- Si solo hay individuos, es falso o innecesario el principio de individuación, por tanto, Ockham negaba la existen la de ideas ejemplares en Dios a las que él tuviera que atenerse porque eso limitaba su omnipotencia.
- Negadas las ideas ejemplares, desaparecía la supremacía de las esencias respecto a los individuos
- Sin supremacía de las esencias, desaparecía nos prioridad delo universal, por tanto, ya no hay necesidad de un principio de individuación.
- Los conceptos universales existen como nómina o nombres pero, carecen del fundamento extramental que les supone la teoría realista.

8. Ciencia del s. XIV

- Ockham y su obra son esenciales para el desarrollo de la ciencia en el s.XIV , debido al método que propone: proceder de lo fácil a lo complejo, de la intuición a la causa.
- Como causa hipotética en la que podemos encontrar diversas hipótesis
- La sustancia se convierte en un supuesto y solo quedan como firme asidero, las intuiciones empíricas.
- Reduce el movimiento a la relación entre el móvil y los lugares por él ocupados de forma sucesiva y la imposibilidad de que ocupe dos posiciones simultáneas.
- Nuevas visiones de la ciencia: cielos y tierra están hechos de la misma materia, posibilidad de nuevos mundos, apertura al infinito real sin perfilar ninguna imagen del mundo.
- Nueva concepción del saber científico crítica con la obra de Aristóteles.

8.1 " Calculadores" de Merton College
- Universidad de Oxford s. XIV
- Tendencias de pensamiento innovador: depuración de Aristóteles, nominalismo de Ockham, Grosseteste y la mística de la luz del siglo XIII...
- Nuevo planteamiento en ciencia: empleo de la matemática para el estudio de la física
- Galileo consagrará ese método posteriormente
- Fueron caldo de cultivo para el despliegue de la ciencia posterior
- "Calculadores" plantearon cuestiones nuevas gracias a la aplicación por primera vez de la matemática a la física

8. 2. Físicos de París

- Continuadores del nominalismo de Ockham
- Interés por cuestiones de lógica y filosofía de la naturaleza
- Representantes: . Nicolás de Autrecourt
                                  . Juan Buridan : hipótesis del ímpetu, precedente del principio de inercia
                                  . Alberto de Sajonia: teoría sobre la gravedad, planteó el problema de la relación entre la velocidad y el tiempo
                                  . Nicolás de Oresme: hipótesis del movimiento de rotación de la Tierra
                                   . Copérnico: variaciones de las cualidades con los ejes geométricos de extensión e intensión de una cualidad

- Físicos de París son precedentes de la ciencia moderna sumergidos en la perspectiva de la física aristotélica , ensayando respuestas a sus puntos más débiles

9. Conclusiones
- La obra de Okham es una teoría del lenguaje que implica a la epistemología y a la metafísica
- Su carácter novedoso representa el cambio de mentalidad que da lugar a la era Moderna
- Propone una investigación constante que no da nunca nada por concluido.
- Okham tiene la valentía de enfrentarse a las grandes autoridad medievales
- Representa una gran lección para la teoría del conocimiento por no cesar en la investigación y este carácter es útil hoy en día para el desarrollo de proyectos
- Una aportación decisiva para cómo entendemos hoy el mundo que proviene de Ockham  y , a mi juicio,  poco valorada es la que estudia la Dra. Lértora en su tesis "El infinito en el pensamiento inglés s.XIII y XIV" : La elevada idea de Ockham sobre la impotencia divina, lo hace defensor del concepto de infinito para el universo y las ciencias en general. Y todo en base a una crítica lógico-lingüística de los elementos anteriores.
Lértora estudia cómo abandonàndose las teorías escolásticas se pasa a perfilar la defensa del infinitismo en autores como Okham, Grosseteste y posteriormente en Bacon. La caída de los universales da paso al concepto de infinito en matemáticas y física que se muestra en la obra de Okham en tres rasgos:
1. Crítica a la negación aristotélica del infinito extensivo actual
2. Transformación del infinito intensivo en extensivo
3. Delimitación de los ámbitos lingüísticos que condicionan la solución finitista

10. Bibliografía

ABBAGNANO (1973, Barcelona) " Historia de la Filosofía" Ed. Montaner y Simón
COPLESTON (2004, Barcelona) " Historia de la ciencia" , Ariel
CROMBIE (2000, Madrid) " Historia de la ciencia de S. Agustín a Galileo" , Alianza
FERRATER MORA, (1979, Madrid) " Dicc. de Filosofía" , Alianza
GILSON (1980, Madrid) " Filosofía de la E. Media" , Gredos
LÉRTORA, ANA CELINA (2015, UCM) " El infinito en el pensamiento inglés de los s. XIII y XIV: Grosseteste, Bacon y Ockham" Tesis dirigida por Sergio Rábade. Recuperado de: www.educacion.es/teseo
MÍNGUEZ (2005, Madrid) " De Ockham a Newton" Ed. Pedagógicas
OCKHAM, (1962, Buenos Aires) " Tratado sobre los principios de teología" , Aguilar
                    (1967-1988), "Opera philosophica etc teológica" Ed. Franciscana, St. Bonaventure N.4

Bibliografía tema 58 Locke y Hume: Empirismo y ciencias morales

Completa la bibliografía del tema 58 con este hot-potatoes.

¡A ver si sabes de Locke y Hume!

Prueba tus conocimientos sobre Locke y Hume con Kahhot! haciendo click aqui.

Tema 58 LOCKE Y HUME : EMPIRISMO Y CIENCIAS MORALES

Camela y Freud

CAMELA Y FREUD

EN ESTUDIOS SOBRE LA HISTERIA

BREUER Y FREUD SE FUERON A APARTAR

HIPNOSIS YA NO VALDRÁ, HIPNOSIS YA NO VALDRÁ A A A

FREUD DIJO: VEO YO EN MIS SUEÑOS

MI INCONSCIENTE EMPIEZA A HABLAR

DEL BURGUÉS REPRESOR

DEL BURGUÉS REPRESO O O O R

estribillo

FREUD, SUEÑO CONTIGO

¿CUÁL COMPLEJO?

SERÁ ELECTRA O EDIPO CON TU VIEJO

FREUD, SUEÑO CONTIGO

¿ CUÁL COMPLEJO?

AVERIGUA QUÉ DESEOS ESTÁS REPRIMIENDO

X 2 el estribillo

SI A MI NATURALEZA PREGUNTO

SEGURO QUE ME RESPONDERÁ A A A

THANATOS PARA MATAR

EROS PARA AMA A A AR

CULTURA NORMATIVA ME DIO DE LADO

DESEOS REPRIMIDOS DEJÓ O O

Y UNA ESPINA CLAVADA ES LA RELIGIÓN

EL PORVENIR DE UNA ILUSIÓN

estribillo x2

FREUD, SUEÑO CONTIGO

¿CUÁL COMPLEJO?

SERÁ ELECTRA O EDIPO CON TU VIEJO

FREUD, SUEÑO CONTIGO

¿ CUÁL COMPLEJO?

AVERIGUA QUÉ DESEOS ESTÁS REPRIMIENDO

CULTURA MALESTAR PROVOCANDO

NO BASTA NARCISISMO

TODOS SUS INTENTOS SON UN FRACASOOOOO

estribillo x2

FREUD, SUEÑO CONTIGO

¿CUÁL COMPLEJO?

SERÁ ELECTRA O EDIPO CON TU VIEJO

FREUD, SUEÑO CONTIGO

¿ CUÁL COMPLEJO?

AVERIGUA QUÉ DESEOS ESTÁS REPRIMIENDO

Las distintas concepciones de la psicología como ciencia

ÍNDICE 
 1. La psicología científica 
1.1 Sobre el origen etimológico de ‘psique’ en la cultura occidental 
 2. Frenología 
3. Psicofísica
 4. Metafísica aplicada de Herbert
 5. Los primeros sistemas: Wundt, Estructuralismo, Gestalt, Wurzburgo. 
6. Funcionalismo 
7. Psicoanálisis. 
8. Behaviorismo: clásico y radical
 9. Conclusiones 
10. Bibliografía


 1. La psicología científica

 ¿Es la psicología o no una ciencia y por qué? Existe un debate sobre el estatus científico de la psicología. Para algunos, sólo es una tentativa de ser ciencia porque pretende dominar la mente humana. También por el hecho de explorar lo invisible por inconmensurable e inobservable. Sin embargo, desde su nacimiento, el trabajo del psicólogo ha conocido singularidad propia que demarca su tarea según el método científico. No obstante, grandes de las fundamentaciones de las pretendidas teorías científicas de la psicología proceden de aspectos ya estudiados por la filosofía: epistemología, ética, filosofía de la naturaleza… Tampoco podemos olvidar que durante su nacimiento en el siglo XIX afloraron diversos métodos de estudio de la psique a caballo entre lo científico y lo esotérico, que aunque hoy no son aprobados, influyeron en un contexto en el que la ciencia pretendía imponerse a la religión. 

 1.1 Sobre el origen etimológico de ‘psique’ en la cultura occidental 

La palabra proviene del nombre propio de una divinidad griega femenina. Se dice de ella que era bellísima, era la hija menor del rey de Anatolia, tras muchos avatares, consiguió ser esposa de Eros y madre del placer. El diccionario de la RAE indica que el término ‘psique’ se refiere al alma humana. La noción procede la lengua griega antigua y está relacionada con conceptos filosóficos. Cada filósofo asociaba ese principio vital propio del ser humano a unas características. Alguno consideraban que se moría con el cuerpo, otros que sobrevivía a él, otros lo relacionaban con el alma en cuanto a concepto espiritual… Poco a poco se fue desvinculando del cuerpo hasta que en el s. XVII se comenzó a entender como algo independiente de él, gracias entre otros autores a Descartes y al mecanicismo. Ya en el s. XIX comenzó su estudio como disciplina separada, inaugurándose así la psicología. Actualmente, aunque depende de qué escuela lo defina, se considera que se compone de los fenómenos y procedimientos que ocurren en la mente. Como tal, permite al ser humano adaptarse al ambiente mediante el aprendizaje, si no lo hace, pueden aparecer trastornos mentales. Las funciones de la psique son pensar, sentri, percibir. En el plano físico está regulada por el cerebro. Que lo definamos así demuestra cómo nos ha influido el mecanicismo del siglo XVII ya nombrado. 

 2. Frenología 

Gall defendía que el estudio de la psique debía acometerse desde el análisis del cerebro y las funciones que producen el pensamiento y la acción y no con abstracciones de ‘lo mental’. Estableció la identificación entre determinadas áreas del cerebro y determinadas conductas. Describió el cerebro y el sistema nervioso relacionando funciones del cerebro y desarrollo físico. Buscaba relaciones entre la fisonomía craneal. Elaboró un mapa de las facultades humanas ubicadas en regiones cerebrales y asociaba protuberancias en el cráneo a dificultades o trastornos. Se reveló como una forma pionera del funcionalismo. 

 3. Psicofísica

 Fechner investigó sobre lo que luego se ha llamado psicología experimental. Se opuso a la tradición kantiana que sostenía la imposibilidad de un análisis empírico de la mente. Fechner propuso aplicar las leyes matemáticas al estudio de la psique. Obra en 1860 “Elementos de psicofísica” El trabajo experimental de Fechner se basó en el intento de hallar relaciones matematizables entre estímulos controlados y sensaciones provocadas en los sujetos pacientes. Sus métodos influirán en la concepción de la psicología como ciencia. 

 4. Metafísica aplicada de Herbert 

Representa otro punto de oposición a la epistemología kantiana. Concibe la mente como conjunto de ideas que pugnan por acceder a la conciencia. Quería trasladar la matemática newtoniana a lo mental. Debía de haber patrones que explicaran la dinámica de la conciencia. Parecer ser un predecesor de Piaget porque busca la estructura lógica universal del pensamiento. Las ideas son particulares pero sus relaciones son descriptibles como estructuras matematizables y generales. 

 5. Los primeros sistemas: psicología de la conciencia Wundt

 Se asocia a este autor como fundador de la psicología como ciencia, pero sólo es cierto con matices. Durante el s. XIX surgieron distintos sistemas que desembocaron en los desarrollados tipos de psicología contemporánea. Sí es cierto que Wundt dotó a la psicología de autonomía de medios y fines y la institucionalizó. Él sólo defiende la psicología de la conciencia, sin embargo, había en su origen tres maneras de entender la psique: conciencia, inconsciencia, adaptación. Dentro de la psicología de la conciencia, los siguientes colaboran a construir la psicología científica: Wundt, Estructuralismo, Gestalt, Escuela de Wurzburgo. Wundt relacionó filosofía y fisiología para crear la psicología experimental. Su análisis es un modo científico de estudiar la conciencia humana como experiencia consciente en un momento determinado y observable. La experiencia de la conciencia es directa pero no se puede dar cuenta de ella, sólo a través de la introspección. Wundt pretendía medir estímulos, sensaciones, reacciones emocionales… La cuantificación es la clave para que se trate de disciplina científica. La cultura en la que estamos inmersos también provoca reacciones medibles en la construcción de la mente humana. Por ello, Wundt elaboró su obra “Psicología de los pueblos” , donde estudió los componentes de la cultura y cómo afectan a la construcción de la mente. Defiende que no hay esencia ni sustancia mental independiente. Plateó la separación de lo mental y lo físico en compartimentos estancos aunque comunicados. Lo llamó paralelismo psicofísico pero nunca concebido como sustancias sino como sucesos corporales y mentales. Es antimaterialista, la ‘idea’ no es algo o un elemento, sino un proceso activo. Su técnica emplea introspección pero con resultados computables. Distingue percepción (atención) de apercepción (actividad mental superior, razón o intelecto) Defiende que la mayor comprensión de la mente debe contar con el bagaje histórico y cultural que acompaña al hombre particular. El propio Wundt se halla influido por la filosofía alemana del s. XIX: filosofía de la historia de Hegel, Herder, el romanticismo, el nacionalismo alemán. Analizó también el lenguaje: distinguió fenómenos externos, que son enunciados físicamente realizados y fenómenos internos, que son procesos cognitivos que subyacen a la cadena exterior de palabras. Las cadenas exteriores de palabras o fenómenos internos constituyen la forma mental interna del habla. Desarrolló así los principios de la psicolingüística: la realización física de un enunciado es una idea completa que un individuo quiere expresar. Las funciones analíticas de la metne, disponen la articulación de esa idea estructurando sus constituyentes y el receptor la descompone sintéticamente. Estructuralismo Tichener defendía que la mente eran sensaciones o imágenes de sensaciones. Identificaba sensaciones atómicas mediante la introspección. Para Tichener no era válida la distinción entre atención y apercepción de Wundt. Pero fue muy difícil aislar sensaciones por lo que se fue desechando. Gestalt Defiende que se percibe un todo y está en contra del atomismo en cuanto a la constitución de los elementos de la mente. En el fondo de esta teoría hallamos las ideas de Brentano y Husserl con la fenomenología que pretendían describir la experiencia y no analizarla. Percibimos un todo y sus elementos vienen determinados como partes intrínsecas de ese todo y deben entenderse como referidas a él. Estudian los estímulos y la percepción en lo que llaman campo psicológico, concepto tomado de la física, como lugar donde interactúan todas las partes de la experiencia. Desarrollan también el concepto de ‘isomorfismo’: las relaciones estructurales de la conducta crean en el individuo que las experimenta una pauta de campos cerebrales isomórficos con respecto a sí mismo. Así, la Gestatl supera la dualidad mente-conducta porque define que existe el campo físico de las cosas y el campo físico de los procesos cerebrales eléctricos, ambos isomorfos entre sí. La voluntad no cabe para la Gestalt, porque la conducta se explica siempre por isomorfía física. Wurzburgo Es una escuela que realiza experimentos de introspección donde descubrieron que los pensamientos pueden no ir emparejados con imágenes. Concluyeron que el pensamiento es inconsciente. Desdeñaron el asociacionismo propio del psicoanálisis pero sí defendieron la introspección como medio de estudio de la psique. Esta escuela fue importante por su carácter innovador y presentó casos que forzaban al replanteamiento de las tesis de la investigación analítica de la conciencia. 

 6. Funcionalismo

 Las teorías de la evolución supusieron un cambio en la forma de entender la psique, a partir de ellas se entendió como directora del proceso adaptativo de un organismo a su hábitat. Esta corriente pretendía afrontar problemas concretos. Es descendiente del pragmatismo norteamericano. Defendía que la función de la conciencia es elegir con el fin de la supervivencia. Autores: James, Angell. Las estructuras orgánicas y las funciones existen en virtud de la eficacia con que encajan en las condiciones vitales existentes. También les influyó Brentano que había señalado las siguientes funciones específicas de la mente: idear (ver, oir, imaginar) , juzgar (reconocer, percibir, recordar) Esta obra de Brentano influyó también en la Fenomenología de Husserl, como se ha mencionado anteriormente. 

 7. Psicoanálisis. 

Freud aportó el concepto de inconsciente, el análisis de la naturaleza humana y la cultura. Define inconsciente como lugar mental donde residen ideas reprimidas que no pueden alcanzar la conciencia. Estas ideas están reprimidas porque se nos harían insoportables a la conciencia y la terapia consiste en averiguar por qué y sacarlas a la luz. La represión es una defensa del yo, ya se deba a nosotros mismos o a concepciones impuestas por la sociedad. Freud defiende que estar ideas pugnan por salir y se subliman apareciéndonos de diferentes maneras (sueños, conductas extrañas…) , a veces dañinas para la persona. En la obra conjunta con Breuer , “Estudios sobre la histeria”, concluyeron que el origen de la histeria es una experiencia traumática donde la emoción que se suscita no se ha liberado del modo adecuado. Por ello en el paciente se reconoce el síntoma pero la causa está oculta. Las obras en las que comienza a gestar la teoría psicoanalítica son “La interpretación de los sueños”, “Tres ensayos sobre la la teoría sexual” Freud defiende que los sueños son la vía más importante para la profundidad del inconsciente. Defiende que cualquier persona, de manera natural alberga deseos y tensiones que no puede mirar cara a cara en la consciencia. En la vigilia, cuando estamos despiertos, el ‘yo’ controla estos impulsos, pero en el sueño, los mecanismo de control del yo consciente se relajan y aparecen esos deseos en forma de sueño. Freud argumenta que la estructura mental se compone de sistemas distintos y comunicados según el siguiente esquema:



 

 El complejo de Electra y el complejo de Edipo estudiados por Freud son deseos infantiles que muestran cómo comenzamos a construir nuestras relaciones sexuales y de todo tipo con nuestros parientes más cercanos, que son los progenitores. Se basa en una competición con el progenitor del mismo sexo y adoración excesiva al opuesto.
 Estas teorías hay que actualizarlas a las nuevas teorías queer del siglo XXI. Es evidente que en este planteamiento Freud no tuvo en cuenta ni esas teorías postmodernas ni la homosexualidad, por ello hay actualmente revisiones del psicoanálisis que sí las incluyen. En su obra “La interpretación de los sueños” busca establecer un sistema de símbolos recurrentes para ver cómo manifiestan el conflicto entre conducta y deseos inconscientes, represión y cómo reintegrarla para evitar o tratar el mal psicológico. 
En su obra “ Tres ensayos sobre teoría sexual” sostiene que todas las neurosis provienen de no aceptar alguna parcela de nuestra propia sexualidad. Ofrece nuevos descubrimientos del funcionamiento mental. Por ejemplo, la líbido: energía mental producida por la pulsión sexual. La líbido como energía no puede ser destruida, sólo manifestada en la sexualidad, reprimida, aparecer de modod indirecto mediante el desplazamiento como ocurre durante el sueño o en expresiones neuróticas. Uno de los modos del desplazamiento es la sublimación, en el que las pulsiones sexuales actúan como motivación de actividades culturales, artísticas, intelectuales superiores. 
Este autor investigó también otras pulsiones que fueran tan fuertes como el impulso sexual y encontró la pulsión de muerte o evitación de la muerte. Esto fue replanteando su concepto de estructura de la mente como aparece en su obra “El yo y el ello” En esta obra explica un mapa mental más complejo. El ello o id es irracional, inconsciente, donde se amparan las pulsiones y que actúa desde la infancia como fuerza original. 
Estas pulsiones se proyectan sobre la madre y objetos inmediatos que informan al niño del mundo contribuyendo a la formación del yo o ego que se asocia al principio de realidad cuya función es modular la tendencia a satisfacer el apaciguamiento de tensiones que exige el ello. Por último se conforma el superyo que surge como agente de la moral interna. Éste se desarrolla desde la época vital edípica. El temor al rival del mismo sexo entre los progenitores acaba por ceder en pro de una aceptación de los valores morales que propugnan y que sirven de apoyo al yo en la sociedad, que a su vez ordena el aparato represor. La relación de estas tres esferas de la mente produce la conducta y la conciencia. De su falta de equilibrio entre unas y otras proviene la patología mental. 
 Freud señaló en su teoría psicoanalítica la función de la sublimación como forma de desplazamiento más importante. Permite la motivación de actividades culturales superiores que de otro modo haría desembocar la líbido en la liberación de la oposición del aparto represivo. El mundo de la civilización exige al hombre que proyecte su energía reprimiendo la inmoralidad que habita en el ello, en pro de actos que sustenten a aquél. Freud estudió los cauces de transmisión cultural que imponen al hombre la tarea de la moral y halló como uno de sus aparatos represores la religión. Planteó esto en su obra “El porvenir de una ilusión” La religión es la ilusión de la protección de un padre omnipotente. Debido a esto es peligrosa porque entorpece el proceso de madurez intelectual del ser humano y su creación como responsable de sí mismo. De esta forma la civilización en cuanto sociedad, reprime al ser humano provocando en él una insatisfacción que le lleva a sacrificar la satisfacción de sus deseos o pulsiones sobre todo las sexuales. Plantea Freud si la sociedad satisface el deseo de protección a la vez que constriñe al individuo y por ello se le considera como uno de los grandes pensadores de la época contemporánea, por plantear ese debate.

 8. Behaviourismo o conductismo: clásico y radical Clásico 

En el s. XX en EEUU surge como proyecto de reforma de los métodos y objetivos de la psicología. Sus temas de estudio son: control de la conducta, aprendizaje, sustitución de la expliación psicológica por la predicción prospectiva. Asume para ello la teoría de Occam de el pensamiento como hábito, la de Hume de la inducción y el pensamiento como manifestaciones de un hábito. Desdeña la conciencia, no cree que sea necesaria para ubicar los procesos mentales ni explicar el comportamiento. También se nutre del mecanicismo tradicional científico y del positivismo que insiste en referir el ámbito de estudio sólo a lo observable.

 Pavlov: Defiende que no se estudia el alma ni la conciencia y que el método introspectivo no es válido para la psicología. Cosntruyó el programa de condicionamiento clásico. Hay un estímulo innato asociado a una conducta de forma respuesta incondicional. Después se asocia un nuevo estímulo ya no innato, al sí innato, y al cabo de una sostenida simultaneidad, produce la misma respuesta, que ahora es una respuesta condicionada. Watson: En su obra “Psicología desde el punto de vista behaviorista” defiende que sólo es necesario estudiar la conducta y no la conciencia. Cita: “La psicología debería estudiarse en términos de estímulo-respuesta, formación de hábitos, integración de hábitos y similares” Defiende que la psicología estudia cómo un animal, también humano, se adapta al medio de forma que dada una nueva respuesta se pueda predecir el estímulo y dado un nuevo estímulo se pueda predecir la respueta. Así, la psicología debería poder acceder al control de la conducta, solventar los problemas específicos de la educación y en general de la vida práctica. Descarta la existencia de facultades imaginativas o intelectuales. Defiende que el pensamiento es instalación de actos musculares ligados por mecanismos que los asocian de modo que los procesos reflexivos son tan mecánicos como los hábitos. No apoya la introspección. Es empirista, ambientalista y determinista. Defiende que no existen facultades innatas en los seres del reino animal, sólo algunos reflejos motores. Defiende que el lenguaje es una secuencia de sonidos ligados entre sí y aprendidos por medio de la imitación desde el condicionamiento. 

 Radical 

Skinner: Asocia su teoría psicológica al neodarwinismo. Defiende igual que Watson que la conducta se forma sólo con el influjo exterior. Acepta de Freud la atribución a motivos inconscientes de la conducta observable pero niega l estructura mental que Freud establece (ello, yo, superyo) Solo atiende a las observaciones y no a las interpretaciones de las mismas. Skinner intenta procurar una explicación de la conducta desde la obra de Darwin y su elaboración del concepto de selección natural. Skinner aplica el concepto de selección natural a la conducta. Hay conductas diversas, unas se ven reforzadas por ser beneficiosas y otras se debilitan por ser perjudiciales y acaban por extinguirse. Su estudio se basa sólo en la experimentación, que permite el control de los factores que intervienen en la formación de la conducta. Las influencias externas son ‘variables independientes’ y la conducta ‘variable dependiente’ El organismo es el lugar de interacción de estas variables. Queda rechazada toda metafísica. Sólo es útil la física y la fisiología. En su texto “La conducta de los organismos” explica que la conducta ha de atenderse sólo como fenómeno físico, que se da en un espacio-tiempo. Plantea con rigor sus experimentos para calcular observables y cuantificables. 

 9. Conclusiones 

La psicología compone muchos métodos diversos porque trata de estudiar el comportamiento humano no como la ética en relación a bienes y fines y derechos y dereberes, sino en relación a su condición humana como sujeto multidimensional : emocional, biológico, cognitivo, espiritual...localizando los motivos de actuación para lograr una vida plena y saludable.
 ¿Qué diferencia hay entre ética y psicología? La ética es la reflexión sobre el comportamiento humano, la psicología no incluye per se reflexión, trata de ser un estudio científico para preveer comportamiento humanos y obrar en consecuencia. Pero sus fines no tienen por qué ser éticos, es decir, están sujetos a reflexión ética, tanto sus métodos como sus fines. Algunos de sus métodos no son científicos, porque su objeto de estudio es dífícil de cuantificar y se ve obligada a recurrir a métodos no científicos, sin embargo, si son estudio de la mente humana, habrán de ser también psicología. Por tanto, siempre que estudiemos psicología , estaremos estudiando la mente humana, pero si empleamos el método científico será por tanto psicología científica, pero no siempre emplearemos el método científico. 

 10. Bibliografía 

 WUNDT “Principios de psicología fisiológica”
 TICHENER “Esbozo de psicología” 
KÖLER “Psicología de la forma” 
DARWIN “Origen de las especies” 
JAMES “Pragmatismo” 
ANGELL “Psicología” 
 SPENCER “Principios de psicología”
 FREUD “El malestar en la cultura”
               “El porvenir de una ilusión” 
               “Introducción al psicoanálisis” 
DOSTOYEVSKY “Memorias del subsuelo” 
JUNG “Los complejos y el inconsciente” 
PAVLOV”Psicología y fisiología” 
 WATSON “Behaviorismo” 
SKINNER “La conducta de los organismos” 
                  “Walden 2” 
PAPALIA Y OLDS “Psicología” 
 PEREZ DE TUDELA “Pragmatismo americano” 
PINILLOS “La mente humana” 
                  “Principios de psicología”

TEMA 5 DE LA LÓGICA CLÁSICA A LA LÓGICA SIMBÓLICA

Introducción

Tradicionalmente se ha dividido la lógica en material y formal. La lógica formal estudica la estructura del pensamiento, con el objetivo de poder determinar las leyes necesarias para que un razonamiento sea concluyente o válido.

Desde la lógica tradicional aristotélica se considera fundamental el razonamiento de forma silogística y durante la época escolástica seguirá siendo el silogismo el centro de la lógica. A partir de Kant, con la revolucion que su obra provoca en la teoría del conocimiento, comienza a ser más importante el juicio y se va concediendo cada vez más importancia a la estructura y no al contenido.

Actualmente podemos distinguir lógica de primer orden, que se ocupa de enunciados y cuantificadores y por otra parte, lógica de segundo orden con la que se pueden cuantificar variables de predicados, como pueden ser la lógica de clases o la lógica de relaciones.

Historia de la lógica clásica.

Para hallar los inicios de la lógica debemos remontarnos a la antigua Grecia, donde las polémicas en torno a las obras de Parménides y las paradojas de Zenon, quien hace un uso indebido del principio de no contradicción, como mostrará ya en el s. XX Russell, provocan la preocupación y desarrollo incipiente de esta disciplina. Posteriormente fueron los sofistas los que continuaron su desarrollo. Ellos reducían todo el saber a palabras. Sócrates, en oposición a ellos defendía el valor de los conceptos y su objetivo era definirlos con precisión. Como disciplina la lógica no siempre se ha llamado de la misma manera o ha tenido el mismo campo como objeto. Por ejemplo Platón, quien retomará el trabajo de su maestro, la denomina 'dialéctica', entendiendo por tal la técnica de conocer las relaciones entre las ideas. Él pensaba que cualquier contenido de la mente existía tal cual en la realidad en el mundo de las Ideas separadas del mundo natural cambiante, componiendo el 'cosmos noétos' Reaccionando a esta teoría, su discípulo Aristóteles escribe el 'Organon o coleeción de obras lógicas' donde expone tal actividad como una analítica y no una dialéctica como decía Platón. Aristóteles defenderá que las ideas existen sólo en la mente humana a pesar de que tengan correlato en el mundo natural. Este autor también distingue entre metafísica o ciencia de la realidad del ser en cuanto ser en sus principios más profundos y lógica o ciencia de las ideas o procesos de la mente. Todo apunta a que Alejandro de Afrodisia, comentarista de Aristóteles, fue el primero en utilizar el témino 'lógica' para catalogar esos escritos aristotélicos. Aunque otros autores atribuyen a Zenón de Elea, citado anteriormente, el acuño del término. De lo que no hay duda es de que Zenón contribuye al desarrollo de la lógica en cuanto a la elaboración de sus conceptos. A pesar de que la escuela estoica, Boecio y Porfirio destacan en esta materia al final de la edad antigua, es la lógica aristotélica la que sigue vigente desde la antigua Grecia hasta la Edad Media. Los escolásticos estudian la lógica formal llamada 'dialéctica' hasta el s. XII como propedéutica para los estudios de las demás ciencias (filosofía, teología...) y era materia incluida en el 'trivium'. El lugar que actualmente tiene la lógica en las facultades de Filosofía y Letras, en la Edad Media llamadas Facultades de Artes, viene avalado por 1500 años de experiencia académica continua de esta disciplina.

Abelardo (s. XII) es otra de las figuras destacables con su participación en la polémica sobre los universales. En su obra 'Dialéctica' no sólo aborda la lógica formal sino también categorías, definiciones, etc.

Juan de Salisbury (s.XII) escribe 'Metalogicon'

Guillermo de Shyreswood (s.XIII) escribe 'De Puritate Artis Logicae Tractatus Longior'

Sto. Tomás de Aquino, S. Alberto Magno (s. XIII) siguen estas líneas aristotélicas. De la misma época y corriente, la figura más destacable en la materia de lógica fue Pedro Hispano de Lisboa que llegó a convertirse en el Papa Juan XXI. Escribe 'Summulae Logicales' con la que renueva la lógica y abre una nueva línea de trabajo que culminará con el movimiento occamista. En este sentido toda la escuela escolástica aporta a la lógica las siguientes novedades:

- la teoría general de la referencia

- la teoría general de la implicación

- el desarrollo de la lógica de las modalidades

- el tratamiento de paradojas, problemas lógicos del lenguaje...

La obra de Pedro Hispano tuvo un centenar de ediciones y una enorme aceptación durante siglos. En uno de sus tratados asienta los siguientes términos: suposición, ampliación, apelación, restricción, distribución, exponibles. Establece una célebre hipótesis que anticipa las leyes de De Morgan: "copulativa et disiunctiva de partibus contradicentibus contradicunt" , una conjunción y una disyunción se contradicen mutuamente si sus partes se contradicen. De De Morgan lo establecerá como las contradictorias de una conjunción y de una disyunción se consiguen cambiando en cada caso el signo copulativo o el disyuntivo por su contrario, mientras se niegan cada uno de sus miembros.

s. XIV se produce con fuerza el movimiento nominalista con Guillermo de Occam y Juan Buridan.

s. XVI Pedro Ramos escribe 'Dialéctica'. En el mismo siglo el español Juan de Sto. Tomás escribió "Curso de Lógica" (`Ars Logicae') publicado en Alcalá de Henares con numerosas ediciones hasta hoy.

s. XVII destaca Francis Bacon y Joachni Jungius escribe "Logica Hamburgensis" En Francia Arnauld y Nicole escriben 'La logique de Port Royal' , muy influenciados por Descartes que busca una ciencia totalmente nueva que permita resolver en principio todas las cuestiones evitando la posibilidad de equivocarse razonando.

Leibniz, Kant y Hegel también emplean el término 'dialéctica' con distintos usos siendo Hegel el que lo aplique a su método para reconciliar la afirmación, la negación y la negación de la negación como tesis, antítesis y síntesis.

Historia de la lógica simbólica

Dentro de todo ese esbozo histórico, ¿en qué momento pasamos de la lógica clásica a la lógica simbólica? A la lógica simbólica también se la conoce como lógica matemática o lógica moderna. No es sustancialmente diferente de la planteada por Aristóteles pero se propone el objetivo de llevar más allá el método simbólico de Aristóteles. De esta forma la lógica simbólica no sólo simboliza sujetos y predicados sino conectivas y cópulas. Se dedica a la lógica proposicional añadiendo los silogismos. Pretende presentar en un sólo golpe de vista grupos enteros de frases. Su culminación es el establecimiento de sistemas lógicos o sistemas deductivos.

Podríamos comenzar con Raimundo Llul (mallorquín, s. XIII-XIV) como inventor de la lógica matemática. Este autor estaba interesado en ella como herramienta para la teología. Leibniz esbozará los sistemás lógico simbólicos haciendo hincapié en que el lenguaje natural llevaba a confusión y que sería necesario un lenguaje artificial. El problema de su desarrollo fue que supuso que las posiciones ideológicas podrían reducirse sin más a elementos atómicos lógicos. Desde los siglos XVI al XIX se tiende a mezclar la lógica con la sicología. En el s. XIX hay un renacimiento de la lógica formal con Boole que estableció que las leyes del pensamiento son alebraicas y por tanto formales o con De Morgan.

Peirce escribe "Álgebra general de la lógica" donde continua el trabajo elaborado por Boole llegando a la conclusión de que la lógica de eneuncidos es la base de la lógica general. Esto fue retomado por Frege (XIX-XX) y posteriormente por Russell y Whitehead (XX) quienes intentan deducir la matemática exclusivamente de la lógica.

Wittgenstein (XIX-XX) introdujo el análisis de proposiciones mediante tablas de verdad.

Lukasiewick (XIX-XX): desarrolla la lógica polivalente con los valores de verdad: v, f, indeterminado poniendo en tela de juicio la ley clásica del tercio excluso.

Tarski (s. XX) profundiza sobre la semántica o condiciones de significación y de verdad.

A partir de este momento comienzan a desarrollarse sistemas enteros de lógica.

Gödel (XX, 1931) con la teoría de la incompletud, explica que no hay método de decibilidad para la matemática, por tanto, no hay un procedimiento para determinar la validez de las proposiciones matemáticas. La consecuencia es que puesto que sí hay ese método para la lógica, lógica y matemática no pueden identificarse. Esta nueva teoría de Gödel acaba con el sueño de Frege y Russell de deducir la matemática a partir de la lógica o lo que se conocía como logicismo. Gödel vino a demostrar que no todo es demostrable en matemáticas, siempre hay axiomas.

Tras la segunda Guerra Mundial destaca la escuela polaca con aportaciones como los trabajos de Bochenski que intentan señalar las semejanzas entre las teorías antiguas, medievales, contemporáneas. También trabajan en ese sentido William y Kneale.

Tanto lógica simbólica como lógica clásica asumen que cualquier proposición bien elaborada puede ser verdadera o falsa. Pero como hemos citado anteriormente, recientemente en la historia se han desarrollado sistema de la lógica combinatoria que establecen que una afirmación puede tener un valor distinto de verdadero o falso, como puede ser el valor de indeterminado o un tercer valor neutro, una fracción que oscila entre 0 y 1 o entre -1 y +1. Como aportaciones recientes también se han desarrollado la teoría modal o la lógica deóntica que examina las relaciones lógicas entre órdenes o entre afirmaciones de obligación.

Tras este pequeño recorrido histórico sobre las aportaciones que han ido convirtiendo a la lógica clásica en la lógica simbólica que manejamos hoy, vamos a especificar qué aportaciones exactas ha hecho cada uno de estos autores, para comprender mejor la transformación de esta disciplina.

Lógica de Aristóteles.

Es Aristóteles quien comienza a organizar el saber como un sistema de ciencias. Distingue tres grandes tipos:

1. Ciencias teoréticas: física, matemáticas, filosofía. Tienen por objeto el ser en algunos de sus aspectos especiales o el ser en general.

2. Ciencias prácticas o normativas: política. Tiene por objeto la acción.

3. Ciencias poiéticas: regulan la producción de objetos. En común poseen la forma y la naturaleza de su proceder.

La lógica la entiende el autor como una diciplina independiente que es procedimiento común a cada una de estas ciencias. Es la disciplina que regula el buen proceder de las demás, una propedéutica. Aristóteles pone al día lo que se había desarrollado sobre lógica hasta el momento por parte de sus antecesores. Tras esta forma de entender la lógica se halla la teoría de la sustancia aristotélica, pues está el autor entendiendo la lógica como cuerpo formal, como forma común de cualquier investigación, del resto de las ciencias. La legitimidad de esta abstracción es posible cuando la forma corresponde a la sustancia o es la esencia necesaria de lo que se considera. Si la forma no tuviese la validez absoluta que le confiere el ser y no fuese ella sola la sustancia de aquello que es forma, considerarla aparte mediante la abstracción sería una falsificación injustificable. La abstracción se justifica como consideración de la esencia necesaria de una cosa separada de sus particulariddes contingentes. La lógica como procedimiento analítico se funda pues, en la metafísica como teoría de la sustancia y se sostiene con ella.

Esta aportación es importante porque permitirá a la lógica simbólica usar precisamente los símbolos. La lógica es pues un una técnica del pensamiento, una técnica indispensable para la investigación. La metafísica precede y fundamenta a la lógica porque la verdad del concepto se funda en la sustancialidad de la forma y no viceversa. El ser y la verdad se hallan en relación recíproca pero la afirmación es verdadera porque la realidad es tal y como ella expresa y no al revés. Para Aristóteles el objeto de la lógica es la estructura de la ciencia en general. Analiza el lenguaje apofántico o declarativo propio de las ciencias teoréticas donde ocurren V, F y según la unión entre signos debe repdroducir la unión entre las cosas. El autor defiende que la poética y la retórica, que no son lenguajes apofánticos, están subordinadas a la analítica porque el lenguaje es convencional, pero sólo en cuanto a vocabulario, no en cuanto a sintaxis. Así lo explica en "De interpretatione" (1-16; 9, 3) donde define sintaxis como "afectos del alama que son los mismos para todos y constituyen imágenes de objetos que son los mismos para todos"

Según este cuadro lógico , estudia el autor las relaciones de oposición según cualidad y cantidad. Pueden ser:

a)Contradictorias:, no admiten grado intermedios, si una es verdadera la otra es falsa.

b) Contradictorias: no pueden ser a la vez verdaderas, pero como amiten grados intermedios pueden ser a la vez falsas.

c) Subcontrarios : no pueden ser falsas a la vez pero sí verdaderas simultáneamente.

d) Subalternas: si la universal es verdadera, lo es también la particular pero no viceversa. Si la particular es falsa, también lo es la universal pero no al revés.

Las mayúsculas sustituyen a los términos del silogismo. El silogismo consta de dos premisas y una conclusión, debiendo tener cada premisa un término en común con la conclusión y un segundo término relacionado con la otra premisa. En la subcontraria no sirve el principio de no contradicción. Está presente aquí también el principio de tercio excluso: "entre los opuestos contradictorios no hay medio" (Metafísica IV, 7, 1011b,23;X,7, 1057a, 33) En su obra "Primeros analíticos" explica que el razonamiento más común es el silogismo o el razonamiento deductivo: "un discurso en el que planteadas algunas cosas, se siguen otras por necesidad" Las características del silogismo es que es mediato porque es la contraparte lógico-lingüista del concepto sustancia y es necesario. Sus partes son el sujeto, el predicado de la conclusión y el término medio cuya función determina las figuras del silogismo.

El silogismo es por definición deducción necesaria, también se le llama demostrativo o científico. De los necesarios los más completos son los ostensivos, que son los opuestos a los hipotéticos en los que la premisa mayor está constituida por un condicional. Uno de estos silogismos es el que opera por ejemplo, en la reducción al absurdo. También los hay deductivo e inductivo.

Aristóteles explica que la inducción es una deducción ue en lugar de deducir un estremo de otro mediante el término medio, deduce el término medio de un extremo valiéndose del otro extremo. Ej.

`Después de haber constado que el hombre, el caballo y el mulo (1er término) son animales sin bilis (término medio) y que los 3 son longevos (2º término) , deduca que todos los animales sin bilis son longevos (término medio y extremo) '

La inducción sólo es válida si se agotan todos los casos posibles. Por ello la inducción es de uso limitado y no puede suplantar al silogismo deductivo. Sin embargo Aristóteles explica que para el ser humano es muy fácil e incurre en ellas todo el rato. El autor recomienda su uso en oratoria y dialéctica pero no en ciencia, a pesar de ello es consciente de que es uno de los procedimientos más utilizados en ciencia.

En la obra "Segundos analíticos" Aristóteles examina el silogismo en cuanto a los fundamentos de su validez. Parte de que todo conocimiento deriva de otro conocimiento preexistente. Para que el silogismo sea válido las premisas de las que deriva la conclusión deben ser también necesarias. Para ello deberán ser principios verdaderos primeros e inmediatos. Algunos de estos principios son comunes a todas las ciencias y otros son exclusivos de cada disciplina. La validez de esos principios se fundamenta en que ellos han de ser expresión de la sustancia sobre la que versa esa ciencia de la que tratan. Así la sustancia es causa de todas sus propiedades expresadas en los principios, los principios son causa de la conclusión que el silogismo deriva de ellos, así pues, todo conocimiento es conocimiento de causas, tal y como explica la teoría de la causalidad aristotélica.

En la obra "Tópicos" el autor explica la dialéctica. Los principios de la ciencia son necesarios, sin embargo, los principios de la dialéctica son probables. Así la dialéctica era la primera ciencia para Platón mientras que para Aristóteles es una zona marginal, inferior a la ciencia. Aristóteles examina también los efectos sofísticos cuyos razonamientos son erísticos, es decir, sus premisas no son ni necesarias, como sí son las de la ciencia, ni probables, como sí son las de la dialéctica, son sólo, aparentemente probables. Por tanto, Aristóteles los denomina 'sofismas' . Para que un silogismo sea válido debe cumplir una serie de reglas:

1. Al menos una premisa debe ser afirmativa

2. Si una premisa es negativa, la conclusión debe ser negativa.

3. Si una premisa es particular, la conclusión también será particular.

4- El término medio ha de ser universal al menos una vez.

5. Si un término es universal en la conclusión, también lo debe ser en su premisa correspondiente.

A día de hoy, la validez de un silogismo puede comprobarse con tablas de verdad o con lógica cuantificacional.

Lógica de los estoicos

Para los estoicos, la lógica en un sentido es retórica como discurso continuo y en otro sentido es dialéctica como discurso dividido en preguntas y respuestas. Así lo expone Séneca en su "Epistulae", p. 89: "ciencia de lo que es verdadero y de lo que es falso y de lo que no es ni verdadero ni falso" Lo que no es ni verdadero ni falso para los estoicos son las paradojas y los sofismas. Según Diógenes Laercio, "Vita" VII, 43-44: La dialéctica estoica se divide en gramática que trata de las palabras y lógica que trata de las cosas significadas. La lógica tiene por objeto las representaciones, las proposiciones, los razonamientos y los sofismas. El problema fundamental que se plantea la escuela estoica como escuela moral en relación con la lógica es el criterio de verdad. Para ellos el pensamiento es únicamente guía de conducta, si el pensamiento no poseyera un criterio de verdad y procediese a ciegas y con incertidumbre, no podría servir de guía a la acción. Para los estoicos el criterio de verdad es la representación cataléptica o conceptual.

El concepto 'kataleptiké' signfica fantasía, tanto para el intelecto que se apodera y comprende el objeto como para la acción del objeto sobre el entendimiento. Los escépticos o pirrónicos, con Sexto Empírico a la cabeza, dirán de los estoicos que el concepto de cataléptico es la representación real del objeto impresa por él de conformidad consigo mismo de modo que no podría nacer de un objeto diverso. Para Zenón, es la capacidad para alcanzar y comprender un objeto. Zenón de Elea usaba el siguiente paralelismo: la mano abierta y extendida es la representación pura y simple. La mano contraída que hace acto de coger es el asentimiento, la mano cerrada en puño es la comprensión cataléptica. Las dos manos apretadas eran símbolo de la ciencia. La representación cataléptica implica por tanto asentimiento consciente por parte del sujeto cognoscente. Los estoicos consideraban que este asentimiento era voluntario y libre. El recibir la sensación es involuntario pero asentirla es un acto libre que produce el juicio como conformidad, disconformidad o suspensión. Cuando suspendemos el juicio estamos haciendo 'epoche', que es el concepto griego utilizado por esta escuela y que adoptarán también los pirrónicos. La representación cataléptica debe ser evidencia no contradictoria y en ella se basa la ciencia. Ahora bien, visto que tiene que haber un razonamiento detrás de las percepciones sensibles, no hay ciencia sin dialéctica, siendo propio de la dialéctica presidir los razonamientos. La ciencia se compondrá entonces de impresiones catalétpicas confirmadas por el juicio. Este punto es en el que discreparán los pirrónicos con los estoicos, pues los pirrónicos explicarán que no hay representaciones catalépticas y por tanto sólo estamos autorizados a hacer epoché.

En cuanto al origen del conocimiento, el estoicismo es un tipo de empirismo. Esta escuela defiende que todo conocimiento proviene de la experiencia y experiencia pasiva porque depende de la acción que los objetos de conocimiento ejercen sobre el alma, que es 'tabula rasa', sobre la cual se registran las representaciones. Cuando ya la representación no está afectando y desaparece, queda el recuerdo. Muchos recuerdos parecidos forman una experiencia. De la experiencia nace el concepto común o anticipación y cuando éste llega a universal por un procedimiento técnico obtenemos el concepto. Los conceptos para los estoicos están producidos por el razonamiento y constituyen la ciencia. La razón actúa sobre el material sensible recibido y fabrica los conceptos. Los conceptos no tienen para los estoicos ninguna realiad objetiva, lo rea siempre es individual y lo universal subsiste sólo en las anticipaciones o conceptos. En la Edad Media, la Escolástica, podría decir de esta doctrina que es una suerte de nominalismo, pues los estoicos niegan la realidad de lo universal. La escuela estoica establece cuatro conceptos generales, relacionados entre sí de forma que el siguiente encierra al precedente y lo determina, como si fuesen cajas unas dentro de otras. La más pequeña es el sustrato o sustancia, encerrada a comprendidad en la cualidad, a su vez contenida en el modo de ser que a su vez está contenida en el modo relativo.

El género supremos es el ser por cuanto todo en cierto modo es, no hay concepto m´s extenso que éste. Especie es el individuo. Algunos estoicios utilizan 'quid' para referir a 'algo' y en este sentidsería más amplio que el concepto de ser porque comprende lo incorpóreo o inexistente. Partiendo de esta metafísica, la lógica estoica que ha ejercido mayor influencia en el desarrollo de la lógica medieval y moderna son los conceptos de proposición y razonamiento. Los estoicos proponene la teoría del signficiado, que aún hoy tiene importancia en la lógica y filosofía del lenguaje. Hay tres elementos: el significado, lo que significa (voz fonética), lo que es (objeto o sujeto externo)

El significado es una representación que nos viene a la mente cuando oímos una palabra, nos permite referir la palabra a una cosa determinada. La referencia es la parte integrante del significado. El significado orienta la referencia y la hace posible. Este concepto en la lógica medieval y moderna ha sido expresado de distintas formas: connotación, comprensión, interpretante, sentido y la referencia aparece como: suposición, denotación, extensión, significante.

Para los estoicos (IV-III a. C) el razonamiento es conexión entre proposiciones simples. Esto permite a esta escuela distinguir entre conclusión y verdad. Ateniéndonos a la estructura, el enunciado puede ser verdadero o falso según coincida o no con el mundo natural, pero siempre será válido o bien construido si es concluyente, es decir, las premisas impliquen a la conclusión. Aportan aún otro concepto más. Los razonamientos que son concluyentes los llaman apodípticos o no demostrativos, porque son evidente por sí mismo, sin importar si son o no verdaderos. Estos son cuatro de los ejemplos que los estoicos nos dejan:

1. Si es de día hay luz. Es de día, por tanto, hay luz.

2. Si es de día hay luz. Pero no hay luz, luego no es de día.

3. Si no es de día, es de noche. Poero es de día, luego no es de noche.

4. O es de día o es de noche. Pero es de día, luego no es de noche.

Todos ellos son siempre válidos, aunque según sea de día o de noche no sean siempre verdaderos.

El 'Ars magna' de Raimundo Llul

Esta obra afecta a Nicolás de Cusa, Giordano Bruno, Descartes, Leibniz y la lógica moderna. Llul pretende dotar a la apologética católica de una técnica racional que permitiese con la ayuda del silogismo, convencer a los infieles demostrando las verdades del cristianismo. Aquí tenemos la influencia del 'Organum' de Aristóteles que fue sistematizado por Pedro Hispano. Llul estaba obsesionado con la idea de unidad, quiso reducir todo conocimiento a un pequeño grupo de principios, a fin de expresar todas las relaciones posibles de los conceptos. Forma silogismos impecables cuya combinación se encamina a la edificación de la ciencia, con estas operaciones eenciales:

a) Dado un sujeto, encontrar los predicados posibles. Llul representa cada término con una letra del alfabeto.

b) Combina las letras estableciendo las relaciones necesarias entre los términos de un juicio o entre los diversos juicios. A cada grupo lógico de estas letras lo llama cámara y se trata de hacer cámaras correctamente.

La lógica de Occam (s.XIV)

El nominalismo o terminismo que condujo a excesos extravagantes fue establecido por este autor. Se concedió mucha importancia a los términos sin atender a la materia que designaban. El occamismo tuvo que soportar varias acusaciones y condenas por herejía. En el s. XV eso se acentúa y lo descalifican de 'escolástica', contraviniendo la propia navaja de Occam. Eso explica el desprecio que le manifiestan renacentistas como Erasmo o Luis Vives.

El nominalismo considera ciertas las proposiciones analíticas, la verdad de una proposición se alcanza al advertir que el enunciado opuesto es contradictorio. Este tipo de verdad no puede aplicarse a los enunciados experimentales, por lo que los conocimientos físicos y cosmológicos sólo son probables. Así que el camino para buscar nuevas hipótesis queda abierto.

Los calculatores de la escuela de Oxford.

Bajo el influjo de Occam, la escuela de Oxford hace hincapié en las formulaciones algebraicas. Esto también tiene proyección en la Escuela de París. Los 'sophismata' o 'insolubilia' eran proposiciones falsas donde había que descubrir los fallos de deducción. Se pensaba que resolviendo las proposiciones en contra se iba a demostrar una afirmación, y no cuando se examinaba el hecho mismo. Aportan algunos conceptos relevantes para la formación de la ciencia moderna como por ejemplo el de formal.

Leibniz y su proyecto de 'Scientia universalis'

Escribe 'Alphabetum cogitatum humanarum de 'Arte combinatoria' Quería aplicar el método matemático a la ciencia en general, aspirando a ocnstruir una ciencia 'a priori' independientemente de la experiencia. Buscaba que la lógica fuese álgebra del pensamiento. Su fundamento es:

1. Todos los conceptos son simples o compuestos y éstos pueden descomponerse en conceptos simples (ideas precursora del atomismo lógico de Russell)

2. El número de conceptos simples es muy reducido.

3. Los conceptos simples pueden representarse con un símbolo o con una palabra de lo cual resultaría el Alphabetum cogitaiorum humanarum.

4. Una vez obtenidos los conceptos simples, por análisis o descomposición de los compuestos y comprobada verdad, pueden obtenerse nuevos conceptos compuestos combinándolos según los reglas de la aritmética.

5. Este procedimiento permite la unificación de todas las ramas del saber a ciencia universal.

"Characteristica universalis" es una expresión con la que Leibniz se refiere a un lenguaje universal basado en el simbolismo y reglas cobinatorias que representaría 'el verdadero alfabeto del pensamiento humano', basado en las ideas innatas, teoría que defiende este autor racionalista. La utilidad de este lenguaje artificial además de su universalidad, radica en la posibilidad de eliminar las controversias en ciencia, filosofía, religión, pues usando este alfabeto y método razonar no sería más que calcular. El modelo al que aspiraba era el álgebra, ya que permite realizar todas las operaciones con un número reducido de símbolos. Quería aplicar eso a todas las ciencias para que todas tuvieran el mismo rigor deductivo. Divide a la lógica en dos ramas:

1. Lógica demostrationis o 'metodo de la certeza' que son los 'elementa veritatis aeternae' y que servirá para comprobar las verdades descubiertas.

2. 'Lógica inventionis': su objeto es facilitar la investigación y realizar nuevos descubrimientos con un método deductivo, seguro, riguroso, y sistemático.

De este modo la lógica debía llegar a ser 'Philosophia perennis'. Leibniz esperaba los mayores resultados de la aplicación de su método. Pensaba que la verdad se descubriría fácilmente, los avances y retrocesos en el conocimiento cesarían, no habría disputas entre filósofos y escuelas... Pero sus expectativas fracasaron porque para llegar a la 'characterística' había que realizar previamente la 'Enciclopaedia' y no pudo realizarse porque no tuvo los apoyos necesarios. Tanto una como otra dependían de que se alcanzase la verdadera filosofía y para él no llegó hasta 1685 cuando ya había descubierto el cálculo infinitesimal.

La lógica de Port-Royal

El centro de jansenismo fuel el antiguo monasterio femenino cisterciense de Port Royal cerca de Versalles. Jacqueline Arnauld era la directora. Su aportación filosófica, además del janseinismo es la lógica de Port-Royal o arte de pensar. Se basa en la obra escrita por Antoine Arnauld y Pierre Nicole (1612-1694) y Pierre Nicole (1625-1695), titulada "Lógica o arte de pensar" Durante siglos 'las personas de bien' estudiaron lógica a través de este libro, especialmente en Francia, aunque se extendió a más lugares. Ellos lo entienden como arte de pensar correctamente. Tiene dos tesis básicas:

1. Debe convertirse la lógica en herramienta al servicio de las demás ciencias. No hay que detenerse en silogismos artificiosos sino en la enseñanza de ejemplos de razonamientos que se utilicen de modo efectivo en los diversos ámbitos dle saber, la literatura y la vida.

2.La mayor parte de los errores humanos no son las consecuencias erróneas, sino elaborar juicios falsos, de los cuales por tanto, extraen consecuencias erróneas. Normalmente los humanos razonan de modo correcto, no se engañan al extraer determinadas consecuencias de las premisas, lo que suele ocurrir es que amenudo juzgan equivocadamente, es decir, no saben establecer las premisas. Esto no es problema de corrección sino de verdad, por eso el arte de razonar debe ser precedido por el de pensar. Esta corriente se ve influida por Descartes y Pascal en cuanto a las reglas metodológicas. Las tres primeras partes del libro de Port-Royal versan sobre las ideas, los juicios y razonamientos y la cuarta parte está dedicada al método, siguiendo los pasos de 'Las Regulae' y el 'Discurso del método' y "Sobre el espíritu geométrico" de ambos autores respectivamente.El pensamiento asume la forma del lenguaje pero el lenguaje no debe enclaustrar o distorsionar el pensamiento. La forma lingüística no debe torcer o viciar las operaciones lógicas. Consiste en poner en claro el auténtico pensamiento que se halla debajo de las apariencias de la forma verbal, ayudándonos a remontarnos desde la forma hasta el significado. Arnauld y Lancelot habían escrito dos años antes "Gramática general y razonada" La intención de esta gramática era llegar a las estructuras fundamentales que rigen la mente humana y que pueden constatarse en el interior de las diferencias existentes entre las lenguas históricas. Trataron de convertir en lógico aquel hecho histórico que es el lenguaje. Intentaron demostrar que el sustantivo define la sustancia, el adjetivo sólo puede denotar el accidente y de este modo la teoría del verbo lleva a condenar la retórica de Aristóteles en nombre de su lógica. Para los lógicos de Port-Royal el verbo posee la función principal de significar la afirmación lógica pura y simple. El ser humano no sólo concibe las cosas, sino que las juzga y las afirma. La proposición gramatica y la proposición lógica, lengua y razón, deben coincidir.

Saussure nombrará al programa de Port-Royal como sincrónico y Chomsky dirá de él que es un precedente de su gramática transformacional.

Kant: Lógica formal y lógica transcendental

El ser humano posee una segunda fuente de conocimiento que es el intelecto, además de la sensibilidad. La sensibilidad da los objetos y el intelecto los piensa. Para Kant la intuición y los conceptos constituyen los elementos de todos los conocimientos de manera que ni los conceptos, sin que les corresponda una intuición, ni la intuición sin conceptos, pueden darnos conocimiento. Ninguna de estas dos facultades puede anteponerse a la otra. Sin la sensibilidad no se nos da ningún objeto y sin el intelecto no podía pensarse ninguno. Los pensamientos sin contenido están vacíos, las intuiciones sin conceptos están ciegas. Estas dos facultades no pueden intercambiarse. El intelecto no puede intuir nada y el sentimiento no puede pensar. El intelecto no puede intuir nada y el sentimiento no puede pensar. El conocimiento sólo puede surgir de su unión. Kant distingue entre ciencia de las leyes de la sensibilidad en general o estética y ciencia del intelecto en general o lógica. La lógica la divide en lógica general o formal y lógica transcendental.

La lógica formal prescinde del contenido, estudia las leyes e investiga sólo los nexos entre conceptos y principios del pensamiento. Corresponde con la lógica de Aristóteles ue luego se ha ido corrigiendo.

La lógica trascendetal, como explica el autor en la obra "Crítica de la razón pura" no le interesa la lógica formal, sino la transcendental, que no prescinde del contenido. Kant distingue entre conceptos empíricos que son los que tienen elementos sensibles y conceptos puros que son los que no están mezclados con ninguna sensación. La lógica transcendental abstrae el contenido empírico pero no el espacio-tiempo que son el vínculo con las intuiciones puras que permiten el conocimiento. Los conceptos 'a priori' del intelecto que sin embargo refieren a objetos son las categorías.

La lógica inductiva de Stuart Mill (XIX)

La lógica es una elaboración posterior de nuestras intuiciones sensibles. El autor defiende que la mayor parte de nuestro saber lo obtenemos por deducciones 'inferences' y quiere investigar los pasos seguros para hacer deducciones en su libro "A system of Logic, Ratiunative and Inductive" (Londres, 1843), son los siguientes:

1. Método de concordancia: Si dos o más casos tienen un única circunstancia común, ésta es causa o efecto de aquel fenómeno.

2. Método de diferencia: Si dos casos contienen un fenómeno W siempre que se da la circunstancia A y no lo contienen si A falta, W depende e A.

3. Método de combinado de concordancia y diferencia: Si varios casos en que está presente A contiene un fenómeno W y otros casos en que no está presente A no contiene W, A es condición de W.

4. Método de los residuos: Si W depende de A, A1, A2... mediante comprobación de las dependencias de A, A2... queda también averiguado en qué grado depende W de A3.

5. Método de las variaciones concomitantes: Si un fenómeno W cambia a otro fenómeno, de modo que todo aumento o disminución de U va acompañado de un aumento o disminución de W, W depende de U.

Este autor contribuye a la lógica inductiva con su obra "Sistema de lógica", donde estructuró los métodos de prueba. Sus estudios desembocaron durante el s. XX en el campo conocido como filosofía de la ciencia. Mill continuó el sicologismo de Hume con su empirismo lógico.

Frege:lógica simbólica moderna

La lógica simbólica moderna nace con la publicación en el s.XIX de "Conceptografía" escrito por Frege, obra que pasó inadvertida hasta la publicación ya en el s. XX de "Principia matematica" de Russell. En la obra de Frege aparece la primera formalización de la lógica de primer orden que muestra que la aritmética se identifica con la lógica en aparente contraposición a la postura de Boole. Años después Frege publica "Fundamentos de aritmética" donde critica las teorías que hacen al número una propiedad de las cosas del mundo. Él defiende que un número es enunciar alguna cosa de un concepto. Desarrolla la teoría de reducción de la aritmética a la lógica, de influencia platónica en cuanto a su concepción matemática. Su objetivo es deducir las leyes de la aritmética y la matemática partiendo de la lógica. Russell reconoce la importancia de su simbología pero prefiere los de Peano. Russell le critió a Frege su teoría de conjuntos porque hay clases que son elementos de sí mismas. Esto se dio en llamar la paradoja de Russell, un ejemplo sería "el libro que contiene todos los libros" Sin embargo la teoría de cuantificadores ha sido considerada la mejor aportación de Frege y una de las mayores novedades de la lógica del s. XIX. Relaciona la lógica aristotélica de enunciados iniciada por los estoicos. Frege inició la tendencia logicista frente a la fundamentación de la matemática.

La aportación de Cantor es reducir la aritmética a la teoría de conjuntos, lo cual abre las puertas a una matemática con potencia unificadora que carece de analogía a lo largo de toda la historia del pensamiento humano.

Peano:(XIX-XX)Italia

Creó un sistema descriptivo según el cual se puede enunciar cualquier proposición lógica o matemática sin recurrir al lenguaje. Se ha llamado "Aritmética de Peano" Es una exposición axiomática y deductiva de la aritmética de los enteros naturales. Es conocida la 'Curva de Peano' que es el primer ejemplo de fractal. Posteriormente buscó una lengua internacional y fundó la metamatemática y metalógica como ciencia que trata las propiedades formales de un sistema deductivo. Pensaba que cualquier enunciado matemático se fundamentaba en un condicional o una implicación. Peano fue el que acuñó el nombre de lógica matemática. Russell lo llama 'gran maestro del arte del razonamiento formal'

Russell:

Russell y Whitehead se conocen en el Congreso Internacional de Filosofía de París en 1900 Posterioemente escriben la obra "Principia Mathematica" Ahí quieren demostrar que toda la matemática procede de la lógica simbólica y cuáles son los principios de la lógica simbólica. Russell considera igual que Frege que la matemática puede reducirse a la lógica. No existen conceptos matemáticos que no puedan reducirse a conceptos o relaciones lógicas. Como hemos visto anteriormente esto será lo que critique Gödel.

La "paradoja de Russell", sin embargo, muestra que la artimética de Frege es autocontradictoria, lo que hace a Frege frenar sus investigaciones. Russell quiso superar la antinomia anterior con la teoría de tipos. Esto defiende que un concepto nunca puede ser necesario como predicado en una proposición cuyo sujeto sea de un tipo igual o mayor al concepto mismo. Las clases no son 'cosas' sino únicamente expresiones que pueden utilizarse correcta e incorrectamente. Parte de la base de que una clase no puede ser miembro de sí misma, sin embargo si no es miembro de sí misma no debe poseer la propiedad definitoria de clase y por tanto sería miembro de sí misma. Esto hasta el infinito incurre en contradicción. Para ello elabora la teoría de tipos, donde se establecen varios niveles.Así llega a la conclusión de que era la lógica y no las matemáticas la que debía reformarse. El sistema lógico propuesto por Russell y Whitehead cubre un espectro mayor de argumentaciones de las que se pueden encontrar en la lógica silogística, mejora la simbología, distingue sujeto y predicado lógico, pertenencia e inclusión a una clase. Cambia 'todo a es b' por 'si algo es a entonces es b' lo que produce una diferencia con la lógica tradicional porque de esta manera no significa que todo a exista. Todo su sistema es lógica deductiva porque la inducción sólo aporta probabilidad y no certeza.

Wittgenstein

Este autor propone las tablas de verdad. Defiende que todas las proposiciones de la lógica son tautologías y que por tanto son analíticas. En su obra "Tractatus" se refleja la doctrina kantiana de los juicios analíticos aunque Wittgenstein la radicaliza. Este autor, siguiendo la tradición de Frege y Russell sitúa la base de la lógica en el cálculo proposicional y traslada a ese campo su noción de tautología. Las proposiciones de la lógica no dicen nada que pertenezca al mundo, no tienen sentido (sinnlos), no afirman ni niegan nada, no son figuras de la realidad. Pero no son sinsentidos o absurdos (unsinnig) Pertenecen al simbolismo en donde ocupan un lugar límite igual que el 0 en los números naturales. "Tractatus 6.113" : La característica de las proposiciones lógicas es que sólo en el símbolo se puede reconocer que son verdaderas o falsas, ese hecho contiene en sí toda la filosofía de la lógica. La lógica 'a priori' no se puede pensar ilógicamente. La lógica no dice nada del mundo pero es reflejo de su estructura. Sus proposiciones al ser vacías y tautológicas, descubren la invisible estructura formal del lenguaje y con ello la trama del mundo. En otro punto del Tractatus, 4.312, explica el autor que su pensamiento fundamental es que las constantes lógicas no representan, que la lógica de los hechos no puede ser representada. De este modo, según la opinión de M. Garrido, autor del libro "Lógica simbólica", Wittgenstein con la teoría de las funciones veritativas convierte en castillos de naipes los edificios axiomáticos de Frege y Russell.

BIBLIOGRAFÍA

Arnaz "Ininiciación a la lógica simbólica" Trillas, México, 1978

Aristóteles "Obras" Aguilar, Madrid, 1973 (Categorías, Perihermeneias, Analíticos primeros, Analíticos segundos, Tópicos, Refutaciones sofísticas)

Arnaud y Nicole "La logique ou l'art de penser" Lille, 1964

Bochenski "El análisis de la lógica" Cátedra, Madrid, 1976

Boole "El análisis de la lógica" Cátedra, Madrid, 1979

Deaño "Introducción a la lógica formal" Alianza, Madrid, 1976

Ferrater Mora, Leblac, "Lógica matemática" FCE México 1973

Frege "Investigaciones lógicas" , Tecnos, Madrid, 1984

Garrido,M. "Lógica simbólica" Tecnos, Madrid, 1974

Lukasiewicz, "La logística de Aristóteles desde el punto de vista de la moderna lógica formal" Tecnos, Madrid, 1977

Mosterín "Lógica de primer orden" Ariel, Barcelona, 1983

Quine "Filosofía de la lógica" Alianza, Madrid, 1977