Quantification and Logical Form

  • Andrea IaconaEmail author
Part of the Synthese Library book series (SYLI, volume 373)


This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which a considerably wide class of quantified sentences can be expressed in a classical first order language. Sections 7.1 and 7.2 provide some preliminary clarifications. Section 7.3 illustrates by means of familiar examples how the truth conditions of quantified sentences can formally be represented. Sections 7.4 and 7.5 show that the method of formalization suggested is consistent with some established undefinability results, and that it can easily be extended to a broad variety of cases. Section 7.6 draws a distinction between logical and non-logical quantifier expressions. Finally, Sect. 7.7 adds some concluding remarks.


Logical Form Truth Condition Binary Relation Noun Phrase Local Quantifier 
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.


  1. 1.
    Barwise, J., and R. Cooper. 1981. Generalized quantifiers and natural language. Linguistics and Philosophy 4: 159–219.CrossRefGoogle Scholar
  2. 2.
    Borg, E. 2007. Minimal semantics. Oxford: Oxford University Press.Google Scholar
  3. 3.
    Feferman, S. 2015. Which quantifiers are logical? A combined semantical and inferential criterion. In Quantifiers, quantifiers, and quantifiers, ed. A. Torza. Springer.Google Scholar
  4. 4.
    Frege, G. 1879/1967. Concept script, a formal language of pure thought modelled upon that of arithmetic. In From Frege to Godel: A sourcebook in mathematical logic, ed. J. van Heijenoort, chapter Begriffsschrift, 5–82. Cambridge: Harvard University Press.Google Scholar
  5. 5.
    Iacona, A. 2013. Logical form and truth conditions. Theoria 28: 439–457.CrossRefGoogle Scholar
  6. 6.
    Keenan, E.L., and J. Stavi. 1986. A semantic characterization of natural language determiners. Linguistics and Philosophy 9: 253–326.CrossRefGoogle Scholar
  7. 7.
    Montague, R. 1974. Formal philosophy. New Haven: Yale University Press.Google Scholar
  8. 8.
    Neale, S. 1993. Logical form and LF. In Noam Chomsky: Critical assessments, ed. C. Otero, 788–838. London: Routledge.Google Scholar
  9. 9.
    Peters, S., and D. Westerståhl. 2006. Quantifier in language and logic. Oxford: Oxford University Press.Google Scholar
  10. 10.
    Sainsbury, M. 1991. Logical forms. Oxford: Blackwell.Google Scholar
  11. 11.
    Stanley, J. 2000. Context and logical form. Linguistics and Philosophy. Oxford, 23: 391–434.Google Scholar
  12. 12.
    Westerståhl, D. 1985. Logical constants in quantifier languages. Linguistics and Philosophy 8: 387–413.CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Centro di Logica, Linguaggio e Cognizione, Dipartimento di Filosofia e Scienze dell’EducazioneUniversità di TorinoTorinoItaly

Personalised recommendations