Resumen de Are there ultimately founded propositions?
- español
¿Podemos encontrar proposiciones que no se puedan negar racionalmente en ningún mundo posible sin asumir la existencia de esa misma proposición y, por ello, implicándonos en una contradicción? En otras palabras, ¿podemos encontar proposiciones transmundanas que no necesiten más fundamento o justificación? Básicamente, se pueden pensar tres posiciones: en primer lugar, una posición relativista que sostiene que las proposiciones con fundamento último son imposibles. En segundo lugar, una posición meta-relativista según la que, las proposiciones con fundamento último son posibles pero, innecesarias; y, en tercer lugar, una posición absoluta en la que este tipo de proposiciones son necesarias. En este breve ensayo, muestro que bajo la premisa de la lógica modal S5 con un dominio constante, existen proposiciones con fundamento último y que su existencia es, aún más, necesaria. Adicionalmente, ofreceré algunas razones a favor de la superioridad de la lógica S5 sobre otras lógicas.
- English
Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, an absolute position, according to which such propositions are necessary. In this short essay I show that under the premise of modal logic S5 with constant domain there are ultimately founded propositions and that their existence is even necessary, and I will give some reasons for the superiority of S5 over other logics.
