Cover not available

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

Get fulltext from our e-platform
JBE logo with link
PDF logo with download linkDownload Book PDF
EPUB logo with download linkDownload Book EPUB
authorization required

Notation in formal semantics

Published online: 3 October 2022
DOI logo with link
https://doi.org/10.1075/hop.m2.not1
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
References (24)
References
Bach, K. 1987. Thought and reference. Oxford University Press. Google Scholar logo with link to Google Scholar
Barwise, J. & R. Cooper. 1981. Generalized quantifiers and natural language. Linguistics and Philosophy 4(1): 159–219. Google Scholar logo with link to Google Scholar
Barwise, J. & J. Etchemendy. 1989. Model-theoretic semantics. In M. Posner (ed.) Foundations of cognitive science: 207–243. MIT Press. Google Scholar logo with link to Google Scholar
Barwise, J. & J. Perry. 1983. Situations and attitudes. MIT Press. Google Scholar logo with link to Google Scholar
Cann, R. 1993. Formal semantics. Cambridge University Press. Google Scholar logo with link to Google Scholar
Carnap, R. 1947. Meaning and necessity. University of Chicago Press. Google Scholar logo with link to Google Scholar
Chierchia, G. & S. Mcconnell-Ginet. 1990. Meaning and grammar. MIT Press. Google Scholar logo with link to Google Scholar
Devlin, K. 1991. Logic and information. Cambridge University Press. Google Scholar logo with link to Google Scholar
Dowty, D., R. Wall & S. Peters. 1981. Introduction to Montague semantics. Reidel. Google Scholar logo with link to Google Scholar
Galmiche, M. 1991. Sémantique linguistique et logique. Presses University de France. Google Scholar logo with link to Google Scholar
Gamut, L. T. F. 1991. Logic, language & meaning. The University of Chicago Press. Google Scholar logo with link to Google Scholar
Gärdenfors, P. 1987. Generalized quantifiers. Kluwer. Google Scholar logo with link to Google Scholar
De Jong, F., L. Oversteegen & H. Verkuyl. 1988. Betekenis en taalstructuur. Foris. Google Scholar logo with link to Google Scholar
Kamp, H. & U. Reyle. 1993. From discourse to logic. Kluwer. . Google Scholar logo with link to Google Scholar
Kaplan, D. 1989. Demonstratives. In J. Almog, J. Perry & H. Wettstein (eds.) Themes from Kaplan: 481–563. Oxford University Press. Google Scholar logo with link to Google Scholar
Kratzer, A. 1981. The notional category of modality. In H. Eikmeyer & H. Rieser (eds.) Words worlds and contexts. De Gruyter. Google Scholar logo with link to Google 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 logo with link to Google Scholar
Montague, R. 1974. Formal philosophy. Yale University Press. Google Scholar logo with link to Google Scholar
Nunberg, G. 1993. Indexicality and deixis. Linguistics and Philosophy 16(1): 1–43. Google Scholar logo with link to Google 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. Google Scholar logo with link to Google Scholar
Partee, B., A. Ter Meulen & R. Wall. 1987. Mathematical methods in linguistics. Kluwer. Google Scholar logo with link to Google Scholar
Russell, B. 1905. On denoting. Mind 14: 479–493. Google Scholar logo with link to Google Scholar
Von Stechow, A. & D. Wunderlich (eds.) 1991. Semantik/Semantics. De Gruyter. Google Scholar logo with link to Google Scholar
Strawson, P. 1950. On referring. Mind 59: 320–344. Google Scholar logo with link to Google Scholar
Mobile Menu Logo with link to supplementary files background Layer 1 prag Twitter_Logo_Blue