A lóxica

A lóxica é unha ciencia formal que estuda os principios da inferencia válida e demostración. A palabra significa " dotado de razón, intelectual, dialéctica , argumentativo ", que á súa vez vén do λόγος (logos ), " palabra, pensamento, idea, argumento, razón ou principio ."
Así como o tema tradicional da química é o tema, ea bioloxía da vida, a lóxica é a inferencia . A inferencia é o proceso polo cal as conclusións son derivadas da lóxica premisas.1 investiga os principios polos que inferencias son aceptables e outras non. Cando unha inferencia é aceptable , o que é a súa estrutura lóxica , e non o contido específico do argumento ou a linguaxe utilizada. Polo tanto, a lóxica é considerada unha ciencia formal , como a matemática , en vez de unha ciencia empírica.
A lóxica é tradicionalmente considerada unha rama da filosofía. Pero, desde finais do século XIX , a súa formalización simbólica demostrou unha estreita relación coa matemática, e levou a lóxica matemática. O século XX, tornouse a lóxica lóxica esencialmente simbólico, un cálculo definido por símbolos e regras de inferencia , permitindo a súa aplicación para a computación. Ata o século XIX, a lóxica aristotélica e estoica sempre mantivo unha relación cos argumentos en linguaxe natural. Entón, a pesar de seren formal, non foron formalistas.2 Hoxe esa relación está en un punto de vista totalmente diferente. Formalización rigorosa mostrou as limitacións da lóxica tradicional ou aristotélica , que é interpretado hoxe como unha pequena parte da lóxica de clases.

Lóxicas clásicas

Os sistemas lóxicos clásicos son os máis estudados e utilizados en todos, e caracterízanse por certos principios tradicionais incorporar outras lóxicas rexeitar. Algúns deses principios son: o principio do terceiro excluído, a lei da contradición, o principio de explosión ea monotonía de implicación. Entre os sistemas lóxicos clásicos son: 

lóxica proposicional 

Lóxica de primeira orde 

Lóxica de segunda orde

Lógicas no clásicas

Os sistemas lóxicos non clásicos son aqueles que rexeitan un ou máis dos principios da lóxica clásica. Algúns destes sistemas son os seguintes:

Lóxica Fuzzy : A lóxica plurivalente rexeitar o principio do terceiro excluído e propón un número infinito de valores de verdade.

Lóxica relevante: A lóxica paraconsistente evitando principio de explosión, ao esixir que un argumento sexa válido, as premisas e conclusión deben compartir polo menos unha variable proposicional.

Quantum lóxico: Desenvolvido para xestionar o razoamento no campo da mecánica cuántica, a súa característica máis notable é o rexeitamento da propiedade distributiva .

Lóxica non monotônica : Unha lóxica non monótona é unha lóxica que , a adición de unha fórmula para calquera teoría , é posible que todas as consecuencias de que a teoría é moi reducida.

Lóxica intuicionista : Enfatiza a proba, máis do que a realidade, ao longo de transformacións de proposicións.

Lógicas modales

As lóxicas modales están deseñados para tratar con expresións que cualifican a verdade das decisións xudiciais. Por exemplo, a expresión "sempre" un verdadeiro xuízo cualifica-se como certa en calquera momento, ou sexa, para sempre. Non é o mesmo que dicir 'está chovendo' dicir 'sempre está a chover. "

Lóxica Modal trata sobre as nocións de necesidade, posibilidade, imposibilidade e continxencia. 

Lóxica Deontic: Trátase de nocións de obrigación moral e lexitimidade. 

Lóxica temporal operadores temporais Abarca como "sempre", "nunca", "antes", "despois", etc. 

Lóxica epistêmica: A lóxica que formaliza coñecemento razoamento relacionados. 

Lóxica doxástica: a lóxica trata sobre razoamento sobre as crenzas.