José Blanco

Resumen: No solo Platón y Aristóteles son recordados en la Firenze comunal. También está Epicuro, que mencionan Dante, Boccaccio y Villani. Pero ¿existió un epicureísmo florentino? En su imaginario viaje de la Commedìa, Dante y Virgilio -con la ayuda divina- logran entrar en la Ciudad de Ditis, donde se encuentran los heréticos. Dentro de sepulcros llenos de fuego, deberían estar los miembros de todas las sectas y también los seguidores de Epicuro, que era conocido a través de Cicerón. En realidad, el poeta pone en evidencia a connotados gibelinos. Habla con Farinata degli Uberti e interviene también el padre de Guido Cavalcanti, al que da una ambigua respuesta que, en mi opinión, es un rayo de esperanza para uno que es tachado de sostener la “opinión de los epicúreos”. Más bien podría ser un averroísta, lo que acomuna a todo un grupo de intelectuales de la época que niegan la inmortalidad del alma.: Not only Plato and Aristotle are remembered in the communal Firenze. Epicurus also, mentioned by Dante, Boccaccio and Villani. But was there a Florentinian Epicureism? In their imaginary trip from the Commedia, Dante and Virgil -with divine help- manage to enter Ditis City, where the heretical are. In tombs full of fire, should be members of all sects and also the followers of Epicurus, who was known through Cicero. In fact, the poet brings out notorious Ghibellines. Talks with Farinata degli Uberti and also intervenes with Guido Cavalcanti's father, to whom gives an ambiguous answer, that is in my opinion, a ray of hope for one that is labeled as support the “Epicureans’ opinion”. Rather, he could be an averroist, which brings together a whole group of intellectuals of the time who deny the immortality of the soul.

The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of (relevant) implication. The system Ł was defined by J. Łukasiewicz and it is a four-valued modal logic that validates what is known as strong Łukasiewicz-type modal paradoxes. The systems EF4-M and EF4-Ł are defined as alternatives to Ł without modal paradoxes. This paper aims to define a Belnap-Dunn semantics for EF4, EF4-M and EF4-Ł. It is shown that EF4, EF4-M and EF4-Ł are strongly sound and complete w.r.t. their respective semantics and that EF4-M and EF4-Ł are free from strong Łukasiewicz-type modal paradoxes.

Kant justifica el postulado de la inmortalidad del alma en la Crítica de la razón práctica en tanto que muestra que sin la creencia en la inmortalidad del alma la ley moral perdería su validez. Puesto que si estamos determinados por la ley moral, tenemos la intención moral de promover el bien supremo, la creencia en la posibilidad del bien supremo es una implicación de esta intención, si no aceptamos la posibilidad de un progreso infinito no podemos aceptar la posibilidad del bien supremo y la aceptación de un progreso infinito presupone la aceptación de la inmortalidad del alma.