Model-theoretic semantics
Article outline
- 1.The meeting of two different approaches to semantics
- 2.The basic notions of Tarski's semantics
- 3.The scope and limits of Tarski's semantics
- 4.Generalized quantifiers
- 5.The layers of contexts
- 6.A model-theory for contexts
-
References
References
Barwise, J. & J. Etchemendy
1989 Model-theoretic semantics. In
M. I. Posner (ed.)
Foundations of cognitive science: 207–243. MIT Press.
Bonzon, P., M. Cavalcanti & R. Nossum
2000 Formal Aspects of Context. Kluwer.
Bolzano, B.
(1972) [1833] Theory of science. Blackwell.
Buvac, S. & I. Mason
1993 Propositional Logic of Context.
Proceedings of the IIth National Conference on Artificial Intelligence 65: 197–247. AAAI Press.
Cooper, R.
1996 The Role of Situations in Generalized Quantifiers. In
S. Lappin (ed.)
The Handbook of Contemporary Semantic Theory: 65–86. Blackwell.
Davidson, D.
1984 Truth and interpretation. Oxford University Press.
Etchemendy, J.
1990 The concept of logical consequence. Harvard University Press.
Hobbs, J.
1978 Resolving Pronoun Reference.
Lingua 44: 311–338. [Also in
B. Grosz,
K. Spark-Jones &
B. Webber (eds.) 1986
Readings in natural language Processing: 339–352. Morgan Kaufman.]
Garcia-Carpintero, S-M.
1993 The grounds for the model-theoretic account of the logical properties.
Notre Dame Journal of Formal Logic 34: 107–131.
Gardenfors, P.
1988 Generalized Quantifiers, Linguistic and Logical Approaches. Reidel.
Gochet, P.
1980 Outline of a Nominalist Theory of Propositions. Reidel.
Muskens, R.
2005 Sense and the computation of reference.
Linguistics and Philosophy 28: 473–504.
Kameyama, M.
1996 Indefeasible Semantics and Defeasible Pragmatics. In
M. Kanazawa,
Ch Pińon &
H. De Swart (eds.)
Quantifiers, Deduction and Context: 111–138. CSLI.
Kanazawa, M.
1996 Indefeasible Semantics and Defeasible Pragmatics. In
M. Kanazawa,
Ch Pińon &
H. De Swart (eds.)
Quantifiers, Deduction and Context: 111–138. CSLI.
Kanazawa, M. & Ch Pinon
(eds.) 1994 Dynamics, Polarity and Quantification. CSLI.
Katz, J
1972 Semantic theory. Harper & Row.
Katz, J. & J. Fodor
(1971) [1963] The structure of a semantic theory. In
J. Rosenberg &
C. Travis (eds.)
Readings in the philosophy of language: 472–514. Prentice Hall.
Keenan, E.
1996 The Semantics of Determiners. In
S. Lappin (ed.)
The Handbook of Contemporary Semantic Theory: 41–63. Blackwell.
Keenan, E. & D. Westerstahl
1997 Generalized Quantifiers in Linguistics and Logic. In
J. Van Benthem &
A. Ter Meulen (eds.)
Handbook of Logic and Language: 835–893. Elsevier.
Lascarides, A. & N. Ascher
1993 Temporal Interpretation, Discourse relations, and Commonsense Entailment.
Linguistics and Philosophy 16: 437–493.
Mccarthy, J.
1993 Notes on Formalizing Context. In
R. Bajcsy (ed.)
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence: 555–562. Morgan Kaufmann.
Montague, R.
1974 Formal philosophy. Yale University Press.
Quine, W. V. O.
1953 From a logical point of view. Harvard University Press.
Sandu, G. & T. Aho
2009 Logic and Semantics in the Twentieth Century. In
L. Haaparanta (ed.)
The Development of Modern Logic. Oxford University Press.
Tarski, A.
1956 Logic, semantics, metamathematics. Oxford University Press.
Wittgenstein, L.
1921 Tractatus logico-philosophicus. Routledge & Kegan Paul.