Cuadro de oposicin de los juicios

Cuadro de oposicin de los juicios

Se llama cuadro de oposicin de los juicios 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.[1] 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. Ningn S es P.[2] I = PARTICULAR AFIRMATIVO. Trmino Sujeto tomado en su extensin particular; trmino Predicado en su extensin particular; cualidad afirmativa. Algn S es P. O = PARTICULAR NEGATIVO. Trmino Sujeto tomado en su extensin particular; trmino Predicado en su extensin universal; cualidad negativa. Algn S no es P.[3] Se llaman juicios opuestos a los que teniendo los mismos trminos difieren en cantidad, en cualidad o en ambas. Se representan en cada uno de los vrtices del cuadrado de oposicin, establecindose las siguientes relaciones: A y E son contrarios porque difieren en cualidad siendo universales. I y O son subcontrarios, porque siendo particulares difieren en la cualidad. A con respecto a O, e I con respecto a E son contradictorios, porque difieren en cantidad y cualidad. A con respecto a I, y E con respecto a O son subalternos porque difieren en la cantidad. Las relaciones con respecto al valor de verdad en relacin de unos y otros se muestran en los siguientes cuadros:
OPOSICIN JUICIOS RELACIONADOS A-O E-I Contrarios A-E RELACIN VERITATIVA Cuadro de oposicin.

Contradictorios

Si uno es verdadero el otro es falso y viceversa Ni ambos verdaderos, ni ambos falsos. No pueden ser ambos verdaderos Pero pueden ser los dos falsos

Subcontrarios

I-O

Pueden ser ambos verdaderos Pero no pueden ser los dos falsos

Subalternos

A-I E-O

Si el universal (A, E) es verdadero, entonces el particular (I, O) es verdadero Pero si el particular (I, O) es verdadero entonces el universal (A, E) no es necesariamente verdadero

Cuadro de oposicin de los juicios

Cuadro de oposicin - Valores de Verdad

A A es verdadero A es falso E es verdadero E es falso I es verdadero I es falso O es verdadero O es falso V F F Ind. Ind. F F V

E F

I V

O F V V Ind. Ind. V V F

Ind. Ind. V F F V F V V F

Ind. Ind. F V

V= Verdadera F=Falsa Ind.= Indeterminada Para otras posibles inferencias directas a partir de un juicio es necesario hacer unas operaciones que producen nuevos juicios: la conversin y la obversin, contraposicin e inversin.

Cuadro de oposicin de los juicios

Otros cuadros de oposicin

Cubo de Reichenbach
H. Reichenbach,[4] presenta un cubo de oposicin en cuyos vrtices se presentan las expresiones de relacin de clases mediante las vocales "a" (universales) e "i" (particulares)[5] y expresando la negacin como complementariedad de las clases S (sujeto) y P (predicado).[6] Las relaciones de dichas expresiones figuran en los trazos del cubo segn el cuadro siguiente:

Cubo de oposicin de Reichenbach

OPOSICIN Contradictorias

VRTICES

EXPRESIONES Todo S es P --- Algn S es No-P Algn S es P --- Todo S es No-P Todo No-S es P --- Algn No-S es No-P Algn No-S es P --- Todo No-S es No-P

TRAZO Rojo

Contrarias

Todo S es P --- Todo S es No-P (Ningn S es P) Todo No-S es P --- Todo No-S es No-P

Negro

Contrarias oblicuas

Todo S es P --- Todo No-S es P Todo S es No-P (ningn S es P) --- Todo No-S es No-P

Verde

Subcontrarias

Algn S es P --- Algn S es No-P Algn No-S es P --- Algn No-S es No-P

Gris

Subcontrarias oblicuas

Algn S es P --- Algn No-S es P Algn S es No-P --- Algn No-S es No-P

Amarillo

Subalternas

Todo S es P --- Algn S es P Todo S es No-P (ningn S es P) --- Algn S es No-P Todo No-S es P --- Algn No-S es P Todo No-S es No-P --- Algn No-S es No-P

Marrn

Cuadro de oposicin de los juicios

4
Todo S es P --- Algn No-S es P Algn S es P --- Todo No-S es P Todo S es No-P --- Algn No-S es No-P Algn S es No-P --- Todo No-S es No-P Verde oscuro

Subalternas laterales

Opuestas

Todo S es P --- Todo No-S es No-P Todo No-S es P --- Todo S es No-P (ningn S es P)

Azul

Subopuestas

Algn S es P --- Algn No-S es No-P Algn No-S es P --- Algn S es No-P

Morado

Hexgono de Doyle
Por su parte J. J. Doyle presenta un hexgono que representa las relaciones veritativas entre las diversas relaciones de dichas expresiones: Contradiccin: Si la primera proposicin es verdadera, la segunda es falsa. Si la primera es falsa, la segunda es verdadera. Equivalencia: Si la primera proposicin es verdadera, la segunda es verdadera. Si la primera es falsa, la segunda es falsa.

Hexgono de J. J. Doyle.

