Lógica y filosofía. Una revisión a su relación.

Autor: Prof. MSc. Ricardo Da Silva

Escuela de Filosofía-UCV
Departamento de Lógica y filosofía de la ciencia
¿Una revisión de que tipo?
 Histórica Vs. Meta-filosófica.

La inquietud no es por la existencia de la

relación sino cómo es posible (la relación).
Todo empezó como un intento de explicar la
relación desde modelos o categorías que
responden a momentos, tradiciones y
movimientos filosóficos enmarcados y
reconocibles dentro de la historia de la
filosofía
 Lo primero es reconocer que la
relación que existe entre la lógica y
la filosofía es muy antigua, es
incluso más antigua que la propia
sistematización de la lógica llevada a
cabo por Aristóteles.
 Por ejemplo en los textos platónicos se
pueden encontrar varias estrategias
deductivas que pertmiten a partir de un
conjunto de premisas llegar a una conclusión
de manera válida.
 Por ejemplo: Tercera parte de Menón
(87b2-89c4)
Siguiendo a L. Rose en “Plato´s Meno”, tenemos que:

(1) El conocimiento es enseñable [PREMISA]

(2) Por consiguiente, si la virtud es conocimiento, es
enseñable (Se obtiene de 1)
(3) La virtud es algo bueno [PREMISA]
(4) Todo lo bueno es algo útil [PREMISA]
(5) Por consiguiente, la virtud es algo útil (Se obtiene de 3 y 4)
(6) Si, de entre lo concerniente al alma, algo es útil, es
conocimiento [PREMISA]
(7) Por consiguiente, la virtud es conocimiento. (5,6)
(8) Por consiguiente, La virtud es enseñable. (2,7)
 Aristóteles

Sistematización de la
lógica:

(a) Teoría del

silogismo
(b) Teoría sobre la
inferencia y la
demostración
 Las obras lógicas de Aristóteles (De las
Categorías, Sobre la interpretación,
Refutaciones Sofísticas, Primeros analíticos,
Segundos analíticos y Tópicos) fueron
compiladas por Andrónico de Rodas en el siglo
primero A.C. y categorizadas bajo el nombre
de Órganon (Instrumento) en la época
medieval temprana.
Modelo (o visión/relación) propedéutico
“La lógica es un tipo de estudio que prepara al
hombre para que a posteriori pueda realizar
cualquier actividad en donde la racionalidad (y
por ende la argumentación) sea un factor
primordial”
Históricamente bajo el modelo propedéutico
se encuentran:

(a) Aristóteles
(b) La filosofía del Medioevo: Trivium, Teoría
de las consecuencias (formalis y materialis),
Teoría de la suposición (Suppositio materialis y
personalis).
(c) La modernidad: Descartes, Locke, Hobbes,
Spinoza, Leibniz, etc.
(d) El criticismo: Kant.
 El surgimiento de la lógica matemática de
la mano de autores como Boole, De Morgan,
Peirce, Frege, Schöder, Löwenheim, Hilbert,
Russell-Whitehead, Bernays, entre otros, jugo
un papel central para replantearse y entender
la relación entre la lógica y la matemática.
Modelo (o visión/relación) metodológico
“Gracias a la lógica matemática se obtiene no
un desplazamiento de la visión propedéutica
sino una ampliación de su horizonte, así pues,
la lógica matemática de finales del siglo XIX y
principios del siglo XX se presenta no como un
preliminar a la filosofía sino como el método
de la filosofía”
Históricamente bajo el modelo metodológico
se encuentran :

(a) Wittgenstein, Tractatus Logico-

philosophicus (1921) (Proposiciones: 3.323,
3.324, 3.325, 4.003, 4.0031, 4.111, 4.112,
4.113, 4.46, 4.461, 4.4611, 4.462, 4.463,
4.464, 6.53, 6.54, 7)

(b) El Circulo de Viena (1921- 1936)

(c) Carnap:

*El Carnap seguidor de Wittgenstein: La filosofía es análisis lógico del lenguaje

científico (Donde análisis lógico = Sintaxis)

Obras donde defiende esta concepción:

- “La antigua y la nueva lógica” de 1930-31

- “La superación de la metafísica mediante el análisis lógico del lenguaje” de 1932
-Filosofía y sintaxis lógica de 1935

*Carnap tras Gödel (1930), (1931) y tras la traducción al alemán de 1936 de Tarski
(1933): La filosofía es análisis lógico del lenguaje científico (Donde análisis lógico =
Sintaxis + semántica)

Obras donde defiende esta concepción:

- Fundamentos de lógica y matemáticas de 1939

Golpes contra el modelo metodológico
(1) Quine “Dos dogmas del empirismo” (1951)
(2) El Holismo
(3) El Segundo Wittgenstein
(4) Filosofía del lenguaje ordinario y pragmática
(5) La segunda ola del análisis (En especial
Strawson)
(6) Otras formas genuinas y legitimas de hacer
filosofía que no monopolizan al análisis lógico
como único método de la filosofía, por ejemplo:
La hermenéutica.
Modelo (o visión/relación) teoremático
“ Desde la mitad del siglo pasado la lógica
matemática, entendida como una ciencia
formal, genera un cúmulo de resultados (en
teoría de modelos, teoría de la prueba, teoría
de conjuntos y computabilidad teórica), y
estos resultados, así como los resultados de
otras ciencias, son usados a favor o en contra
de ciertas tesis filosóficas”.
Ejemplos de esta forma de proceder:
Lógicas trivalentes como recurso argumentativo
en la discusión del determinismo y el fatalismo

