Articles

1984, (with S. Galvan) Note di teoria dei modelli dell’aritmetica (“Notes on the theory of models of arithmetic”). I.S.U. Pubblicazioni Università Cattolica, Milano, [57 pp.]

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. French translation in J. Bouveresse and P. Wagner, eds., Mathématiques et experience (1918-1940). L’empirisme logique à l’épreuve, Paris, Odile Jacob, 2008, pp.55-93.

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.

2008a, Answers to ‘5 questions’, In V. Hendricks, H. Leitgeb, eds., Philosophy of Mathematics. 5 Questions, Automatic Press/VIP, pp. 193-204.

2008b, Explanation in Mathematics, Stanford Encyclopedia of Philosophy

2008c, (Book), ed., The Philosophy of Mathematical Practice, Oxford University Press.

2008d, “Mathematical Explanation: Why it Matters”, in P. Mancosu, ed., The Philosophy of Mathematical Practice, Oxford University Press, pp. 134-149.

2008e, (with Johannes Hafner), “Unification and Explanation: a case study from real algebraic geometry”, in P. Mancosu, ed., The Philosophy of Mathematical Practice, Oxford University Press, pp. 151-178

2008f, “Quine and Tarski on Nominalism”, Oxford Studies in Metaphysics, vol IV, pp. 22-55.Italian translation in R. Pettoello and P. Valore, Willard van Orman Quine, Milan, Franco Angeli, 2009, pp. 31-61.

2008g, (Editorial), Transcription and editorial remarks to Quine’s 1946 lecture “Nominalism”, Oxford Studies in Metaphysics, IV, pp. 3-21. Also in: W. V. Quine, Confessions of a Confirmed Extensionalist, (Dagfinn Follesdal & Douglas Quine, editors), Harvard University Press, 2008.

2008h, Editor, Interpolations. Essays in honor of William Craig. Special issue of Synthese, 164, 3, October 2008. (Introduction by P. Mancosu; articles by Craig, Feferman, Demopoulos, M. Friedman, Väänänen, d’Agostino, Renardel de Lavalette, van Benthem)

2008i, Neurath, Tarski and Kokoszynska on the semantic conception of truth, in D. Patterson, New Essays on Tarski and Philosophy, Oxford University Press, pp. 192-224. Reprinted in J. C. Salles, ed., Empirismo e Gramática, Quarteto Editora, Salvador (Brazil), 2010, pp. 153-206.

2009a, Paolo Mancosu, Richard Zach, and Calixto Badesa, “The Development of Mathematical Logic from Russell to Tarski, 1900 - 1935”, in Leila Haaparanta (ed.), The Development of Modern Logic, Oxford University Press, New York, 2009, pp. 318 - 470

2009b, Tarski’s engagement with philosophy, in S. Lapointe et al., eds., The Golden Age of Polish Philosophy, Springer, Dordrecht, pp. 131-153.

2009c, ‘Style’ in mathematics, Stanford Encyclopedia of Philosophy.

2009d, Measuring the size of infinite collections of natural numbers: Was Cantor’s theory of infinite number inevitable?, Review of Symbolic Logic, 2, pp. 612-646.

2010a, (Article with Andy Arana) Descartes and the cylindrical helix, Historia Mathematica, 37, 403-427.

2010b, Fixed- vs variable-domain interpretations of Tarski’s account of logical consequence, Philosophy Compass, 5, no. 9, 745-759

2010c,(book), The Adventure of Reason. Interplay between philosophy of mathematics and mathematical logic: 1900-1940, Oxford University Press

2011, Essay Review of Logicomix, The Journal of Humanistic Mathematics, 1, 137-152

2012a, (with A. Arana), On the relationship between plane and solid geometry, The Review of Symbolic Logic, 5, no.2, pp. 294-353.

2012b, O visível e o invisível: reflexões sobre a representação matemática [The visible and the invisible: considerations on mathematical representation], in A. Lassalle Casanave and F. Sautter, eds. Visualização nas Ciências Formais, College Publications, London, pp.1-32

2012c, (with A. Arana) Geometria Piana e Solida: una nota sulla purezza del metodo [Plane and solid geometry: a note on purity of methods], Notae Philosophicae Scientiae Formalis, 1, pp. 89-102.

2012d, (with Christopher Pincock). “Mathematical Explanation.” In Oxford Bibliographies in Philosophy. Ed. Duncan Pritchard. New York: Oxford University Press.

