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 (24)
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