Frege.

Conocimiento y lenguaje.-

Curso Curricular Lógica II

2021
Gottlob Frege. 1848-1925.

Problema: la expansión de las matemáticas no estaba correctamente fundamentada.

Objetivo de su obra: establecer los fundamentos lógicos y filosóficos de la aritmética.

Para Frege la matemática puede ser formalizada sin recurrir a ningún

axioma no lógico, sus leyes están basadas en leyes generales aplicables a
cualquier conocimiento y no requieren apoyatura de hechos empíricos.
Conceptografía. 1879.

En la “Conceptografía” o escritura conceptual desarrolló un nuevo simbolismo diseñado para

resaltar las relaciones lógicas del lenguaje ordinario.

Cálculo proposicional: inferencias que dependen de la fuerza de la negación, conjunción, etc.

aplicadas a proposiciones tomadas en su totalidad; el valor de verdad de las proposiciones que
tienen conectivas lógicas está dado por los valores de las proposiciones que las componen en
relación con las conectivas que las conforman.

Cálculo de predicados - Teoría de la cuantificación: inferencias que incluyen conectivas como

“todos”, “algún”, “ningún”, etc.

Formalización del cálculo de proposiciones

Desarrollo del cálculo de predicados.
Verdades matemáticas analíticas a priori.
Naturaleza de la matemática.
I. Kant.
Nuestro conocimiento de la aritmética y
geometría depende la intuición. Las
verdades de la matemática son
sintéticas a-priori, es decir, aunque
genuinamente informativas son
conocidas con anterioridad a toda
experiencia.
J. S. Mill.
Las verdades matemáticas son
conocidas a posteriori, es decir, sobre la
base de la experiencia. Las verdades de
la matemática son generalizaciones
empíricas vastamente aplicables y
ampliamente confirmadas.
¿Leyes matemáticas en Filosofía?

La naturaleza de la verdad matemática tiene implicancias filosóficas y fue crucial en el

debate clásico entre el empirismo y el racionalismo.

Racionalistas: los elementos más universales

Empiristas: todo el conocimiento deriva
e importantes de nuestro conocimiento
de la experiencia sensorial.
derivan de alguna fuente supra-sensible

Para Frege las verdades de la matemática

son conocidas a priori, pero no sintéticas
(como para Kant) son analíticas, es decir, no
tienen más información que la que está
implícita en el conocimiento mismo.
Fundamentos de la aritmética. 1884.

Tesis logicista: que la aritmética es derivable de la lógica.

Reemplazo de la noción de número por nociones como: objeto, objeto que cae bajo un
concepto, equivalencia entre conceptos, extensión de un concepto.

Tesis centrales:

1- Cada número individual es un objeto independiente.

2-El contenido de un enunciado de asignación de un número es una aserción

relativa a un concepto.
Concepto y objeto.

Los conceptos son independientes de la mente.

Los números son objetos, no son propiedades de las cosas ni elementos subjetivos.

Los enunciados numéricos son enunciados acerca de conceptos.

Sentido y referencia.

La referencia de una expresión es el objeto al que se refiere que no es lo mismo que el

sentido de esa expresión.

No sólo las palabras aisladas tienen referencia sino que los enunciados completos también
siendo la referencia ellos su valor de verdad.