References
Alonzo Church (1946) ArticleTitle‘A Formulation of the Logic of Sense and Denotation, Abstract’ The Journal of Symbolic Logic 11 31
Alonzo Church (1951A) ‘A Formulation of the Logic of Sense and Denotation’ P. Henle H.M. Kallen S.K. Langer (Eds) Structure, Method and Meaning Liberal Arts Press New York 3–24
Church, Alonzo: 1951b, ‘The Need for Abstract Entities’, American Academy of Arts and Sciences Proceedings 80, 100–113, reprinted in Martinich (1990) under the title Intensional Semantics.
Church, Alonzo: 1962, ‘A Remark Conerning Quine’s Paradox About Modality’, Spanish version in Analisis Filosófico, pp. 25–32, reprinted in English in Salmon and Soames (1988).
Alonzo Church (1973) ArticleTitle‘Outline of a Revised Formulation of the Logic of Sense and Denotation, part I’ Nous 7 24–33
Alonzo Church (1974) ArticleTitle‘Outline of a Revised Formulation of the Logic of Sense and Denotation, part II’ Nous 8 135–156
M.J. Cresswell (1985) Structured Meanings: The Semantics of Propositional Attitudes The MIT Press Cambridge, MA
Davidson, Donald: 1967, ‘Truth and Meaning’, Synthese 17, 304–333, reprinted in Martinich (1990) and in Davidson (1984).
Donald Davidson (1984) Truth and Interpretation Clarendon Press Oxford
M.A. Dummett (1978) Frege’s Distinction Between Sense and Reference, Truth and Other Enigmas Harvard University Press Cambridge 116–144
Evans G. (1982), The Varieties of Reference, in J. N. McDowell (ed.), Clarendon Press, Oxford.
Frege, G.: 1952, Translations from the Philosophical Writings of Gottlob Frege, P. Geach and M. Black (eds.), Blackwell, Oxford.
Frege, Gottlob: 1892, ‘On Sense and Denotation’, Zeitschrift für Philosophie und Philosophische Kritik vol. 100, Translated by Max Black Frege (1952) and also by Herbert Feigl Martinich (1990). I have used “denotation” to render Frege’s “Bedeutung,” instead of Black’s “meaning” or Feigl’s “nominatum”.
Gallin, Daniel: 1975, Intensional and Higher-order Modal Logic, North-Holland Mathematical Studies, no. 19, North-Holland, Elsevier, Amsterdam, Oxford, New York.
Irene Heim Kratzer Angelika (1998) Semantics in Generative Grammar Blackwell Oxford
Kalyvianaki, Elena and Yianni Moschovakis: in preparation, ‘Two Aspects of Local Meaning’.
Kaplan, David: 1978a, ‘Dthat’, in Peter Cole, (ed.), Syntax and Semantics vol. 9, Academic Press, New York, reprinted in Martinich (1990).
Kaplan, David: 1978b, ‘On the Logic of Demonstratives’, Journal of Philosophical Logic 81–98, reprinted in Salmon and Soames (1988).
Ewan Klein Ivan A. Sag (1985) ArticleTitle‘Type-Driven Translation’ Linguistics and Philosophy 8 163–201 Occurrence Handle10.1007/BF00632365
Kripke, Saul A.: 1979, ‘A Puzzle About Belief’, in A. Margalit (ed.), Meaning and Use, Reidel, pp. 239–283, reprinted in Salmon and Soames (1988).
Leonard Linsky (Eds) (1971) Reference and Modality Oxford University Press Oxford
A.P. Martinich (Eds) (1990) The Philosophy of Language EditionNumber2 Oxford University Press New York, Oxford
Montague, R.: 1970a, ‘English as a Formal Language’, in Bruno Visentini et al., (eds.), Linguaggi nella Società e nella Tecnica (Milan) Edizioni di Comunità , pp. 189–284, reprinted in Montague (1974).
Montague, R.: 1970b, ‘Pragmatics and Intensional Logic’, Synthèse 22, 68–94, reprinted in Montague (1974).
Montague, R.: 1970c, ‘Universal Grammar’, Theoria 36, 373–398, reprinted in Montague (1974).
Montague, R.: 1973, ‘The Proper Treatment of Quantification in Ordinary English’, in J. Hintikka et al., (eds.), Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, D. Reidel Publishing Co, Dordrecht, pp. 221–224, reprinted in Montague (1974).
Montague, R.: 1974, in Richmond H. Thomason (ed.), Formal philosophy, Yale University Press, New Haven and London, Selected papers of Richard Montague.
Moschovakis, Yiannis N.: 1994, ‘Sense and Denotation as Algorithm and Value’, in J. Väänänen and J. Oikkonen (eds.), Logic Colloquium ’90, vol. 2, Association for Symbolic Logic, Lecture Notes in Logic, pp. 210–249.
Yiannis N. Moschovakis (1998) ‘On Founding the Theory of Algorithms’ H.G. Dales G. Oliveri (Eds) Truth in Mathematics Clarendon Press Oxford 71–104
Jamal Ouhalla (1994) Introducing Transformational Grammar Arnold and Oxford University Press Oxford
Judy Pelham Urquhart Alasdair (1994) ‘Russellian Propositions’ D. Prawitz (Eds) et al. Logic, Methodology and Philosophy of Science IX. Elsevier Science Amsterdam
G. Plotkin (1977) ArticleTitle‘LCF Considered as a Programming Language’ Theoretical Computer Science 5 223–255 Occurrence Handle10.1016/0304-3975(77)90044-5
Nathan Salmon Soames Scott (1988) Propositions and Attitudes Oxford University Press Oxford
D. S. Scott C. Strachey (1971) ‘Towards a Mathematical Semantics for Computer Languages’ J. Fox (Eds) Proceedings of the Symposium on Computers and Automata New York Polytechnic Institute of Brooklyn Press 19–46
J. Heijenoort Particlevan (1985) Frege on Sense Identity, Selected Essays Bibliopolis Napoli 65–70
Author information
Authors and Affiliations
Corresponding author
Additional information
The paper developed from a set of notes produced for a short course in NASSLLI’03. Some of the missing proofs are posted on http://www.math.ucla.edu/~ynm/papers.htm.
Rights and permissions
About this article
Cite this article
Moschovakis, Y.N. A Logical Calculus of Meaning and Synonymy. Linguistics & Philosophy 29, 27–89 (2006). https://doi.org/10.1007/s10988-005-6920-7
Issue Date:
DOI: https://doi.org/10.1007/s10988-005-6920-7