Pontificia Universidad Javeriana

Facultad de Filosofa
Lgica
Cuarto taller: lgica de cuantificadores
Profesor: Miguel ngel Prez
Presentado por: Fabio Barrera
Bogot, 9 de mayo de 2017

DESARROLLO

1. Enuncie brevemente en qu consiste el problema de la carga existencial y

explique de qu manera se resuelve en LC.

Una proposicin tiene contenido existencial si es empleada para aseverar la existencia

de objetos de algn tipo. De acuerdo con Aristteles, la verdad de una proposicin
universal implica la verdad de su proposicin particular correspondiente. De all
deriva el problema de la carga existencial. Boole consideraba que no se puede inferir la
verdad de una proposicin particular a partir de la verdad de su correspondiente
proposicin universal porque cada proposicin particular afirma la existencia de una
clase de sujeto. Es decir, el problema de la carga existencial consiste en la presuposicin
que tiene lugar en los enunciados de carcter particular, de la existencia de por lo
menos un individuo dentro de una determinada categora. El problema de ello radica
igualmente en que cuan correcto es el razonamiento en muchos argumentos, se ve
afectado directamente por el hecho de que las proposiciones con las que se construyen
esos argumentos tengan o no contenido existencial.

El lenguaje de LC resuelve este problema estableciendo que los enunciados universales

son de naturaleza hipottica, es decir, condicional, y los particulares de carcter
conjuntivo. Esto permite verificar que el cuadro de oposiciones aristotlico es,
lgicamente, errneo, descartando de esta forma la contrariedad, la subcontrariedad y
la subalternacin, considerando nicamente la contradiccin como un principio
lgicamente vlido.

2. Defina los conceptos de intensionalidad y extensionalidad, y explique cul es

su relevancia para la lgica.

2.1. Intensionalidad: la intensin de una expresin hace referencia a su

significado o connotacin y consiste en las entidades a las cuales la
expresin se aplica. Aqu, significado supone algn criterio para decidir,
con respecto a cualquier objeto dado, si cae dentro de la extensin de
dicho trmino. Entonces, la intensin es aquel conjunto de atributos
compartidos por todos y solamente esos objetos a los que se refiere un
trmino general.
2.2. Extensionalidad: la extensin de una expresin o trmino general es el
conjunto de cosas a las cuales se le aplica dicho trmino. Tal trmino
general es un trmino de clase que puede ser aplicado a ms de un
objeto. Por ejemplo, planeta, como trmino general se aplica con el
mismo sentido por igual a Mercurio, Venus, Tierra, Marte, Jpiter,
Saturno, Urano y Neptuno. Lo que quiere decirse en este caso con la
palabra planeta es ese conjunto de objetos.
Las distinciones entre la intensionalidad y la extensionalidad son utilizadas en lgica
para explicar distintas tcnicas para la construccin de definiciones, como las tcnicas
empleadas en las definiciones denotativas, ostensivas, cuasiostensiva o las definiciones
por gnero y diferencia. De igual forma, dichos trminos determinan el conjunto de
elementos de los cuales se habla en un determinado caso, es decir, el Universo
discursivo.

3. Enuncie y explique brevemente cules son las diferencias semnticas

fundamentales entre el lenguaje LP y el lenguaje LC.

La semntica de la lgica cuantificada es mucho ms compleja si la comparamos con la

de la lgica proposicional. Ello se puede explicar a partir de dos razones
fundamentales:

a. En primer lugar, en LP no es posible asignar valores de verdad

directamente a las frmulas atmicas. El valor de verdad de una frmula
atmica como Ga slo puede llegar a ser determinado una vez sepamos
qu propiedad y qu objeto estn siendo representados por G y por a.
De igual forma, el valor de verdad de una frmula cuantificada como
x(Gx) depende del universo del discurso que estemos considerando.
Con lo anterior queremos expresar que, es necesario llevar a cabo una
interpretacin del contenido y el contexto de la frmula antes de poder
asignarle un valor de verdad
b. Por otro lado, otra razn que explica la complejidad de la semntica de LC
es que, a diferencia de LP, no existe algoritmo o procedimiento mecnico de
decisin alguno que permita llevar a cabo la determinacin de las
propiedades semnticas de todas las frmulas, conjuntos y argumentos de
LC. Un procedimiento de decisin es mecnico s y slo si es una secuencia
finita de operaciones en la que cada paso est determinado por una regla y
cuya ejecucin da una solucin nica a un problema o una respuesta
nivoca a una pregunta. En LP, las tablas y los rboles de verdad son
procedimientos mecnicos de decisin y las propiedades semntica de LP
son propiedades decidibles. Ningn sistema lgico en el que sea posible
expresar verdades bsicas en las matemticas y la fsica puede ser un
sistema decidible. Por tanto, lo ganado en expresividad en LC se pierde en
decidibilidad. Sin embargo, lo anteriormente afirmado no implica que no
podamos determinar el valor de verdad de una gran cantidad de frmulas
de LC. En 1915, Lwenheim demostr la existencia de un procedimiento
mecnico de decisin para determinar las propiedades semnticas de
cualquier frmula que slo contenga predicados mondicos. A pesar de
ello, no puede haber un procedimiento mecnico de decisin para
determinar las propiedades semnticas de todas las frmulas de LC.

4. Explique brevemente en qu reside la importancia de la utilizacin de

