Traversee du Book Archive

Philosophical Logic Language

Download An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext by Christian Tapp PDF

By Christian Tapp

David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts place schließt logizistische und intuitionistische Momente ein – und sicher keinen Spielformalismus. Der zweite Teil des Buches macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler im Rahmen der formallogischen Durchführung und Weiterentwicklung des Programms entwickelt haben, um die Widerspruchsfreiheit mathematischer Axiomensysteme mit mathematischen Mitteln zu zeigen. Der dritte Teil widmet sich recht anspruchsvollen philosophischen „Überhangfragen“: Ist das Programm nicht letztlich zirkulär? Ist es nicht mit den Gödelsätzen zum Scheitern verurteilt? Und wie können in einem finitistischen Rahmen transfinite Ordinalzahlen auftreten? Hilbert hat der Philosophie ein spannendes und herausforderndes Aufgabenfeld hinterlassen.

Show description

Read or Download An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition) PDF

Similar philosophical logic & language books

Logic and Philosophy / Logique et Philosophie: Symposium Proceedings (Institut International de Philosophie)

The Entretiens of the Institut overseas de Philosophie for 1978 have been held in reference to the realm Congress of Philosophy in Dusseldorf, from August 27 to September 1. The subject of the Entretiens used to be good judgment and Philosophy (Logique et philosophie). The undersigned, then President of LI. P. , used to be answerable for the making plans of the programme.

Truthlikeness for Multidimensional, Quantitative Cognitive Problems (Synthese Library)

Philosophers of technology have produced numerous definitions for the proposal of 1 sentence, idea or speculation being in the direction of the reality, extra verisimilar, or extra truthlike than one other one. The definitions recommend by way of philosophers presuppose not less than implicitly that the subject material with which the in comparison sentences, theories or hypotheses are involved has been specified,!

Recent Trends in Philosophical Logic (Trends in Logic)

This quantity provides fresh advances in philosophical common sense with chapters concentrating on non-classical logics, together with paraconsistent logics, substructural logics, modal logics of company and different modal logics. The authors disguise issues akin to the knowability paradox, tableaux and sequent calculi, average deduction, convinced descriptions, identification, fact, dialetheism and attainable worlds semantics.

Logic, Language and Method - On Polarities in Human Experience

Papers from greater than 3 many years mirror the advance of thinkingover the dialogical framework that shapes verbal expression of comprehending adventure and that needs to be exhibited in in charge argumentations. With dialogical reconstructions of expertise due to the methodical constructivism of the “Erlangen tuition” it truly is attainable to discover the beginning of many conceptual oppositions in conventional philosophical speak, like average vs.

Extra resources for An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition)

Sample text

Download PDF sample

Rated 4.88 of 5 – based on 49 votes