First-Order Predicate Logic

  • David R. Dowty
  • Robert E. Wall
  • Stanley Peters
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 11)


We turn now to the construction of a formal language L1, which adds individual variables and quantifiers over these variables to the syntactic apparatus of the language L0. In fact, this language L1 contains L0, in the sense that all the sentences of L0 will also be sentences of L1 (but not conversely), and these sentences of L0 will have to be interpreted just as before. As these new individual variables (for which we will use the symbols v1, v2, v3,…) behave syntactically just like individual constants, we will introduce the new syntactic category of individual terms (or simply terms) to include both variables and constants.


Truth Condition Noun Phrase Free Variable Predicate Logic English Sentence 
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.

Copyright information

© Kluwer Academic Publishers, Dordrecht, The Netherlands 1981

Authors and Affiliations

  • David R. Dowty
    • 1
  • Robert E. Wall
    • 2
  • Stanley Peters
    • 3
  1. 1.Dept. of LinguisticsOhio State UniversityColumbusUSA
  2. 2.Dept. of LinguisticsUniversity of Texas at AustinUSA
  3. 3.CSLIStanfordUSA

Personalised recommendations