Colegio Hispanoamericano

Los ngeles

GUIA DE APRENDIZAJE Nivel: Cuarto Medio

Asignatura: Filosofa y psicologa Profesor: Jorge Muoz C.
Unidad: Mtodos de la filosofa e-mail: jorgeimunozc@gmail.com
Fecha:

Nombre

INTRODUCCIN A LA LGICA ARISTOTLICA.

Dentro de la filosofa de Aristteles, podemos encontrar dos grandes conjuntos de ideas

que destacan por sobre las otras, diferencindolo de los otros filsofos de la poca, incluso
destacando ampliamente su importancia hasta nuestros das. El primero corresponde a la
metafsica1, disciplina que el desarroll ampliamente, del cual se conserva sus principales escritos,
ordenados por Andrnico de Rodas, bajo el nombre de Metafsica. El segundo corresponde a la
Lgica, el cual se encuentra en su libro rganon (tambin ordenado por Andrnico de Rodas, el
nombre de lgica, fue asignado muchos aos despus, en la edad media).
La lgica nace como resultado, de la bsqueda de un mtodo, para establecer la forma
correcta de un razonamiento valido. Entindase sobre esto, todos tenemos y emitimos
constantemente juicios, expresados a travs de proposiciones (enunciados que contienen un
determinado valor de verdad). Por lo tanto, se hace necesario establecer un determinado sistema,
desde el cual determinar si un razonamiento es vlido o invalido, para esto se hace necesario
realizar un estudio sobre lo objetivo2 de cada razonamiento, lo que se emite, es decir, el
enunciado o proposicin.

PRINCIPIOS DE LA LGICA FORMAL.

Aristteles fue el que estableci las bases de la lgica, para l, lo principal del enunciado se
encontraba en la forma de cmo se emita este, trascendiendo a su contenido material (valor
veritativo). Esto trae por consecuencia que en lgica aristotlica, se hable de validez, y no de
verdad. Puesto que al centrarse en la forma, se trasciende a lo concreto o especifico lo que dice
la proposicin, y se somete a estudio la forma en la que est expresado.

Para esto se clasificaron las proposiciones en dos categoras posibles, de cualidad y de

cantidad.

Afirmativas: corresponden a las proposiciones que

aseveran la atribucin del predicado al sujeto. Ej: Se habla de verdad, cuando lo
todos los gatos son negros, aqu se atribuye el negro que dice la proposicin es
CUALIDAD como cualidad a los gatos. correcto, ej: Algunos gatos son
Negativas: las que determinan la no-atribucin o negros, esta proposicin ser
verdadera si existe ms de un
compatibilidad entre predicado y sujeto. Ej: ningn gato que sea negro. En cambio se
gato es negro. habla de validez, cuando a partir
Universal: las que presentan la atribucin o no- de esta proposicin podemos
atribucin a un sujeto tomado universalmente. Ej: inferir otra proposicin, ej:
algunos gatos son negros,
Todos los gatos son negros, se entiende que se
entonces, algunos gatos no son
refiere a la totalidad de los gatos posibles. negros. Ahora bien, para
Particular: corresponde a las que no toman el sujeto establecer si esta segunda
universalmente, de tal manera que el predicado es proposicin esta correctamente
CANTIDAD atribuido o no-atribuido a una parte del sujeto. Ej: inferida o no, es decir si es
vlida, ocupados las reglas de la
algunos gatos son negros. lgica.
Singular: La proposicin singular no se consideraba en
la lgica aristotlica, sin embargo, en el caso de ser
necesario debe considerarse como universal, pues se
habla de la totalidad de uno. Ej: La tierra es
redonda, Luisa es alta, aqu se habla de la totalidad
de la tierra o de Luisa.

1
La cual fue abordada de forma general al inicio de la unidad.
2
Entindase el trmino, como lo comprobable y cognoscible por los otros, que trasciende a la intimidad
propia del sujeto.

Asignatura: Filosofa Introduccin a la lgica formal

 Llegando a diferenciarse cuatro tipos posibles de proposiciones; la universal afirmativa y
negativa, y la particular afirmativa y negativa. Las que a su vez, fueron identificadas con una vocal,
proveniente respectivamente de las palabras latinas3; AFFIRMO y NEGO. Las primeras vocales son
universales y las segundas son particulares. Dando como resultado las siguientes combinaciones:

Modo Tipo Representacin Ejemplo

A (x A y) Universal afirmativa Todo x es y Todos los gatos son negros
E (x E y) Universal Negativa Ningn x es y Ningn gato es negro
I (x I y) Particular afirmativa Algunos x son y Algunos gatos son negros
O (x O y) Particular negativa Algunos x no son y Algunos gatos no son negros

Las palabras todos, ningn y algunos reciben en lgica el nombre de cuantificadores.

