Search results for 'Arithmetic Foundations' (try it on Scholar)

1000+ found
Order:
  1.  34
    Gottlob Frege (1953/1968). The Foundations of Arithmetic. Evanston, Ill.,Northwestern University Press.
    In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...
    Direct download  
     
    Export citation  
     
    My bibliography   137 citations  
  2.  79
    Gottlob Frege (1980). The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the Concept of Number. Northwestern University Press.
    § i. After deserting for a time the old Euclidean standards of rigour, mathematics is now returning to them, and even making efforts to go beyond them. ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   45 citations  
  3.  16
    Fernando Ferreira (1999). A Note on Finiteness in the Predicative Foundations of Arithmetic. Journal of Philosophical Logic 28 (2):165-174.
    Recently, Feferman and Hellman (and Aczel) showed how to establish the existence and categoricity of a natural number system by predicative means given the primitive notion of a finite set of individuals and given also a suitable pairing function operating on individuals. This short paper shows that this existence and categoricity result does not rely (even indirectly) on finite-set induction, thereby sustaining Feferman and Hellman's point in favor of the view that natural number induction can be derived from a very (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  4. Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
    In this paper, I pursue such a logical foundation for arithmetic in a variant of Zermelo set theory that has axioms of subset separation only for quantifier-free formulae, and according to which all sets are Dedekind finite. In section 2, I describe this variant theory, which I call ZFin0. And in section 3, I sketch foundations for arithmetic in ZFin0 and prove that certain foundational propositions that are theorems of the standard Zermelian foundation for arithmetic are (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5. Holger A. Leuz (2009). On the Foundations of Greek Arithmetic. Logical Analysis and History of Philosophy 12:13-47.
    The aim of this essay is to develop a formal reconstruction of Greek arithmetic. The reconstruction is based on textual evidence which comes mainly from Euclid, but also from passages in the texts of Plato and Aristotle. Following Paul Pritchard’s investigation into the meaning of the Greek term arithmos, the reconstruction will be mereological rather than set-theoretical. It is shown that the reconstructed system gives rise to an arithmetic comparable in logical strength to Robinson arithmetic. Our reconstructed (...)
     
    Export citation  
     
    My bibliography  
  6.  23
    Solomon Feferman, Challenges to Predicative Foundations of Arithmetic.
    This is a sequel to our article “Predicative foundations of arithmetic” (1995), referred to in the following as [PFA]; here we review and clarify what was accomplished in [PFA], present some improvements and extensions, and respond to several challenges. The classic challenge to a program of the sort exemplified by [PFA] was issued by Charles Parsons in a 1983 paper, subsequently revised and expanded as Parsons (1992). Another critique is due to Daniel Isaacson (1987). Most recently, Alexander George (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  26
    G. Kreisel (1953). A Variant to Hilbert's Theory of the Foundations of Arithmetic. British Journal for the Philosophy of Science 4 (14):107-129.
    IN Hilbert's theory of the foundations of any given branch of mathematics the main problem is to establish the consistency (of a suitable formalisation) of this branch. Since the (intuitionist) criticisms of classical logic, which Hilbert's theory was intended to meet, never even alluded to inconsistencies (in classical arithmetic), and since the investigations of Hilbert's school have always established much more than mere consistency, it is natural to formulate another general problem in the foundations of mathematics: to (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  8.  6
    J. P. Mayberry & D. A. Gillies (1984). Frege, Dedekind, and Peano on the Foundations of Arithmetic. Philosophical Quarterly 34 (136):424.
    First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  24
    Michael Kremer (2008). Review of Gottlob Frege, Dale Jacquette (Tr.), The Foundations of Arithmetic. [REVIEW] Notre Dame Philosophical Reviews 2008 (1).
    Last spring, as I was beginning a graduate seminar on Frege, I received a complimentary copy of this new translation of his masterwork, The Foundations of Arithmetic . I had ordered Austin's famous translation, well-loved for the beauty of its English and the clarity with which it presents Frege's overall argument, but known to be less than literal, and to sometimes supplement translation with interpretation. I was intrigued by Dale Jacquette's promise "to combine literal accuracy and readability for (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. Donald Gillies (1982). Frege, Dedekind, and Peano on the Foundations of Arithmetic. Wiley-Blackwell.
    First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  5
    Andrew Boucher, A Philosophical Introduction to the Foundations of Elementary Arithmetic by V1.03 Last Updated: 1 Jan 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo. [REVIEW]
    As it is currently used, "foundations of arithmetic" can be a misleading expression. It is not always, as the name might indicate, being used as a plural term meaning X = {x : x is a foundation of arithmetic}. Instead it has come to stand for a philosophico-logical domain of knowledge, concerned with axiom systems, structures, and analyses of arithmetic concepts. It is a bit as if "rock" had come to mean "geology." The conflation of subject (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. J. L. Austin (ed.) (1980). The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the Concept of Number. Northwestern University Press.
    _The Foundations of Arithmetic_ is undoubtedly the best introduction to Frege's thought; it is here that Frege expounds the central notions of his philosophy, subjecting the views of his predecessors and contemporaries to devastating analysis. The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.
    No categories
     
    Export citation  
     
    My bibliography  
  13. Donald Gillies (2012). Frege, Dedekind, and Peano on the Foundations of Arithmetic. Routledge.
    First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Donald Gillies (2013). Frege, Dedekind, and Peano on the Foundations of Arithmetic. Routledge.
    First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy (...)
    No categories
     
    Export citation  
     
    My bibliography  
  15.  19
    Susan Carey (2001). Cognitive Foundations of Arithmetic: Evolution and Ontogenisis. Mind and Language 16 (1):37–55.
    Dehaene articulates a naturalistic approach to the cognitive foundations of mathematics. Further, he argues that the ‘number line’ system of representation is the evolutionary and ontogenetic foundation of numerical concepts. Here I endorse Dehaene’s naturalistic stance and also his characterization of analog magnitude number representations. Although analog magnitude representations are part of the evolutionary foundations of numerical concepts, I argue that they are unlikely to be part of the ontogenetic foundations of the capacity to represent natural number. (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  16.  22
    Juliette Kennedy & Roman Kossak (eds.) (2012). Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press.
    Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Marcus Rossberg & Philip A. Ebert (2010). Cantor on Frege's Foundations of Arithmetic : Cantor's 1885 Review of Frege's Die Grundlagen der Arithmetik. History and Philosophy of Logic 30 (4):341-348.
    In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik . In this essay, we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor's review, and a new translation of Frege's brief response to Cantor. In recent years, it has become philosophical folklore that Cantor's 1885 review of Frege's Grundlagen already contained a warning to Frege. This warning is said (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  18. Glenn Kessler (1980). Frege, Mill, and the Foundations of Arithmetic. Journal of Philosophy 77 (2):65-79.
  19.  18
    Joan B. Quick (1952). The Foundations of Arithmetic. Thought: A Journal of Philosophy 27 (2):303-304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20. Susan Carey (2001). Evolutionary and Ontogenetic Foundations of Arithmetic. Mind and Language 16 (1):37-55.
    No categories
     
    Export citation  
     
    My bibliography   6 citations  
  21. George Boolos (1987). The Consistency of Frege's Foundations of Arithmetic. In J. Thomson (ed.), On Being and Saying: Essays in Honor of Richard Cartwright. MIT Press 3--20.
    Translate
     
     
    Export citation  
     
    My bibliography   11 citations  
  22.  8
    N. E. (1951). The Foundations of Arithmetic. A Logico-Mathematical Enquiry Into the Concept of Number. [REVIEW] Journal of Philosophy 48 (10):342-342.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  14
    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)  
     
    Export citation  
     
    My bibliography  
  24.  55
    Solomon Feferman & Geoffrey Hellman (1995). Predicative Foundations of Arithmetic. Journal of Philosophical Logic 24 (1):1 - 17.
  25.  38
    Matthias Schirn (2003). Fregean Abstraction, Referential Indeterminacy and the Logical Foundations of Arithmetic. Erkenntnis 59 (2):203 - 232.
    In Die Grundlagen der Arithmetik, Frege attempted to introduce cardinalnumbers as logical objects by means of a second-order abstraction principlewhich is now widely known as ``Hume's Principle'' (HP): The number of Fsis identical with the number of Gs if and only if F and G are equinumerous.The attempt miscarried, because in its role as a contextual definition HP fails tofix uniquely the reference of the cardinality operator ``the number of Fs''. Thisproblem of referential indeterminacy is usually called ``the Julius Caesar (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  10
    Brian Coffey (1952). The Foundations of Arithmetic. Modern Schoolman 29 (2):157-157.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Gottlob Frege & Eike-Henner W. Kluge (1973). On the Foundations of Geometry and Formal Theories of Arithmetic. Philosophical Review 82 (2):266-269.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  28.  69
    Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
    In this entry, Frege's logic is introduced and described in some detail. It is shown how the Dedekind-Peano axioms for number theory can be derived from a consistent fragment of Frege's logic, with Hume's Principle replacing Basic Law V.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  29.  6
    Review by: Jan von Plato (2014). Reviewed Work: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW] Bulletin of Symbolic Logic 20 (3):363-365,.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  20
    Peter Apostoli (2000). The Analytic Conception of Truth and the Foundations of Arithmetic. Journal of Symbolic Logic 65 (1):33-102.
  31.  3
    K. Brad Wray, Reinterpreting § 56 of Frege's The Foundations of Arithmetic.
    I defend an alternative reading of §56 of Frege's Grundlagen, one that rescues Frege from Dummett's charge that this section is the weakest in the whole book. On my reading, Frege is not presenting arguments against the adjectival strategy. Rather, Frege presents the definitions in §55 in order to convince his reader that numbers must be objects. In §56 Frege suggests that these definitions contain two shortcomings that adequate definitions of numbers must overcome. And these short-comings, he argues, can only (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  6
    F. P. O'Gorman (1973). On the Foundations of Geometry and Formal Theories of Arithmetic. Philosophical Studies 22:270-272.
  33.  10
    David Hilbert (1905). On the Foundations of Logic and Arithmetic. The Monist 15 (3):338-352.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  1
    Edward N. Zalta (Spring 2015). Frege's Theorem and Foundations for Arithmetic. In Stanford Encyclopedia of Philosophy.
    The principal goal of this entry is to present Frege's Theorem (i.e., the proof that the Dedekind-Peano axioms for number theory can be derived in second-order logic supplemented only by Hume's Principle) in the most logically perspicuous manner. We strive to present Frege's Theorem by representing the ideas and claims involved in the proof in clear and well-established modern logical notation. This prepares one to better prepared to understand Frege's own notation and derivations, and read Frege's original work (whether in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  4
    Edward A. Maziarz (1952). The Foundations of Arithmetic. New Scholasticism 26 (1):91-92.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  36.  13
    W. H. Mccrea (1951). Gottlob Frege: The Foundations of Arithmetic (Die Grundlagen der Arithmetik). Translation by J. L. Austin. (Oxford: Basil Blackwell. 1950. Pp. 132 (Xii + 119). Price 16s.). [REVIEW] Philosophy 26 (97):178-.
  37.  9
    Michael J. Loux (1970). The Foundations of Arithmetic. New Scholasticism 44 (3):470-471.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  3
    Die Grundlagen der Arithmetik & Grundgesetze der Arithmetik (forthcoming). Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  3
    Max Black (1951). Review: Gottlob Frege, J. L. Austin, The Foundations of Arithmetic. A Logico-Mathematical Enquiry Into the Concept of Number. [REVIEW] Journal of Symbolic Logic 16 (1):67-67.
  40.  2
    David A. Hunter (1996). Definition in Frege's' Foundations of Arithmetic'. Pacific Philosophical Quarterly 77 (2):88-107.
  41.  1
    Toshiyasu Arai (2000). Buss Samuel R.. First-Order Proof Theory of Arithmetic. Handbook of Proof Theory, Edited by Buss Samuel R., Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 79–147. [REVIEW] Bulletin of Symbolic Logic 6 (4):465-466.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  1
    Roman Murawski (1995). The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. Notre Dame Journal of Formal Logic 36 (4):502-504.
    Zygmunt Ratajczyk was a deep and subtle mathematician who, with mastery, used sophisticated and technically complex methods, in particular combinatorial and proof-theoretic ones. Walking always along his own paths and being immune from actual trends and fashions he hesitated to publish his results, looking endlessly for their improvement.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  43. J. L. Austin (1951). Gottlob Frege: The Foundations of Arithmetic. Philosophy 26 (97):178-180.
     
    Export citation  
     
    My bibliography  
  44. Jean-Pierre Belna (2006). Objectivity and the Principle of Duality: Paragraph 26 of Frege's Foundations of Arithmetic. Revue d'Histoire des Sciences 59 (2):319.
     
    Export citation  
     
    My bibliography  
  45. K. Brad Wray (1995). Reinterpreting Section 56 of Frege's The Foundations of Arithmetic. Auslegung 20:76-82.
     
    Export citation  
     
    My bibliography  
  46. Brian Coffey (1951). FREGE, GOTTLOB. "The Foundations of Arithmetic". [REVIEW] Modern Schoolman 29:157.
     
    Export citation  
     
    My bibliography  
  47. John Corcoran (1973). Gottlob Frege's "On the Foundations of Geometry and Formal Theories of Arithmetic". [REVIEW] Philosophy and Phenomenological Research 34 (2):283.
     
    Export citation  
     
    My bibliography  
  48. William Demopoulos (2013). Generality and Objectivity in Frege's Foundations of Arithmetic. In Alex Miller (ed.), Logic, Language and Mathematics: Essays for Crispin Wright. Oxford University Press
     
    Export citation  
     
    My bibliography  
  49. V. H. Dudman (1974). FREGE, G. "On the Foundations of Geometry and Formal Theories of Arithmetic". Translated and with an Introduction by E.-H. W. Kluge. [REVIEW] Mind 83:131.
     
    Export citation  
     
    My bibliography  
  50. Gottlob Frege (1953). The Foundations of Arithmetic a Logico-Mathematical Enquiry Into the Concept of Number. English Translation by J.L. Austin. [REVIEW]
1 — 50 / 1000