The aim of this text is not to present all the different systems of notation used in theories of so-called ‘formal semantics’. One could ask whether such a project would be feasible or even sensible. Not only do the notations used in ‘formal semantics’ vary from framework to framework, they also change with the development of the corresponding theories and from article to article — as can be expected of any living field of inquiry.
References
Bach, K.
1987Thought and reference. Oxford University Press.
Barwise, J. & R. Cooper
1981Generalized quantifiers and natural language. Linguistics and Philosophy 4(1): 159–219.
Barwise, J. & J. Etchemendy
1989Model-theoretic semantics. In M. Posner (ed.) Foundations of cognitive science: 207–243. MIT Press.
Barwise, J. & J. Perry
1983Situations and attitudes. MIT Press.
Cann, R.
1993Formal semantics. Cambridge University Press.
Carnap, R.
1947Meaning and necessity. University of Chicago Press.
Chierchia, G. & S. Mcconnell-Ginet
1990Meaning and grammar. MIT Press.
Devlin, K.
1991Logic and information. Cambridge University Press.
Dowty, D., R. Wall & S. Peters
1981Introduction to Montague semantics. Reidel.
Galmiche, M.
1991Sémantique linguistique et logique. Presses University de France.
Gamut, L. T. F.
1991Logic, language & meaning. The University of Chicago Press.
Gärdenfors, P.
1987Generalized quantifiers. Kluwer.
De Jong, F., L. Oversteegen & H. Verkuyl
1988Betekenis en taalstructuur. Foris.
Kamp, H. & U. Reyle
1993From discourse to logic. Kluwer. .
Kaplan, D.
1989Demonstratives. In J. Almog, J. Perry & H. Wettstein (eds.) Themes from Kaplan: 481–563. Oxford University Press.
Kratzer, A.
1981The notional category of modality. In H. Eikmeyer & H. Rieser (eds.) Words worlds and contexts. De Gruyter.
McCawley, J. D.
1981Everything that linguists have always wanted to know about logic (but were ashamed to ask). University of Chicago Press.
Montague, R.
1974Formal philosophy. Yale University Press.
Nunberg, G.
1993Indexicality and deixis. Linguistics and Philosophy 16(1): 1–43.
Partee, B.
1986Noun 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.