Classical logic (or standard logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy, the type of philosophy most often found in the English-speaking world. Characteristics Each logical system in this class shares characteristic properties: Law of excluded middle and double negation elimination Law of noncontradiction, and the principle of explosion Monotonicity of entailment and idempotency of entailment Commutativity of conjunction De Morgan duality: every logical operator is dual to another While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics. In other words, the overwhelming majority of time spent studying classical logic has been spent studying specifically propositional and first-order logic, as opposed to the other forms of classical logic. Most semantics of classical logic are bivalent, meaning all of the possible denotations of propositions can
La lógica clásica ha tenido mucha influencia en la filosofía analítica, el tipo de filosofía que se encuentra más a menudo en el mundo de habla inglesa. Características Cada sistema lógico en esta clase comparte propiedades características: Ley de la exclusión de la media y doble negación de la eliminación de la ley de la no contradicción, y el principio de la explosión Monotonía de la implicación y la idempotencia de la implicación Commutatividad de la conjunción de la dualidad de Morgan: cada operador lógico es dual a otro Mientras que no está involucrado por las condiciones anteriores, las discusiones contemporáneas de la lógica clásica normalmente solo incluyen la lógica propositiva y de primer orden. En otras palabras, la gran mayoría del tiempo dedicado a estudiar la lógica clásica ha estado dedicado a estudiar específicamente la lógica propositiva y de primer orden, a diferencia de las otras formas de la lógica clásica.