Charles Dacre Parsons
Yüklə 77,5 Kb.
|
|
3/2016 Charles Dacre Parsons Born April 13, 1933, Cambridge, Mass. Married 1968. 2 children, born 1969 and 1971. Education 1950-54 Harvard College. A. B. 1954 summa cum laude (mathematics) 1954-55 King's College, Cambridge (philosophy) 1955-61 Harvard University (Graduate School, philosophy) A. M. 1956, Ph. D. 1961 Positions held 1961-62 Assistant Professor of Philosophy, Cornell University 1962-65 Assistant Professor of Philosophy, Harvard University 1965-69 Associate Professor of Philosophy, Columbia University 1969-89 Professor of Philosophy, Columbia University 1989-91 Professor of Philosophy, Harvard University
1985-89
Professional activities Editor, The Journal of Philosophy, 1966-90; Consulting Editor, 1990- Editor, The Bulletin of Symbolic Logic, 1994-98 Editorial Board, Journal of Philosophical Logic, 1978-94 Consulting Editor, The Journal of Symbolic Logic, 1980-86 Editorial Board, Philosophia Mathematica, 1992- Editorial Board for the Collected Works of Kurt Gödel, 1987-2003 (for volumes III, IV, and V) Board of Syndics, Harvard University Press, 1991-94, 1995-96
Secretary, 1974-76 Vice Chairman, 1976-78
Chairman, 1976-78 Institut International de Philosophie Chair, Comité de cooptation, 2009-12 Vice President, 2012-2015 (one of two) Member of American Association of University Professors, American Philosophical Association, Association for Symbolic Logic, Canadian Society for History and Philosophy of Mathematics, North American Kant Society, Philosophy of Mathematics Association Fellowships and honors Henry Fellow, 1954-55 Junior Fellow, Society of Fellows, Harvard University, 1958-61 George Santayana Fellow, Harvard University, 1964-65 Fellow, National Endowment for the Humanities, 1979-80 Visiting Fellow, All Souls College, Oxford, 1979-80 Guggenheim Fellow, 1986-87 Fellow, Netherlands Institute for Advanced Study, 1987 Fellow, Center for Advanced Study in the Behavioral Sciences, 1994-95 Fellow, American Academy of Arts and Sciences, 1982- Membre titulaire, Institut International de Philosophie, 2001-13, membre emérite, 2013- Foreign Member, Norwegian Academy of Science and Letters, 2002-
Italian ed. edited by Edoardo Ballo, Gabriele Lolli, and Corrado Mangione. Torino: Bollati Boringhieri, 2006. 6. Kurt Gödel, Collected Works, Volume IV: Correspondence A-G, and Volume V: Correspondence H-Z. Edited, with Solomon Feferman and John W. Dawson, Jr. (editors-in-chief), Warren Goldfarb, and Wilfried Sieg. Oxford: Clarendon Press, 2003. Italian ed. edited by Edoardo Ballo, Gabriele Lolli, Corrado Mangione, and Paolo Pagli. . Torino: Bollati Boringhieri, 2009. 7. Mathematical Thought and its Objects. Cambridge University Press, 2008. Paperback edition, 2009. Hereafter MTO. 8. Kurt Gödel: Essays for his Centennial. Edited, with Solomon Feferman and Stephen G. Simpson. Lecture Notes in Logic 33. Association for Symbolic Logic and Cambridge University Press, 2010. 9. From Kant to Husserl. Selected Essays. Cambridge, Mass.: Harvard University Press, 2012. Hereafter FKH. 10. Hao Wang. Logician and Philosopher. Edited, with Montgomery Link. Texts in Philosophy, volume 16. London: College Publications, 2011. 11. Philosophy of Mathematics in the Twentieth Century. Selected Essays. Cambridge, Mass.: Harvard University Press, 2014. Hereafter PMTC. B. Articles (including review articles and introductions) 1. (With H. R. Kohl.) Self-reference, truth, and provability. Mind N. S. 69 (1960), 69-73. 2. Inhelder and Piaget's The Growth of Logical Thinking: II. A logician's viewpoint. British Journal of Psychology 51 (1960), 75-84. 3. The -consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung 6 (1962), 30-34. 4. Infinity and Kant's conception of the "possibility of experience." Philosophical Review 73 (1964), 182-197. Reprinted in R. P. Wolff (ed.), Kant: A Collection of Critical Essays. Garden City, N. Y.: Doubleday, 1967. Reprinted in MIP. Reprinted with Postscript in A. W. Moore (ed.), Infinity. The International Research Library of Philosophy, volume 1. Aldershot: Dartmouth, 1993. Reprinted in Patricia Kitcher (ed.), Kant’s Critique of Pure Reason: Critical Essays. Rowman and Littlefield, 1999. 5. A note on Quine's treatment of transfinite recursion. The Journal of Symbolic Logic 29 (1964), 179-182. 6. Frege's theory of number. In Max Black (ed.), Philosophy in America, pp. 180-203. London: Allen and Unwin, and Ithaca: Cornell University Press, 1965. Reprinted with Postscript in MIP. Reprinted in Hans Sluga (ed.), Philosophy of Frege, volume 2. New York: Garland Publishing, 1993. Reprinted with the Postscript in William Demopoulos (ed.), Frege's Philosophy of Mathematics, pp. 182-210. Cambridge, Mass.: Harvard University Press, 1995. 7. Brouwer, Luitzen Egbertus Jan. In Paul Edwards (ed.), Encyclopedia of Philosophy, vol. 1, pp. 399-401. New York: Macmillan, 1967. In 2d ed. (Donald M. Borchert, General ed.), vol. 1, pp. 700-702. (With addendum by Mark van Atten, pp. 702-703.) Detroit: Macmillan Reference USA, 2006. 8. Mathematics, Foundations of. In Encyclopedia of Philosophy, vol. 5, pp. 188-213. In 2d ed. with some corrections and Supplement (B79), vol. 6, pp. 20-57. 9. Introductory note to L. E. J. Brouwer, "On domains of definition of functions." In Jean van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, pp. 446-453. Cambridge, Mass.: Harvard University Press, 1967. 10. A propositional calculus intermediate between the minimal calculus and the classical. Notre Dame Journal of Formal Logic 7 (1966), 353-358. (Published 1968.) See also Correction, ibid. 10 (1969), 336. 11. Kant's philosophy of arithmetic. In Sidney Morgenbesser, Patrick Suppes, and Morton White (eds.), Philosophy, Science, and Method: Essays in Honor of Ernest Nagel, pp. 568-594. New York: St. Martin's Press, 1969. Reprinted in Ralph C. S. Walker (ed.), Kant on Pure Reason. (Oxford Readings in Philosophy.) Oxford University Press, 1982. Reprinted with Postscript in MIP. Reprinted with the Postscript in Carl J. Posy (ed.), Kant's Philosophy of Mathematics. Dordrecht: Kluwer, 1992. 12. Hierarchies of primitive recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 14 (1968), 357-376. 13. On a number-theoretic choice schema and its relation to induction. In John Myhill, Akiko Kino, and Richard E. Vesley (eds.), Intuitionism and Proof Theory (Proceedings of the summer conference, Buffalo 1968), pp. 549-563. Amsterdam: North-Holland, 1970. 14. Axiomatization of Åqvist's CS-logics. Theoria 36 (1970), 43-64. 15. Ontology and mathematics. Philosophical Review 80 (1971), 151-176. Reprinted with Postscript in MIP. Reprinted with the Postscript in Dagfinn Føllesdal (ed.), The Philosophy of Quine, vol. 5. New York: Garland Publishing, 2001. 16. A plea for substitutional quantification. The Journal of Philosophy 68 (1971), 231-237. Reprinted in MIP. Reprinted in Dale Jacquette (ed.), Philosophy of Logic: An Anthology. Oxford: Blackwell, 2001. 17. On n -quantifier induction. The Journal of Symbolic Logic 37 (1972), 466-482. 18. Introduction. Philosophy and Political Action (A1), pp. 3-12. 19. Informal axiomatization, formalization, and the concept of truth. Synthese 27 (1974), 27-47. Also Bolletino della Unione Matematica Italiana (4) 9, Suppl. fasc. 2 (1974), 87-107. Reprinted in MIP. 20. Sets and classes. Noûs 8 (1974), 1-12. Reprinted in MIP. 21. On translating logic. Synthese 27 (1974), 405-411. Reprinted in Dagfinn Føllesdal (ed.), The Philosophy of Quine, vol. 3. New York: Garland Publishing, 2001. 22. The liar paradox. Journal of Philosophical Logic 3 (1974), 381-412. Reprinted with Postscript in MIP. Reprinted with abbreviated Postscript in Robert L. Martin (ed.), Recent Essays on Truth and the Liar Paradox. Oxford: Clarendon Press, 1984. 23. Was ist eine mögliche Welt? Kant-Studien 65 (1974), 378-396. 24. Some remarks on Frege's conception of extension. In Matthias Schirn (ed.), Studien zu Frege I: Logik und Philosophie der Mathematik, pp. 265-277. Stuttgart: Fromann, 1976. Reprinted in Hans Sluga (ed.), Philosophy of Frege, volume 2. New York: Garland Publishing, 1993. Reprinted with Postscript in FKH. 25. Quine on the philosophy of mathematics. In MIP, pp. 176-205. Also in Lewis E. Hahn and Paul Arthur Schilpp (eds.), The Philosophy of W. V. Quine, pp. 369-395. The Library of Living Philosophers, volume 18. La Salle, Ill.: Open Court, 1986, 2d ed. 1998. (Reply by Quine, ibid., pp. 395-403.) 26. What is the iterative conception of set? In Robert E. Butts and Jaakko Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory, pp. 335-367. Dordrecht: Reidel, 1977. Reprinted in MIP. Reprinted in Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings, 2d ed. Cambridge University Press, 1983. 27. Realism and underdetermination: Comment on Burian. In Peter Bieri, Rolf-Peter Horstmann, and Lorenz Krüger (eds.), Transcendental Arguments and Science, pp. 235-243. Dordrecht: Reidel, 1979. 28. Paradox (in mathematics); Proof, mathematical. In The Academic American Encyclopedia, vol. 15, pp. 75-76, 568. Princeton, N. J.: Arêté Publishing Company, 1980. 29. Mathematical intuition. Proceedings of the Aristotelian Society 80 (1979-80), 145-168. Reprinted in Palle Yourgrau (ed.), Demonstratives. (Oxford Readings in Philosophy.) Oxford University Press, 1990. Reprinted in Michael Resnik (ed.), Mathematical Objects and Mathematical Knowledge. The International Research Library of Philosophy, volume 13. Aldershot: Dartmouth, 1995. Reprinted in W. D. Hart (ed.), The Philosophy of Mathematics. (Oxford Readings in Philosophy.) Oxford University Press, 1996. Reprinted in Dale Jacquette (ed.), Philosophy of Mathematics: An Anthology. Oxford: Blackwell, 2002. Japanese translation in Takashi Iida (ed.), Sugaku no Tetsugaku: Gödel Igo. Tokyo 1996. Hungarian translation in Csaba Ferenc (ed.), A matematika filozófiája a 21. század küszöben. Budapest: Osiris Kiadó, 2003. 30. Intensional logic in extensional language. The Journal of Symbolic Logic 47 (1982), 289-328. 31. Review Article: Gottlob Frege, Wissenschaftlicher Briefwechsel. Synthese 52 (1982), 325-343. Reprinted as "Frege's correspondence" with Postscript in FKH. 32. Substitutional quantification and mathematics. Review of Dale Gottlieb, Ontological Economy. British Journal for the Philosophy of Science 33 (1982), 409-421. 33. Objects and logic. The Monist 65 (1982), 491-516. Hebrew translation, Iyyun 31 (1982), 127-152. Incorporated, with revisions, into chapter 1 of MTO. 34. Sets and modality. In MIP, pp. 298-341. 35. The impredicativity of induction. In How Many Questions? (A2), pp. 132-153. Revised and expanded version in Michael Detlefsen (ed.), Proof, Logic, and Formalization, pp. 139-161. London: Routledge, 1992. Largely incorporated into chapter 8 of MTO.
Reprinted as "Gödel's 'Russell's mathematical logic'" with Postscript in PMTC. Italian translation by Corrado Mangione in Gödel, Opere, vol. II, pp. 107-123. Italian ed. edited by Edoardo Ballo, Gabriele Lolli, and Corrado Mangione,. Torino: Bollati Boringhieri, 2002.
Italian translation by Edoardo Ballo in Gödel, Opere, vol. II, pp. 146-152. 39. Arithmetic and the categories. Topoi 3 (1984), 109-121. Reprinted in Carl J. Posy (ed.), Kant's Philosophy of Mathematics. Dordrecht: Kluwer, 1992. Reprinted in FKH. 40. Intuition in constructive mathematics. In Jeremy Butterfield (ed.), Language, Mind, and Logic, pp. 211-229. Cambridge University Press, 1986. 41. Developing arithmetic in set theory without Infinity: Some historical remarks. History and Philosophy of Logic 8 (1987), 201-213. 42. The structuralist view of mathematical objects. Synthese 84 (1990), 303-346. Reprinted in Michael Resnik (ed.), Mathematical Objects and Mathematical Knowledge. The International Research Library of Philosophy, volume 13. Aldershot: Dartmouth, 1995. Reprinted in W. D. Hart (ed.), The Philosophy of Mathematics. (Oxford Readings in Philosophy.) Oxford University Press, 1996. Largely incorporated, with revisions, into chapters 2 and 3 of MTO. Partial Polish translation by Roman Murawski in Murawski (ed.), Wspólczesna filozofia matematyki, pp. 359-376. Warszawa: Wydawnictwo Naukowe PWN, 2002. 43. The uniqueness of the natural numbers. Iyyun 39 (1990), 13-44. (Proceedings of a conference on Philosophy of Mathematics, Jerusalem, June 1987.) Partly incorporated into chapter 8 of MTO. 44. Genetic explanation in The Roots of Reference. In Robert B. Barrett and Roger F. Gibson (eds.), Perspectives on Quine, pp. 273-290. Oxford: Blackwell, 1990. (Comment by Quine, ibid., pp. 291-293.) Reprinted in PMTC. 45. The Transcendental Aesthetic. In Paul Guyer (ed.), The Cambridge Companion to Kant, pp. 62-100. Cambridge University Press, 1992. Reprinted in FKH. 46. Quine and Gödel on analyticity. In Paolo Leonardi and Marco Santambrogio (eds.), On Quine: New Essays, pp. 297-313. (Proceedings of the conference at San Marino, May 1990.) Cambridge University Press, 1995. Reprinted with Postscript in PMTC. French translation in Ali Benmakhlouf (ed.), Sémantique et épistémologie. Casablanca: Le Fennec, 2004. 47. Intuition and number. In Alexander George (ed.), Mathematics and Mind, pp. 141-157. Oxford University Press, 1994. Slovak translation, Filozofia 48, 4 (1993), 242-255. Partly incorporated into chapter 6 of MTO. 48. On some difficulties concerning intuition and intuitive knowledge. Mind 102 (1993), 233-245. Partly incorporated into chapters 5 and 7 of MTO. 49. (With Wilfried Sieg.) Introductory note to *1938a ["Vortrag bei Zilsel"]. In (A5), pp. 62-85. Reprinted as "Gödel at Zilsel's," in Sieg, Hilbert's Programs and Beyond. New York: Oxford University Press, 2013. Italian translation by Edoardo Ballo in Italian ed. of (A5), pp. 55-78. 50. Structuralism and the concept of set. In Walter Sinnott-Armstrong (ed. in collaboration with Nicholas Asher and Diana Raffman), Modality, Morality, and Belief: Essays in honor of Ruth Barcan Marcus, pp. 74-92. Cambridge University Press, 1995. Reprinted in Evandro Agazzi and Gyorgy Darvas (eds.), Philosophy of Mathematics Today, pp. 171-194. Dordrecht: Kluwer, 1997. Incorporated, with revisions and additions, into chapter 4 of MTO. 51. Platonism and mathematical intuition in Kurt Gödel's thought. The Bulletin of Symbolic Logic 1 (1995), 44-74. Reprinted in (A8), pp. 326-355. Reprinted with Postscript in PMTC. 52. Finitism and intuitive knowledge. In Matthias Schirn (ed.), The Philosophy of Mathematics Today, pp. 249-270. Oxford: Clarendon Press, 1998. Largely incorporated into chapter 7 of MTO. 53. Platonism, mathematical. In Donald M. Borchert (editor-in-chief), The Encyclopedia of Philosophy Supplement, pp. 449-450. New York: Macmillan Reference USA, 1996. 54. A distinction in platonism. In Under Tall Trees: A Tribute to Dirk van de Kaa, pp. 9-10. Wassenaar: Netherlands Institute for Advanced Study in the Humanities and Social Sciences, 1995. 55. What can we do "in principle"? In Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, and Johan van Benthem (eds.), Logic and Scientific Methods, pp. 335-354. Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995. Dordrecht: Kluwer, 1997. 56. Wright on abstraction and set theory. In Richard G. Heck, Jr. (ed.), Language, Thought, and Logic: Essays in honour of Michael Dummett, pp. 263-271. Oxford University Press, 1997. 57. In memoriam: Hao Wang, 1921-1995. The Bulletin of Symbolic Logic 2 (1996), 108-111. 58. Hao Wang as philosopher. In Petr Hájek (ed.), Gödel '96: Logical Foundations of Mathematics, Computer Science, and Physics — Kurt Gödel's Legacy, pp. 64-80. Lecture Notes in Logic 6. Springer-Verlag, 1996. Reprinted Urbana, Ill.: Association for Symbolic Logic, 2001. Revised and expanded version, “Hao Wang as philosopher and interpreter of Gödel.” Philosophia Mathematica (3) 6 (1998), 3-24. The latter version reprinted in PMTC. 59. (With Sidney Morgenbesser.) Hao Wang, 1921-1995. Proceedings and Addresses of the American Philosophical Association 70 (1996-97), 195-197. (In part reprinted from B57.) 60. (With Marie Grossi, Montgomery Link, and Katalin Makkai.) A bibliography of Hao Wang. Philosophia Mathematica (3) 6 (1998), 25-38. Reprinted, revised and updated, in A10. 61. Husserl and the linguistic turn. In Juliet Floyd and Sanford Shieh (eds.), Future Pasts: The Analytic Tradition in Twentieth-Century Philosophy, pp. 123-141. Oxford University Press, 2001. Reprinted in FKH. 62. Intuition and the abstract. In Marcelo Stamm (ed.), Philosophie in synthetischer Absicht, pp. 155-187. Stuttgart: Klett-Cotta, 1998. (Extracted from an earlier version of chapter 5 of MTO.) 63. Reason and intuition. Synthese 125 (2000), 299-315. Largely incorporated into chapter 9 of MTO. 64. George Boolos. Notre Dame Journal of Formal Logic 40 (1999), 3-5. (Published February 2001.) 65. Realism and the debate on impredicativity, 1917-1944. In Wilfried Sieg, Richard Sommer, and Carolyn Talcott (eds.), Reflections on the Foundations of Mathematics: Essays in honor of Solomon Feferman, pp. 372-389. Lecture Notes in Logic 15. Urbana, Ill.: Association for Symbolic Logic, and Natick: A. K. Peters, 2002. Reprinted with Postscript in PMTC. 66. Introductory notes to correspondences with Heinrich Behmann, Alonzo Church, Gotthard Günther, Arend Heyting, Ernest Nagel (with Wilfried Sieg), Walter Pitts (with Øystein Linnebo), Wolfgang Rautenberg, and Hao Wang, as well as to Appendix B. In (A6). Italian translation in Italian ed. of (A6). Translations by Eduardo Ballo (Heyting, Nagel, Pitts, Rautenberg), Gabriele Lolli (Church, Günther), Corrado Mangione (Behmann, Appendix B), and Paolo Pagli (Wang). 67. Willard van Orman Quine, 1908-2000. Proceedings and Addresses of the American Philosophical Association 75, 2 (November 2001), 121-124. 68. (With Dagfinn Føllesdal.) In memoriam: Willard van Orman Quine, 1908-2000. The Bulletin of Symbolic Logic 8 (2002), 105-110. 69. Communication and the uniqueness of the natural numbers. In Proceedings of the First Seminar on Philosophy of Mathematics in Iran, pp. 1-30. Faculty of Mathematical Sciences, Shahid Beheshti University, Tehran, 2003. Largely incorporated into chapter 8 of MTO. 70. Hao Wang and mathematical logic. Newsletter on the Status of Asian / Asian American Philosophers and Philosophies (American Philosophical Association) 01, 2 (spring 2002), 28-30. Reprinted as "Hao Wang" in A10. 71. W. V. Quine: A student’s-eye view. Harvard Review of Philosophy 10 (2002), 6-10. (Correction on masthead page of vol. 11 (2003).) 72. Brentano on judgment and truth. In Dale Jacquette (ed.), The Cambridge Companion to Brentano, pp. 168-196. Cambridge University Press, 2004. Reprinted in FKH. 73. Putnam on realism and “empiricism” in mathematics. In Randall E. Auxier, Douglas R. Anderson, and Lewis E. Hahn (eds.), The Philosophy of Hilary Putnam, pp. 113-133. The Library of Living Philosophers, volume 34. Chicago: Open Court, 2015. (Reply by Putnam, pp. 134-143.) 74. Structuralism and metaphysics. Philosophical Quarterly 54 (2004), 56-77. Passages incorporated into chapter 3 of MTO. 75. Some remarks on Talcott Parsons's family. The American Sociologist 35, 3 (Fall 2004), 4-22. (Published June 2005.) Reprinted in Victor Lidz (ed.), Talcott Parsons. The International Library of Essays in Classical Sociology. Farnham, Surrey: Ashgate Publishing, 2011. 76. Introductions to four papers by Paul Bernays. In Bernays, Essays on the Philosophy of Mathematics (Wilfried Sieg, W. W. Tait, Steve Awodey, Bernd Buldt, and Dirk Schlimm, eds., in collaboration with others). Chicago and La Salle, Ill.: Open Court, forthcoming. 77. The problem of absolute universality. In Agustín Rayo and Gabriel Uzquiano (eds.), Absolute Generality, pp. 203-219. Oxford: Clarendon Press, 2006. 78. Gödel, Kurt Friedrich (1906-1978). In John Shook (General ed.), Dictionary of Modern American Philosophers, vol. 2, pp. 940-946. Bristol: Thoemmes Press, 2005. Reprinted in edited form as "Kurt Gödel" in PMTC. 79. Supplement 2005 to "Mathematics, Foundations of" (B8). In Donald M. Borchert (General ed.), The Encyclopedia of Philosophy, 2d ed., vol. 6, pp. 47-53, 55-57. Detroit: Macmillan Reference USA, 2006. 80. Two studies in the reception of Kant's philosophy of arithmetic. In Michael Dickson and Mary Domski (eds.), Discourse on a New Method: Reinvigorating the Marriage of History and Philosophy of Science, pp. 135-153. Chicago and La Salle, Ill.: Open Court, 2010. Reprinted in FKH. 81, Paul Bernays' later philosophy of mathematics. In Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, and John R. Steel (eds.), Logic Colloquium 2005, pp. 129-150. Lecture Notes in Logic 28. Association for Symbolic Logic, and Cambridge University Press, 2008. Reprinted in PMTC. 82. Some consequences of the entanglement of logic and mathematics. In Michael Frauchiger (ed.), Reference, Rationality, and Phenomenology: Themes from Føllesdal, pp. 153-178. Lauener Library of Analytical Philosophy 2. Frankfurt: Ontos Verlag, 2013. (Comment by Føllesdal, pp. 303-306.) 83. Responses in Vincent F. Hendricks and Hannes Leitgeb (eds.), Philosophy of Mathematics: 5 Questions, no. 19, pp. 205-210. Automatic Press/VIP, 2008. 84. Putnam on existence and ontology. In Maria Baghramian (ed.), Reading Putnam, pp. 182-201. (Proceedings of the conference Putnam at 80, University College Dublin, March 2007.) London: Routledge, 2013. (Reply by Putnam, pp. 202-204.) Reprinted in PMTC. 85. Review Essay: John P. Burgess, Fixing Frege. The Journal of Philosophy 106 (2009), 404-417. 86. Critical Study: William Tait, The Provenance of Pure Reason. Philosophia Mathematica (3) 17 (2009), 220-247. Reprinted as "William Tait's philosophy of mathematics" in PMTC. 87. Introductory note to 1909a and 1909b [two papers on finite sets]. In Ernst Zermelo, Collected Works/Gesammelte Werke, ed. Heinz-Dieter Ebbinghaus, Craig G. Fraser, and Akihiro Kanamori, volume I, Set Theory, Miscellanea, ed. Ebbinghaus and Kanamori, pp. 230-237. Springer-Verlag, 2010. 88. Quine's nominalism. American Philosophical Quarterly 48 (2011), 213-228. Reprinted in PMTC. 89. Gödel and philosophical idealism. Philosophia Mathematica (3) 18 (2010), 166-192. 90. Postscript to Part I (essays on Kant). In FKH, pp. 100-114. 91. On philosophy of mathematics: An interview with Charles Parsons. Harvard Review of Philosophy 17 (2010), 137-150.1 92. Prefatory note to Rosemarie Rheinwald, "Menschen, Maschinen, und Gödels Theorem." In Rheinwald, Logik, Kausalität, Freiheit — Gesammelte Aufsätze/Logic, Causality, Freedom — Collected Papers, Oliver R. Scholz and Jan G. Michel, eds., pp. 249-251. Paderborn, Mentis Verlag, 2012. 93. Edition with introduction and notes of Hao Wang, "Sets and concepts, on the basis of discussions with Gödel." In (A10), pp. 79-118. 94. The Kantian legacy in twentieth century foundations of mathematics. In PMTC, pp. 11-39. 95. Analyticity for realists. In Juliette Kennedy (ed.), Interpreting Gödel: Critical Essays, pp. 131-150. Cambridge University Press, 2014. 96 Brief remarks on Putnam on realism in mathematics. In Alan Berger (ed.), Philosophy in the Age of Science: Themes from the Philosophy of Hilary Putnam. Oxford University Press, forthcoming. 97. Infinity and a critical view of logic. Inquiry 58 (2015), 1-19. 98. Theories of truth and the value of truth. Diotima 44 (2016), 82-100.. 99. Some objections to structuralism. Al-Mukhatabat no. 11 (July 2014), 69-86. 100. Evidence and the hierarchy of mathematical theories. In Peter Koellner (ed.), Exploring the Frontiers of Incompleteness. Forthcoming. 101. Concepts versus objects. In Erich Reck (ed.), Logic, Philosophy of Mathematics, and their History: Essays in honor of W W. Tait.. London: College Publications, forthcoming. 102. Intuition revisited. In Carl Posy and Ofra Rechter (eds.), Kant’s Philosophy of Mathematics: Its Nature, Roots, and Fruits. Cambridge University Press, forthcoming. 103. Leigh Steinhardt Cauman, 1917-2015. Proceedings and Addresses of the American Philosophical Association 89 (2015), 187-188. 104. Feferman's skepticism about set theory. In Wilfried Sieg and Gerhard Jäger (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Springer, forthcoming. C. Abstracts 1. Elimination of a restricted infinite induction. The Journal of Symbolic Logic 23 (1958), 106. 2. Reduction of inductions to quantifier-free induction. Notices of the American Mathematical Society 13 (1966), 740. 3. Ordinal recursion in partial systems of number theory. Ibid., 857-858. 4. Proof-theoretic analysis of restricted induction schemata. The Journal of Symbolic Logic 36 (1971), 361. 5. On a number-theoretic choice schema II. Ibid., 587. 6. Proofs of well-foundedness by bar recursion of type 0. Ibid., 706-707. 7. Gödel-Spector interpretation of predicative analysis and related systems. Ibid., 707. 8. Transfinite induction in subsystems of number theory. Ibid. 38 (1973), 544-545. 9. On modal quantification theory with contingent domains. Ibid. 40 (1975), 302. 10. Much ado about substitutional quantification. The Journal of Philosophy 73 (1976), 651-653. 11. Modal set theories. The Journal of Symbolic Logic 46 (1981), 683-684. 12. The logic of sense and denotation and Montague's intensional logic. Ibid., 684-685. 13. The logic of sense and denotation and Montague's intensional logic. Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover 1979. Abstracts, section 5, pp. 140-142. 14. The lambda-calculus and intensional logics. The Journal of Symbolic Logic 48 (1983), 516. 15. Intuition and the concept of number. Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg 1983. Abstracts, section 1, pp. 31-33. 16. What can we do "in principle"? Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence 1995. Abstracts, section 10. 17. Two conceptions of intuition. The Bulletin of Symbolic Logic 5 (1999), 397. 18. Strict predicativity. 11th International Congress of Logic, Methodology, and Philosophy of Science, Cracow 1999. Volume of Abstracts, p. 278. (Section 9.) 19. Paul Bernays' later philosophy of mathematics. The Bulletin of Symbolic Logic 12 (2006), 314-315. 20. Some objections to structuralism. The Bulletin of Symbolic Logic 15 (2009), 454. 21. Structuralism and its discontents. Abstracts Presented to the American Mathematical Society 33 (2012). No. 1077-AJ-1755, p. 386. D. Book Reviews 1. Haskell B. Curry and Robert Feys, Combinatory Logic, vol. I. Philosophical Review 68 (1959), 548-550. 2. E. W. Beth, The Foundations of Mathematics. Philosophical Review 70 (1961), 553-556. 3. Leonard Nelson, Beiträge zur Philosophie der Logik und Mathematik. The Journal of Philosophy 59 (1962), 242-246. 4. Bella K. Milmed, Kant and Current Philosophical Issues. Philosophical Review 74 (1965), 253-255. 5. Alfred North Whitehead and Bertrand Russell, Principia Mathematica to *56. The Journal of Symbolic Logic 30 (1965), 237-238. 6. José A. Benardete, Infinity. The Journal of Philosophy 65 (1968), 431-437. 7. Jonathan Bennett, Kant's Analytic. Ibid. 68 (1971), 42-51. 8. Harry G. Frankfurt, Demons, Dreamers, and Madmen: The Defense of Reason in Descartes' Meditations. Ibid. 69 (1972), 38-46. 9. Peter Geach and Max Black (eds.), Translations from the Philosophical Writings of Gottlob Frege, 3rd ed. The Journal of Symbolic Logic 46 (1981), 870-871. 10. Philip Kitcher, The Nature of Mathematical Knowledge. Philosophical Review 95 (1986), 129-137. 11. George Bealer, Quality and Concept. International Studies in Philosophy 19, 3 (1987), 67-68. 12. Jean Dieudonné, Mathematics: The Music of Reason. Philosophia Mathematica (3) 4 (1996), 190-195. 13. Michael Dummett, Frege: Philosophy of Mathematics. Philosophical Review 105 (1996), 540-547. (Published August 1997.). 14. John P. Burgess and Gideon Rosen, A Subject with no Object: Strategies for Nominalistic Interpretation of Mathematics. The Journal of Symbolic Logic 64 (1999), 391-394. Farsi translation, Nashr-e Riyazi 11 (2000), 64-66. 15. Eckart Menzler-Trott, Logic's Lost Genius: The Life of Gerhard Gentzen. Isis 100 (2009), 424-425. E. Selected Reviews of Articles 1. Kurt Schütte, Logische Abgrenzung des Transfiniten, in Logik und Logikkalkül: Festschrift für Wilhelm Britzelmayr (Freiburg/München: Alber, 1961), pp. 105-114. The Journal of Symbolic Logic 32 (1967), 284. 2. Kurt Schütte, Predicative Well-Orderings, in J. N. Crossley and M. A. E. Dummett (eds.), Formal Systems and Recursive Functions (Amsterdam, North-Holland, 1965), pp. 280-303; Kurt Schütte, Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik, Archiv für mathematische Logik und Grundlagenforschung 7 (1965), 45-60.
3. J. M. B. Moss, Some B. Russell's sprouts, in Wilfrid Hodges (ed.), Conference in Mathematical Logic, London '70, pp. 211-250. Lecture Notes in Mathematics, 255. Berlin: Springer, 1972. Mathematical Reviews 53 (1977), #90. 4. C. Anthony Anderson, General intensional logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume II, Extensions of Classical Logic, pp. 355-385. Dordrecht: Reidel, 1984. The Journal of Symbolic Logic 55 (1990), 892-894. F. Translations 1. Paul Bernays, “Sur le platonisme dans les mathématiques.” L’enseignement mathématique 34 (1935), 52-69. In Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings. Englewood Cliffs, N. J.: Prentice-Hall, 1964. 2d ed., Cambridge University Press, 1983. Reprinted with some revisions by Gerhard Heinzmann in Bernays, Essays on the Philosophy of Mathematics (see B76). 2. Kurt Gödel, “Vortrag bei Zilsel.” In (A5). 3. Kurt Gödel, Correspondences with Heinrich Behmann, Alonzo Church (one letter), Gotthard Günther (with Thomas Teufel), and Wolfgang Rautenberg (in part with Gregory H. Moore). In (A6). 4. Paul Bernays, “Quelques points de vue concernant le problème de l’évidence” (Synthese 5 (1946), 321-326), and "Kurze Biographie" (in G. H. Müller (ed.), Sets And Classes: On the Work by Paul Bernays (Amsterdam: North-Holland, 1976), pp. xiv-xvi). In Bernays, Essays (see B76).
Quine on truth. Maybe not for publication. 1 Available online at www.harvardphilosophy.com/, in addition to in print. Yüklə 77,5 Kb. Dostları ilə paylaş:
|