A logical calculus of meaning and synonymy

Linguistics and Philosophy

Volumn 29, Issue 1, 2006, Pages 27-89

  Moschovakis, Yiannis N ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF ATHENS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744718509     PISSN: 01650157     EISSN: 15730549     Source Type: Journal    
DOI: 10.1007/s10988-005-6920-7     Document Type: Article

References (35)

1. Church, Alonzo: 1946, 'A Formulation of the Logic of Sense and Denotation, Abstract', The Journal of Symbolic Logic 11, 31.
2. Church, Alonzo: 1951a, 'A Formulation of the Logic of Sense and Denotation', in P. Henle, H. M. Kallen and S. K. Langer (eds.), Structure, Method and Meaning, Liberal Arts Press, New York, pp. 3-24.
3. 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.
4. 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).
5. Church, Alonzo: 1973, 'Outline of a Revised Formulation of the Logic of Sense and Denotation, part I', Nous 7, 24-33.
6. Church, Alonzo: 1974, 'Outline of a Revised Formulation of the Logic of Sense and Denotation, part II', Nous 8, 135-156.
7. Cresswell M. J.: 1985, Structured Meanings: The Semantics of Propositional Attitudes, The MIT Press, Cambridge, MA.
8. Davidson, Donald: 1967, 'Truth and Meaning', Synthese 17, 304-333, reprinted in Martinich (1990) and in Davidson (1984).
9. Davidson, Donald: 1984, Truth and Interpretation, Clarendon Press, Oxford.
10. Dummett M. A.: 1978, Frege's Distinction Between Sense and Reference, Truth and Other Enigmas, pp. 116-144, Harvard University Press, Cambridge.
11. Evans, G.: 1982, The Varieties of Reference, in J. N. McDowell (ed.), Clarendon Press, Oxford.
12. Frege, G.: 1952, Translations from the Philosophical Writings of Gottlob Frege, P. Geach and M. Black (eds.), Blackwell, Oxford.
13. 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".
14. Gallin, Daniel: 1975, Intensional and Higher-order Modal Logic, North-Holland Mathematical Studies, no. 19, North-Holland, Elsevier, Amsterdam, Oxford, New York.
15. Heim, Irene and Angelika Kratzer: 1998, Semantics in Generative Grammar, Blackwell, Oxford.
16. Kalyvianaki, Elena and Yianni Moschovakis: in preparation, Two Aspects of Local Meaning'.
17. Kaplan, David: 1978a, 'Dthat', in Peter Cole, (ed.), Syntax and Semantics vol. 9, Academic Press, New York, reprinted in Martinich (1990).
18. Kaplan, David: 1978b, 'On the Logic of Demonstratives', Journal of Philosophical Logic 81-98, reprinted in Salmon and Soames (1988).
19. Klein, Ewan and Ivan A. Sag: 1985, 'Type-Driven Translation', Linguistics and Philosophy, 8, 163-201.
20. 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).
21. Linsky, Leonard (ed.): 1971, Reference and Modality, Oxford University Press, Oxford.
22. Martinich, A. P. (ed.): 1990, The Philosophy of Language, Oxford University Press, New York, Oxford, second edition.
23. 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).
24. Montague, R.: 1970b, 'Pragmatics and Intensional Logic', Synthèse 22, 68-94, reprinted in Montague (1974).
25. Montague, R.: 1970c, 'Universal Grammar', Theoria 36, 373-398, reprinted in Montague (1974).
26. 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).
27. Montague, R.: 1974, in Richmond H. Thomason (ed.), Formal philosophy, Yale University Press, New Haven and London, Selected papers of Richard Montague.
28. 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.
29. Moschovakis, Yiannis N.: 1998, 'On Founding the Theory of Algorithms', in H. G. Dales and G. Oliveri (eds.), Truth in Mathematics, Clarendon Press, Oxford, pp. 71-104.
30. Ouhalla, Jamal: 1994, Introducing Transformational Grammar, Arnold and Oxford University Press, Oxford.
31. Pelham, Judy and Alasdair Urquhart: 1994, 'Russellian Propositions', in D. Prawitz et al. (eds.), Logic, Methodology and Philosophy of Science IX, Elsevier Science, Amsterdam.
32. Plotkin, G.: 1977, 'LCF Considered as a Programming Language', Theoretical Computer Science 5, 223-255.
33. Salmon, Nathan and Scott Soames: 1988, Propositions and Attitudes, Oxford University Press, Oxford.
34. Scott, D. S. and C. Strachey: 1971, 'Towards a Mathematical Semantics for Computer Languages', in J. Fox (ed.), Proceedings of the Symposium on Computers and Automata (New York) Polytechnic Institute of Brooklyn Press, pp. 19-46.
35. van Heijenoort, J.: 1985, Frege on Sense Identity, Selected Essays, Bibliopolis, Napoli, pp. 65-70.