Lóxica clásica

O lóxico británico Augustus De Morgan (1806-1871), un dos pioneiros da lóxica clásica

A lóxica clásica, lóxica estándar ou lóxica de Frege-Russell é a clase máis estudada e empregada de lóxica dedutiva. A nivel histórico, tivo moita influencia na filosofía analítica.

Características

Todos os sistemas lóxicos deste tipo comparten as seguintes características:

1. Lei do terceiro excluído e eliminación da dobre negación.
2. Lei de non contradición e principio de explosión.
3. Monotonicidade da implicación e idempotencia da implicación.
4. Conmutatividade da conxunción.
5. Leis de De Morgan: todo operador lóxico é dual doutro.

A meirande parte das discusións actuais sobre a lóxica clásica só inclúen as lóxicas proposicionais e de primeira orde. A maioría das semánticas para a lóxica clásica son bivalentes, polo que as proposicións destes sistemas só poden categorizarse como verdadeiras ou falsas.

Véxase tamén

Bibliografía

• Bunnin, Nicholas; Yu, Jiyuan (2004). The Blackwell Dictionary of Western Philosophy (en inglés). Wiley-Blackwell. ISBN 978-1-4051-0679-5. OCLC 184984014. doi:10.1002/9780470996379. 
• Gabbay, Dov (1994). "Classical vs Non-classical Logic". En Gabbay, J. A.; Hogger, C. J.; Robinson. Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2 (en inglés). Oxford University Press. ISBN 9780198537472. OCLC 928040559. 
• Gamut, L. T. F. (1991). Logic, Language, and Meaning, vol. 1: Introduction to Logic (en inglés). University of Chigago Press. ISBN 978-0-226-28085-1. OCLC 493608730. 
• Haack, Susan (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism (en inglés). The University of Chicago Press. ISBN 9780226311333. OCLC 1071276650. 
• Kanamori, Akihiro (2000). "Introduction". Proceedings of the Twentieth World Congress of Philosophy (en inglés). Philosophy Documentation Center. OCLC 1056098097. 
• Kissel, Teresa Kouri; Shapiro, Stewart (2022). "Classical Logic". The Stanford Encyclopedia of Philosophy (en inglés). Consultado o 08/01/2025.