46 found
Sort by:
  1. Paolo Mancosu (forthcoming). Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context. History and Philosophy of Logic:1-28.
    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 (including a textbook Frege had used when teaching in a Privatschule in Jena in 1882?1884). In (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. 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  
  4. Paolo Mancosu (2011). Kurt Gödel. Journal of Philosophy 108 (11):642-646.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Paolo Mancosu (2011). Solomon Feferman, Charles Parsons, and Steven G. Simpson, Eds.: Kurt Gödel: Essays for His Centennial. Journal of Philosophy 108 (11).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. 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  
  7. 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  
  8. 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  
  9. 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  
  10. Paolo Mancosu (2009). Quine and Tarski on Nominalism. Rivista di Storia Della Filosofia 64 (1):33 - +.
    No categories
     
    My bibliography  
     
    Export citation  
  11. Willard Van Orman Quine & Paolo Mancosu (2009). Nominalismo. Rivista di Storia Della Filosofia 1:3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. 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.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. 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  
  14. Johannes Hafner & Paolo Mancosu (2008). 6.1 Kitcher's Theory of Explanation. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford. 151.
    No categories
     
    My bibliography  
     
    Export citation  
  15. Paolo Mancosu, Answers to 5 Questions.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. Paolo Mancosu (2008). It Matters. In , The Philosophy of Mathematical Practice. Oup Oxford. 134.
    No categories
     
    My bibliography  
     
    Export citation  
  18. Paolo Mancosu (2008). Mathematical Explanation: Why It Matters. In , The Philosophy of Mathematical Practice. Oup Oxford. 134--149.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Paolo Mancosu (2008). 2. Quine and Tarski on Nominalism. Oxford Studies in Metaphysics: Volume 4 4:22.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Paolo Mancosu (ed.) (2008/2011). The Philosophy of Mathematical Practice. OUP Oxford.
    Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and philosophy of mathematics. But anyone familiar with contemporary philosophy of mathematics will be aware of the need for new approaches that pay closer attention to mathematical practice. This book is the first attempt to give a coherent and unified presentation (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Paolo Mancosu & Johannes Hafner (2008). Explanation. In , The Philosophy of Mathematical Practice. Oup Oxford.
    No categories
     
    My bibliography  
     
    Export citation  
  23. 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  
  24. 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  
  25. Paolo Mancosu, Acoustics and Optics in the Early Modern Period.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Paolo Mancosu, Addendum to P. Bernays' Entry for Hilbert.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. 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  
  28. 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  
  29. Paolo Mancosu (2004). Book Review: Kurt G�Del. Collected Works , Volumes IV and V. [REVIEW] Notre Dame Journal of Formal Logic 45 (2):109-125.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. 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  
  32. 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  
  33. 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  
  34. Paolo Mancosu (2001). Mathematical Explanation: Problems and Prospects. Topoi 20 (1):97-117.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. Paolo Mancosu (2001). Wittgenstein, Finitism, and the Foundations of Mathematics. Philosophical Review 110 (2):286-289.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. 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  
     
    My bibliography  
     
    Export citation  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  42. 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. (...)
     
    My bibliography  
     
    Export citation  
  43. Paolo Mancosu (1996). Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Oxford University Press.
    The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Paolo Mancosu (1992). Aristotelian Logic and Euclidean Mathematics: Seventeenth-Century Developments of the Quaestio de Certitudine Mathematicarum. Studies in History and Philosophy of Science Part A 23 (2):241-265.
  45. Paolo Mancosu (1991). Generalizing Classical and Effective Model Theory in Theories of Operations and Classes. Annals of Pure and Applied Logic 52 (3):249-308.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Paolo Mancosu (1991). On the Status of Proofs by Contradiction in the Seventeenth Century. Synthese 88 (1):15 - 41.
    In this paper I show that proofs by contradiction were a serious problem in seventeenth century mathematics and philosophy. Their status was put into question and positive mathematical developments emerged from such reflections. I analyse how mathematics, logic, and epistemology are intertwined in the issue at hand. The mathematical part describes Cavalieri's and Guldin's mathematical programmes of providing a development of parts of geometry free of proofs by contradiction. The logical part shows how the traditional Aristotelean doctrine that perfect demonstrations (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation