History and Philosophy of Logic 32 (3):283-290 (2011)

Authors
Ivan Welty
Willamette University
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,192
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 - 1893 - 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.
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.
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.

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 )

How can I increase my downloads?

Downloads

My notes