LÓGICA CUANTIFICACIONAL

1. Predicados, cuantificadores, nombres e individuos

1.1. Predicados: Términos que se refieren a clases o

conjuntos.
1.2. Cuantificadores: Términos que generalizan total o
parcialmente un conjunto.
1.3. Nombres: Términos que identifican objetos para
distinguir de los demás. Los nombres pueden ser de
personas, lugares, animales, obras de arte, etc.
1.4. Individuos: Elementos no determinados o no específicos.

A continuación algunos ejemplos:

a. Algunos deportistas no son disciplinados

b. Algunos autores escriben novelas picarescas.
c. Todos los diplomáticos son corteses
d. Sócrates fue un filósofo ateniense
e. Fiorella es más estudiosa que Francisco
f. Pamela ama a Carlos más que a Federico
g. Ningún condenado a cadena perpetua es feliz
h. Los heraldos negros es un poema escrito por César
Vallejo

2. Sintaxis de LC

2.1. Símbolos primitivos

1. Predicados: F, G, H, ... (F1, F2, F3, ....,Fn )
2. Nombres: a, b, c, ...
3. Individuos indefinidos: x, y, z, ....
4. Cuantificadores: Universal ∀ y existencial ∃
 5. El lenguaje primitivo de LP es válido en este sistema.

2.2. Metavariables
1. A, B, C, ....
2. θ, ϕ, Ψ,....
3. α = a, b, c, x, y, z
4. β = x, y, z
5. γ = a, b , c

2.3. Reglas de formación:

1. Cada variable de LP por sí misma es una fbf.
2. Si θ es un predicado, θα es una fbf.
3. Si A es una fbf, ∼ A es una fbf.
4. Si A y B son fbfs, (A ∧ B), (A ∨ B), (A → B) y
(A ↔ B) son fbfs.
5. Si A es una fbf, (∀β)A y (∃β)A son fbfs.
6. No hay otras reglas en LC que las mencionadas en la
presente reglas de formación.

2.4. Fórmulas y esquemas de fórmulas

2.4.1. Fórmula: Conjunto de signos que se comportan de

acuerdo a un conjunto de reglas de formación.

2.4.2. Esquemas de fórmulas: Representación de

fórmulas mediante metavariables. A continuación algunos
casos:

A = Esquema de fórmula de cualquier fórmula

lógica (puede ser proposicional o cuantificacional).
 θα = Esquema de una fórmula cuantificacional
donde hay sólo símbolos de predicados seguidos de un
nombre propio o individuo indefinido.

θβ = Esquema de una fórmula cuantificacional

donde hay sólo símbolos de predicados seguidos de
individuos indefinidos.

θγ = Esquema de una fórmula cuantificacional

donde hay sólo símbolos de predicados seguidos de
nombres propios.

(∀β)A=Esquema de una fórmula cuantificacional

donde el cuantificador universal tiene mayor alcance.

(∃β)A=Esquema de una fórmula cuantificacional

donde el cuantificador existencial tiene mayor alcance.

(∀β)θβ = Esquema de una fórmula donde el

dominio del cuantificador universal tiene sólo predicados
seguidos de individuos indefinidos.

(∀β)θγ = Esquema de una fórmula donde el

dominio del cuantificador universal tiene sólo predicados
seguidos de nombres propios.

(∃β)θβ = Esquema de una fórmula donde el

dominio del cuantificador existencial tiene sólo
predicados seguidos de individuos indefinidos.
 (∃β)θγ = Esquema de una fórmula donde el
dominio del cuantificador existencial tiene sólo
predicados seguidos de nombres propios.

3. Semántica de LC

3.1. Fórmulas abiertas:

Una fórmula cuantificacional está abierta cuando exhibe por lo

menos una variable libre. Una variable está libre cuando no
está bajo el dominio de un cuantificador, o estando, la variable
indefinida no está ligada al cuantificador.

3.2. Fórmulas cerradas:

Una fórmula cuantificacional está cerrada cuando ninguna

variable está libre, esto es, cuando las variables indefinidas de
los operandos de un cuantificador están ligadas al
cuantificador.
Son fórmulas cerradas todas las fórmulas de LP y las fórmulas
que responden al esquema de fórmula θγ.
Sólo las fórmulas cerradas son verdaderas o falsas.

4. El método de los diagramas semánticos en LC

Decide la validez o invalidez de fórmulas cuantificacionales

monádicas de primer grado.

4.1. Reglas semánticas para los cuantificadores:

 V(∀β)θβ F(∀β)θβ V(∃β)θβ F(∃β)θβ

v(θα) F(θγ) V(θγ) F(θα)

4.2. Para aplicar el método de los diagramas semánticos, el

procedimiento es el mismo usado en LP, con el añadido
de las siguientes reglas:

i) Aplicar las reglas semánticas a los operadores

proposicionales con mayor jerarquía que los
cuantificadores.
ii) Si todos los cuantificadores generan ¨α¨,
sustituir las variables indefinidas por ¨α¨.
iii) Por cada cuantificador que genera ¨γ¨, sustituir
las variables indefinidas por un símbolo que
representa nombre propio,
iv) Después de aplicarse la regla iii, los operandos
de cada cuantificador que genera “α” se
sustituye por el símbolo que se ha introducido
el nombre propio de cada cuantificador que ha
generado “γ”.
v) Al aplicarse las reglas ii, iii y iv, se eliminan a
la vez los cuantificadores, luego las
operaciones se efectúan como si fueran
fórmulas de la lógica proposicional.

