CUANTIFICADORES

El cuantificador es un smbolo empleado en el contexto de la lgica predicativa para

determinar el conjunto de individuos que satisface un predicado. Su mismo nombre alude a
la idea de contar, de determinar la cantidad de elementos que se mueven bajo un dominio
dado. Se conocen como cuantificadores estndar a dos: el cuantificador universal y el
cuantificador existencial. Existe un cuantificador derivado que sera el descriptor, y,
finalmente, incluso se puede hablar especficamente de un individuo, a lo ms un individuo,
y al menos un individuo. Veamos estos casos uno por uno.

1. CUANTIFICADOR UNIVERSAL

El primer cuantificador se simboliza x y se asocia con los trminos todos, cada uno,
cualquiera, los, el 100% y otros de esta clase (se dice que el smbolo mismo, es decir,
la A invertida proviene del ingls All que significa todo). Adems, un cuantificador
universal antepuesto a una funcin proposicional indica que la totalidad de los miembros de
un conjunto o dominio de interpretacin satisface un predicado (Garca Zrate, 2007:
225). Por ejemplo,

( 1 ) Todos son lgicos
Se representa as
( 1 ) x Lx

Adems, se puede observar que dicho cuantificador es igual a una conjuncin sucesiva

x Lx La Lb Lc Ld

Esta frmula refleja la manera en la que funciona el mencionado smbolo: busca referirse a
aquellos objetos que, simultneamente, cumplan una propiedad. (Haack, 1982: 61)
1


2. CUANTIFICADOR EXISTENCIAL

El segundo cuantificador se simboliza x y alude a expresiones del tipo algunos,
hay, alguien, existe, ciertos, varios, muchos, pocos, el 30% etc. (se dice
que el smbolo mismo, es decir, la E invertida proviene del ingls Existence)
Asimismo, un cuantificador existencial colocado ante una funcin proposicional cuya
variable resulte ligada por este cuantificador seala que el conjunto de individuos que
satisface un predicado contiene al menos un miembro (Garca Zrate, 2007: 225). Por
ejemplo,

( 2 ) Algunos son filsofos
Se representa as
( 2 ) x Fx

1
Otro cuantificador universal es Ningn el cual equivale a: Ni un solo, Nadie que sea,
Ninguno de los, No hay el 0% de los, etc.


Adems, se puede observar que dicho cuantificador es igual a una disyuncin sucesiva

x Fx Fa Fb Fc Fd

Esta simbolizacin representa el funcionamiento de dicho operador: sirve para hacer
alusin a los objetos que descoordinadamente posean un atributo. (Haack, 1982: 61)
Resulta apropiado mencionar que los cuantificadores estndar o bsicos pueden
interdefinirse mediante la regla de intercambio de cuantificadores (IC) que enseguida
mencionamos:

1. (x) Fx (x) Fx
2. (x) Fx (x) Fx
3. (x) Fx (x) Fx
4. (x) Fx (x) Fx

Esta interrelacin sirve para dejar claro que estos smbolos se hayan vinculados.
Especficamente, para pasar de una proposicin cuantificada a su equivalente se niegan
tanto el cuantificador como la funcin proposicional sobre la que opera, y tambin se
permutan los smbolos y .

3. DESCRIPCIN DEFINIDA

Adems de los ya mencionados cuantificadores, en el lenguaje de primer orden se puede
plantear al descriptor como un cuantificador derivado construido en base a los
cuantificadores estndar (Frpolli, 2007: 155). La descripcin definida es un artificio
ideado por Russell para reelaborar un enunciado anulando toda expresin involucrada en el
enunciado original que pretenda nombrar una entidad de naturaleza controvertida, de tal
manera que no puede seguir pensndose que la significatividad de un enunciado
presuponga el ser de aquella entidad (recordaremos esto ms adelante cuando mencionemos
la cuantificacin objetual de Quine)
2
. Adems de ser una estrategia argumentativa, la
descripcin definida tiene la propiedad de hacer referencia solo a un individuo especfico.
En trminos formales, el descriptor que se simboliza mediante se lee el nico individuo
que (tal-y-cual). Pongamos un ejemplo:





2
En palabras de Lorenzano: Qu se niega cuando se dice que no existe Pegaso, ni unicornios, o
no hay ningn rey de Francia? Cmo hablar de un objeto inexistente, si no existe? La estrategia de
Russell es transformar esas expresiones en otras en las cuales desaparece la referencia a los objetos
nombrados. Transcribe, entonces, El actual rey de Francia, que en su interpretacin lgica es un
existencial singular del que se supone que tiene referencia directa, en un existencial general que
diga Algo es rey de Francia -en notacin lgica (x) (P x)-. De esta manera la referencia directa
desaparece, pues la expresin ya no se refiere a un presunto rey de Francia, sino a que algo una
variable x ligada existencialmente- sea rey de Francia o Pegaso. (2004)
( 3 ) El hombre que viste ayer
Este enunciado, usando los cuantificadores estndar, se simboliza as:
( 3 ) xy (Py y=x), donde ser visto ayer ser considerado como la propiedad P, y se
lee: Existe x para todo y tal que y tiene la propiedad P si y solo si y es x. Adems,
utilizando el descriptor esta expresin puede abreviarse as:
( 3) y Py
que se lee: El nico hombre y que viste ayer
3