lenguajes formales para considerar la validez de los argumentos del lenguaje
natural.

De acuerdo con Frege, es necesario construir un lenguaje artificial que permita expresar
relaciones deductivas con la mayor claridad posible, algo que no se puede llevar a cabo
desde el mismo lenguaje natural. El filsofo alemn da cuenta de un obstculo que
parece radicar en el lenguaje natural. Este lenguaje, por su variedad, imprecisin y
amplitud, no permita establecer cadenas de inferencias para el anlisis de la validez de
argumentos. Una proposicin del lenguaje natural puede tener una gama de inferencia
bastante amplia. En su Conceptografa, Frege establece que la relacin que existe entre el
lenguaje formal y el lenguaje natural, es la misma que existe entre el microscopio y el
ojo: a pesar de la superioridad que tiene el ojo frente al microscopio, por el campo de
aplicabilidad y la movilidad con la que se adapta a las ms diversas situaciones. Sin
embargo, el ojo no es preciso cientficamente; tan pronto como los propsitos
cientficos establecen mayores exigencias en la precisin de las distinciones, el ojo
resulta insuficiente, a diferencia del microscopio que es el ms apropiado para tales
fines.

La relacin entre el lenguaje formal y el natural es as. Si tenemos la pretensin de

evaluar la validez de un argumento, es necesario llevar a cabo un uso del lenguaje
formal, ya que si nos guisemos exclusivamente por el lenguaje natural ste resultara
insuficiente de acuerdo con la precisin que requiere un anlisis de dicha magnitud, en
cuanto que la posibilidad de establecer cadenas de inferencias es muy amplia y ello
limita la precisin que se necesita para ello. En la apariencia del uso cotidiano que
brinda el lenguaje natural, un argumento podra ser vlido y coherente; sin embargo,
ste podra traer una contradiccin que, a simple vista y sin un anlisis preciso, no sera
posible apreciar. Al igual que el microscopio, estableciendo su relacin con el ojo
humano, el lenguaje formal permite llevar a cabo una evaluacin de argumentos ms
precisa que la que permite realizar el lenguaje natural, debido a las herramientas que
aquel otorga.

Realice el test de invalidez y pruebe sintcticamente, si es posible, los siguientes

argumentos en LC. Recuerde construir las respectivas guas de simbolizacin.

5. Debe haber sustancias simples puesto que existen compuestas, ya que lo

compuesto slo es una coleccin o aggregatum de sustancias simples. (Gottfried
Leibniz)

UD: sustancias

Sx: x es sustancia simple

Cy: y es sustancia compuesta

Axy: x est compuesto de y

1. (x) [Cx (y) (Sy Axy)]

/.. (x)[Cx (y) (Sy)]

Test de invalidez:

1. [Cx (Sy Axy)]

F V V

V V

/:. [Cx (Sy)]

 V F F

El anterior argumento es invlido.

6. El universo tiene forma esfrica, pues todas sus partes constituyentes, esto es, la
luna, el sol y los planetas, tienen forma esfrica. (Nicols Coprnico)

UD: el universo

Ex: x tiene forma esfrica s: sol

Csplu: s, p y l son partes constituyentes de u p: planetas

l: luna

u: universo

1. (s)(Es) ^ (p)(Ep) ^ (l)(El)

2. (s) { (p) [ (l) (Csplu) ] }
/.. (u) (Eu)

Test de invalidez:

1. (Es) ^ (Ep) ^ (El)

V V V
V V V
V

2. (Csplu)
V

/.. (Eu)

F F

El anterior argumento es invlido.

7. De entre todas las cosas del mundo, la sensatez es la que se halla distribuida ms
equitativamente, porque cualquiera cree que la tiene en abundancia y aun
aquellos que resultan ms difciles de complacer en cualquier otra cosa,
comnmente no desean ms de la que ya tienen. (Ren Descartes)

UD:

Dp: p son ms difciles de complacer p: personas

Cps: p cree que tiene s en abundancia s: sensatez

Mps: p desea ms de la que ya tiene

Ep: p est ms distribuido equitativamente

1. (p) [(s) (Cps)]

2. (p) [(Dp) ^ (s) (~Mps)]
/:. (s) (Es)

Test de invalidez:

1. (Cps)
V

2. (Dp) ^ (~Mps)] V
V V
V

/.. (Es) F

El argumento es invlido.

8. Para decirlo brevemente, entonces, podemos mantener que la razn natural no

puede probar que la resurreccin es necesaria, ni por medio de razones a priori
tales como las basadas en la nocin de un principio intrnseco en el hombre, ni
por argumentos a posteriori, por ejemplo, en razn de alguna perfeccin o de una
operacin inherente al hombre. Por tanto, debemos aceptar que la resurreccin
debe ser cierta slo sobre la base de la fe. (Duns Scoto)

UD:

N: es suficiente p: razones a priori

Pxy: x es probado por y a: razones a posteriori

r: resurreccin

n: razn natural

b: base de la fe

1. [(p)(Np) ^ (a)(Na)] (r) [(n)(Prn)]

2. (p) ~(Np) ^ (a) ~(Na)
3. (r) [(n) (Prn)
/.. (r) [(p) (Prp)]

Test de validez

1. [(Np) ^ (Na)] (Prn)

F F

F V

V
 2. ~(Np) ^ ~(Na) V
V V
V

3. (Prn)
V

/.. (Prp)

F F

El anterior argumento es invlido.