Puede definirse brevemente como el estudio del razonamiento, Tambien podemos decir que la logica es la teoria de la
interferencia, donde la interferencia es la relacion entre las premisias y la conclusion de un argumento, Las inferencias se dan en
los razonamientos, que no son lo mismo que explicaciones-
Como lenguaje y como Teoria:
Leibniz (1646-1716) Fue el primero en establecer que la logica debe tener un lenguaje propio libre de vaguedad y abiguedad. Se inspiro en
las matematicas para que todo lector se sintiese familiarizado con un lenguaje universal; Aunque Leibniz Establecio la necesidad de
crear un lenguaje propio para la logica, no fue el quien lo elaboro sino el filosofo matematico Gottlob Fregue (1848-1925).
Tipos de logica
Formal
Informal
Puede clasificarse como
Oriental
Nace con Aristoteles en Grecia
Occidental
Surge en la India y China, en la escuela (Nyaya)
Clasica
Aristotelica
Mediaval o Ecolastica
Moderna
Simbolica
Matematica
Logistica
Formal
Proposicional
Cuantificada de primer orden
modal
Tiene importacia en la practica cientifica como :
Aplicar examenes de admision en universidades, haciendo uso solamente del razonamiento.
Reducier el riesgo de guerra porque si se resuelven pacificamente las disputas sobre todo religiosas, tambien acabaran las
guerras por doctrinas opuestas
La logica es muy importante tanto para la ciencia, como para nuestra vida diaria, puede verse como el comun
denominador de todas las ciencias, o como una ciencia especial.
Puede aplicarse en las siguientes areas.
Logica de la biologia, de la quimica, de la preferencia, de la decision, cuantica, para computadoras, de
los valores etc.
En Fin, ni la logica ni las matematicas nacieron por capricho, la primera aparece por los primeros
exfuerzos de entender el mundo y la segunda aparece desde que se intenta dominar el mundo
que nos rodea.