Artículo
Sobre la lógica de las descripciones
Autor/es | Díaz Estévez, Emilio |
Departamento | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Fecha de publicación | 1993 |
Fecha de depósito | 2015-09-21 |
Publicado en |
|
Resumen | 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}, ... 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Sobre la logica de las descrip ... | 939.7Kb | [PDF] | Ver/ | |