Explorando el Método de las Matemáticas y la Lógica: Fundamentos y Proposiciones

Método de las Matemáticas

Las matemáticas son una buena ciencia formal constituida por una pluralidad de proposiciones llamadas tesis del sistema.

Axiomas

Principio evidente que no necesita demostración: el todo es mayor que la parte.

Teoremas

Proposición que se demuestra a partir de axiomas o de otros teoremas ya demostrados, como el teorema de Pitágoras.

Postulado

Principio ni evidente ni demostrable cuya verdad no se cuestiona, sino que se establece como fundamento de todas las demás proposiciones, por ejemplo, el postulado de Euclides.

Método de la Lógica

La lógica es la ciencia que trata los principios básicos del razonamiento y la argumentación. El estudio de la lógica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de unas proposiciones, llamadas premisas, a una conclusión que se deriva de estas. Lo que interesa a la lógica es si el tercer enunciado, es decir, la inferencia, se deduce o no de los dos primeros enunciados. La lógica es una actividad de la inteligencia y, por tanto, exige las diez funciones de la inteligencia: lógico, abstracta, conceptualización, judicacion y razonamiento.

Causas de la Falibilidad

• Si una premisa es falsa, la conclusión a la que llegaremos será falsa.
• Si todas las premisas son verdaderas, pero nos equivocamos en el razonamiento, la conclusión a la que llegaremos será falsa.

Tipos de Proposiciones

Se suelen clasificar entendiendo su cualidad y calidad:

• A: universal y afirmativa - todo pin es pan.
• E: universal y negativa - ningún pin es pan.
• I: particular y afirmativa - algún pin es pan.
• O: particular y negativa - algún pin no es pan.

Lógica de Proposiciones

• Contrarias: si una es verdadera, la otra es falsa; si una es falsa, la otra no sabemos.
• Subcontrarias: si una es falsa, la otra es verdadera; si una es verdadera, la otra no sabemos.
• Subalternas: si la mayor es falsa, la otra no sabemos; si la mayor es verdadera, la menor también; si la menor es falsa, la mayor también; si la menor es verdadera, la otra no sabemos.
• Contradictorias: si una es verdadera, la otra es falsa y viceversa.

Silogismos

Tipo de razonamiento propio de la lógica de proposiciones, compuesto de dos premisas y una conclusión.

Elementos del silogismo:

• Se llama término medio (Z) a aquel que se repite en las premisas y no entra en la conclusión.
• Se llama término mayor (X) que aparece como predicador en la conclusión, independientemente del papel que desempeña en la premisa de la cual forma parte.
• Se llama término menor (Y) a aquel que aparece como sujeto de la conclusión.