Lógica clásica o aristotélica.

Características de la lógica aristotélica.

A) Trabaja con proposiciones que tiene la estructura “S es P” y son

categóricas.

Sujeto: Entidad concreta (singular) / entidad abstracta o

concepto (general o conceptual) de lo que se predica o dice algo.

Predicado: aquello que se predica del sujeto o que se le

atribuye, suele ser un concepto, cualidad o relación con una
entidad abstracta.

Verbo: Usualmente es el verbo “ser” que funge como copula

o relación entre sujeto y predicado.

Son categóricas porque afirman algo o niegan algo sobre el sujeto –

señalan algo determinado sobre el sujeto, no hipotético, ni imperativo –
son portadores de verdad, porque pueden ser verdaderos/ falsos.

B) Trabaja con “clases de objetos” y los miembros singulares que

forman parte de “clases de objetos”, así como con la relación entre
“clases de objetos”.

“Clase de objetos”: Es una colección de objetos que comparten

una característica o cualidad especifica en común.

Dos clases de objetos se pueden relacionar de 3 formas:

Todos los miembros de una clase pueden incluirse en otra

clase: “Pingüinos “respecto a “aves”.

Algunos, pero no todos los miembros de una clase pueden ser

incluidos en otra: “Aves” respecto a “pingüinos”.

Dos clases pueden no tener ningún miembro en común y ser

excluyentes entre sí: “Pingüinos” respecto a “aves que vuelan”.

Tipos de proposiciones.

Las proposiciones se distinguen entre si por el tipo de relación que

exhiben entre las clases de objetos referidas en su sujeto y predicado.

4 tipos generales de proposiciones categóricas:

Universales afirmativas (A) Todo x son y

 Universales negativas (E) Ningún x es y

Particulares afirmativas (I) Algún x es y

Particulares negativas (O) algún x no es y/ al menos un x no es y

P A

P A

A P

Particulares afirmativas – proposiciones 1

Afirman que algún miembro de una clase esta contenido o incluido en

otra clase – afirmación parcial, valida solo para ciertos casos particulares
y no para la totalidad de una clase de objetos: “Algún” “o al menos uno”.
Cualidad – afirmativa o negativa: toda proposición que predica algo
sobre la totalidad de una clase o un miembro de ella, afirma o niega algo
determinado sobre estos y tiene una cualidad afirmativa o negativa.

Cantidad – universal o particular: toda proposición que afirma o niega

algo, lo hace respecto a la totalidad de una clase de objetos (Universal)
o solo respecto a algunos de sus miembros (Particular) – función
cuantificadora.

Cuadro de oposiciones.

Oposición: Las proposiciones que tienen el mismo sujeto y el mismo

predicado pueden diferir en cuanto a cualidad y/o cantidad.

Su formulación visual se le debe a Boecio (s. VI d.C.)

Proposiciones contradictorias.

Proposiciones contrarias.

Proposiciones subcontrarias.

Proposiciones subalternas.

Proposiciones contrarias: Dos proposiciones son contradictorias si no

pueden ser ambas verdaderas o falsas a la vez – cuando difieren tanto
en cualidad como en cantidad.

Proposiciones contradictorias: Dos proposiciones son contrarias si

una es la negación de la otra, no pueden ser ambas verdaderas o ambas
falsas a la vez – cuando difieren tanto en cualidad como en cantidad.

Proposiciones subcontrarias: Dos proposiciones son subcontrarias si

ambas no pueden ser falsas pero ambas pueden ser verdaderas.

Proposiciones subalternas: Dos proposiciones son subalternas

cuando refieren la misma cualidad pero distinta cantidad, siendo una
proposición particular subalterna de una proposición universal (que es su
superalterna).
P(A)(superalterna) y P(I) (subalterna)

P(O)(superalterna) y P(E)(subalterna)

Cuadro de oposiciones.

 Universales afirmativas (A)

“Todos los S son P”
 Universales negativas (E)
“Ningún S es P”
 Particulares afirmativas (I)
“Algún S es P”
 Particulares negativas (O)
“Algún S no es P”

Lógica clásica o aristotélica: silogismos.

Tipos de argumentos (Por numero de premisas):

 Inmediatos: 1 premisa y 1 conclusión.

 Mediatos: Más de una premisa y 1 conclusión.
 Silogismos: 2 premisas y una conclusión.