Todo y ningn, son cuantificadores universales, y algn(os) es considerado un cuantificador
existencial.
La letra x es una variable que representa al sujeto, es un indicador de lugar, (ah est el
sujeto). La variable y representa al predicado. Adems, entre x e y, est la cpula verbal es. La cual
enlaza atributivamente el predicado al sujeto.

En las proposiciones universales el trmino sujeto est considerado en toda su extensin,

por lo tanto se dice que est distribuido. A su vez, en las proposiciones negativas se distribuye el
predicado.

Un trmino est distribuido en una proposicin (o esquema proposicional) si este hace

referencia a cada uno de los individuos de la clase que el trmino representa. En cambio,
se dice que est indistribuido o limitado, si no hace referencia a cada uno de los individuos
que el trmino representa [Elementos de lgica simblica. Eduardo Nuez C. ]

INFERENCIAS INMEDIATAS

Entindase por inferencia deductiva la operacin lgica consistente en obtener, a partir de una o
ms proposiciones, una conclusin que resulta ser una consecuencia necesaria de aquellas. De tal manera,
que si las proposiciones de las cuales se parten son verdaderas, la proposicin inferida tambin es
necesariamente verdadera. La lgica tradicional reconoce inferencias inmediatas y mediatas. Las inmediatas
son cuando obtenemos a partir de una premisa una conclusin valida. En cambio, si concluimos a partir de
dos o ms, hablamos de inferencias mediatas.

El primer caso que revisaremos ser de las inferencias inmediatas, como una forma de acercarnos a
la ciencia de la deduccin, para esto se hace necesario entender; las relaciones existentes entre los distintos
modos, y las reglas que determinan la veracidad, entre las inferencias de estas relaciones.

INFERENCIAS POR OPOSICIN

Entre los cuatro modos posibles (A E I O), encontramos las siguientes relaciones:
Contrarias Proposiciones de igual cantidad (universales), distinta cualidad. Relacin entre A-E
Subcontrarias Proposiciones de igual cantidad (particulares), distinta cualidad. Relacin entre Y-O
Contradictorias Proposiciones de distinta cualidad y cantidad. Relacin entre A-O, E-I
Alternacin Proposiciones de igual cualidad distinta cantidad. Relacin entre A-I, E-O

Y las inferencias se desarrollan del siguiente modo:

Oposicin por contrariedad Si una proposicin universal es verdadera, su contraria es falsa.
Oposicin por subcontrariedad Si una proposicin particular es falsa, la otra es verdadera.
Oposicin por contradiccin Si una proposicin es verdadera, su contradictoria es falsa. Y viceversa.
Oposicin por alternacin Si la subalternante (universal) es verdadera, la subalterna (particular) es
verdadera. Si la subalterna es falsa, la subalternante es falsa.

Ejemplo grfico:
PRINCIPIO DE DICTUM
La verdad baja (v) A E Lo que se afirma o niega del todo,
se afirma o niega de sus partes.
Expresado en otro sentido; la
verdad baja y la falsedad sube (en
relacin a la oposicin por
(v) I O (f)
alternacin).

3
Es de comprender que dicha clasificacin (a travs de dichas vocales) es muy posterior a Aristteles.

Asignatura: Filosofa Introduccin a la lgica formal

EJERCICIOS

En la inferencia por oposicin, existen tres posibles resultados de la inferencia; verdadero, falso e
indeterminado. Este ltimo se usa, para cuando no es posible por este mtodo, establecer la veracidad de
un enunciado deducido correctamente.

Ejemplo: Si tomamos la siguiente proposicin universal afirmativa; Todos los gatos son negros, como
verdadera. Podemos concluir lgicamente que:
Ningn gato es negro es falso. (oposicin por contrariedad).
Algunos gatos son negros es verdadero. (oposicin por alternacin).
Algunos gatos no son negros es falso. (oposicin por contradiccin).

De forma simblica se escribe del siguiente modo.

x A y [suponemos verdadera]
x E y (Falsa)
x I y (verdadera)
x O y (falsa)

Entonces de una proposicin, es posible inferir deductivamente tres

ACTIVIDADES

1.- Suponiendo que los modos de la primera fila son todos VERDADEROS, construya el valor de los restantes.

A E I O
A (V)
E (V)
I (V)
O (V)
.
2.- Suponiendo que los modos de la primera fila son todos FALSOS, construya el valor de los restantes.

A E I O
A (F)
E (F)
I (F)
O (F)

3.- Establezca el modo, tipo y representacin, destacando el trmino distribuido de las siguientes
proposiciones.

a) Todos los perros son mamferos.

b) Algunos gatos son negros.
c) Algunos nios no son rubios.
d) Ningn nio es adulto.
e) Todo hombre no es inmortal.

4.- Estableciendo segn su criterio la veracidad de las proposiciones anteriores, establezca por oposicin las
siguientes relaciones:

Enunciado anterior Oposicin Respuesta

a Contradictoria
b Subcontraria
c Alternacin
d Contraria
e alternacin

Asignatura: Filosofa Introduccin a la lgica formal