CUADRO DE OPOSICION

Cuadro de oposición de los juicios

Se llama cuadro de oposición de los juicios al esquema mediante el que se estudian las relaciones formales entre los diversos tipos de juicios aristotélicos, A, E, I, O, considerando cada juicio con términos idénticos. En su día fue con considerado por el mismo Aristóteles.

A= UNIVERSAL AFIRMATIVO. Sujeto tomado en su extensión universal; predicado particular; relación afirmativa. Todo S es P.

E = UNIVERSAL NEGATIVO. Sujeto tomado en su extensión universal; predicado universal; relación negativa. Ningún S es P.

I = PARTICULAR AFIRMATIVO. Sujeto tomado en su extensión particular; predicado en su extensión particular; relación afirmativa. Algún S es P.

O = PARTICULAR NEGATIVO. Sujeto tomado en su extensión particular; predicado en su extensión universal; relación negativa. Algún S no es P.

Cuadro de oposición.

Se llaman juicios opuestos a los que teniendo los mismos términos difieren en cantidad, en cualidad o en ambas. Se representan en cada uno de los vértices del cuadrado de oposición, estableciéndose 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 relación de unos y otros se muestran en el siguiente cuadro:

Los contradictorios, si uno es verdadero el otro es falso y viceversa. Ni ambos verdaderos, ni ambos falsos.

Los contrarios, no pueden ser ambos verdaderos, pero pueden ser los dos falsos.

Los subcontarios pueden ser ambos verdaderos, pero no pueden ser los dos falsos.

Para otras posibles inferencias directas a partir de un juicio es necesario hacer unas operaciones que producen nuevos juicios: la conversión y la obversión, contraposición e inversión.

Cuadro de oposición - Valores de Verdad

A E I O

A es verdadero V F V F

A es falso F Ind. Ind. V

E es verdadero F V F V

E es falso Ind. F V Ind.

I es verdadero Ind. F V Ind.

I es Falso F V F V

O es Verdadero F Ind. Ind. V

O es Falso V F V F

V= Verdadera F=Falsa Ind.= Indeterminada

MAPA MENTAL DE JUICIO

ÁRBOL DE PORFIRIO

EJERCICIOS EN CLASE

VINO Y SE FUE: JUICIO,POR QUE TIENE UN VERBO

SORPRESA:IDEA,IMAGEN

EL HOMBRE SE REÍA A CARCAJADAS:JUICIO,VERBO

LOS ZAPATOS NEGROS:IDEA,IMAGEN

EL INGENIOSO HIDALGO,DON QUIJOTE DE LA MANCHA:IDEA,FRASE(IMAGEN)

LA SEGUNDA GUERRA MUNDIAL:IDEA,IMAGEN

HAY ANIMALES MAMÍFEROS: JUICIO ,VERBO

LA BALLENA ES UN ANIMAL MAMÍFERO:JUICIO,VERBO



DEL SIGUIENTE GRUPO DE IDEAS COLOCA UNA T A LAS QUE SON TRASCENDENTALES,UNA U PARA LAS UNIVERSALES,UNA P PARA LAS PARTICULARES, UNA S PARA LAS SINGULARES, Y UNA C PARA LAS COLECTIVAS.

ZOOLÓGICO:C ANIMAL:S

JAURIA:C HOSPITAL:S

VITRINA:C VARIOS NIÑOS:P

CIUDAD:S TODAS LAS GUERRAS:U

SILLAS: S ESAS PLUMAS:P

ALGUNOS HOMBRES: P ESCENCIA:U

PIANO:S COMVENTO:C BANCO DE PECES:T

EL PUEBLO:C ANGEL:S

LA MAESTRA TERESA:P OMERO SIMPSOM:S

PADRES DE FAMILIA: T LOS LAPICEZ: P

CONSTELACION: C VACA:S

AUTENTICO: T PIARA:P

BELLEZA: T CONTINENTE:T

MAPA MENTAL DE IDEA

" LA IDEA ES UNA IMAGEN"

LEY DE LA EXTENCION Y COMPRENCION

"A MAYOR EXTENCION MENOR COMPRENCION"

TIPOS DE LOGICA

LA LOGICA FORMAL: es conocida también como lógica clásica o aristotélica, Se imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existían antecedentes en PARMENIDES y ZELEO.. Así mismo con el paso del tiempo, con la evolución de algunas corrientes matemáticas, específicamente las aportaciones realizadas por los matemáticos EULER y BOOLE, a la álgebra, se da inicio a la Lógica Moderna, Matemática, Simbólica o Logística.

De esta lógica moderna, se desprende la semiótica, lógica deóntica, modal, cuantificacional y proposicional.


La Semiótica es la lógica de los símbolos y se divide en tres partes: sintaxis, semántica y pragmática. La primera trata de las relaciones de los símbolos entre si, prescindiendo de su contenido. La segunda trata de las relaciones entre el símbolo y lo que significa. La tercera trata de las relaciones entre el símbolo y el sujeto que lo utiliza.
La lógica deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de las normas.

La lógica modal lo hace en los conceptos de necesidad y posibilidad.



La lógica de clases relaciona conceptos con propiedades (sujeto y predicado), estudia además las implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente mediante círculos (mejor conocidos como diagramas de Venn) empleando la denominada “álgebra booleana”.

La lógica cuantificacional que estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos ∀ o algunos ∃).

La lógica proposicional analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).

Esta lógica simbólica, de la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, para poder construir formulas operando sobre las variables proposicionales y las proposiciones complejas.



Finalmente existe otro tipo de lógica que es la dialéctica, aunque ésta no la podemos considerar como integrante de la lógica moderna, toda vez que la misma no tiene un contenido formal, sino ideológico; ni es “pasiva” como la lógica formal, sino que es activa, al obtener principios racionales a través de la interpretación de la historia, utilizando como su estructura en su discurso, la tesis, seguida de la antitesis y su respectiva conclusión denominada síntesis; teniendo sus antecedentes desde los griegos con SOCRATES y PLATÓN quienes la concibieron como una técnica de discusión y de obtención de conclusiones, siendo la misma también estudiada y empleada por algunos filósofos como KANT, HEGEL, MARX, entre otros más.

MAPA DE LOGICA

MAPA DE LOGICA-PENSAMIENTO

DEFINICION DE LOGICA

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio".

mapa de logica