2. Naturaleza del silogismo.

Argumento deductivo en el que se pretende que la conclusión se

encuentre sustentada de modo cabal por las premisas.

Contiene dos proposiciones categóricas que fungen como premisas

(contingentes, no necesarias) y una conclusión.

Cada proposición relaciona clases de objetos bajo la forma “S es P” y

bajo el tipo de proposiciones A/E/I/O.

Contiene 3 términos en total, tanto en el sujeto como en el predicado de

las premisas y la conclusión, y están dispuestos siguiendo un patrón
común.

Se distinguen por su MODO y su FIGURA, que en conjunción deben

referir a un argumento deductivo valido.

3. Término Mayor, medio y menor

Premisa Mayor y premisa menor.

Termino mayor: termino que aparece en el predicado de la conclusión.

Termino medio: termino que no aparece ni en el sujeto, ni en el
predicado de la conclusión.

Termino menor: termino que aparece en el sujeto de la conclusión.

Premisa mayor: aquella donde aparece el termino mayor.

Premisa menor: aquella donde aparece el termino menor.

4. Distribución.

Un termino esta distribuido en una proposición cuando refiere a todos los

miembros de la clase designada por el termino, y no solo a algunos
miembros de la misma.

No se debe confundir la distribución con que la palabra inmediata

anterior al termino sea “todo(s)/toda(s)” o “ninguno(a)”

La distribución de un termino no depende necesariamente de que la

función del termino sea de sujeto o predicado en una proposición.

Todo tenor es un hombre.

Los tenores son hombres.

A- Sujeto (si distribuido)

Predicado (no distribuido)

E- Sujeto (si distribuido)

Predicado (si distribuido)

I - Sujeto (no distribuido)

Predicado (no distribuido)

O- Sujeto (no distribuido)

Predicado (si distribuido)

A.

E. Ningún tenorT es mujer.

T
M
I . Algunos cantantes de opera son hombres.

C H

O. Algunos cantantes de opera no son hombres.

H C

5. Modos de silogismos.

 El modo de un silogismo depende de que tipo de proposiciones le

componen (A/E/I/O).
 Esta representado por 3 letras, una por cada proposición, la
primera refiere a la premisa mayor, la segunda a la premisa menor
y la tercera, a la conclusión.
 Se les asigna a un nombre propio.
 Existen 64 modos de silogismos.

6. Figuras de silogismos.
La figura de un silogismo depende de la posición de los términos de sus
proposiciones constituyentes.

Existen 4 posibles figuras diferentes:

M: Medio.

P: Predicado.

S: Sujeto.

1 2 3 4

M es P P es M M es P P es M

S es M S es M M es S M es S

S es P S es P S es P S es P

64 modos y 4 figuras= 256 combinaciones.

Solo 15 son validas.

7. Seis reglas de los silogismos validos.

 Pruebas de validez: Esta 6 reglas (5 aristotélicas + 1

contemporánea o booleana) sirven como pruebas de validez
argumental, ya que ayudan a distinguir entre los argumentos tipo
silogismo validos e inválidos. El apego a estas 6 reglas indica la
validez del argumento y que si es un silogismo.
 Indicadores de falacias: La infracción de alguna de estas reglas
indica la invalidez del argumento. Usualmente, la infracción de
cada una de estas reglas indica la presencia de un tipo especifico
de falacia formal, que tiene un nombre propio.

Todo mezzosoprano es mujer

Todo tenor es hombre

Todo tenor es mujer

Todo tenor es hombre

Todo ser que goza de derechos humanos es hombre

Todo ser que goza de derechos humanos es tenor

Regla 1: un silogismo categórico estándar tiene solo tres

términos.

 Un silogismo categórico estándar tiene 3 términos, no mas.

 Se debe tener cuidado de no duplicar los términos (usualmente el
termino medio) por “equivocación” al usar sinónimos inexactos o
términos que no guardan el mismo sentido en una premisa que en
otra.
 La conjunción establece la relación entre el termino del sujeto y el
termino del predicado. Para ello, requiere que las premisas
establezcan una relación entre estos dos términos a través del
termino medio. Si el termino media no es exactamente el mismo,
entonces no existe tal relación -> argumento invalido.

