56 found
Sort by:
  1. Paolo Mancosu (2015). William Ewald and Wilfried Sieg, Eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. Xxv + 1062. [REVIEW] Philosophia Mathematica 23 (1):126-135.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Paolo Mancosu (2014). Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context. History and Philosophy of Logic 36 (1):62-89.
    I offer in this paper a contextual analysis of Frege's Grundlagen, section 64. It is surprising that with so much ink spilled on that section, the sources of Frege's discussion of definitions by abstraction have remained elusive. I hope to have filled this gap by providing textual evidence coming from, among other sources, Grassmann, Schlömilch, and the tradition of textbooks in geometry for secondary schools . In addition, I put Frege's considerations in the context of a widespread debate in Germany (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrew Arana & Paolo Mancosu (2012). On the Relationship Between Plane and Solid Geometry. Review of Symbolic Logic 5 (2):294-353.
    Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Paolo Mancosu (2012). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. [REVIEW] Isis 103:383-384.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Paolo Mancosu, Explanation in Mathematics.
    The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Paolo Mancosu (2011). Kurt Gödel. Journal of Philosophy 108 (11):642-646.
  7. Paolo Mancosu (2011). Solomon Feferman, Charles Parsons, and Steven G. Simpson, Eds.: Kurt Gödel: Essays for His Centennial. Journal of Philosophy 108 (11).
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. Paolo Mancosu (2010). Fixed- Versus Variable-Domain Interpretations of Tarski's Account of Logical Consequence. Philosophy Compass 5 (9):745-759.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Paolo Mancosu (2010). Logicomix. [REVIEW] Bulletin of Symbolic Logic 16 (3):419-419.
     
    My bibliography  
     
    Export citation  
  10. Paolo Mancosu (2010). The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940. Oxford University Press.
    At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Paolo Mancosu & Andrew Arana (2010). Descartes and the Cylindrical Helix. Historia Mathematica 37 (3):403-427.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. Paolo Mancosu (2009). Measuring the Size of Infinite Collections of Natural Numbers: Was Cantor's Theory of Infinite Number Inevitable? Review of Symbolic Logic 2 (4):612-646.
    Cantorsizesizesizewhole principle). This second intuition was not developed mathematically in a satisfactory way until quite recently. In this article I begin by reviewing the contributions of some thinkers who argued in favor of the assignment of different sizes to infinite collections of natural numbers (Thabit ibn Qurra, Grosseteste, Maignan, Bolzano). Then, I review some recent mathematical developments that generalize the partdel) or for the rational nature of the Cantorian generalization as opposed to that, based on the part–whole principle, envisaged by (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Paolo Mancosu (2009). Quine and Tarski on Nominalism. Rivista di Storia Della Filosofia 64 (1):33 - +.
     
    My bibliography  
     
    Export citation  
  14. Willard Van Orman Quine & Paolo Mancosu (2009). Nominalismo. Rivista di Storia Della Filosofia 1:3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Willard van Orman Quine, Paolo Mancosu & Paolo Valore (2009). Nominalismo Presentata All'harvard Philosophical Colloquium, Emerson B, l'11 Marzo 1946, Ore 15.00. Rivista di Storia Della Filosofia 64 (1):3-16.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16. Johannes Hafner & Paolo Mancosu (2008). Beyond Unification. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford. 151--178.
    No categories
     
    My bibliography  
     
    Export citation  
  17. Johannes Hafner & Paolo Mancosu (2008). 6.1 Kitcher's Theory of Explanation. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford. 151.
     
    My bibliography  
     
    Export citation  
  18. Paolo Mancosu, Answers to 5 Questions.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Paolo Mancosu (2008). Introduction: Interpolations—Essays in Honor of William Craig. Synthese 164 (3):313-319.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Paolo Mancosu (2008). It Matters. In , The Philosophy of Mathematical Practice. Oup Oxford. 134.
    No categories
     
    My bibliography  
     
    Export citation  
  21. Paolo Mancosu (2008). Mathematical Explanation: Why It Matters. In , The Philosophy of Mathematical Practice. Oup Oxford. 134--149.
  22. Paolo Mancosu (2008). 2. Quine and Tarski on Nominalism. Oxford Studies in Metaphysics: Volume 4 4:22.
  23. Paolo Mancosu (2008). Tarski, Neurath, and Kokoszynska on the Semantic Conception of Truth. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. 192.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Paolo Mancosu (ed.) (2008/2011). The Philosophy of Mathematical Practice. Oup Oxford.
    There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Paolo Mancosu & Johannes Hafner (2008). Explanation. In , The Philosophy of Mathematical Practice. Oup Oxford.
     
    My bibliography  
     
    Export citation  
  26. Paolo Mancosu & Johannes Hafner (2008). Unification and Explanation: A Case Study From Real Algebraic Geometry. In , The Philosophy of Mathematical Practice. Oup Oxford. 151--178.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Paolo Mancosu, Richard Zach & Calixto Badesa (2008). The Development of Mathematical Logic From Russell to Tarski, 1900-1935. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Paolo Mancosu, Acoustics and Optics in the Early Modern Period.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Paolo Mancosu, Addendum to P. Bernays' Entry for Hilbert.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Paolo Mancosu & Klaus JØrgensen (2006). Paolo Mancosu, Klaus Frovin JØrgensen, and Stig Andur Pedersen, Eds. Visualization, Explanation and Reasoning Stryles in Mathematics. Synthese Library, Vol. 327. Dordrecht: Springer, 2005. ISBN 1-4020-3334-6 ; 1-4020-3335-4 . Pp. X + 300. [REVIEW] Philosophia Mathematica 14 (2):265.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Paolo Mancosu, Harvard 1940-41: Tarski, Carnap and Quine on a Finitistic Language of Mathematics for Science.
    Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Paolo Mancosu (2005). Harvard 1940–1941: Tarski, Carnap and Quine on a Finitistic Language of Mathematics for Science. History and Philosophy of Logic 26 (4):327-357.
    Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Paolo Mancosu (2004). Book Review: Kurt Gödel. Collected Works, Volumes IV and V. [REVIEW] Notre Dame Journal of Formal Logic 45 (12):109-125.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Paolo Mancosu (2003). The Russellian Influence on Hilbert and His School. Synthese 137 (1-2):59 - 101.
    The aim of the paper is to discuss the influence exercised by Russell's thought inGöttingen in the period leading to the formulation of Hilbert's program in theearly twenties. I show that after a period of intense foundational work, culminatingwith the departure from Göttingen of Zermelo and Grelling in 1910 we witnessa reemergence of interest in foundations of mathematics towards the end of 1914. Itis this second period of foundational work that is my specific interest. Through theuse of unpublished archival sources (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Paolo Mancosu & Mathieu Marion (2003). Wittgenstein’s Constructivization of Euler’s Proof of the Infinity of Primes. Vienna Circle Institute Yearbook 10:171-188.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Geoffrey Hellman, Jeremy Avigad & Paolo Mancosu (2002). The Westin Seattle, Seattle, Washington March 28–29, 2002. Bulletin of Symbolic Logic 8 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Paolo Mancosu (2002). 2002 Spring Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 8 (3):446-451.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Paolo Mancosu & T. A. Ryckman (2002). Mathematics and Phenomenology: The Correspondence Between O. Becker and H. Weyl. Philosophia Mathematica 10 (2):130-202.
    Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Paolo Mancosu (2001). Mathematical Explanation: Problems and Prospects. Topoi 20 (1):97-117.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Paolo Mancosu (2001). Wittgenstein, Finitism, and the Foundations of Mathematics. Philosophical Review 110 (2):286-289.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Paolo Mancosu (1999). Bolzano and Cournot on Mathematical Explanation/Bolzano Et Cournot À Propos de l'Explication Mathématique. Revue d'Histoire des Sciences 52 (3):429-456.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Paolo Mancosu (1999). Between Russell and Hilbert: Behmann on the Foundations of Mathematics. Bulletin of Symbolic Logic 5 (3):303-330.
    After giving a brief overview of the renewal of interest in logic and the foundations of mathematics in Göttingen in the period 1914-1921, I give a detailed presentation of the approach to the foundations of mathematics found in Behmann's doctoral dissertation of 1918, Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead. The dissertation was written under the guidance of David Hilbert and was primarily intended to give a clear exposition of the solution to (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  43. Paolo Mancosu (1999). Literature Survey: Recent Publications in the History and Philosophy of Mathematics From the Renaissance to Berkeley. [REVIEW] Metascience 8 (1):102-124.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. Paolo Mancosu (1999). Michel Blay, Reasoning with the Infinite. From the Closed World to the Mathematical Universe (Chicago: University of Chicago Press, 1998) 216 Pp. $ 30.00 (Cloth) ISBN 0 226 05834 4; $ 15.00 (Paper) 0 226 05835 2. [REVIEW] Early Science and Medicine 4 (4):365-366.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Paolo Mancosu (1999). Reasoning with the Infinite. From the Closed World to the Mathematical Universe. [REVIEW] Early Science and Medicine 4 (4):365-366.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Paolo Mancosu (1999). Volker Peckhaus, Logik, Mathesis Universalis Und Allgemeine Wissenschaft. Leibniz Und Die Wiederentdeckung der Formalen Logik Im 19. Jahrhundert. Erkenntnis 50 (1):129-132.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Paolo Mancosu (1999). Volker Peckhaus: Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie Verlag 1997. XII und 412 Seiten, DM 134. ISBN 3-05-003111-5. [REVIEW] Berichte Zur Wissenschaftsgeschichte 22 (2-3):207-208.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Paolo Mancosu (1999). Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems. History and Philosophy of Logic 20 (1):33-45.
    What were the earliest reactions to Gödel's incompleteness theorems? After a brief summary of previous work in this area I analyse, by means of unpublished archival material, the first reactions in Vienna and Berlin to Gödel's groundbreaking results. In particular, I look at how Carnap, Hempel, von Neumann, Kaufmann, and Chwistek, among others, dealt with the new results.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 56