Lóxica.

A lóxica é unha ciencia formal que estuda os principios da demostración e inferencia válida. A palabra deriva do grego antigo ?????? (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que á súa vez vén de ????? (logos), «palabra, pensamento, idea, argumento, razón ou principio». Así como o obxecto de estudo tradicional da química é a materia, e o da biología a vida, o da lóxica é a inferencia. A inferencia é o proceso polo cal derívanse conclusións a partir de premisas.1 A lóxica investiga os principios polos cales algunhas inferencias son aceptables, e outras non. Cando unha inferencia é aceptable, o é pola súa estrutura lóxica, e non polo contido específico do argumento ou a linguaxe utilizada. Por esta razón a lóxica considérase unha ciencia formal, como a matemática, no canto dunha ciencia empírica. A lóxica tradicionalmente considerouse unha rama da filosofía. Pero desde finais do século XIX, o seu formalización simbólica demostrou unha íntima relación coas matemáticas, e deu lugar á lóxica matemática. No século XX a lóxica pasou a ser principalmente a lóxica simbólica, un cálculo definido por símbolos e regras de inferencia, o que permitiu a súa aplicación á informática. Ata o século XIX, a lóxica aristotélica e estoica mantiveron sempre unha relación cos argumentos formulados en linguaxe natural. Por iso aínda que eran formais, non eran formalistas.2 Hoxe esa relación trátase baixo un punto de vista completamente diferente. A formalización estrita mostrou as limitacións da lóxica tradicional ou aristotélica, que hoxe se interpreta como unha parte pequena da lóxica de clases.