Switch to: References

Add citations

You must login to add citations.
  1. Reconstructing the Unity of Mathematics circa 1900.David J. Stump - 1997 - Perspectives on Science 5 (3):383-417.
    Standard histories of mathematics and of analytic philosophy contend that work on the foundations of mathematics was motivated by a crisis such as the discovery of paradoxes in set theory or the discovery of non-Euclidean geometries. Recent scholarship, however, casts doubt on the standard histories, opening the way for consideration of an alternative motive for the study of the foundations of mathematics—unification. Work on foundations has shown that diverse mathematical practices could be integrated into a single framework of axiomatic systems (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic, Logicism, and Intuitions in Mathematics.Besim Karakadılar - 2001 - Dissertation, Middle East Technical University
    In this work I study the main tenets of the logicist philosophy of mathematics. I deal, basically, with two problems: (1) To what extent can one dispense with intuition in mathematics? (2) What is the appropriate logic for the purposes of logicism? By means of my considerations I try to determine the pros and cons of logicism. My standpoint favors the logicist line of thought. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  • The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.
    Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume’s Principle is analytic then in the standard setting the answer appears to be yes. Hodes’s work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The logical system of Frege's grundgestze: A rational reconstruction.Méven Cadet & Marco Panza - 2015 - Manuscrito 38 (1):5-94.
    This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics.Yoshinori Ogawa - 2004 - Annals of the Japan Association for Philosophy of Science 12 (2):89-108.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.
    The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgements of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
    A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logical constants.John MacFarlane - 2008 - Mind.
    Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.
    The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Frege’s puzzle and arithmetical formalism. Putting things in context.Sorin Costreie - 2013 - History and Philosophy of Logic 34 (3):207-224.
    The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Frege and his groups.Tuomo Aho - 1998 - History and Philosophy of Logic 19 (3):137-151.
    Frege's docent's dissertation Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen(1874) contains indications of a bold attempt to extend arithmetic. According to it, arithmetic means the science of magnitude, and magnitude must be understood structurally without intuitive support. The main thing is insight into the formal structure of the operation of ?addition?. It turns out that a general ?magnitude domain? coincides with a (commutative) group. This is an interesting connection with simultaneous developments in abstract algebra. As his main application, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Geometry and generality in Frege's philosophy of arithmetic.Jamie Tappenden - 1995 - Synthese 102 (3):319 - 361.
    This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • The analytic conception of truth and the foundations of arithmetic.Peter Apostoli - 2000 - Journal of Symbolic Logic 65 (1):33-102.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • From Lagrange to Frege: Functions and Expressions.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur - 2015 - In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms. Cham, Switzerland: Springer Verlag.
    Both Frege's Grundgesetze, and Lagrange's treatises on analytical functions pursue a foundational purpose. Still, the former's program is not only crucially different from the latter's. It also depends on a different idea of what foundation of mathematics should be like . Despite this contrast, the notion of function plays similar roles in their respective programs. The purpose of my paper is emphasising this similarity. In doing it, I hope to contribute to a better understanding of Frege's logicism, especially in relation (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.
    Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Sense and Basic Law V in Frege's logicism.Jan Harald Alnes - 1999 - Nordic Journal of Philosophical Logic 4:1-30.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An Analysis of the Notion of Rigour in Proofs.Michele Friend & Andrea Pedeferri - 2011 - Logic and Philosophy of Science 9 (1):165-171.
    We are told that there are standards of rigour in proof, and we are told that the standards have increased over the centuries. This is fairly clear. But rigour has also changed its nature. In this paper we as-sess where these changes leave us today.1 To motivate making the new assessment, we give two illustra-tions of changes in our conception of rigour. One, concerns the shift from geometry to arithmetic as setting the standard for rig-our. The other, concerns the notion (...)
    Download  
     
    Export citation  
     
    Bookmark