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)|
References found in this work BETA
Logic in the Twenties: The Nature of the Quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
Citations of this work BETA
No citations found.
Similar books and articles
Frege's Proof of Referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
Frege's Theory of Sense and Reference: Some Exegetical Notes.Saul A. Kripke - 2008 - Theoria 74 (3):181-218.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Frege's Commitment to an Infinite Hierarchy of Senses.Daniel R. Boisvert & Christopher M. Lubbers - 2003 - Philosophical Papers 32 (1):31-64.
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?Jamie Tappenden - 2000 - Notre Dame Journal of Formal Logic 41 (3):271-315.
What Frege's Theory of Identity is Not.Robert May - 2012 - Thought: A Journal of Philosophy 1 (1):41-48.
Frege and Kitcher on A Priori Knowledge.Christoph C. Pfisterer - 2010 - Conceptus: Zeitschrift Fur Philosophie 94:29-43.
Frege, Hilbert, and the Conceptual Structure of Model Theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.
We Hold These Truths to Be Self-Evident: But What Do We Mean by That?Stewart Shapiro - 2009 - Review of Symbolic Logic 2 (1):175-207.
Grundgesetze der Arithmetik I §§29‒32.Richard Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
Frege's Theory of Sense and Reference: Its Origins and Scope.Wolfgang Carl - 1994 - Cambridge University Press.
Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.
Syntax in Basic Laws §§29–32.Bryan Pickel - 2010 - Notre Dame Journal of Formal Logic 51 (2):253-277.
Definition by Induction in Frege's Grundgesetze der Arithmetik.Richard Heck - 1995 - In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. Oxford University Press.
Added to index2011-08-04
Total downloads29 ( #176,644 of 2,168,151 )
Recent downloads (6 months)1 ( #346,757 of 2,168,151 )
How can I increase my downloads?