Lógica clásica

De Enciclopedia Symploké, la enciclopedia libre.

Expresión que se utiliza para referirse al conjunto de cálculos lógicos como los desarrollados en los Principia Mathematica de Russell y Whitehead. La lógica clásica reconoce solamente dos valores de verdad a sus fórmulas (verdadero o falso), por lo que también se la denomina lógica bivalente o lógica estandarizada, e incluye a la lógica proposicional, a la lógica de predicados, a la lógica de clases y a la lógica de relaciones.

A veces también se llama lógica clásica o lógica tradicional a la lógica aristotélica junto con sus desarrollos medievales, una lógica que no dispone del aparato matemático de la moderna lógica simbólica.

enciclopedista

Valid XHTML 1.0 Transitional