David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Alfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
Gottlob Frege (1964). The Basic Laws of Arithmetic. Berkeley, University of California Press.
Warren D. Goldfarb (1979). Logic in the Twenties: The Nature of the Quantifier. Journal of Symbolic Logic 44 (3):351-368.
Thomas Ricketts (1997). Frege's 1906 Foray Into Metalogic. Philosophical Topics 25 (2):169-188.
Citations of this work BETA
No citations found.
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: A Journal of Philosophy 1 (1):41-48.
Christoph C. Pfisterer (2010). Frege and Kitcher on A Priori Knowledge. Conceptus: Zeitschrift Fur Philosophie 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 downloads28 ( #148,145 of 1,934,793 )
Recent downloads (6 months)1 ( #434,672 of 1,934,793 )
How can I increase my downloads?