Parte 1 :

lógica aristotélica

}
algunos Todos los chilenos sudamericanos
-

son

ejemplos Todos los sudamericanos son chilenos

tomas
-

. .
.

Todas las lechuzas son aves F son

g .

-
Todas las aves son aves

De todos estos ejemplos tiene sentido preguntarse si son

verdaderos o falsos .

las
lechuzas
" " "
todas
"
Toda
son aves
lechuza es un ave
.
=

"
estas oraciones llevan la
forma todo lo es así ,
quees asá
"

¿ Qué categórica afirmación

es una llamaremos proposición a cada

proposición que tenga una las de siguientes cuatro

formas
categórica ? esquemáticas
:

÷ñá:
→ Todos los F son G

Finalmente cada de las cuatro

¿ Oué es un una
formas
hemos indicado ( tomada tal
esquema
proposición
de
esquemáticas
mal sin ,
que
haber sustituido ni la F ni la G
será
categórica ? de modo
que
no
ninguna afirmación )
es
llamado un
esquema de proposición categórica
.

"

ejemplos ( il todos los chilenos son sudamericanos es

"

una
proposición categórica en la que aparecen los "

términos chilenos
"

sudamericanos
" "

(ül
"
todas las inscritas el
personas :
en curso son
estudiantes de
pregrado
(üil ningún constructo hipotético del tipo considerado
en sicología es
tangible .

(in) algunos en
conceptos son
imposibles de
explicar pocas palabras .

( v) ninguna persona es
capaz de doblar esta
barrade metal .
¿ Qué es un * Dada proposición categórica las expresiones
una ,

término ? el lugar de la F la G
lingüísticas que van en
serán llamadas términos
y
. En este curso vamos a
lo
convenir en
siguienteserá Cada término ( de una
:

proposición categórica ) identificado con una

clase la clase de todas las entidades descritas

.

por
un término se suele llamar la extensión de ese
término .

¿ Qué es una suele llamarse clase a cualquier colección de entidades,

clase ? entendida (la colección ) como un todo .

clase vacía sin

una
Puede
es un
conjunto
útil
cosas .

parecer absurdo
pero
es en
algunas
problemáticas .

sobre
sujeto En una
proposición categórica dada el término conespon -

llamado
"

predicado diente a la
"
F será
sujeto ( de la proposición
y
categórica) , y el término correspondiente
" "
a la G ,

predicado .

llamar Como nomenclatura para los cuatro tipos

Formas de
designar de
a los 4
esquemas proposiciones categóricas ,
es costumbre utilizar letras morales
categóricos también ( por separado )
calificativos del
siguiente modo :

y ,
.

ieiziiiki.%Ea.IE?Iii
( universal Todos/as CÍ
A
afirmativa ) los F
-
:
son

(
0
particular negativa)
-

nota Hay muchas

formas de decir cada una de estas
proposiciones ,
sin solamente cuatro
embargo ,
en
rigor son .

"

Universal
"

forma
"
la más precisa de
expresar A es del modo cada

afirmativa
"

G así del
F es
ya que
no se
predica conjunto entero ,
sino de cada ahonándonos confusiones nos
uno
,
que
obligarían a buscar más
información la sobre proposición
(para determinar si es v o F)

universal Existen proposiciones que no son negativos pero pueden

negativa ser expresadas de forma universal negativa .
 algunos ejemplos
:

ñg%=EFz
todos los helechos ningún helecho es
=
un ser
que piensa
no
son seres
que
piensan

En
ningún lugar
hallaras lo que
= ningún lugar es un

buscas
lugar
hallarás
en el
lo
quebuscas -

que
.

Particular En
lógica ( y en ciencias) las afirmaciones particulares
afirmativa afirmativas siempre se interpretan como existe al menos un
F
que es G. similar observación para las particulares
E
negativas . Esto implica
que incluso todo F puede ser .

Definición De cada proposición diremos

categórica que
tiene una

cantidad y una calidad la cantidad :

es universal o

particular y la calidad es
,

afirmativa o
negativa .

observación Tradicionalmente se dice

que dos proposiciones categóricas
con
igual sujeto igual predicado e son contradictorias
falsas
si no
pueden ambas verdaderas
ser
,
ni
pueden ser ambas

definición
.

está mal
sin
embargo , en vigor esa
formulada ;

explicaremos Por qué y la vformul aremos correctamente .

Proposiciones
contradictorias
Diremos
queproposicionesdos con
igual categóricas
sujeto e igual predicado son contradictorios si sus
respectivos esquemas sidela
proposiciones categórica tienen la
propiedad siguiente
"

sustituye
"
F se en ambos
:

un mismo término sean cuáles sean esos

esquemas por ,

términos las proposiciones categóricos resultantes nunca

son ambas verdaderas ni ambas falsas .

C Eso
implica que
cada una de las dos proposiciones
categóricas conceptualmente
es , ,
la
negación de la otra)
Proposiciones Buenos dos proposiciones categóricas con igual
que
contrarias sujeto e igual predicado son contrarias si sus
respectivos esquemas de proposición categórica tienen
la
propiedad siguiente si la F se sustituye
" "
:

mismo término los cuales términos

por un , sean sean
 Las proposiciones categóricas resultantes nunca son
ambas verdaderas existe al menos una
.

pero
sustitución con la
que
ambas resultan falsas .

(informalmente son contrarias si : no

pueden ser

ambos verdaderos pero si pueden ser ambas falsas)

Proposiciones Diremos
que dos
proposiciones categóricas con
igual sujeto
subcontrarias e
igual predicado son subcontrarias si sus
respectivos
esquemas
de
proposición categóricas
"
tienen la propiedad
sustituye
"
ambos
siguiente si la F se
esquemas
:
en

término cuáles
términos
por un mismo , sean sean esos
las
proposiciones categóricas resultantes nunca
son ambas falsas ; pero existe al menos una
sustitución con la
que ambos resultan verdaderas .

( pueden
Informalmente son contrarias no ser
:

si
ambas verdaderas)
ambas falsas pero sí
pueden ser

÷÷:Í÷÷f÷
contradictorias contrarias subcontratas
-

# cantidad =
cantidad =
cantidad

E -
I

proposiciones Diremos
que dos proposiciones categóricas con igual sujeto e
subalternadas
igual predicado son subalternadas si difieren en
cantidad y coinciden en calidad En un tal de
.

par
proposiciones categóricas la universal es ,
llamada
subalternante
y
la
particular es llamada subalterna .

La lógica aristotélica sostiene

que la
veracidad de la
la subalterna
sulraltemante implica la veracidad de
no al contrario
y .

es decir :
todos los F son G si esta es verdadera

algunos F son G entonces esta es verdadera

y no :
Todos los F son G

algunos F son G → Esta es verdadera

y la
primera también Esto .
no

ya que algunos
es así
no necesariamente implica
todo el
conjunto
 Cuadro de oposición

iliiii.ci:0
s
A- E contrarias →
lE s
n n
n
b .
or n b

a
v
ai v
c

Iesnbcontrarias O
'

silogismo Dado un cierto

razonamiento diremos que es un silogismo
,

categórico categórico si tiene las

siguientes características
:

(i) consta de dos premisas y una conclusión

¿ cuáles son sus

Cü) Dichas
características ?
proposiciones (las dos premisas y la
conclusión) son proposiciones categóricas

(iii) entotal figuran , en el silogismo,

exactamente tres términos , cada uno de los
cuales en dos de las tres proposiciones
aparece
categóricas .

Ejemplo
:

su término 2do término

@

tiramos
k
O
p
o
a
A
T
E
Ki
mayor
{ Todos los
sí término
son
imperfectos
÷: www.a
O C

¥ : { Todos los
ami
son
imperfectos
término mayor
término Dado llamaremos término
menor , un
silogismo categórico ,
menor al
de la conclusión , término al predicado de la
mayor y medio .

sujeto mayor
conclusión y término medio
,
al término
que
no
aparece
en la conclusión ( lo tanto ambas
premisas y que por en
aparece
) .

la término (y término
premisa premisa que contiene al mayor
al

medio ) llamada premisa la

menor
y será
mayor y premisa que contiene ,

premisa al término menor ( y al término medio ) será llamada

mayor .

premisa menor .
¿ cómo se ve un tradicionalmente , los silogismos categóricos se enuncian
escribiendo primero la premisa
silogismo mayor después
la premisa menor ,

la conclusión Llamaremos
categórico y finalmente silogismo categórico
de .

forma típica ? de forma típica a los

que estén ordenados de este modo .

modo Dado un forma típica su modo

silogismo categórico de ,

es la
especificación del tipo proposición categórica de
( A E I 0 ) al las tres
que corresponde
, , ,
cada una de

afirmaciones que forman parte del silogismo .

ejemplo :
modo EAO =
Ningún G es P
-
Todos los H son G
existen 64 modos
de hacer silogismos algunos H son P

Figuras En un
silogismo categóricolosde forma típica ,

denominaremos
figuras ordenamiento
a cuatro
posibles para los términos menos medio
mayor en
término ttmenor
,
las premisas
" "

llamando al si
"
P
.

cuatro ordenamientos
,
y
al término estos
posibles
mayor ,

son :

tercera 0W
-

primera segunda
figura figura figura figura
.

premisa S -

M S -

M M -
S M -
S
-

conclusión S P S
g -
p g -
p - -

p
Existen 256 Combinaciones entre modo
posibles y
figura .

¿ como se deter -
En distintos ámbitos de la
lógica ,
la idea de
"

razonamiento
diferentes
"

lo correcto concreta de
mina se maneras
, pero todas
lógicamente
lo
basadas en la idea ,
más o menos
vaga pero extremadamente
correcto
y te fructífera ,
de
que un razonamiento es correcto si no es

posible concebir la que las premisas

lógicamente una

conclusión es falsa En el caso

verdaderas y la
situación en
incorrecto son .

de la
lógica aristotélica enfocada del modo en que lo
hemos hecho en este curso, adoptaremos la siguiente
definición diremos silogismo categórico es
:
un
que
lógicamente incorrecto si al sustituir cada proposición por
su correspondiente esquema de
proposición categórica ,
existen ( al ) tres términos que al
incorporados
menos ser
los las letras
dan
esquemas sustituyendo
como
en ,

resultado premisas verdaderas y conclusión

a
,

falsa Y .
consecuentemente , diremos un
que silogismo
 categórico es
lógicamente correcto si al sustituir
cada proposición por su correspondiente esquema de
no existen términos
proposición categórica ,
al
que
ser incorporados en los
esquemas sustituyendo
, a

las letras produzcan

,
como resultado premisas
verdaderas y conclusión falsa .

¿ cómo deben la
lógica tradicional aristotélica anuncia las
ser los
siguientes reglas :

ü"÷ú÷÷mÉE
silogismos
categóricos Cil Todo
silogismo
al
categórico válido
universal
validos ? tiene menos una premisa .

(ü) todo silogismo válido tiene al menos

una
premisa afirmativa :

( in ) Todo
( al
silogismo categórico válido con
menos ) una premisa negativa ,
tiene una conclusión negativa .

ej
:
Por ti ) de GH los
silogismos de modo
IIE , IOA
,
OIE , etc son automáticamente
inválidos .