Lógica clásica
¿QUE ES LA LOGICA CLASICA?
Una lógica clásica o lógica estándar es un sistema informal que respeta los siguientes principios:
- El principio del tercero excluido: es un principio de lógica clásica según el cual, si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.
- El principio de no contradicción: es un principio clásico de la y la filosofía, según el cual una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.
- El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuisonita) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición
- La mono tonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales.
Los ejemplos más comunes de lógicas clásicas son la lógica proporcional, la lógica de primer orden y la lógica de segundo orden
Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.
Comments
Post a Comment