Cul es el fundamento de las matemticas? Por qu aceptamos los enunciados matemticos?

(2
da pregunta de Klimovsky)

Tres respuestas contemporneas:

- Formalismo (Hilbert, Carnap)

- Logicismo (Frege, Russell)
- Intuicionismo (Brouwer)

[El formalismo ya lo vimos cuando explicamos lo que es un sistema axiomtico formal. El formalismo
justamente piensa que toda teora matemtica en su aspecto puro (aritmtica, geometra, algebra,
etc.) es un sistema axiomtico formal.

Por qu aceptamos un enunciado matemtico segn el formalismo como la suma de los ngulos
de un tringulo es 180 o 2+2 = 4? porque si los rechazamos estamos contradiciendo aquellos
enunciados desde los cuales dedujimos esos enunciados. Y por qu acepto esos otros enunciados
que me sirven de premisas iniciales? Porque s, por decisin arbitraria. No son verdades evidentes.]

Antecedentes tericos:

Leibniz: influy en el formalismo y en el logicismo

Kant: influy en el intuicionismo

Leibniz.

Orden de los temas:

- La sustancia para Aristteles.

- La mnada. Sus caractersticas.
- Para qu las introduce. Para resolver el problema de la relacin mente y cuerpo.
- Verdades de razn y verdades de hecho.
- Los enunciados matemticos como verdades de razn.
- Demostracin de 2 + 2 = 4

1. Metafsica de Leibniz. Su concepcin de la sustancia como mnada.

qu es una sustancia para la tradicin? qu toma Leibniz de la tradicin sobre la sustancia?

- Desde el punto de vista lgico, Es sujeto de predicacin.

En el enunciado la mesa es marrn el referente del trmino que funciona como sujeto es
la sustancia.
- Es lo que permanece a travs de los cambios
Yo puedo pintar la mesa de muchos colores distintos, pero eso no va a alterar la sustancia
que sostiene a esos colores, la mesa va a seguir siendo mesa.
- Es lo que existe en s y por s. A diferencia de los accidentes de la sustancia.
Adems, la mesa no necesita de la silla para existir, no dependen uno d otro para existir. En
cambio, un color necesita estar en algo.
 - Es principio de accin: tengo que poder dar cuenta a partir de ella de otros
acontecimientos. Por qu el tomate pasa de estar verde a estar rojo? Porque hay un
principio dinmico en el tomate que lleva a producir ese cambio. Si la sustancia es lo que
causa sus cambios, es lo que permanece a travs de ellos.
- El accidente es una contingencia de la sustancia, no una necesidad.
El ser marrn no es una nota definitoria de la mesa, es algo externo a ella. Qu un tringulo
tenga 20 cm de superficie en una contingencia para un tringulo, no una necesidad como
que tenga tres lados.
Desde el punto de vista del conocimiento cundo conozco realmente una sustancia?
Cuando me formo un concepto de ella, cuando recojo mentalmente los rasgos comunes que
tiene con sustancias del mismo gnero, lo que es esencial a ella y dejo de lado aquellas
propiedades accidentales y contingentes.

2. Mnadas:

a) Para Leibniz cada sustancia es individual en el sentido de que todas sus propiedades son
esenciales a ella, no hay propiedades o estados que sean accidentales, contingentes.

Todo lo que le pasa a una sustancia est contenido en ella como una necesidad. Por lo cual conocer
una sustancia no es formar conceptos universales sino individuales.

Una mesa para Leibniz no es una sustancia, pero para entender esto supongamos que lo fuera. Lo
que significa es que el hecho de que una mesa haya sido en momento marrn, despus se la haya
pintado de blanco, y despus destruido para prenderla fuego, todos esos estados de la mesa son
esenciales y necesarios para esa mesa.

Por lo tanto, en el concepto individual, en el concepto de una sustancia est todo lo que le pas,
todo lo que le pasa y todo lo que le va a pasar.

Una mente infinita, Dios, contemplando el estado actual de una sustancia sera capaz de saber todo
lo que le ocurri y todo lo que le ocurrir, sus estados pasados y futuros.

Analoga de la mansin.

Analoga con el ADN.

Por qu una mesa, una silla, no son ejemplos de sustancias para Leibniz?

- A las sustancias Leibniz las llama mnadas. Son tomos metafsicos, no materiales.
- No tiene partes, pero son complejas.
- Son entidades psquicas: 1) representan, perciben lo que no es ella, el resto del universo.

b) Cada mnada o sustancia es un espejo que refleja todo el universo.

No solo que a partir de cada estado de la sustancia una mente infinita podra conocer todos a los
estados pasados y futuros de esa sustancia, sino adems, todos los estados pasados presentes y
futuros de todas las otras mnadas.

Por eso cada mnada refleja al resto del universo.

Leer citas

c) Las mnadas no tienen ventanas.

La mnada no tiene ventanas. Las percepciones o representaciones de la mnada no son causadas

