Razonamiento Lógico (Filosofía)

El razonamiento lógico.
 ¿Qué es la lógica?
La lógica estudia las condiciones para que un razonamiento sea valido.
Pero en el caso de la matemática y la lógica, el lenguaje artificial requerido ha de ser formal o simbólico. Esto quiere decir que constara de:
 Un conjunto de símbolos (variables, constantes y paréntesis).
 Algunas reglas de formación de formulas correctas (bienformuladas).
 Algunas reglas de transformación que nos permitan pasar de unas formulas bien formuladas a otras.
 Definición de lógica formal.
Definimos la lógica como la ciencia que estudia los principios de la inferencia formalmente valida.
Inferencia: estudia los principios para que un razonamiento sea valido.
Inferencia o razonamiento: consiste en pasar de unas afirmaciones tomadas como puntode partida (premisas) a otras que se siguen de estas (conclusión).
 Validez formal de un razonamiento o inferencia.
La lógica se ocupa de la validez de los racionamientos y no de la verdad de los enunciados que los constituyen (le verdad es cuestión de las ciencias o del sentido común). Lo que interesa a la lógica es el estudio de las relaciones formales entre los enunciados.
Un argumento,racionamiento, inferencia es formalmente valida cuando de la verdad de las premisas se sigue necesariamente la verdad de la conclusión o lo que es lo mismo un razonamiento es valido cuando es imposible que las premisas sean verdaderas y que la conclusión sea falsa.
Ejemplo de razonamiento formalmente valido.
 Todo número entero positivo es divisible por uno.
Siete es un número entero.
Sietees divisible por uno.
 Si las matemáticas es una ciencia inexacta, entonces dos mas dos no siempre es cuatro. Es así que las matemáticas es una ciencia inexacta.
En este caso el razonamiento es valido pero los enunciados que lo integran son falsos, por tanto comprobamos que la capacidad lógica no tiene nada que ver con la verdad material de los enunciados.
Lo básico y lo fundamental en todorazonamiento es la necesidad que se establece entre las premisas y la conclusión, de modo que la verdad de las primeras lleva inevitablemente a la verdad de la conclusión.
Ejemplo de razonamiento invalido.
Si estudio lo suficiente entonces estoy satisfecho conmigo mismo. Es así que estoy satisfecho conmigo mismo. Conclusión: estudio lo suficiente.
Este razonamiento es inválido porque puedesestar satisfecho por otras cosas como que el Valencia ha ganado la Liga.
 Calculo proposicional.
El calculo proposicional o calculo de enunciados estudia las relaciones que se dan entre los enunciados sin analizar su estructura interna, es decir, tomados como un todo, como una unidad lingüística, tomadas en bloque, es decir, prescindiendo de los elementos que lo integran. Por ejemplo laproposición “Todos los hombres son mortales”, que esta compuesta de varios elementos, en el calculo proposicional se simboliza simplemente con la letra p.
El cálculo de proposiciones consiste en un sistema formal en el que podemos expresar enunciados y realizar transformaciones entre las proposiciones. En un sistema formal hay unos símbolos dados para formar las palabras del lenguaje que, en nuestrocaso, llamaremos “formulas bien formuladas”
 Símbolos del lenguaje formal.
Conectores:
 Negador: ( ) sustituye a las partículas; no, no cierto que, es falso que...etc.
 Conjuntor: ( ) sustituye a las partículas; y, pero, aunque, sin embargo…etc.
 Disyuntor: ( ) sustituye a las partículas; o, o bien…etc.
 Implicador: ( ) sustituye a las partículas; si…entonces, cuando….entonces,solo…entonces...etc.
 Coimplicador: ( ) sustituye a las partículas; si… y solo si, cuando y solamente cuando…..entonces, equivale a… entonces, si solo si….entonces…etc.
 Símbolos de puntuación: paréntesis ( ) y la coma que es un conjuntor.
 Reglas para construir formulas bien formuladas.
Las reglas según las cuales podemos construir las formulas bien formuladas son:
 Todo símbolo...