Falacia de los cuatro términos.

Todos los cantantes de opera son talentosos.

Todos los violinistas son talentosos

Todos los violinistas son cantantes famosos

Regla 2: El termino medio debe estar distribuido en al menos

una premisa.

 Un termino esta “distribuido” en una proposición

Regla 4: De dos premisas negativas no puede derivarse una
premisa afirmativa.

 Toda proposición negativa niega la inclusión de una clase en otra,

sea de modo universal o particular.
 Por definición, todo silogismo implica alguna relación entre clases
de objetos.
 Si ambas premisas son negativas, ambas niegan una inclusión de
clase y ninguna logra establecer exitosamente una relación entre
clases de objetos, relación que es necesaria para derivar una
conclusión de modo valido.

Falacia de las premisas exclusivas.

Regla 5: Si una premisa del silogismo es negativa, la conclusión

también debe ser negativa.

 Una conclusión afirmativa refiere una inclusión de una clase en

otra, sea universal o parcial, y solo puede derivarse de premisas
que establezcan una relación de inclusión entre las clases
referidas en su termino de sujeto y su termino de predicado, es
decir, de premisas afirmativas.
 Si una de las premisas no afirma esa relación de inclusión,
entonces la conclusión no puede ser afirmativa, sino negativa.

Falacia de derivación de una conclusión afirmativa de una

premisa negativa.

Regla 6 (No aristotélica): De dos premisas universales no se

puede extraer una conclusión particular.

 Regla no aristotélica, sino contemporánea.

 George Boole, El análisis matemático de la lógica (1847) y Las
leyes del pensamiento (1854)
 Problematizo la presuposición existencial de las proposiciones de
la lógica clásica – señalo que las proposiciones universales A y E
no presuponen un contenido existencial de lo referido, solo las
proposiciones particulares I y O.
 Si las proposiciones universales no tienen implican un contenido
existencial, de ellas no se puede derivar una proposición
subalterna: 1 respecto de A, ni O respecto de E.

8. Formas validas de los silogismos categóricos.

  Solo existen 15 argumentos tipo silogismo categórico que son
validos, por su modo y su figura (asumiendo que todas sus
premisas sean verdaderas) desde la perspectiva contemporánea.
 Esta distinción observa la problematización booleana (regla 6) que
sostiene que de dos premisas universales no se puede derivar una
conclusión particular.
 Cada silogismo valido tiene su propio nombre (designado por los
lógicos clásicos), que responde al tipo de cada una de sus tres
proposiciones (A/E/I/O) + el tipo de figura del silogismo + de
acuerdo a la forma estándar (premisa mayor, premisa menor, y
conclusión).
 Si existen silogismos validos del mismo modo pero de distinta
figura, poseen un nombre distinto.

Si la conclusión es negativa (E/O) no puede provenir de 2 premisas

afirmativas (A/I) al menos una debe ser negativa.

Versión Booleana de las formas de silogismos validos

Si la conclusión de un silogismo es afirmativa (A/I) no puede provenir de

2 premisas negativas (E/O), solo de 2 premisas afirmativas.

Entimemas y Sorites.
Entimemas:

 Cuando un silogismo se formula de forma incompleta, quedando

una premisa implícita o sobreentendida, se llama al argumento
“entimemático”.
 También se llama “entimemática” a la premisa implícita.
 Se debe considerar y explicitar la (s) premisa (s) implícita (s) para
poder evaluar la validez del argumento.
o Entimema de primer grado: no se enuncia la premisa mayor.
o Entimema de segundo grado: no se enuncia la premisa
menor.
o Entimema de tercer grado: no se enuncia la conclusión.

Sorites:

 Cadena de silogismos categóricos concatenados entre si,

conformados por mas de 2 premisas, con el fin de llegar a una
conclusión ultima.
 Usualmente quedan enlazados por la conclusión de un argumento,
que después funge como premisa de un argumento nuevo o
subsecuente.
 Este tipo de argumento solo es valido cuando todos los
argumentos que le constituyen son validos por si mismos.
 Suele tener proposiciones faltantes, “entimemáticos” pero
estrechamente relacionados con el resto de las premisas
explicitas.

