Beruflich Dokumente
Kultur Dokumente
PROPOSICIN CATEGRICA
"Comprensin": propiedades de un conjunto de objetos o individuos, representados por los
conceptos que forman las ideas de la lgica. "Extensin": conjunto de los objetos o individuos
que poseen esas propiedades. Concepto de individuo = "caso particular" o "limite".
Juicio categrico: A es B
- comprensin: A (sujeto) posee B (predicado o atributo) => B forma parte de la extensin de A.
- extensin: A (conjunto o clase de A) forma parte de B (conjunto o clase de B) => la extensin
de A est contenida en la extensin de B.
Comprensin y extensin son connotativamente inversas: - extensin: sujeto contenido en el
predicado. - comprensin: sujeto contiene al predicado.
El predicado es ms general y abstracto que el sujeto.
INFERENCIA INMEDIATA
Estas relaciones (de oposicin) provocan "deducciones inmediatas". La verdad (V) o falsedad (F)
de todas las proposiciones se deduce directamente a partir de la V o F de una de ellas aplicando
las reglas siguientes:
R1- Regla de las contradictorias (A y O; E e I): las contradictorias no pueden ser V ni F a la
vez. Si una es V la otra es F. Si una es F la otra es V
R2 - R de las subalternas (I de A; O de E): si la universal es V lo es la particular. Si la particular
es F lo es la universal. No hay otras inferencias.
R3 - R de las contrarias (A y E): no pueden ser las dos V a la vez pero si F, as:
si (A) es V, (O) es F (por R1), y (E) es F (por R2)
si (A) es F, (O) es V, y (E) puede ser V o F
R4 - R de las subcontrarias (I y O): pueden ser V a la vez pero no F
si (I) es V, (E) es F y (O) es V o F
si (I) es F, (E) es V y (O) es V
CONVERSIN DE PROPOSICIONES
"Conversin": otro mtodo de deduccin inmediata. Deducir de una proposicin otra equivalente
(igual en V o F), cambiando el P por el S de la primera.
Reglas (extensin del predicado): cantidad => extensin S; cualidad => extensin P, as:
- proposicin negativa => P universal, S (total o parcial) excluido del P
1
- proposicin afirmativa => P particular, S incluido, indeterminado
Conversin => cuantificacin P (P que se transforma en S con una cantidad determinada)
R1- Conversin simple: E e I, intercambian S por P: donde el P y el S de E son universales,
luego E excluye todo S de todo P y a la inversa. I identifica algn S con algn P y a la inversa.
1- ningn S es P <=> ningn P es S. 2- algn S es P <=> algn P es S.
R2- Conversin parcial (accidente o limitacin):
Permite convertir A, E e I. O, no se puede convertir regularmente.
A tiene S universal y P particular => conversin parcial (por extensin limitada del P).
Para A todo S = algn P, => algn S es P, luego I (particular afirmativa).
Conversin parcial de A = subalternacin + conversin simple (de A se deduce I): algn S
es P; y, por conversin simple: algn P es S.
INFERENCIA MEDIATA
Deduce la conclusin a partir de dos o ms preposiciones o premisas verdaderas dadas. Con dos
premisas es un silogismo.
Silogismo: demostracin de la conclusin prevista a partir de dos premisas que relacionan los
trminos de la conclusin con un termino medio (auxiliar).
S de la conclusin = trmino menor = premisa menor
P de la conclusin = trmino mayor = premisa mayor
Termino medio (M): aparece en ambas premisas pero no en la conclusin
1
Proposicin que no necesita comprobarse, sino que se deduce fcilmente de lo demostrado antes.
2
-
conclusin universal negativa => 2 premisas con 3 trminos universales; o
una, y una sola ser negativa (de predicado universal) => 2 sujetos universales
=> 2 premisas universales.
Una conclusin universal nunca puede provenir de una premisa particular, (y menos de dos).
RVIII- Nada se sigue nunca de un par de particulares.
Si fueran particulares afirmativas => sus trminos serian particulares (contradiciendo la RVI).
Si una fuese negativa la conclusin tambin lo sera (por la RVII), => debera haber 2 trminos
universales en las premisas => un solo predicado universal, (solo una premisa negativa) => un
sujeto debe ser negativo => una de las premisas es universal.
REDUCCIN DE SILOGSMOS
No hay ms modos que los 19 reseados. Su validez se demuestra por la reduccin de todos a los
de la 1 figura, (nica perfecta porque el T medio es el intermediario entre el mayor y el menor).
Si sus cuatro modos son evidentes los modos de las dems figuras se justifican al reducirlos a
alguno de la 1 por transformaciones legitimas. Transformaciones indicadas por la composicin
de las palabras artificiales de cada modo.
- Cada modo imperfecto se relaciona con el perfecto de igual inicial (B, C, D o F), las
consonantes interiores indican el modo de efectuar la reduccin,
s - convertir simplemente la proposicin designada por la vocal que la preceda (e, i);
p - convertir parcialmente la designada por a;
m - permutar (de mutare) las dos premisas.
LA CUESTIN DE LA 4 FIGURA
4
Los 5 modos de la 4 figura se consideran modos indirectos de la 1 figura (y no se los considera
"naturales" sino forzados).
Se les denomina Baralipton, Celantes, Dabitis, Fapesmo y Frisesomorum. Pero:
1- Si estos modos son como los modos directos:
Baralipton es el subalterno de Barbara. Celantes y Dabitis son iguales a Celarent y
Darii. Fapesmo vilola la R1 y la R2 de la 1 figura y Frisesomorum viola las reglas generales del
silogismo, por lo tanto no son concluyentes.
2- Si estos modos ordenan trminos y premisas de manera distinta y no son de la 1
figura, ni son de la 4 (excepto Baralipton):
Celantes es Camenes Fapesmo es Fesapo
Dabitis es Dimaris Frisesomorum es Fresison
Para transformar un modo de la 4 en uno de la 1, no basta intercambiar la menor y
ponerla por delante de la mayor, hay que convertir la conclusin (convirtiendo la mayor en
menor y viceversa) o convertir las dos premisas.
Los modos que no se relacionan con la 1 ms que por una o dos conversiones pertenecen
a ella igual que los modos de la 2 y 3 que se relacionan con la 1 por igual procedimiento. Por
tanto se trata de modos legtimos e independientes.
As: o bien se aceptan las 4 figuras como validas e independientes, o bien la 1 es la nica
"natural" y "perfecta" y las otras tres son indirectas y derivadas.