David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 32 (3):283-290 (2011)
Frege's account of indirect proof has been thought to be problematic. This thought seems to rest on the supposition that some notion of logical consequence ? which Frege did not have ? is indispensable for a satisfactory account of indirect proof. It is not so. Frege's account is no less workable than the account predominant today. Indeed, Frege's account may be best understood as a restatement of the latter, although from a higher order point of view. I argue that this ascent is motivated by Frege's conception of logic
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Øystein Linnebo (2004). Frege's Proof of Referentiality. Notre Dame Journal of Formal Logic 45 (2):73-98.
Saul A. Kripke (2008). Frege's Theory of Sense and Reference: Some Exegetical Notes. Theoria 74 (3):181-218.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Daniel R. Boisvert & Christopher M. Lubbers (2003). Frege's Commitment to an Infinite Hierarchy of Senses. Philosophical Papers 32 (1):31-64.
Jamie Tappenden (2000). Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? Notre Dame Journal of Formal Logic 41 (3):271-315.
Robert May (2012). What Frege's Theory of Identity is Not. Thought 1 (1):41-48.
Richard Heck & George Boolos (1998). Die Grundlagen der Arithmetik §§82-83. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Christoph C. Pfisterer (2010). Frege and Kitcher on A Priori Knowledge. Conceptus 94:29-43.
William Demopoulos (1994). Frege, Hilbert, and the Conceptual Structure of Model Theory. History and Philosophy of Logic 15 (2):211-225.
Stewart Shapiro (2009). We Hold These Truths to Be Self-Evident: But What Do We Mean by That? Review of Symbolic Logic 2 (1):175-207.
Richard Heck (1997). Grundgesetze der Arithmetik I §§29‒32. Notre Dame Journal of Formal Logic 38 (3):437-474.
Wolfgang Carl (1994). Frege's Theory of Sense and Reference: Its Origins and Scope. Cambridge University Press.
Günther Eder (2013). Remarks on Independence Proofs and Indirect Reference. History and Philosophy of Logic 34 (1):68-78.
Bryan Pickel (2010). Syntax in Basic Laws §§29–32. Notre Dame Journal of Formal Logic 51 (2):253-277.
Richard Heck (1995). Definition by Induction in Frege's Grundgesetze der Arithmetik. In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. OUP.
Added to index2011-08-04
Total downloads23 ( #62,065 of 1,004,638 )
Recent downloads (6 months)1 ( #64,617 of 1,004,638 )
How can I increase my downloads?