Bertrand Russell, Herbrand’s theorem, and the assignment statement
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently expressible. In this paper we sketch a natural syntax and semantics for first-order modal logic, and show how it easily copes with well-known problems. And we provide formal tableau proof rules to go with the semantics, rules that are, at least in principle, automatable.
KeywordsModal Logic Free Variable Classical Logic Assignment Statement Definite Description
Unable to display preview. Download preview PDF.
- 2.M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Forthcoming.Google Scholar
- 3.G. Frege. Uber Sinn und Bedeutung. Zeitschrift fur Philosophie und philosophische Kritik, 100:25–50, 1892. “On Sense and Reference≓ translated in .Google Scholar
- 4.G. Frege. Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell, Oxford, 1952. P. Geach and M. Black editors.Google Scholar
- 5.J. W. Garson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 249–307. D. Reidel, 1984.Google Scholar
- 6.D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 497–604. D. Reidel, 1984.Google Scholar
- 7.B. Russell. On denoting. Mind, 14:479–493, 1905. Reprinted in Robert C. Marsh, ed., Logic and Knowledge: Essays 1901–1950, by Bertrand Russell, Allen & Unwin, London, 1956.Google Scholar
- 9.R. Thomason and R. Stalnaker. Modality and reference. Nous, 2:359–372, 1968.Google Scholar