5. Proposiciones categóricas

a. Lógica tradicional aristotélica

b. Organon:
- Las categorías,
- Sobre las proposiciones,
 Primeros
- Los analíticos
Segundos
- Los tópicos,
- Las refutaciones sofísticas

c. Clasificación de las proposiciones categóricas

- Por su cantidad: Universales y particulares
- Por su cualidad: Afirmativas y negativas

d. Simbolización de las proposiciones categóricas que

poseen ¨cuantificador¨, ¨verbo¨ y ¨predicado lógico¨.

Universal afirmativo: Todos son ϕ ϕx

(∀x)
Universal negativo: Ninguno es ϕ (∀x) ∼ ϕx
Particular afirmativo: Algunos son ϕ (∃x) ϕx
Particular negativo: Algunos no son ϕ (∃x) ∼ ϕx

e. Simbolización de proposiciones categóricas típicas.

Estas poseen “cuantificador”, “sujeto”, “verbo” y
“predicado lógico”.

A -- Todos los S son P -- S a P -- (∀x) (Sx → Px)

E -- Ningún S es P -- S e P -- (∀x) (Sx → ∼ Px)
I -- Algunos S son P -- S i P -- (∃x) (Sx ∧ Px)
O -- Algunos S no son P -- S o P -- (∃x) (Sx ∧ ∼ Px)

f. Otras formas de proposiciones categóricas

- Todos no son ϕ ∼ (∀x) ϕx

 - Todos los S no son P ∼ (∀x) (Sx → Px)
- Todos los F y G son H (∀x)(Fx ∨ Gx .→. Hx)
- Todos los F son G si son H (∀x)(Fx.→.Hx → Gx)
o también (∀x)(Fx ∧ Hx .→. Gx)
- Ningún F es G si es H (∀x)(Fx .→. Hx → ∼ Gx)
o también (∀x)(Fx ∧ Hx .→. ∼ Gx)
g. Proposiciones con nombres propios
- Sócrates fue un filósofo ateniense
a = Sócrates
Fx = x fue un filósofo ateniense
Fa
- Sócrates y Platón fueron filósofos griegos
a = Sócrates
b = Platón
Gx = x fue un filósofo griego
Ga ∧ Gb
- Si Claudia estudia Derecho, entonces cuando
sea profesional será miembro del Colegio de
Abogados
c = Claudia
Dx = x estudia Derecho
Px = x es profesional
Cx = x es miembro del Colegio de Abogados
Dc .→. Pc → Cc
h. Proposiciones con interpretación sólo en LP
- El cielo está nublado
Esta proposición sólo puede simbolizarse por
una variable proposicional, por ejemplo ¨p ¨
 6. Distribución de términos

A -- Todos los S son P -- S a P

E -- Ningún S es P -- S e P
I -- Algunos S son P -- S i P
O -- Algunos S no son P -- S o P
7. Cuadros de la oposición
7.1. Cuadro tradicional de la oposición

A E

I O

Relaciones válidas:

Contradictorias Contrarias Subcontrarias Subalternas Subalternantes

A↔∼O A→ ∼ E ∼ I → O A→ I ∼I→∼A
∼A↔O E →∼A ∼O→I E→O ∼O→∼E
I↔∼E
∼I↔E

7.2. Cuadro moderno de la oposición

(∀x) ϕx (∀x) ∼ ϕx

(∃x) ϕx (∃x) ∼ ϕx
 Reglas de intercambio de cuantificadores (RIC)

RIC 1: (∀x) ϕx ↔ ∼ (∃x) ∼ ϕx

RIC 2: ∼ (∀x) ϕx ↔ (∃x) ∼ ϕx
RIC 3: (∃x) ϕx ↔ ∼ (∀x) ∼ ϕx
RIC 4: ∼ (∃x) ϕx ↔ (∀x) ∼ ϕx
7.3. Cuadro tradicional de la oposición en versión
cuantificacional

(∀x) (Sx → Px) (∀x) (Sx → ∼ Px)

(∃x) (Sx ∧ Px) (∃x) (Sx ∧ ∼ Px)

Este cuadro tiene sólo las siguientes relaciones válidas:

(∀x) (Sx → Px) ↔ ∼ (∃x) (Sx ∧ ∼ Px)

∼ (∀x) (Sx → Px) ↔ (∃x) ) (Sx ∧ ∼ Px)

(∃x) (Sx ∧ Px) ↔ ∼ (∀x) (Sx → ∼ Px)

∼ (∃x ) (Sx ∧ Px) ↔ (∀x) (Sx → ∼ Px)

7.4. El problema del contenido existencial

Ley del contenido existencial: En las inferencias de la

lógica tradicional se aplica el contenido existencial sólo cuando la
premisa o el conjunto de premisas son universales y la conclusión es
una particular.

8. Análisis de validez inferencial por DS

Argumentos silogísticos y otro tipo de inferencias