Miguel LÓPEZ-ASTORGA ABSTRACT:Although written long before, in 2012 a work by Prior presenting a system that was able to demonstrate Hintikka’s theorem was published. Maybe one of the most relevant elements of that system is an axiom that clearly relates necessity, and hence modal logic, to obligation, and hence deontic logic. This paper analyzes that axiom based upon Carnap’s method …
Read More »