por algo externo. Las mnadas no interaccionan entre s.

Pero si todo est conformado de mnadas:

Cmo es posible que nosotros veamos que las cosas se relacionan unas con otras?

cmo es posible que al movimiento de una piedra que se dirige contra un vidrio le suceda la rotura
del vidrio si las mnadas que conforman que llamamos piedra y las que conforman eso que
llamamos ventana no interaccionan entre s y estn encerradas en s mismas?

Cmo es posible que al deseo de levantar la mano que tiene la mente le suceda que la mano se
levante? cmo se vinculan el alma (mnada superior), con las mnadas del cuerpo; o los cuerpos
entre s?

Analoga del reloj.

Siguiendo con la analoga de la mansin:

Cada habitacin sigue su propia secuencia, aunque el resto de las flores de la casa no exista. No es
que en cada habitacin hay un tipo de flor porque en otra hay otro tipo, sino que cada habitacin
sigue un orden de acuerdo a un plan preestablecido por el diseador.

Cada mnada no interacciona con otras mnadas, sino que se coordina con ellas porque Dios, al
crearlas, las puso a funcionar de una manera perfectamente sincronizadas.

Para poner un ejemplo burdo:

Habitualmente al decir que una piedra rompe el vidrio estamos refirindonos a que la piedra al
interaccionar con la ventana genera un estado nuevo en la ventana: que est rota.

Para Leibniz esto no sera as: que la ventana est rota est inscripto en s misma, como un estado
suyo. Desde el comienzo del universo Dios creo las cosas de tal modo que la ventana se rompe justo
cuando la piedra se mueve en direccin a ella.

3. Verdades de razn y verdades de hecho.

Una distincin que la mente humana tiene que hacer pero no Dios es entre Verdades de razn y
verdades de hecho.

Verdades de razn: su negacin sera una contradiccin porque entre sujeto y predicado hay
identidad conceptual.

El hombre es animal racional.

El soltero es alguien no casado.

Un tringulo es una figura de tres lados.

Verdades de hecho: entre sujeto y predicado no hay identidad conceptual, el predicado no est
incluido en el sujeto, por lo cual negarlo no es contradictorio.

Ejemplo:

este pizarrn es negro.

Para una mente finita como la nuestra, entre el concepto este pizarrn y el concepto negro no
hay identidad, por ende, si yo quiero saber si es verdadero tengo que apelar a los sentidos. Por eso
para el ser humano es una verdad de hecho.

Pero recuerden que en cada mnada estn contenidos todos sus estados y es un reflejo de todo el
universo. Todo el pasado, el presente y el futuro de una sustancia est contenida en ella, todo sus
estados.

De modo que Dios al analizar el concepto de pizarrn encontrara en l, como una propiedad suya
inherente y esencial, que es negro. De modo que para Dios hay una relacin necesaria entre este
pizarrn y es negro del mismo modo que la hay entre ser soltero y ser no casado. La
diferencia entre las dos necesidades es que la primera es ontolgica y la segunda es lgica.

Por lo tanto, para Dios inclusive las verdades de hecho son necesarias porque en cada sustancia
estn incluidos propiedades. Pero esa necesidad solo la puede captar Dios, no el ser humano, ya que
requerira un anlisis infinito.

Qu pasa con las verdades matemticas? Por ejemplo, 2 + 2 = 4. es una verdad de hecho o de
razn?

Los enunciados matemticos son verdades de razn. Hay una identidad conceptual entre decir 2 + 3
y decir 4 + 1.

Definiciones
2 df = 1 + 1
3 df = 1 + 1 + 1
4 df = 1 + 1 + 1 + 1
5 df = 1 + 1 + 1 +1 + 1

Demostracin

1. 2 + 3=4+1
2. 2 + 1+1+1=1+1+1+1+1
3. 1 + 1 + 1 + 1 +1 = 1 + 1 + 1 + 1 + 1
4. 5 = 5
Por consiguiente, en matemtica nos manejamos con enunciados que
expresan identidades, por lo cual, por qu no pueden negarse? Porque sera
contradictorio.

Por consiguiente, la matemtica es cuestin de definiciones y de leyes

lgicas. El fundamento de la matemtica es la lgica porque la verdad
matemtica est basada en el principio de identidad [la identidad del sujeto y
el predicado] y el principio de no contradiccin [no puedo negar un
enunciado matemtico sin contradecirme]

Qu consecuencia tiene esto para la concepcin de la matemtica?

Que en un enunciado matemtico el predicado no le agrega nada nuevo al

sujeto, son tautolgicos.

Son tan vacos como A = A.

Digo algo interesante si afirmo: una rosa es una rosa? NO.

Pero segn esto, decir 57 + 68 es 125 es lo mismo que decir la rosa es la rosa, aunque parezca que
estoy diciendo algo ms interesante. El concepto 125 no le agrega nada nuevo a 57 + 68.