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