Mostrar el registro sencillo del ítem
Artículo
Sobre la lógica de las descripciones
dc.creator | Díaz Estévez, Emilio | es |
dc.date.accessioned | 2015-09-21T09:32:56Z | |
dc.date.available | 2015-09-21T09:32:56Z | |
dc.date.issued | 1993 | es |
dc.identifier.issn | 1132-3329 | es |
dc.identifier.issn | 2173-6464 | es |
dc.identifier.uri | http://hdl.handle.net/11441/28625 | |
dc.description.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. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.publisher | Universidad de Sevilla | es |
dc.relation.ispartof | Fragmentos de Filosofía, 3, 41-60 | es |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | es |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | es |
dc.title | Sobre la lógica de las descripciones | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/28625 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Sobre la logica de las descrip ... | 939.7Kb | [PDF] | Ver/ | |