2013, (book), Inside the Zhivago Storm. The Editorial Adventures of Pasternak’s Masterpiece, Feltrinelli, Milan.

2015a, (with Andy Arana), Plane and Solid Geometry: A note on purity of methods, in G. Lolli, M. Panza and G. Venturi, eds. From Logic to Practice, Springer, Heidelberg, 2015, pp. 23-32. [English version of 2012c]

2015b, Grundlagen, Section 64: Frege’s discussion of definitions by abstraction in historical context, History and Philosophy of Logic, 36, pp. 62-89

2015c, Essay Review of W. Ewald and W. Sieg, eds. David Hilbert’s Lectures on the Foundations of Mathematics, Spinger, 2013, Philosophia Mathematica, 23, pp. 126-135.

2015d, In Good Company? On Hume’s Principle and the assignment of numbers to infinite concepts, The Review of Symbolic Logic, 8, issue 2, pp. 370-410.

2015e, (book), Smugglers, Rebels, Pirates. Itineraries in the publishing history of Doctor Zhivago, Hoover Press, Stanford.

2015f, (book), Zivago nella Tempesta. Le avventure editoriali del capolavoro di Pasternak, Feltrinelli, Milano [Italian translation of Mancosu 2013 with a new introduction for the Italian edition]

2015g, (book), Infini, Logique, Géométrie, Vrin, Paris.

2015h, (with Richard Zach), Heinrich Behmann’s 1921 lecture on the algebra of logic and the decision problem, The Bulletin of Symbolic Logic, Volume 21, Issue 2, pp. 164-187.

2015i, Preface to new edition of Imre Lakatos, Proofs and Refutations, Cambridge University Press, 2015.

2016a (book), Zhivago’s Secret Journey: from typescript to book, Hoover Press, Stanford.

2016b (with S. Givant), William Craig, In Memoriam, 5 pp., University Senate, UC Berkeley.

2016c, Algunas observaciones sobre la filosofía de la práctica matemática. Disputatio. Philosophical Research Bulletin 5:6, 131-156. [A translation into Spanish of the Introduction to Mancosu 2008c]

2017a, Moe’s Books, in My Bookstore, edited by Ronald Rice, Black Dog & Leventhal, New York, pp. 245-248.

2017b (with Paul Borokhov), Sergio d’Angelo’s correspondence with Olga Ivinskaya and Boris Pasternak, in Новое о Пастернаках [New studies on the Pasternaks], Азбуковник, Москва, pp. 218-309.

2017c, (book) Abstraction and Infinity, Oxford University Press, Oxford.

2017d, (book) Контрабандисты, бунтари, пираты, Перипетии истории издания «Доктора Живаго», Азбуковник, Москва. [A Russian translation of Mancosu 2015e]

2017e, (book) Filosofia Lógica e Matemática: Confêrencias no Brazil, College Publications, London (A selection of essays in Portuguese)

2017f, ‘Style’ in mathematics, Stanford Encyclopedia of Philosophy, substantial revision of 2009c.

2018a, The origin of the Group in Logic and the Methodology of Science, Journal of Humanistic Mathematics, vol. 8, issue 1, January 2018, pp. 371-413.

2018b, Explanation in mathematics, Stanford Encyclopedia of Philosophy, substantial revision of 2011b.

2018c, Definitions by abstraction in the Peano school, in C. de Florio and A. Giordani, eds., From Arithmetic to Metaphysics. A Path through Philosophical Logic. Studies in honor of Sergio Galvan, Berlin: de Gruyter, pp. 261-288.

2018d, Ri wa ge yi sheng chu ban ji, Guangxi Normal University Press, Nanning. [A Chinese translation of Mancosu 2015e]

2018e, ‘ “Moscow has ears everywhere!”: From Pasternak’s death to Olga’s and Irina’s arrests’, Wiener Slavistisches Jahrbuch/Vienna Slavic Yearbook, n.s., 6, 35-121.

2018f, “We Need to Help The Russians Save Face: ‘The Ivinskaia Case’ in the West”, Russian Literature, Vol. 100-101-102 (2018), pp. 127-220.

2018g, The hunt for the seventh typescript, in Across Borders: 20th Century Russian Literature and Russian-Jewish Cultural Contacts. Essays in honor of Vladimir Khazan. Edited by Lazar Fleishman and Fedor Poljakov (Stanford Slavic Studies. Vol. 48), Peter Lang Verlag, Berlin etc., pp. 587-623.

