Repository | Book | Chapter
(2003) Philosophical dimensions of logic and science, Dordrecht, Springer.
In this paper I discuss a paradox, due to David Kaplan, that in his view threatens the use of possible worlds semantics as a model-theoretic framework for intensional logic.1 Kaplan's paradox starts out from an intuitively reasonable principle that I refer to as the Principle of Plenitude. From this principle he derives a contradiction in what he calls Naive Possible World Theory. Kaplan's metatheoretic argument can be restated in the modal object language as an intensional version of the Liar paradox.
Publication details
DOI: 10.1007/978-94-017-2612-2_22
Full citation:
Lindström, S. (2003)., Possible worlds semantics and the liar, in A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical dimensions of logic and science, Dordrecht, Springer, pp. 297-314.
This document is unfortunately not available for download at the moment.