Debemos mencionar que la expresin anterior analizada no es una proposicin sino un
sujeto, un nombre, una constante individual algo especial al que le falta agregarle una
propiedad para que se convierta en una proposicin de la cual quepa predicar con sentido
que es verdadera o es falsa. Definitivamente, el operador iota no es un cuantificador
existencial. Esta idea la podemos encontrar en Priest quien afirma que () las
descripciones son nombres, no cuantificadores. Esto es, se refieren a objetos () (2006:
43) Es decir, la descripcin definida per se no puede ser considerada al mismo nivel que un
cuantificador, porque es fcil darse cuenta que cuando y se aplican a funciones
proposicionales se generan proposiciones, pero cuando se aplica a las mismas funciones
proposicionales no produce proposicin alguna que sea capaz de ser considerada verdadera
o falsa, sino que solo origina nombres de ciertos objetos particulares. Quizs por este
motivo resulte difcil aceptar que la descripcin definida pueda ser considerada una
constante lgica como lo son los cuantificadores conocidos o los operadores lgicos.

4. CUANTIFICACIN ESPECFICA

Ahora bien, a estas alturas que ya sabemos cmo decir algo sobre un solo individuo
podremos investigar cmo decir lo mismo pero sobre cierto nmero especfico de
individuos. Estudiemos los siguientes casos, dispuestos en orden pedaggico y sacados del
texto Introduccin a la lgica de GAMUT (2004: 110-111).

0) No hay x tales que Ax
0*) x Ax

1) Hay al menos un x tal que Ax
1*) x Ax

2) Hay al menos dos x (diferentes) tales que Ax
2*) x y ( xy Ax Ay )

3) Hay al menos tres x (diferentes) tales que Ax
3*) x y z ( xy xz yz Ax Ay Az )
4


3
Frpolli lo explica del siguiente modo: Una descripcin como El hombre que viste ayer sirve
para decir que hay un hombre y solo uno al que tu viste ayer, esto, es que hay exactamente un
individuo que cumple esa condicin, y esto se expresa combinando el cuantificador existencial, que
corresponde a la parte de hay uno, y el cuantificador universal que corresponde a la parte de slo
uno () (2007: 155)

4) Hay a lo mucho un x tal que Ax
4*) xy[ (Ax Ay) x=y ]

5) Hay a lo mucho dos x (diferentes) tales que Ax
5*) xyz [ (Ax Ay Az) (x=y x=z y=z) ]

6) Hay a lo mucho tres x (diferentes) tales que Ax
6*) wxyz [ (Aw Ax Ay Az) (w=x w=y w=z x=y x=z y=z) ]
5


7) El nico x tal que Ax
7*) xy (Ay y=x)

8) Los nicos dos x tal que Ax
8*) xy { xy z [ Az ( z=x z=y ) ] }

9) Los nicos tres x tal que Ax
9*) xyz { xy xz w [ Aw ( w=x w=y w=z) ] }
6


5. BALANCE

Como hemos podido ver, los cuantificadores nos ayudan a establecer un mbito del
universo al que se le aplica algn predicado. Podemos hablar de todos, algunos, al menos
uno, a lo ms uno, slo uno, slo 2, etc. y decir que stos cumplen con una propiedad
determinada. As, pues, parece plausible sostener que los cuantificadores son vehculos para
establecer la existencia, al menos numrica, de ciertos objetos sugeridos por el significado
de la proposicin que los alberga. Esta idea es interesante porque permite vislumbrar la
relacin entre cuantificadores y ontologa, o en otros trminos, entre lgica y realidad.
Mejor an es enterarnos de que, un filsofo-lgico de la talla de Quine, tuvo ciertos reparos
en relacin a las posibilidades de que la lgica pueda ser utilizada para expresar conceptos
bsicos acerca de la metafsica u ontologa. Este ser el tema de la prxima seccin.

4
En estos 3 casos ( del 1) al 3) ) lo que se dice es que Hay al menos. Por ejemplo, en este caso 3),
siquiera tres diferentes elementos, es decir, mnimamente 3 objetos
5
En estos 3 casos consecutivos ( del 4) al 6) ) lo que se dice es que Hay a lo mucho. Por ejemplo,
en este caso 6), a lo ms tres objetos, es decir, mximamente 3 elementos
6
Desde el 7) hasta el 9), se han mostrado casos donde se aluden a cantidades exactas de individuos
que tienen tal o cual propiedad.