Contents
7 found
Order:
  1. The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness.Eric D. Berg & Roy T. Cook - 2017 - Journal for the History of Analytical Philosophy 5 (6).
    In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Book Review: Gottlob Frege, Basic Laws of Arithmetic. [REVIEW]Kevin C. Klement - 2016 - Studia Logica 104 (1):175-180.
    Review of Basic Laws of Arithmetic, ed. and trans. by P. Ebert and M. Rossberg (Oxford 2013).
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The Finite and the Infinite in Frege's Grundgesetze der Arithmetik.Richard Heck - 1998 - In Matthias Schirn (ed.), Philosophy of Mathematics Today. Oxford University Press.
    Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. The Finite and the Infinite in Frege's Grundgesetze der Arithmetik.Richard G. Heck - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
    Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
    As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   59 citations  
  6. Definition by Induction in Frege's Grundgesetze der Arithmetik.Richard Heck - 1995 - In William Demopoulos (ed.), Frege's philosophy of mathematics. Cambridge, Mass.: Harvard University Press.
    This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   16 citations  
  7. Translators' Introduction.Philip A. Ebert & Marcus Rossberg - 1893 - In Gottlob Frege (ed.), Basic Laws of Arithmetic, Derived Using Concept-Script: Volumes I & II. Oxford: Oxford University Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations