History and Philosophy of Logic 32 (3):283-290 (2011)
Authors |
|
Abstract |
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) |
DOI | 10.1080/01445340.2011.558178 |
Options |
![]() ![]() ![]() ![]() |
Download options
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.
View all 9 references / Add more references
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.
Kitcher and Frege 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.
Grundgesetze der Arithmetik I §§29‒32.Richard G. 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.
Analytics
Added to PP index
2011-08-04
Total views
41 ( #276,672 of 2,507,485 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,485 )
2011-08-04
Total views
41 ( #276,672 of 2,507,485 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,485 )
How can I increase my downloads?
Downloads