Frege on Indirect Proof

History and Philosophy of Logic 32 (3):283-290 (2011)
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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,553
External links

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
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
The Basic Laws of Arithmetic.Gottlob Frege - 1964 - Berkeley: University of California Press.
Logic in the Twenties: The Nature of the Quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
Frege's 1906 Foray Into Metalogic.Thomas Ricketts - 1997 - Philosophical Topics 25 (2):169-188.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Frege's Proof of Referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
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.
Grundgesetze der Arithmetik I §§29‒32.Richard Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
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.

Monthly downloads

Added to index

2011-08-04

Total downloads

29 ( #176,644 of 2,168,151 )

Recent downloads (6 months)

1 ( #346,757 of 2,168,151 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums