1988a, 40 entries for the area "Logic" in the Dizionario Scientifico Tecnico Garzanti, Garzanti, Milano.[20 pp.]
1988b, (with W. Knorr) Diophantus, in Great lives from history, Salem Press, San Diego, California, pp. 632-637.
1989a, The metaphysics of the calculus: a foundational debate in the Paris Academy of Sciences, 1700-1706, in Historia Mathematica 16, pp. 224-248.
1989b, Nuovi risultati di incompletezza per l'aritmetica di Peano. Indicatori e funzioni velocemente crescenti. ("New incompleteness results for Peano arithmetic. Indicators and rapidly growing functions"). I.S.U. Pubblicazioni Università Cattolica, Milano, [35 pp.]
1990, (with E. Vailati) Detleff Clüver: an early opponent of the infinitesimal calculus, Centaurus, vol. 33, pp. 325-344.
1991a, (with E. Vailati) Torricelli's infinitely long solid and its philosophical reception in the XVIIth century, ISIS, 82, pp. 50-70.
1991b, Generalizing classical and effective model theory in theories of operations and classes, Annals of pure and applied logic, 52, 3, pp. 249-308.
1991c, On the status of proofs by contradiction in the seventeenth century, Synthese, 88, pp. 15-41.
1992a, Aristotelian Logic and Euclidean Mathematics: Seventeenth century developments of the "Quaestio de Certitudine Mathematicarum", Studies in History and Philosophy of Science, 23, 2, pp.241-265.
1992b, Descartes's Géométrie and Revolutions in Mathematics, in Revolutions in Mathematics, ed. D. Gillies, Oxford University Press, pp. 83-116.
1996, (Book) Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century, Oxford University Press. [272 pp.]. (Paperback 1999)
1998a, (Book), ed., From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press. [335 pp.]
1998b, Hermann Weyl: predicativity and an intuitionistic excursion, in Mancosu (1998a), pp. 65-85.
1998c, Hilbert and Bernays on Metamathematics, in Mancosu (1998a), pp. 149-88.
1998d, (with W. van Stigt), Intuitionistic Logic, in Mancosu (1998a), pp. 275-285.
1999a, Recent work in the history and philosophy of mathematics from the Renaissance to Berkeley, Metascience, 8, issue 2, pp. 102-124.
1999b, Between Vienna and Berlin: the immediate reception of Gödel’s incompleteness theorems, History and Philosophy of Logic, 20, pp. 33-45.
1999c, Between Russell and Hilbert: Behmann on the foundations of mathematics, The Bulletin of Symbolic Logic, 5, no.3, pp. 303-330.
1999d, Bolzano and Cournot on Mathematical Explanation, Revue d’Histoire des Sciences, 52, pp.429-455.
2000a, On Mathematical Explanation, Growth of Mathematical Knowledge, E. Grosholz and H. Breger eds., Kluwer, pp.103-119
2000b, Four entries (Jakob Bernoulli, Johann Bernoulli, Infinitesimals, Mathematical Infinity) for The Scientific Revolution: An Encyclopedia, W. Applebaum ed., Garland Publishing.
2001, Mathematical Explanation: problems and prospects, Topoi , 20, pp. 97-117.
2002a, On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann, in Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman, edited by W. Sieg, R. Sommer, and C. Talcott, Association for Symbolic Logic, Lecture Notes in Logic (vol. 15), pp. 346-368.
2002b, Phenomenology and Mathematics: Weyl at a crossroads, in Die Philosophie und die Wissenschaften. Zum Werk Oskar Beckers, Hrsg. von J. Mittelstrass und A. Gethmann-Siefert, Fink-Verlag, München, pp.129-148.
2002c, (with T. Ryckman), Mathematics and Phenomenology. The correspondence between Oskar Becker and Hermann Weyl, Philosophia Mathematica, 10, pp. 130-202.
2003a, (with M. Marion), Wittgenstein’s constructivization of Euler’s proof of the infinity of primes, in The Vienna Circle and Logical Empiricism, ed. by Friedrich Stadler, Kluwer, pp. 171-188.
2003b, The Russellian influence on Hilbert and his school, Synthese, 137, pp. 59-101.
2004, (Essay Review), Gödel’s Collected Works, vols. IV and V, Notre Dame Journal of Formal Logic, 45, no.2, pp. 109-125.
2005a, (Book), co-edited with K. Jørgensen and S. Pedersen, Visualization, Explanation and Reasoning Styles in Mathematics, Springer, pp.x+300.
2005b, Visualization in logic and mathematics, in P. Mancosu, K. Jørgensen and S. Pedersen eds., Visualization, Explanation and Reasoning Styles in Mathematics, Springer, pp. 13-30
2005c, (with J. Hafner), The varieties of mathematical explanation, in P. Mancosu, K. Jørgensen and S. Pedersen eds., Visualization, Explanation and Reasoning Styles in Mathematics, Springer, pp. 215-250
2005d, Das Abenteuer der Vernunft: Oskar Becker and Dietrich Mahnke on the phenomenological foundation of the exact sciences, in Die Philosophie und die Mathematik: Oskar Becker in der mathematischen Grundlagendiskussion, ed. Volker Peckhaus, Wilhelm Fink Verlag: München 2005 (Neuzeit & Gegenwart: Philosophie in Wissenschaft und Gesellschaft), pp. 229-243
2005e, (with T. Ryckman), Geometry, Physics and Phenomenology: the correspondence between O. Becker and H. Weyl, in Die Philosophie und die Mathematik: Oskar Becker in der mathematischen Grundlagendiskussion, ed. Volker Peckhaus, Wilhelm Fink Verlag: München 2005 (Neuzeit & Gegenwart: Philosophie in Wissenschaft und Gesellschaft), pp. 153-228
2005f, Harvard 1940-41: Tarski, Carnap and Quine on a finitistic language of mathematics for science, History and Philosophy of Logic, 26, 2005, 327-357.
2006a, (Encyclopedia entry), Addendum to P. Bernays’ entry for "Hilbert" in Borchert, Donald, ed., Encyclopedia of Philosophy, 2nd edition. Detroit: Macmillan Reference USA.
2006b, Tarski on models and logical consequence, in J. Gray, J. Ferreiros, eds. The Architecture of Modern Mathematics, Oxford University Press, 209-237.
2006c, Acoustics and Optics in the early modern period, in L. Daston and K.Park eds., The Cambridge History of Science, vol . 3: Early Modern Science, Cambridge University Press, 596-631.
2006d, Il programma di Hilbert e i teoremi di incompletezza di Gödel, Rivista di Filosofia Neoscolastica, 98, pp. 489-531.
2007, Descartes and Mathematics, in J. Broughton and J. Carriero, eds., A Companion to Descartes, Blackwell, pp.103-123.
2008, Answers to ‘5 questions’, In V. Hendricks, H. Leitgeb, eds., Philosophy of Mathematics. 5 Questions, Automatic Press/VIP, pp. 193-204.
Forthcoming:
(Article), with C. Badesa and R. Zach, Itineraries in the development of logic and the foundations of mathematics from Russell to Tarski (1900-1936), to appear in Handbook of the History of Logic, L. Haaparanta ed., Oxford University Press [150 pp.] [downloadable at http://www.ucalgary.ca/~zach/papers/history.html]
(Introduction), Introductory note for Paul Bernays “On Hilbert’s thoughts on the foundations of mathematics” (1922) and “On the foundations of arithmetic”(1922), in Paul Bernays: Essays in the Philosophy of Mathematics, vols. I-II, W. Sieg et al. Eds., Open Court, Chicago, [8 pp.]
(Article), Neurath, Tarski and Kokoszynska on the semantic conception of truth, forthcoming in D. Patterson, New Essays on Tarski and Philosophy, Oxford University Press.
(Article) Tarski’s engagement with philosophy, forthcoming in S. Lapointe et al., eds., The Golden Age of Polish Philosophy, Springer
(Book), ed., The Philosophy of Mathematical Practice, forthcoming for Oxford University Press.
(Article), “Mathematical Explanation: Why it Matters”, in P. Mancosu, ed., The Philosophy of Mathematical Practice, forthcoming for Oxford University Press.[15 pp.]
(Article), with Johannes Hafner, “Unification and Explanation: a case study from real algebraic geometry”, in P. Mancosu, ed., The Philosophy of Mathematical Practice, forthcoming for Oxford University Press.[25 pp.]
(Article), “Quine and Tarski on Nominalism”, Oxford Studies in Metaphysics [30 pp.]
(Editorial), Transcription and editorial remarks to Quine’s 1946 lecture “Nominalism”, Oxford Studies in Metaphysics.[10 pp]
Editor, "Interpolations. Essays in honor of William Craig." Special issue of Synthese.(Introduction by P, Mancosu; articles by Craig, Feferman, Demopoulos, M. Friedman, Väänänen, d'Agostino, Renardel de Lavalette, van Benthem)
Updated on Tue Mar 11 08:53:41 -0700 2008 by Paolo Mancosu
Tidak ada komentar:
Posting Komentar