Model-theoretic semantics

Paul Gochet
Table of contents

Quine once argued that semantics had split into two provinces “so fundamentally distinct as not to deserve a joint appellation at all” (1953: 131): the theory of meaning whose main concepts, apart from meaning itself, are synonymy, significance and analyticity, and the theory of reference whose main concepts are those of naming, truth, denotation and extension. Katz (1972: 182) expresses full agreement with this view and describes the term ‘semantics’ as ambiguous.

Full-text access is restricted to subscribers. Log in to obtain additional credentials. For subscription information see Subscription & Price.

References

Barwise, J. & J. Etchemendy
1989 Model-theoretic semantics. In M.I. Posner (ed.) Foundations of cognitive science: 207–243. MIT Press. Google Scholar
Bonzon, P., M. Cavalcanti & R. Nossum
2000 Formal Aspects of Context. Kluwer. DOI logoGoogle Scholar
Bolzano, B.
(1972) [1833] Theory of science. Blackwell. Google Scholar
Buvac, S. & I. Mason
1993 Propositional Logic of Context. Proceedings of the IIth National Conference on Artificial Intelligence 65: 197–247. AAAI Press. Google Scholar
Cooper, R.
1996 The Role of Situations in Generalized Quantifiers. In S. Lappin (ed.) The Handbook of Contemporary Semantic Theory: 65–86. Blackwell. Google Scholar
Davidson, D.
1984 Truth and interpretation. Oxford University Press. Google Scholar
Etchemendy, J.
1990 The concept of logical consequence. Harvard University Press. Google Scholar
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.] DOI logoGoogle Scholar
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. DOI logoGoogle Scholar
Gardenfors, P.
1988 Generalized Quantifiers, Linguistic and Logical Approaches. Reidel. Google Scholar
Gochet, P.
1980 Outline of a Nominalist Theory of Propositions. Reidel. DOI logoGoogle Scholar
Muskens, R.
2005 Sense and the computation of reference. Linguistics and Philosophy 28: 473–504. DOI logoGoogle Scholar
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. Google Scholar
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. Google Scholar
Kanazawa, M. & Ch Pinon
(eds.) 1994 Dynamics, Polarity and Quantification. CSLI. Google Scholar
Katz, J
1972 Semantic theory. Harper & Row.  BoPGoogle Scholar
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. Google Scholar
Keenan, E.
1996 The Semantics of Determiners. In S. Lappin (ed.) The Handbook of Contemporary Semantic Theory: 41–63. Blackwell. Google Scholar
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.  BoP DOI logoGoogle Scholar
Lascarides, A. & N. Ascher
1993 Temporal Interpretation, Discourse relations, and Commonsense Entailment. Linguistics and Philosophy 16: 437–493. DOI logo  BoPGoogle Scholar
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. Google Scholar
Montague, R.
1974 Formal philosophy. Yale University Press.  BoPGoogle Scholar
Quine, W.V.O.
1953 From a logical point of view. Harvard University Press. Google Scholar
Sandu, G. & T. Aho
2009 Logic and Semantics in the Twentieth Century. In L. Haaparanta (ed.) The Development of Modern Logic. Oxford University Press. DOI logoGoogle Scholar
Tarski, A.
1956 Logic, semantics, metamathematics. Oxford University Press. Google Scholar
Wittgenstein, L.
1921 Tractatus logico-philosophicus. Routledge & Kegan Paul. Google Scholar