Logic & Language
Proof Theory in Philosophy of Mathematics
By , Kansas State University, Department of Philosophy (April 2010)
Section: Logic & Language
Subjects: Philosophy, Logic and Language, Logic.
Key Topics: meaning, explanation.
Abstract
A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.
DOI: 10.1111/j.1747-9991.2010.00282.x
This article abstract has been viewed 807 times.
Top 5 related articles
-
An Inferentialist Approach to Semantics: Time for a New Kind of Structuralism?
By , Academy of Sciences of the Czech Republic
(Vol. 3, November 2008)
Philosophy Compass -
Recent Work on Propositions
By , University of Minnesota
(Vol. 4, March 2009)
Philosophy Compass -
Neo-Pragmatist (Practice-Based) Theories of Meaning
By , Grand Valley State University
(Vol. 3, December 2008)
Philosophy Compass -
Characterizing Vagueness
By , Cornell University
(Vol. 2, November 2007)
Philosophy Compass -
The Elusive Scope of Descriptions
By , Columbia University
(Vol. 2, November 2007)
Philosophy Compass
Top 5 Related Blackwell Reference Chapters
Explanation
Although the subject of explanation has been a major concern of philosophy since Plato and Aristotle, ...
By Jim Woodward
Reduction, Emergence and Explanation
Can everything be reduced to the fundamental constituents of the world? Or can there be, and are there, ...
By Michael Silberstein
Explanation
The point of departure for all discussions of nonstatistical explanation in the philosophy of science ...
By W. H. NEWTON-SMITH
Inference to the Best Explanation
Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation ...
By PETER LIPTON
Statistical Explanation
Generally speaking, scientific explanation has been a topic of lively discussion in twentieth-century ...
By CHRISTOPHER READ HITCHCOCK and WESLEY C. SALMON