Bertrand Russell, Herbrand’s theorem, and the assignment statement

  • Melvin Fitting
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1476)


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.


Modal Logic Free Variable Classical Logic Assignment Statement Definite Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. C. Fitting. A modal Herbrand theorem. Fundamenta Informaticae, 28:101–122, 1996.zbMATHMathSciNetGoogle Scholar
  2. 2.
    M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Forthcoming.Google Scholar
  3. 3.
    G. Frege. Uber Sinn und Bedeutung. Zeitschrift fur Philosophie und philosophische Kritik, 100:25–50, 1892. “On Sense and Reference≓ translated in [4].Google Scholar
  4. 4.
    G. Frege. Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell, Oxford, 1952. P. Geach and M. Black editors.Google Scholar
  5. 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. 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. 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
  8. 8.
    R. Stalnaker and R. Thomason. Abstraction in first-order modal logic. Theoria, 34:203–207, 1968.MathSciNetCrossRefGoogle Scholar
  9. 9.
    R. Thomason and R. Stalnaker. Modality and reference. Nous, 2:359–372, 1968.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Melvin Fitting
    • 1
  1. 1.Dept. Mathematics and Computer ScienceLehman College (CUNY)Bronx

Personalised recommendations