En la clase del dia 8 de marzo empezamos a hablar sobre la lógica. El profesor nos dijo que la lógica era el análisis racional del lenguaje y el primer filósofo griego que lo planteó fué Aristóteles que formulóla teoría del silogismo.
Los autores de la lógica moderna de la que vamos a tratar o lógica formal fueron Frege, Boole o Wittgenstein.
La Lógica formal es la ciencia es la ciencia que estudia los principios de la inferencia* formalmente válida.
Esta no nos habla de la realidad, sino es un lenguaje entre símbolos. Se ocupa de la mera estructura de nuestros razonamientos. Es una estructura sintáctica.
*inferencia es igual a razonamiento existen dos tipos:
-razonamiento inductivo
-razonamiento deductivo
Marina García Benabad
No hay comentarios:
Publicar un comentario