Der Einfluß der Antinomien auf die Entwicklung der Logik im 20. Jahrhundert


Abstract
La solution des antinomies s’accomplit en 3 étapes. 1° La théorie des types de Russell avec l’axiome de réductibilité. 2° Ramsey divise les antinomies en deux groupes. Le premier groupe reçoit sa solution de la simple théorie des types ; seul, le groupe élargi exige l’axiome de réductibilité. 3° Hilbert fonde la théorie métamathématique de la preuve, que les logiciens polonais élargissent en une métalogique. Gödel découvre l’arithmétisation et il prouve l’existence de propositions insolubles. Tarski montre que le concept de vérité ne peut être défini sans contradiction que dans un métalangage. Carnap généralise ce résultat, ce qui fait que les antinomies syntactiques sont sans dommage pour la science.
Keywords Conference Proceedings  History of Philosophy
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


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

No references found.

Add more references

Citations of this work BETA

Alexandre Koyré im “Mekka der Mathematik”: Koyrés Göttinger Dissertationsentwurf.Paola Zambelli - 1999 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 7 (1):208-230.

Add more citations

Similar books and articles

Analyse réflexive et catégories.Carlo Sganzini - 1937 - Travaux du IXe Congrès International de Philosophie 8:68-74.
Une solution des paradoxes de la logique et ses conséquences pour la conception de l’infini.Ch Perelman - 1937 - Travaux du IXe Congrès International de Philosophie 6:206-210.
Ist die Verwendung der logistischen Formeln in den Lehrbüchern der Logik zu empfehlen?Jos Fröbes - 1937 - Travaux du IXe Congrès International de Philosophie 6:58-63.
Les antinomies de la technique et de l’humanisme et leur solution.A. Agh - 1974 - Proceedings of the XVth World Congress of Philosophy 3:165-168.
Dépendance de la théorie des devoirs envers la théorie des biens et des maux.Rudolf Schottlaender - 1953 - Proceedings of the XIth International Congress of Philosophy 10:71-77.
Sur les démonstrations de non-contradiction.Alfred Errera - 1937 - Travaux du IXe Congrès International de Philosophie 6:121-127.
Formules Σ1 En Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.
Platon et Kant.Hugo Perls - 1937 - Travaux du IXe Congrès International de Philosophie 5:77-82.
Le Cogito e t la notion « pour penser, il faut être ».M. Gueroult - 1937 - Travaux du IXe Congrès International de Philosophie 1:53-60.

Analytics

Added to PP index
2017-01-10

Total views
4 ( #1,142,937 of 2,286,302 )

Recent downloads (6 months)
1 ( #848,598 of 2,286,302 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature