Objeto de estudio de la lógica formal

Ejemplo:
Leonardo quiere ir a una fiesta el vienes, para esto, tiene que pedir permiso a sus papás. El problema que Leonardo tiene es que, para conseguir dicho permiso, Leonardo tiene que pasar todas sus materias. Leonardo sabe que reprobó mate y geografía, por lo tanto, Leonardo sabe que, muy probablemente, sus papás no le den permiso.

He aquí un razonamiento, sencillo, que nos ilustrará lo arriba mencionado:

El contenido o materia de este razonamiento es: la fiesta del viernes, las calificaciones que sacó este bimestre, la condición que le pusieron sus papás y las posibles soluciones que Leonardo le puede dar a este embrollo para ir a la fiesta.
La estructura básica que sigue este razonamiento es algo así

Si pasas todas tus materias, entonces vas a la fiesta. p→f
No fuiste a la fiesta. -f
Por lo tanto, no pasaste todas tus materias -p


· La fórmula que ves en anaranjado es lo que hace la lógica simbólica y a lo que llamamos lógica formal, esto es, poner en símbolos y fórmulas, el lenguaje que utilizamos en la vida cotidiana. En este caso, la letra “p” representa la frase: “pasas todas tus materias” y la letra “f”: vas a la fiesta.

· A la lógica formal no le interesa si se está hablando de fiestas, de permisos, de manzanas o de música, ya que siempre va a cambiar esos contenidos materiales a fórmulas y símbolos. Lo que en realidad le interesa es si el proceso para llegar a la conclusión fue el correcto y no si los contenidos son verdaderos o falsos.

· La lógica es formal porque estudia y analiza la forma o estructura de todos los razonamientos. Por lo tanto, su objeto de estudio es la estructura del razonamiento.