Primera clase- Filosofía contemporánea

Los padres de toda una tradición filosófica que se vino a llamar filosofía analítica. La filosofía
analítica no es una escuela filosófica, no hay como algo así “las tesis fundamentales de la
filosofía analítica”,

Ciencias, matemáticas y lógica. Pero no solo hacen eso, hay estética, ética, metaética,
feminista, política.

Hay un respeto por la argumentación lógica, por lo menos si les preocupa que sus argumentos
sean válidos.

Pero porqué la lógica tiene un papel principal, en parte a la preocupación de sus fundadores.

Frege tuvo un gran proyecto= fundamentar las matemáticas en la lógica, se le llamo el

Logicismo. La teoría fundamental de las matemáticas hacia finales del siglo 19 era la
aritmética, la aritmética parte de ciertos axiomas, y toda esta se infiere a partir de cinco o siete
axiomas, pero estos son verdades autoevidentes, un axioma es una pieza fundamental de la
teoría, tu pruebas teoremas, por eso los axiomas deben ser simples, la aritmética parecía estar
en los fundamentos mismo de la matemática, los axiomas de la aritmética era evidentes.

Los matemáticos del siglo 20 pensaron que, si reducían toda la matemática a los números
naturales, se podían derivar de estos toda la matemática, de estas se pueden derivar todas las
ramas de la matemática. Frege trabaja en esta época, y este piensa que la ambición de reducir
las matemáticas a la aritmética está bien, pero los matemáticos no han ido más lejos, la
aritmética no puede ser los axiomas de toda la matemática, Frege piensa QUE LOS axiomas de
matemáticas deben ser lógicas, Frege busca “probar” los axiomas de la aritmética, lo cual era
impensable porque los axiomas no se prueban, para probar necesitas otros axiomas más
fundamentales, estos axiomas tienes que ser teoremas pero puramente lógicos, Frege quería
explicar cómo es posible el conocimiento matemático, y la certeza absoluta de las
matemáticas.

Frege busca principios más básicos, y va a derivar los principios aritméticos de los lógicos.

Frege dice que imposible fundamentar la lógica, pues dar razones es dar fundamentos lógicos,
como puedes fundamentar algo si no es lógicamente, si tu quieres las bases ultimas de la
certeza, no puedo preguntarme por la certeza de estos, porque son evidentes. Nadie
fundamentar la lógica sin que sea lógica. Frege le dedica toda su vida a este proyecto
ambicioso.

En el camino de este proyecto es el invento mas grande que Frege haya contribuido es la lógica
clásica, Frege inventa la lógica clásica.

El sistema de Frege tiene una contradicción que él no había visto.

Bertand Russel fue el que se dio cuenta de aquella contradicción= la paradoja de Russel.

Bertand Russel

Todo el conocimiento del mundo va a ser derivado lógicamente.

TODO, van a ser construcciones lógicas, ese sistema que busca se llamará atomismo lógico.

Wittgenstain lee ´Principia Mathemática, le fascina. Se vuelve discípulo de Bertand Russel

¿Qué motiva el logicismo de Frege?

1848-1925

Su trabajo intelectual se desarrolla en la segunda mitad del siglo xix

¿Qué pasaba a finales de ese siglo?

Lo que pasaba es que los fundamentos de las matemáticas estaban en crisis.

Euclides= “Los elementos de geometría”, El método que Euclides usa es novedoso, su método
es el axiomático, ¿en que consiste?, el método axiomático consiste en seleccionar algunas
verdades que van a ser fundamentales, que serán simples y auténticamente verdaderas, a esas
verdades se les llamará axiomas, su verdad es evidente, con solo entenderla podemos ver su
verdad y certeza. Toda la geometría debería ser derivada de un conjunto de axiomas
totalmente evidentes. Presenta todo su sistema (geometría euclideana), y todas las verdades
son demostrables a través de cinco axiomas. Euclides diferenciará entre un axioma y un
teorema, un teorema es una consecuencia lógica de los axiomas, Euclides no formula las reglas
de inferencia, el simplemente cree que si aceptas ciertos axiomas, por necesidad podrás
aceptar verdades derivadas de ellas.

A ese procedimiento que te lleva de axioma a teorema, lo llamarás prueba, una secuencia
finita de pasos lógicos. Euclides pasa a las historias de las matemáticas como el creador del
método axiomático.

Todas las pruebas de Euclides tienen diagramas, los diagramas de las figuras geométricas
tienen reglas= tienen que ser dibujables con regla y compás. Los diagramas son la parte
esencial de la prueba. Muchas de las cosas que los griegos querían probar tenían que hacerlo
con reglas y compás. NO ERAN SOLO GRÁFICOS QUE EXPLICABAN LAS COSAS, ESTOS ERAN
FUNDAMENTALES PARA LAS PRUEBAS DE EUCLIDES.

Tienes que tener una representación mental de las propiedades geométricas.

Kant= los orígenes del conocimiento geométrico son intuitivos representacionales.

Los cuatro primeros principios de Euclides no autoevidentes, el ultimo no= el axioma de las
paralelas, se pensó por un momento que este último axioma podía derivarse de las anteriores,
pero no se logró, este último axioma sonaba sospechoso.

Las geometrías no-euclidianas = nacen como rechazo al quinto axioma de Euclides, se

demostró que este axioma no era verdadero fuera de los espacios planos. En este tipo de
geometrías las intuiciones no sirven.

¿Cómo podemos tener más de una geometría?

Ya no es necesario que las prubeas se muestren visualizables.

Números y conjuntos= la base las matemáticas.

Frege quiere reducir a los números, no podemos empezar por números naturales, debemos ir
a algo más fundamental. Tenemos que definir la noción de número. A ese proyecto de
reducción se llama logicismo.

Frege inventa la lógica clásica. Los matemáticos hasta antes de frege escribían en lenguaje
natural, pero si quieres los más altos estándares de rigurosidad en las pruebas matemáticas,
necesitas un lenguaje formal. Tienes que usar un lenguaje preciso= conceptografía, su lenguaje
ideal.

No quiere decir que el lenguaje natural estuviera mal, solo es inexacto para los requerimientos
matemáticos.