Home Book Archive

Philosophical Logic Language

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 Online or Download An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition) PDF

Best philosophical logic & language books

Download e-book for kindle: Structural Proof Theory by Sara Negri,Jan von Plato,Aarne Ranta

Structural facts concept is a department of good judgment that experiences the final constitution and houses of logical and mathematical proofs. This publication is either a concise creation to the primary effects and techniques of structural evidence idea, and a piece of analysis that may be of curiosity to experts. The ebook is designed for use via scholars of philosophy, arithmetic and machine technological know-how.

C. W. A. Whitaker's Aristotle's De Interpretatione: Contradiction and Dialectic PDF

De Interpretatione is between Aristotle's such a lot influential and generally learn writings; C. W. A. Whitaker provides the 1st systematic examine of this paintings, and gives a thorough new view of its goals, its constitution, and its position in Arisotle's process. He exhibits that De Interpretatione isn't really a disjointed essay on in poor health- attached topics, as generally idea, yet a hugely equipped and systematic treatise on common sense, argument, and dialectic.

Shilong Wu's Bible of Logic PDF

The logical bible used to be composed of 1 dictionary of logical legislations (3360) and one other dictionary of opposite logical considering. The dictionary of logical legislation was once composed of 4 tables, each one desk includes 840 legislation, a complete of 3360 logical legislation gave the reader is referred. The dictionary of logical legislation comprises seven brothers of Aristotelian syllogism.

Download e-book for iPad: The Cambridge Companion to Medieval Logic (Cambridge by Catarina Dutilh Novaes,Stephen Read

This quantity, the 1st devoted and entire spouse to medieval common sense, covers either the Latin and the Arabic traditions and indicates that they have been in reality sister traditions, which either arose opposed to the history of a Hellenistic background and which stimulated each other over the centuries. a sequence of chapters via either confirmed and more youthful students covers the full interval together with early and past due advancements, and gives new insights into this super wealthy interval within the historical past of common sense.

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

Example text

Download PDF sample

An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Mathematik im Kontext) (German Edition) by Christian Tapp

by Mark

Rated 4.04 of 5 – based on 26 votes