Superimplicacin: Si la primera es verdadera, la segunda es verdadera. Si la primera es falsa, la segunda puede ser verdadera o falsa. Subimplicacin: Si la primera es verdadera, la segunda puede ser verdadera o falsa. Si la primera es falsa, la segunda es falsa. Contrariedad: Si la primera es verdadera, la segunda es falsa. Si la primera es falsa, la segunda puede ser verdadera o falsa. Subcontrariedad: Si la primera es verdadera, la segunda puede ser verdadera o falsa. Si la primera es falsa, la segunda es verdadera. Independencia: Si la primera es verdadera, la segunda puede ser veredadera o falsa. Si la primera es falsa, la segunda puede ser verdadera o falsa.

Oposicin en lgica cuantificacional

Las tradicionales oposiciones aristotlicas se expresan como:

Las llamadas leyes de oposicin simple se expresan como:

Cuadro de oposicin de los juicios

Oposicin en lgica modal

Aristteles tambin consider las oposiciones modales con las limitaciones de su lgica.[7]Segn Jacques Maritain[8] el fundamento de este cuadro consiste en abstraer la cantidad del dictum y en considerar solo la cantidad del modus, la cualidad del modus y la cualidad del dictum. Asimismo hay que suponer que contingente es equiparable a posible y la equivalencia de los siguientes pares de proposiciones con la proposicin a la derecha:[9]

Cuadro de oposicin en lgica modal.

Es imposible que no sea No es posible que no sea Es necesario que no sea No es posible que sea No es imposible que no sea No es necesario que no sea No es imposible que no sea No es necesario que sea

Es necesario que sea

Es imposible que sea

Es posible que sea

Es posible que no sea

El cuadro de oposicin modal con la notacin simblica de C.I.Lewis es la siguiente:

Cuadro de oposicin de los juicios

A E I O

Cuadro octogonal de oposicin modal.

Cuadro octogonal de oposicin modal

OPOSICIN Contradictorias VRTICES Es necesario que todo S sea P Es imposible que ningn S sea P Es necesario que algn S sea P Es posible que todo S sea P Contrarias Subcontrarias Subalternas Es necesario que todo S sea P Es posible que algn S sea P Es necesario que todo S sea P Es imposible que ningn S sea P Es posible que algn S no sea P Es posible que algn S sea P Es posible que todo S no sea P Es imposible que algn S sea P Es imposible que ningn S sea P Es posible que algn S no sea P Es posible que algn S sea P Es posible que algn S no sea =

Cuadro de oposicin de los juicios

Referencias
[1] En la actualidad hablaramos de proposiciones; pero se mantiene la denominacin de juicio por ser ms acorde con la filosofa de Aristteles. Hoy se considera como juicio de trminos considerando que cada trmino significa una propiedad como una clase lgica. [2] Propiamente Todo S es No-P, pero suele usarse en espaol la expresin lingstica Ningn S es P. En algunas ocasiones se produce error de interpretacin cuando no se tiene en cuenta la diferencia entre la negacin de una atribucin y la complementariedad de una clase. Vase Individuo [3] En la lgica actual, de la lgica de clases, se suele expresar como "S no es P". Vase diferencia en la forma de expresin lingstica de "S es no-P" y "S no es P" respecto al contenido formal del juicio aristotlico, en Silogismo [4] En su artculo "The Syllogism Revised" en Philosophy of Science, 19, (1952), 1-16 [5] Vase silogismo [6] Vase Silogismo [7] De interpretatione, 22 a 34. Sobre las limitaciones de la lgica aristotlica, vase silogismo: Problemtica de la lgica aristotlica [8] Petite logique, (1923), II, 2, C [9] Ferrater Mora op. cit.

Enlaces
Silogismo Conversin lgica Obversin lgica contraposicin lgica

Referencias
MITCHELL, D (1968). Introduccin a la lgica. Editorial Labor, Barcelona. FERRATER MORA, J. (1979). DICCIONARIO DE FILOSOFA. ISBN 84-206-5299-7.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Cuadro de oposicin de los juicios Fuente: http://es.wikipedia.org/w/index.php?oldid=60775730 Contribuyentes: Bethan 182, Cacanbal, Deinos, Emilianot, Farisori, Gafotas, Ggenellina, Gherii, IIM 78, Luis Felipe Schenone, MONIMINO, Roberto Fiadone, Tano4595, Tomasetter, 24 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:CUADRO DE OPOSICION.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:CUADRO_DE_OPOSICION.png Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported Contribuyentes: Lipedia, MONIMINO, 1 ediciones annimas Archivo:Cuadro oposicion de los juicios.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cuadro_oposicion_de_los_juicios.gif Licencia: Creative Commons Attribution-ShareAlike 3.0 Unported Contribuyentes: Emilianot221 File:Cuadro Reichenbach.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cuadro_Reichenbach.png Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:MONIMINO Archivo:Cuadro de J. J. Doyle.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cuadro_de_J._J._Doyle.jpg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:MONIMINO Archivo:Cuadro de oposicin modal.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cuadro_de_oposicin_modal.jpg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:MONIMINO Archivo:Cuadro octogonal de oposicin modal .jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cuadro_octogonal_de_oposicin_modal_.jpg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:MONIMINO

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/