Induction and indefinite extensibility: the Gödel sentence is true, but did someone change the subject?

Author: Shapiro S.

Source: Mind, Volume 107, Number 427, July 1998 , pp. 597-624(28)

Publisher: Oxford University Press

Abstract:

Over the last few decades Michael Dummett developed a rich program for assessing logic and the meaning of the terms of a language. He is also a major exponent of Frege's version of logicism in the philosophy of mathematics. Over the last decade, Neil Tennant developed an extensive version of logicism in Dummettian terms, and Dummett influences other contemporary logicists such as Crispin Wright and Bob Hale. The purpose of this paper is to explore the prospects for Fregean logicism within a broadly Dummettian framework. The conclusions are mostly negative: Dummett's views on analyticity and the logical/non-logical boundary leave little room for logicism. Dummett's considerations concerning manifestation and separability lead to a conservative extension requirement: if a sentence S is logically true, then there is a proof of S which uses only the introduction and elimination rules of the logical terms that occur in S. If basic arithmetic propositions are logically true - as the logicist contends - then there is tension between this conservation requirement and the ontological commitments of arithmetic. It follows from Dummett's manifestation requirements that if a sentence S is composed entirely of logical terminology, then there is a formal deductive system D such that S is analytic, or logically true, if and only if S is a theorem of D. There is a deep conflict between this result and the essential incompleteness, or as Dummett puts it, the indefinite extensibility, of arithmetic truth.

Language: English

Document Type: Original article

Affiliations: Department of Philosophy, The Ohio State University at Newark, Newark, Ohio 43055, USA shapiro+@osu.edu

Publication date: 1998-07-01

• Mind has long been a leading journal in philosophy. For well over 100 years it has presented the best of cutting edge thought from epistemology, metaphysics, philosophy of language, philosophy of logic, and philosophy of mind. Mind continues its tradition of excellence today. Mind has always enjoyed a strong reputation for the high standards established by its editors and receives around 350 submissions each year. The editor seeks advice from a large number of expert referees, including members of the network of Associate Editors and his international advisers. Mind is published quarterly.

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Shapiro S.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers