论文部分

Carnap, R., “The logicist foundations of mathematics”, in P. Benacerraf and H. Putnam (eds.), Philosophy of mathematics: Selected readings, Cambridge University Press, 1983.

Cantor, G. “Foundations of a general theory of manifolds: a mathematico-philosophical investigation into the theory of the infinite”, in W. Ewald (ed.), From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Volume I, II. Clarendon Press, Oxford.

Davidson, D. “Truth and Meaning”, in Martinich (ed.) The Philosophy of language, Oxford University Press, 2001.

Davidson, D. “The Logical Form of Action Sentences”, in Davidson, D. Inquiries into truth and interpretation,Oxford University Press, 2001.

Dedekind, J. W. R., “Was sind und was sollen die Zahlen?”, English translation in W. Ewald (ed.), From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Volume I, II. Clarendon Press, Oxford.

de Rijke，M. A Lindstr?m theorem for modal logic. In Modal Logic and Process Algebra. A Bisimulation Perspective., volume 53 of CSLI Lecture Notes, 217–230, edited by A. Ponse, M. de Rijke, and Y. Venema, Stanford University, CSLI Publications, 1995.

Frege, G. “Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought”, in J. van Heijenoort (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

Frege, G. “On the Scientific Justification of a Conceptual Notation”, inArthur Sullivan, Logicism and the Philosophy of Language: Selections from Frege and Russell. Broadview Press, 2003.

Frege, G. “On Sense and Reference”, inArthur Sullivan, Logicism and the Philosophy of Language: Selections from Frege and Russell. Broadview Press, 2003.

G?del, K. “The completeness of the axioms of the functional calculus of logic”, in J. van Heijenoort (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

G?del, K. “On formally undecidable propositions of Principia Mathematica and related systems I”, in J. van Heijenoort (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

Heyting, A. “The intuitionist foundations of mathematics”, in P. Benacerraf and H. Putnam (eds.), Philosophy of mathematics: Selected readings, Cambridge University Press, 1983.

Hilbert, D. “On the infinite”, in J. van Heijenoort (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

Kripke, S. “Semantical considerations on modal logic”, in L. Linsky (ed.), Reference and Modality, Oxford University Press, 1971.

Kripke, S. “Naming and Necessity”, in Martinich (ed.) The Philosophy of language, Oxford University Press, 2001.

Kripke, S. “Identity and Necessity”, in Milton K. Munitz(ed.), Identity and

Individuation, New YorkUniversity Press ,1971.

Quine, W. V. “Three Grades of Modal Involvement”, in The Ways of Paradox and Other Essays, HarvardUniversity Press, 1976.

Quine, W. V.“Quantifiers and propositional Attitudes”, in The Ways of Paradox and Other Essays, Harvard University Press, 1976.

Quine, W. V. “On What There Is”.Review of Metaphysics (September 1948), 2(5): 21-38 (reprinted in W. V. Quine's From a Logical Point of View, Harvard University Press, 1953.)

Quine, W. V. “The problem of meaning in linguistics”.in W. V. Quine, From a Logical Point of View, Harvard University Press, 1953.

Quine, W. V. “Notes on the Theory of Reference”.in W. V. Quine, From a Logical Point of View, Harvard University Press, 1953.

Quine, W. V. “Reference and Modality”.in W. V. Quine, From a Logical Point of View, Harvard University Press, 1953.

Quine, W. V.“Two Dogmas of Empiricism”,in Martinich (ed.) The Philosophy of language, Oxford University Press, 2001.

Russell, B. “On denoting”, Mind, New Series, Vol. 14, No. 56 (Oct., 1905), pp. 479-493. inB. Russell, Logic and Knowledge, Essays 1901-1950, edited by R. C. Marsh, Allen and Unwin, London. http://www.lawrence.edu/fast/ryckmant/On%20Denoting.pdf

Russell, B. “Mathematical logic as based on the theory of types”, in J. van Heijenoort (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

Russell, B. “Knowledge by Acquaintance and Knowledge by Description”, inArthur Sullivan, Logicism and the Philosophy of Language: Selections from Frege and Russell. Broadview Press, 2003.

Strawson, P. F. “Particular and General”.Martinich and Sosa(eds.), Analytic Philosophy: An Anthology. Blackwell,2001.

Tarski, A. “The concept of truth in formalized languages”. In Logic, Semantics, and Metamathematics, Hackett, Indianapolis, 2nd edition, 1983.

Tarski, A. “On the concept of logical consequence”. In Logic, Semantics, and Metamathematics, Hackett, Indianapolis, 2nd edition, 1983.

Turing, A. “On Computable Numbers, with an Application to the Entscheidungsproblem,” Proc. London Math. Soc. 42, 230-265 and 43, 544-546 (1936);http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf

Turing, A. “Computing machinery and intelligence”. Mind, 59(1950), 433-460. http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/e-library/sources/t_article.pdf

Von Neuman, J. “The formalist foundations of mathematics”, in P. Benacerraf and H. Putnam (eds.), Philosophy of mathematics: Selected readings, Cambridge University Press, 1983.

van Benthem，J. Correspondence theory. In Handbook of Philosophical Logic, volume 3 pages325–408, edited by Gabbay and Guenthner,Reidel, Dordrecht, 2001.

Zermelo, E. “Investigations in the foundations of set theory I”, in J. van Heijenoort (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

达米特：什么是意义理论，收录于陈波、韩林合主编《逻辑与语言：分析哲学经典文选》第578－623页，东方出版社2005年7月版。

刘易斯：论可能世界，收录于陈波、韩林合主编《逻辑与语言：分析哲学经典文选》第624－672页，东方出版社2005年7月版。

Blackburn, P. et al. Modal Logic. CambridgeUniversity Press, 2001.

Ebbinghaus, H.D.et al. Mathematical Logic（2nd.）. Springer-Verlag, 1994.

Goldman,Alvin I.(ed.) Readings in Philosophy and Cognitive Science. MIT Press,1993.

Heijenoort, J. van. (ed.), From Frege to G?del, A Source Book in Mathematical Logic, 1879-1931. HarvardUniversity Press, 1967.

Soames, S.Philosophical analysis in the twentieth century. PrincetonUniversity Press,2003.

Murawski,R.Recursive Functions and Metamathematics: Problems of Completeness and Decidability, G?del’s Theorems. Kluwer Academic, 1999.

Shapiro,S.(ed.) The Oxford Handbook of Philosophy of Mathematics and Logic. OxfordUniversity Press,2005.

Wittgenstein, Ludwig.Tractatus logico-philosophicus .China Social Sciences Pub. House,1999.

涅尔：《逻辑学的发展》，张家龙译，商务印书馆，1985.