(1) Jan lukasiewicz, “Sobre el determinismo”

(1922) en Estudios sobre lógica y filosofía
 Argumentos cantorianos para refutar
concepciones sobre mundos posibles*.

(1) Selmer Bringsjord, "Are There Set Theoretic

Possible Worlds?" Analysis 45 (1985)
(2) Christopher Menzel, "On Set Theoretic Possible
Worlds," Analysis 46 (1986)
(3) Patrick Grim, "On Sets and Worlds: A Reply to
Menzel," Analysis 46 (1986)

*Gracias al Prof. Carlos Romero (UNAM) por hacerme conocer estos artículos.
 Argumentos cantorianos para refutar
la posibilidad de la omnisciencia*

(1) Patrick Grimm y Alvin Platinga, “Truth,

omniscience, and cantorian arguments: an
exchange” Philosophical Studies: An International
Journal for Philosophy in the Analytic Tradition,
Vol. 71, No. 3 (Sep., 1993)

*Gracias al Prof. Carlos Romero (UNAM) por hacerme conocer estos artículos.
El teorema de incompletitud de Gödel
en filosofía de la mente

(1) J. Lucas “Minds, Machines and Gödel” (1961)

 Argumento de Lucas contra el
computacionalismo
(1) Por el primer teorema de incompletitud de
Gödel: Existe una proposición G en el
lenguaje de la aritmética formalizada tal que
ni ella ni su negación es demostrable desde el
sistema.

(2) Si bien G es indecidible, G es verdadera pues

ella dice “Yo no soy demostrable”
(3) Capacidades del ser humano para conocer la
verdad de una proposición: La demuestra
(criterio sintáctico) o entiende su significado
(criterio semántico).

(4) En el caso de G conocemos su verdad pues

sabemos lo que ella significa (criterio semántico)

(5) Los sistemas computacionales sólo pueden

“conocer” la verdad de una proposición si la
demuestran (criterio sintáctico).
(6) Una proposición como G que es indemostrable y
verdadera queda fuera del alcance de una
computadora, sin embargo, no fuera de nuestro
alcance (por nuestro criterio semántico).

(7) Conclusión: La cognición humana excede los

procedimientos formales de un computador.

[El argumento de Lucas adolece de varias errores

al interpretar el Teorema de incompletitud de
Gödel, lo que nos importa es su intención a la
hora de usarlo, esto es, como un recurso
argumentativo para refutar una tesis filosófica.]
Pero que podemos decir de estos tres
modelos/visiones/formas de ver la relación
filosofía-lógica ¿Son sólo categorías históricas
o pueden ser categorías meta-filosóficas?
Para pensarla como categorías meta-
filosóficas debemos afrontar los siguientes
problemas.
*El problema de la exhaustividad.

*¿Qué ocurre con los filósofos antes de Aristóteles? Pensamos

en una nueva categoría: Modelo mimético [En este estadio,
los filósofos (por ejemplo: Platón) imitan la forma de
proceder de las ciencias duras de su época, en este caso, la
geometría. Por lo que hay una mimesis de estrategias
deductivas tales como las usadas en la geometría:
Reducción al absurdo, método de hipótesis, etc.]

* ¿Es Aristóteles un propedéutico? En Metafisica parece que

Aristóteles se encuentra en el modelo teoremático (por su
uso del principio de no-contradicción y tercero excluso, y
las conclusiones onto-metafísicas a las que llega a partir de
ellos).
*Bacon y Descartes como refutadores del
modelo propedéutico.

* ¿Dónde ubicar a Frege (el padre de la lógica

matemática contemporánea)?

*Donde ubicar a Nietzsche, Husserl,

Heidegger, Sartre, Habermas…
• ¿Slavoj Žižek es un filósofo? El problema de la
exhaustividad otra vez. ¿Debemos
asegurarnos que todo pensador entre en una
categoría y sólo en una?

• ¿Una categoría para los que nieguen la

relación…?
Antecedentes personales de la investigación

Ponencias:

1. “Relaciones entre teoremas lógicos y la filosofía” en XI

Jornadas de investigación humanística y Educativa (2015)
2. “Un amor en tres tiempos: Lógica y filosofía” en Semana
de la filosofía (2016)
3. “¿Tiene todo problema matemática una solución? Una
inquietud del Programa Metamatemático Original de David
Hilbert” en Semana de la filosofía (2017)
4. “¿Cómo se constituyó la lógica de primer orden como
lógica base para las matemáticas a pesar de sus
limitaciones expresivas? Un ensayo de respuesta desde
Gregory Moore” en Semana de la filosofía (2018)
 Publicaciones
1. “El programa original de David Hilbert y el
problema de la decidibilidad” en Episteme NS,
Vol. 37, No 1, 2017.
2. “ Platonismo matemático sin metafísica:
Nuevas luces sobre la objetividad en Gottlob
Frege y Kurt Gödel” En Theoria. Revista del
colegio de filosofía de la Facultad de Filosofía y
Letras de la Universidad Nacional Autónoma de
México (UNAM), No 33, Diciembre-2017
Gracias por su atención.