Repositorio de producción científica de la Universidad de Sevilla

Sobre la lógica de las descripciones

 

Advanced Search
 
Opened Access Sobre la lógica de las descripciones
Cites
Show item statistics
Icon
Export to
Author: Díaz Estévez, Emilio
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Date: 1993
Published in: Fragmentos de Filosofía, 3, 41-60
Document type: Article
Abstract: En un manual de lógica formal de no escasa difusión en nuestro país se propone al lector como ejercicio la prueba de la independencia semántica de la sentencia a 5 respecto del conjunto de sentencias { a1, a2 , •• • ,a4}, tales que: a1 = lX ---.3y (Py /\ Myx) = d, a2=Pd, a3= 3x (Px /\Ex), a4= V'x (Px /\Ex~ V'y (Py 1\-Ey ~ Mxy)), y as=F.d. Como viene siendo habitual en los manuales españoles de la especialidad, el propio autor se toma la molestia de efectuar el ejercicio, al que presenta como una prueba de la invalidez· del argumento ontológico, incluso en el caso de que se considere que la existencia es un predicado.
Size: 939.7Kb
Format: PDF

URI: http://hdl.handle.net/11441/28625

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 4.0 España

This item appears in the following Collection(s)