10. Silogismos disyuntivos.

 También existen los silogismos conformados por proposiciones

categóricas y disyuntivas.
 Preposición disyuntiva: establece una relación entre dos elementos
o “disyuntos” pero todavía no afirma o niega categóricamente
nada sobre las “disyuntas” – establece que se da uno u otro
elemento, al menos uno de ellos o ambos, pero no ninguno de los
dos.
 Disyunción exclusiva: cuando se establece que no pueden darse
ambos disyuntos.
 Silogismo disyuntivo valido: requiere de una proposición disyuntiva
y una proposición categórica que niegue uno de los “disyuntos” de
 la premisa disyuntiva, para poder derivar válidamente la
conclusión afirmativa.

11.Silogimos condicionales.

 También existen silogismos conformados por preposiciones

categóricas y condicionales.
 Proposición condicional: establece una relación hipotética entre
dos preposiciones constitutivas – antecedentes y consecuente-
bajo la forma típica: “Si X es Y, entonces X es Z”.
 Silogismo condicional: requiere de varias proposiciones, algunas
de las cuales o todas ellas pueden ser condicionales.
o Silogismo condicional puro: conformado por dos premisas
condicionales, derivando una conclusión también
condicional.
o Silogismo condicional mixto: conformado por una premisa
condicional y una premisa categórica que afirma o niega el
antecedente o consecuente de la premisa condicional, para
derivar una conclusión también categórica. Solo existen 2
formas validas del silogismo condicional mixto.

Hipotético categórico.

A. Provisional A. Cabal
A. Previsión. A. Determinado.
V/F V/F

Modus Ponens

Si este helado está hecho de leche de vaca, entonces este helado es

bueno.

Este helado está hecho de leche de vaca.

Este helado esta bueno. Valido

Modus Tollens

Si este helado está hecho de leche de vaca, entonces este helado es

tradicional.

Este helado no es tradicional

Este helado no está hecho de leche de vaca. Invalido

Lógica simbólica o moderna.

P q P=>q

V V V

V F F

F V V

F F V

1. Lógica formal.
 Estudia argumentos y razonamientos expresados en
lenguaje artificial, de modo teórico.
 Lenguaje artificial. – los términos del lenguaje natural se
traducen a un lenguaje artificial, que simplifica su forma y le
despoja de su contenido – diversos niveles de formalidad.
 Enfoque – se enfoca en la forma de los argumentos o
razonamientos, y no así en su contenido, contexto e
intención.
 Teoría general de la educación – comprender las relaciones
que existen entre premisas y conclusión en un argumento +
generar técnicas de evaluación de los argumentos para
distinguir los validos de los inválidos – diversas técnicas de
evaluación:
o Lógica clásica o aristotélica (s. IV a. C)
o Lógica moderna o simbólica (s. XIX Y XX)
I. Informal/practica, uso.
II. Formal/ técnico, estructura. Formalización.
a. Clásica.
b. Moderna.

2. ¿En que se distingue la lógica simbólica de la lógica

clásica?

La lógica simbólica…

 No hace de los silogismos la base de su análisis.

  No se enfoca en las proposiciones categóricas.
 No se centra únicamente en las relaciones entre clases de
objetos.
 No utiliza una forma simplificada del lenguaje natural.
 No presupone, de modo general, la verdad de las premisas de
los argumentos que analiza.
 Utiliza un lenguaje artificial mucho mas formal para evitar los
problemas del lenguaje natural y su uso practico.
 Utiliza las tablas de verdad como un modo de atender a la
carga veritativa de las premisas sin determinar si son V o F.
 Pretender realizar un análisis de argumentos mas eficientes que
se salve de los problemas antes mencionados.

3. lógica simbólica o moderna.

 Conjunto de nuevas técnicas de evaluación de argumentos,
usadas para distinguir los validos de los inválidos.
 Se sistematiza, estandariza y su uso se generaliza hasta los
siglos XIX y XX – aunque esfuerzos parecidos ya existían desde
antes, en el pensamiento de G. W. Leibniz (XVIII) e incluso en el
de Aristóteles.
 Busca utilizar un lenguaje artificial mucho mas formal para
verdaderamente enfocarse en la forma de los razonamientos y
no en su contenido, uso practico o contexto.
 Uso exclusivo de símbolos sumamente formales para rescatar
