Buscar
Mostrando ítems 1-4 de 4
Artículo
Sobre la lógica de las descripciones
(Universidad de Sevilla, 1993)
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}, ...
Tesis Doctoral
Estudio de algunos problemas de fundamento de la teoría axiomática de conjuntos
(1992)
Desde su nacimiento, la teoría de conjuntos ha tenido detractores y críticos. En la ensalada filosófica que se aliñó durante la crisis de fundamento sufrida por las matemáticas a causa de las paradojas, entre otras las ...
Tesis Doctoral
Tesis Doctoral
Arboles semánticos para lógica modal con algunos resultados sobre sistemas normales
(1991)
En las últimas décadas han proliferado los estudios semánticos referidos a lógicas intensionales, tanto desde el punto de vista de la teoría de modelos como desde el de la filosofía del lenguaje y el análisis de los lenguajes ...