Philosophiques 8 (2):273-285 (1981)

Authors
Yvon Gauthier
Université de Montréal
Abstract
Le texte est consacré aux aspects essentiels de la théorie des démonstrations en logique mathématique et à ses ramifications contemporaines. La distinction établie par Kreisel entre théorie générale des démonstrations et théorie reductive des démonstrations est reprise et l'accent est mis sur la théorie reductive ou les sous-systèmes de l'analyse classique, en particulier l'induction transfinie. Le texte comporte une critique de la justification de l'induction transfinie de Takeuti et se termine par une liste des développements contemporains les plus significatifs en théorie de la preuve.This article deals with the essential aspects and the contemporary developments of proof theory in mathematical logic. The distinction between general proof theory and reductive proof theory borrowed from Kreisel is used as the main axis of the paper, but the emphasis is on the reductive theory of classical analysis and transfinite induction. A foundational critique of Takeuti's justification of transfinite induction is offered and details on the most significant contemporary developments of proof theory close the article
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.7202/203170ar
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,668
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

How Do You Falsify a Question?: Crucial Tests Versus Crucial Demonstrations.Douglas Allchin - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:74 - 88.
Esthétique de l'artefact extatique.Alain Viguier - 2013 - In Christian Hubert-Rodier (ed.), None. Hôtel des Bains Éditions.
Intentions and Demonstrations.Kent Bach - 1992 - Analysis 52 (3):140--146.
.[author unknown] - unknown
Maimonides' Demonstrations: Principles and Practice.Josef Stern - 2001 - Medieval Philosophy and Theology 10 (1):47-84.
Technologies of Democracy: Experiments and Demonstrations.Brice Laurent - 2011 - Science and Engineering Ethics 17 (4):649-666.

Analytics

Added to PP index
2013-12-01

Total views
7 ( #966,268 of 2,331,429 )

Recent downloads (6 months)
1 ( #588,490 of 2,331,429 )

How can I increase my downloads?

Downloads

My notes