solamente la forma de las proposiciones y los razonamientos ->
LOGICA SIMBOLICA.
 También se le puede llamar “lógica matemática” por la cercanía
que se dio entre lógica y matemáticas (pensadas mas allá de la
categoría de “cantidad” y mas cercana de la “cualidad” o
“propiedad”) en el siglo XVIII.
 Utiliza enunciados como su base, enunciados que no
necesariamente establecen relaciones entre clases de objetos.
 Bajo este nombre se agrupan diversas técnicas especificas o
particulares de evaluación de argumentos: lógica proposicional,
lógica de predicados, conjuntos de Venn.

A) Logica proposicional.
 También llamada “logica de enunciados”.
  Uso exclusivo de símbolos (sumamente formales) para
rescatar solamente la forma de las proposiciones y los
razonamientos.
 Enunciados: Las proposiciones se componen de enunciados,
los cuales no necesariamente establecen relaciones entre
clases de objetos, pero si tienen los elementos “verbo y
predicado”
 Carga veritativa: Todo enunciado posee un valor de verdad,
existen solo dos posibles valores: V/F (objeción de Tarski, 3er
Valor: indeterminado).
 Conectivas o conectores lógicos; La logica proposicional
establece y utiliza conectores lógicos fundamentales para
enlazar dichos enunciados: ^¬v ɔ ≡
o Conectores veritativo- funcionales: El valor de verdad
de una proposición que contiene conectores lógicos
depende de la relación entre el valor de verdad de sus
enunciados constituyentes, relación que depende del
tipo de conector que los une.

^ ¬/~ v ɔ/→ a≡b/→←/ bicondicion.

“Y” “no” “o” “si... entonces” / condición

 Tipos de enunciados que utiliza la logica proposicional o de

enunciados:
o Simples: Se conforman de un solo enunciado y de ninguno
más, su verdad depende únicamente de ese enunciado.
“Titan es un satélite del planeta saturno” “p”
o Compuestos: se conforma de mas de un enunciado, es decir,
de 2 o mas enunciados simples y su verdad depende de la
relación que existe entre dichos enunciados.
“Titan es un satélite del planeta Saturno y el segundo mas
grande de nuestro sistema planetario” “P ˆQ”

A1. Tablas de verdad.

 Instrumento moderno que nos auxilia en el proceso de determinar

la validez de un argumento.
  Representación grafica y ordenada de todas las combinaciones
posibles de valores de verdad de un enunciado constituyente, y de
una proposición o enunciado general.
 Supone que solo existen dos posibles calores de verdad [V/F] y
contempla dicho par de posibles valores de verdad por cada uno
de los enunciados constituyentes.
 De tal modo, atiende de modo formal al problema de la verdad de
las cosas que decimos y sobre las que razonamos, sin determinar
cabalmente si son verdaderas o falsas, ateniéndose únicamente a
la relación que la V/F de un enunciado constituyente y/o enunciado
general juega con el resto. Pone el acento en la relación entre
valores de verdad de los enunciados.


Negación:

 Negación de un enunciado simple o compuesto.

 En el lenguaje natural se utilizan palabras como “no” “no es
cierto”, “no es el caso”, “es falso que”, “es incorrecto que”, “no es
el caso que”, entre otras formulaciones.
 Para evitar confusiones, es mejor usar un símbolo de uso exclusivo
para expresar la negación: ¬~
 En el caso de la negación, el valor de verdad del enunciado que
niega es el contrario del valor de verdad de aquello que se niega.

Ejemplo:

“La luna no es una estrella” ~P

“No es el caso que la luna sea una estrella”

Disyuncion:

 Disyuncion de 2 enunciados e una sola proposicion, a los que se

llama “disyuntos” o “alternativas”.
 En lenguaje natural se suele usar formulaciones como “o/u”, “a
menos que”, “en vez de”, entre otras. Es mejor usar símbolos de
uso exclusivo para expresar la disyunción: ̌
o Disyuncion débil o inclusiva
o
 1. Formas argumentales.
 Un conjunto de proposiciones (premisas y conclusión) conforman
un argumento que es susceptible de ser evaluado como valido o
invalido.
 Los argumentos expresados de forma usual (en la que se otorga