Skip to main content
Log in

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Alonzo Church (1946) ArticleTitle‘A Formulation of the Logic of Sense and Denotation, Abstract’ The Journal of Symbolic Logic 11 31

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • Alonzo Church (1974) ArticleTitle‘Outline of a Revised Formulation of the Logic of Sense and Denotation, part II’ Nous 8 135–156

    Google Scholar 

  • M.J. Cresswell (1985) Structured Meanings: The Semantics of Propositional Attitudes The MIT Press Cambridge, MA

    Google Scholar 

  • 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

    Google Scholar 

  • M.A. Dummett (1978) Frege’s Distinction Between Sense and Reference, Truth and Other Enigmas Harvard University Press Cambridge 116–144

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • A.P. Martinich (Eds) (1990) The Philosophy of Language EditionNumber2 Oxford University Press New York, Oxford

    Google Scholar 

  • 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

    Google Scholar 

  • Jamal Ouhalla (1994) Introducing Transformational Grammar Arnold and Oxford University Press Oxford

    Google Scholar 

  • Judy Pelham Urquhart Alasdair (1994) ‘Russellian Propositions’ D. Prawitz (Eds) et al. Logic, Methodology and Philosophy of Science IX. Elsevier Science Amsterdam

    Google Scholar 

  • G. Plotkin (1977) ArticleTitle‘LCF Considered as a Programming Language’ Theoretical Computer Science 5 223–255 Occurrence Handle10.1016/0304-3975(77)90044-5

    Article  Google Scholar 

  • Nathan Salmon Soames Scott (1988) Propositions and Attitudes Oxford University Press Oxford

    Google Scholar 

  • 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

    Google Scholar 

  • J. Heijenoort Particlevan (1985) Frege on Sense Identity, Selected Essays Bibliopolis Napoli 65–70

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yiannis N. Moschovakis.

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

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10988-005-6920-7

Keywords

Navigation