2019a (book), Moscow has Ears Everywhere. New Investigations on Pasternak and Ivinskaya, Hoover Press, Stanford.

2019b, (with Benjamin Siskind), Neologicist Foundations: Inconsistent abstraction principles and part-whole, in Mras, Gabriele M.; Weingartner, Paul; Ritter, Bernhard (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium. De Gruyter, Berlin, Munich, Boston, 2019, pp. 215–248.

2019c (with John Steel and Thomas Scanlon), Jack Silver, In Memoriam, 4 pp., University Senate, UC Berkeley. https://senate.universityofcalifornia.edu/in-memoriam/files/jack-silver.html

2020a, (book) Pasternak e Ivinskaja. Il viaggio segreto di Zivago, Feltrinelli, Milano. [615 pp.] [A translation into Italian in a single volume of Mancosu 2016a, 2018g, and 2019a.]

2020b, Essay Review of Prime Suspects. The Anatomy of Integers and Permutations. Andrew Granville & Jennifer Granville. Illustrated by Robert J. Lewis. Princeton University Press, 2019. Journal of Humanistic Mathematics, volume 10, issue 1, (January 2020), pages 516-532.

2020c, Charles Chihara, In Memoriam, 4 pp., University Senate, UC Berkeley. https://senate.universityofcalifornia.edu/in-memoriam/files/charles-chihara.html

2020d, (book), Infinito, Lógica, Geometría, College Publications, London. [vi + 472 pp.] [A selection of essays translated into Spanish modeled upon Mancosu 2015g]

2020e (with Benjamin Siskind and Stewart Shapiro), A note on choice principles in second-order logic, The Review of Symbolic Logic

2021a, “Three letters on the foundations of mathematics by Frank Plumpton Ramsey”, Philosophia Mathematica, (III) Vol. 29 No. 1, pp. 1-27.

2021b, An essay review of three books on Frank Ramsey, Philosophia Mathematica, (III) Vol. 29 No. 1, pp. 110-150.

2021c (with Kenny Easwaran, Alan Hajek, and Graham Oppy), Mathematical Infinity, The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), Edward N. Zalta (ed.), URL=https://plato.stanford.edu/archives/sum2021/entries/infinity/. 157 pp.

2021d, (book), with S. Galvan and R. Zach, An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs, Oxford University Press, Oxford, 432 pp.

2021e, Logic and Biology: the Correspondence between Alfred Tarski and Joseph H. Woodger, Journal of Humanistic Mathematics, volume 1, issue 2, pp. 18-105.

2021f, Boris Pasternak and Patrick Desmond Costello: What we know and what we (still) don’t know, in Yasha Klots (ed.): Tamizdat: Publishing Russian Literature Across Borders. Peter Lang Verlag, 2021 (in print). (= Wiener Slawistischer Almanach. Band 86), pp. 227-295.

2021g, (book), Тайное путешествие «Живаго»: от машинописи до книги, Азбуковник, Москва. [A Russian translation of Mancosu 2016a]

2021h, Mathematical Style, Stanford Encyclopedia of Philosophy, substantial revision of 2017f.

2022a, Le voyage secret du Docteur Jivago. Le roman du roman, Éditions de la Maison des Sciences de l’Homme, Paris. [A French translation of an updated and modified combination of Mancosu 2013 and Mancosu 2016a]

2022b, (with Galvan and Zach), Introduction à la théorie de la démontration, Vrin, Paris [a French translation of Mancosu, Galvan and Zach 2021d]

2022c, Heinrich Behmann, “Note introductive à Behmann 1921” and “Heinrich Behmann, Problème de la décision et Algèbre de la Logique”, in M. Bourdeau and J. Mosconi, eds., Anthologie de la calculabilité, Cassini, Paris, pp. 108-122. [A French translation of Mancosu (and Zach) 2015h]

2023a, (with R. Zach), Some unpublished letter by Gödel and von Neumann in the Fraenkel Archive, Preprint in ArXiv

2023b, (book), (with M. Mugnai), Syllogistic Logic and Mathematical Proof, Oxford University Press.

2023c, with Benjamin Siskind and Stewart Shapiro, A note on choice principles in second-order logic, The Review of Symbolic Logic, 16(2), pp. 339-350. [same as 2020e]

2023d, (with Chris Pincock and Francesca Poggiolesi), “Explanation in mathematics”, Stanford Encyclopedia of Philosophy, substantial revision of 2018b.