LOGICA CLASICA Y DE CONJUNTOS

Segn algunos la lgica clsica estara constituida por un conjunto de clculos lgicos equivalentes al
clculo presentado por Bertrand Russell y Alfred N. Whitehead en sus Principia Matemtica (19101913). Otro punto de vista es el que dice que la lgica clsica es aquella que se desarrolla desde
Aristteles hasta las aportaciones de Alfred Tarski, hacia mediados de los aos 30 del siglo XX.
Cualquiera de las dos definiciones nos viene bien, pues resulta que todos los sistemas lgicos a los que
llamamos lgica clsica comparten la propiedad de ser equivalentes al clculo de Principia y, a su vez,
todos ellos son producto y han nacido gracias a las aportaciones realizadas por los lgicos desde
Aristteles a Tarski.

Cuadro de la oposicin de los juicios

Se llama cuadrado de oposicin al esquema mediante el que se estudian las relaciones formales entre
los diversos tipos de juicios aristotlicos, A, E, I, O, considerando cada juicio con trminos idnticos. En
su da fue considerado por el mismo Aristteles.
A = UNIVERSAL AFIRMATIVO. Trmino Sujeto tomado en su extensin universal; trmino Predicado
particular; cualidad afirmativa. Todo S es P.
E = UNIVERSAL NEGATIVO. Trmino Sujeto tomado en su extensin universal; trmino Predicado
universal; cualidad negativa.

Caractersticas de los clculos que constituyen la lgica clsica

Varios son los clculos que caen bajo el dominio de la lgica clsica, pero entre ellos destacan
la lgica proposicional, la lgica de predicados de primer orden y la lgica de predicados de
segundo orden. Todos ellos comparten una serie de caractersticas comunes, las cuales a
continuacin enumeramos.

1. Son lgicas bivalentes, esto es, solo operan con dos valores de verdad: verdadero y falso.
2. Todas ellas se basan en el principio de identidad, el de no contradiccin, en el principio del
tercero excluido y en el principio de explosin.
3. Son, como hemos dicho, equivalentes al clculo de Principia y, por lo tanto, equivalentes
entre s.