next up previous
Next: About this document Up: FIRST ORDER THEORIES OF Previous: Remarks and Acknowledgements


Carnap, Rudolf (1956)). Meaning and Necessity). University of Chicago Press.

Church, Alonzo (1951a). The Need for Abstract Entities in Semantic Analysis, in Contributions to the Analysis and Synthesis of Knowledge). Proceedings of the American Academy of Arts and Sciences, 80). No. 1 (July 1951), 100-112. Reprinted in The Structure of Language). edited by Jerry A. Fodor and Jerrold Katz, Prentice-Hall 1964

Church, Alonzo (1951b). A formulation of the logic of sense and denotation. In: P. Henle (ed.), Essays in honor of Henry Sheffer). pp. 3-24. New York.

Frege, Gottlob (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und Philosophische Kritik 100:25-50. Translated by H. Feigl under the title ``On Sense and Nominatum'' in H. Feigl and W. Sellars (eds.) Readings in Philosophical Analysis). New York 1949. Translated by M. Black under the title ``On Sense and Reference'' in P. Geach and M. Black, Translations from the Philosophical Writings of Gottlob Frege). Oxford, 1952.

Kaplan, David (1969). Quantifying In, from Words and Objections: Essays on the Work of W.V. Quine). edited by D. Davidson and J. Hintikka, (Dordrecht-Holland: D. Reidel Publishing Co.), pp. 178-214. Reprinted in (Linsky 1971).

Kaplan, David and Montague, Richard (1960). A Paradox Regained, Notre Dame Journal of Formal Logic 1:79-90. Reprinted in (Montague 1974).

Linsky, Leonard, ed.(1971) Reference and Modality). Oxford Readings in Philosophy, Oxford University Press.

McCarthy, J. (1963). Towards a Mathematical Science of Computation, in Proceedings of IFIP Congress 1962). North-Holland Publishing Co., Amsterdam.

McCarthy, J. and Hayes, P.J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4). pp. 463-502 (eds Meltzer, B. and Michie, D.). Edinburgh: Edinburgh University Press. (Reprinted in B. L. Webber and N. J. Nilsson (eds.), Readings in Artificial Intelligence, Tioga, 1981, pp. 431-450; also in M. J. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987, pp. 26-45; also in this volume, pp. 000-000.)

McCarthy, John (1979): ``Ascribing Mental Qualities to Machines'' in Philosophical Perspectives in Artificial Intelligence, Ringle, Martin (ed.), Harvester Press, July 1979. Reprinted in (McCarthy 1990).

McCarthy, John (1990): Formalizing Common Sense, Ablex, Norwood, New Jersey

Montague, Richard (1963). Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability, Acta Philosophica Fennica 16:153-167. Reprinted in (Montague 1974).

Montague, Richard (1974). Formal Philosophy). Yale University Press

Morgan, Charles G. (1976). Methods for Automated Theorem Proving in Nonclassical Logics, IEEE Transactions on Computers). vol. C-25, No. 8, August 1976

Quine, W.V.O. (1956). Quantifiers and Propositional Attitudes, Journal of Philosophy). 53. Reprinted in (Linsky 1971).

Quine, W.V.O. (1961). From a Logical Point of View). Harper and Row.

Yap, Chee K. (1977). A Semantical Analysis of Intensional Logics). Research Report, IBM Thomas J. Watson Research Center, Yorktown Heights, New York. RC 6893 (#29538).

next up previous
Next: About this document Up: FIRST ORDER THEORIES OF Previous: Remarks and Acknowledgements

John McCarthy
Tue May 14 16:07:43 PDT 1996