68 found
Order:
  1.  61
    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  
     
    Export citation  
     
    My bibliography   28 citations  
  2. Paolo Mancosu & Richard Zach (2015). Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic. Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  56
    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)  
     
    Export citation  
     
    My bibliography   27 citations  
  4. 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)  
     
    Export citation  
     
    My bibliography   12 citations  
  5.  60
    Paolo Mancosu (ed.) (2008). 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)  
     
    Export citation  
     
    My bibliography   10 citations  
  6.  29
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  7.  27
    Paolo Mancosu (2011). Explanation in Mathematics. In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
    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  
     
    Export citation  
     
    My bibliography   7 citations  
  8. Paolo Mancosu (2014). The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940. Oxford University Press Uk.
    Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic ; foundational issues ; mathematics and phenomenology ; nominalism ; semantics. Mancosu exploits extensive untapped archival sources to make available a wealth of new material that deepens in significant ways our understanding of these fascinating areas of modern intellectual history. At the (...)
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  9.  41
    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)  
     
    Export citation  
     
    My bibliography   7 citations  
  10. Paolo Mancosu (2001). Mathematical Explanation: Problems and Prospects. Topoi 20 (1):97-117.
  11.  9
    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 (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  20
    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 (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  30
    Paolo Mancosu (2015). In Good Company? On Hume’s Principle and the Assignment of Numbers to Infinite Concepts. Review of Symbolic Logic 8 (2):370-410.
  14. Paolo Mancosu (ed.) (2008). The Philosophy of Mathematical Practice. Oxford University Press Uk.
    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 (...)
    No categories
     
    Export citation  
     
    My bibliography   4 citations  
  15.  35
    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)  
     
    Export citation  
     
    My bibliography   7 citations  
  16.  58
    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 (8 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  17.  34
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  61
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  19. Paolo Mancosu (1996). Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Oxford University Press Usa.
    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, arithmetic 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 (...)
    No categories
     
    Export citation  
     
    My bibliography   6 citations  
  20.  20
    Paolo Mancosu (2008). Mathematical Explanation: Why It Matters. In The Philosophy of Mathematical Practice. OUP Oxford 134--149.
  21.  89
    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 (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  22.  55
    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.
  23.  7
    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.
  24.  7
    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  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  3
    Christopher Pincock & Paolo Mancosu (2012). Mathemetical Explanation. Oxford Bibliographies in Philosophy.
  26.  57
    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)  
     
    Export citation  
     
    My bibliography   4 citations  
  27.  2
    Christopher Pincock & Paolo Mancosu (2012). Mathemetical Explanation. Oxford Bibliographies in Philosophy.
  28.  32
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  33
    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 (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  30. Johannes Hafner & Paolo Mancosu (2008). Beyond Unification. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. OUP Oxford 151--178.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  31.  8
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  1
    Paolo Mancosu & Ezio Vailati (1991). Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century. Isis: A Journal of the History of Science 82:50-70.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  33.  52
    Paolo Mancosu & Andrew Arana (2010). Descartes and the Cylindrical Helix. Historia Mathematica 37 (3):403-427.
  34.  5
    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.
    Mancosu, P., Generalizing classical and effective model theory in theories of operations and classes, Annas of Pure and Applied Logic 52 249-308 . In this paper I propose a family of theories of operations and classes with the aim of developing abstract versions of model-theoretic results. The systems are closely related to those introduced and already used by Feferman for developing his program of ‘explicit mathematics’. The theories in question are two-sorted, with one kind of variable for individuals and the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  14
    Paolo Mancosu (2014). 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  36.  15
    Paolo Mancosu (2001). Wittgenstein, Finitism, and the Foundations of Mathematics. Philosophical Review 110 (2):286-289.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    Paolo Mancosu & Ezio Vailati (1991). Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century. Isis 82 (1):50-70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  26
    Paolo Mancosu (2008). Introduction: Interpolations—Essays in Honor of William Craig. Synthese 164 (3):313-319.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  39.  11
    Paolo Mancosu (2008). 2. Quine and Tarski on Nominalism. Oxford Studies in Metaphysics: Volume 4 4:22.
  40.  12
    Paolo Mancosu (2011). Kurt Gödel. Journal of Philosophy 108 (11):642-646.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41.  23
    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)  
     
    Export citation  
     
    My bibliography  
  42.  8
    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  
     
    Export citation  
     
    My bibliography  
  43.  5
    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)  
     
    Export citation  
     
    My bibliography  
  44.  6
    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.
  45.  6
    Paolo Mancosu (1999). Michel Blay, Reasoning with the Infinite. From the Closed World to the Mathematical Universe 216 Pp. $ 30.00 ISBN 0 226 05834 4; $ 15.00 0 226 05835 2. [REVIEW] Early Science and Medicine 4 (4):365-366.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  2
    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  
     
    Export citation  
     
    My bibliography  
  47.  2
    Geoffrey Hellman, Jeremy Avigad & Paolo Mancosu (2002). The Westin Seattle, Seattle, Washington March 28–29, 2002. Bulletin of Symbolic Logic 8 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  2
    Paolo Mancosu, Acoustics and Optics in the Early Modern Period.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  2
    Paolo Mancosu (2002). 2002 Spring Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 8 (3):446-451.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  1
    Paolo Mancosu (2007). Answers to 5 Questions. In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 68