Cover not available
Part of
Handbook of Pragmatics: Manual
Edited by Jef Verschueren and Jan-Ola Östman
[Handbook of Pragmatics M2] 2022
► pp. 1808–1821

Notation in formal semantics

Article outline
  • 1.Objectives
  • 2.Principles
  • 3.The basis: Predicate logic and model theory
  • 4.Semantic types
  • 5.Lambda abstraction and lambda conversion
  • 6.Quantifiers
  • 7.Intensionality
  • 8.Contexts
  • 9.List of some frequently used symbols
  • References
Published online: 3 October 2022
DOI logo
https://doi.org/10.1075/hop.m2.not1
References
Bach, K.
1987 Thought and reference. Oxford University Press. Google Scholar
Barwise, J. & R. Cooper
1981 Generalized quantifiers and natural language. Linguistics and Philosophy 4(1): 159–219. DOI logoGoogle Scholar
Barwise, J. & J. Etchemendy
1989 Model-theoretic semantics. In M. Posner (ed.) Foundations of cognitive science: 207–243. MIT Press. Google Scholar
Barwise, J. & J. Perry
1983 Situations and attitudes. MIT Press. Google Scholar
Cann, R.
1993 Formal semantics. Cambridge University Press. DOI logoGoogle Scholar
Carnap, R.
1947 Meaning and necessity. University of Chicago Press. Google Scholar
Chierchia, G. & S. Mcconnell-Ginet
1990 Meaning and grammar. MIT Press. Google Scholar
Devlin, K.
1991 Logic and information. Cambridge University Press. Google Scholar
Dowty, D., R. Wall & S. Peters
1981 Introduction to Montague semantics. Reidel. Google Scholar
Galmiche, M.
1991 Sémantique linguistique et logique. Presses University de France. Google Scholar
Gamut, L. T. F.
1991 Logic, language & meaning. The University of Chicago Press. Google Scholar
Gärdenfors, P.
1987 Generalized quantifiers. Kluwer. DOI logoGoogle Scholar
De Jong, F., L. Oversteegen & H. Verkuyl
1988 Betekenis en taalstructuur. Foris. Google Scholar
Kamp, H. & U. Reyle
1993 From discourse to logic. Kluwer. . DOI logoGoogle Scholar
Kaplan, D.
1989 Demonstratives. In J. Almog, J. Perry & H. Wettstein (eds.) Themes from Kaplan: 481–563. Oxford University Press. Google Scholar
Kratzer, A.
1981 The notional category of modality. In H. Eikmeyer & H. Rieser (eds.) Words worlds and contexts. De Gruyter. DOI logoGoogle Scholar
McCawley, J. D.
1981 Everything that linguists have always wanted to know about logic (but were ashamed to ask). University of Chicago Press. Google Scholar
Montague, R.
1974 Formal philosophy. Yale University Press. Google Scholar
Nunberg, G.
1993 Indexicality and deixis. Linguistics and Philosophy 16(1): 1–43. DOI logoGoogle Scholar
Partee, B.
1986 Noun phrase interpretation and type-shifting principles. In J. Groenendijk, D. De Jongh & M. Stokhof (eds.) Studies in discourse representation theory and the theory of generalized quantifiers. Foris. DOI logoGoogle Scholar
Partee, B., A. Ter Meulen & R. Wall
1987 Mathematical methods in linguistics. Kluwer. Google Scholar
Russell, B.
1905 On denoting. Mind 14: 479–493. DOI logoGoogle Scholar
Von Stechow, A. & D. Wunderlich
(eds.) 1991 Semantik/Semantics. De Gruyter. Google Scholar
Strawson, P.
1950 On referring. Mind 59: 320–344. DOI logoGoogle Scholar