Proof Theory: History and Philosophical Significance by Vincent F. Hendricks,Stig Andur Pedersen,Klaus Frovin

By Vincent F. Hendricks,Stig Andur Pedersen,Klaus Frovin Jørgensen

hiS quantity within the Synthese Library sequence is the results of a convention T held on the collage of Roskilde, Denmark, October 31st-November 1st, 1997. the purpose was once to supply a discussion board in which philosophers, math­ ematicians, logicians and historians of arithmetic may perhaps alternate principles referring to the ancient and philosophical improvement of facts thought. consequently the convention used to be referred to as evidence conception: heritage and Philosophical value. to cite from the convention summary: evidence conception was once built as a part of Hilberts Programme. in keeping with Hilberts Programme you possibly can offer arithmetic with an organization and se­ medication starting place by way of formalizing all of arithmetic and for this reason end up consistency of those formal platforms via finitistic capacity. accordingly evidence thought was once constructed as a proper device wherein this objective can be fulfilled. it truly is popular that Hilbert's Programme in its unique shape used to be unfeasible typically as a result of Gtldel's incompleteness theorems. also it proved most unlikely to formalize all of arithmetic and very unlikely to even end up the consistency of quite easy formalized fragments of arithmetic through finitistic equipment. inspite of those difficulties, Gentzen confirmed that via extending Hilbert's facts idea it might be attainable to end up the consistency of fascinating formal platforms, probably no longer by way of finitis­ tic equipment yet nonetheless by way of tools of minimum power. This generalization of Hilbert's unique programme has fueled glossy evidence concept that is a wealthy a part of mathematical good judgment with many major implications for the philosophy of mathematics.

Show description

Read Online or Download Proof Theory: History and Philosophical Significance (Synthese Library) PDF

Similar philosophical logic & language books

Proof Theory: History and Philosophical Significance (Synthese Library)

HiS quantity within the Synthese Library sequence is the results of a convention T held on the collage of Roskilde, Denmark, October 31st-November 1st, 1997. the purpose was once to supply a discussion board during which philosophers, math­ ematicians, logicians and historians of arithmetic may perhaps trade rules concerning the historic and philosophical improvement of evidence conception.

Definition in Greek Philosophy

Socrates' maximum philosophical contribution used to be to have initiated the hunt for definitions. In Definition in Greek Philosophy his perspectives on definition are tested, including these of his successors, together with Plato, Aristotle, the Stoics, Galen, the Sceptics and Plotinus. even though definition was once a tremendous pre-occupation for plenty of Greek philosophers, it has infrequently been taken care of as a separate subject in its personal correct lately.

A Profile of Mathematical Logic (Dover Books on Mathematics)

An individual looking a readable and comparatively short advisor to common sense can do no larger than this vintage advent. A deal with for either the mind and the mind's eye, it profiles the advance of common sense from old to trendy occasions and compellingly examines the character of common sense and its philosophical implications.

Heuristic Strategies in the Speeches of Cicero: 23 (Argumentation Library)

This publication introduces a brand new kind of argumentative research: rhetorical heuremes. the tactic applies the suggestions of heuristic pondering, likelihood, and contingency with the intention to strengthen a greater realizing of complicated arguments in classical oratory. a brand new idea is needed simply because Greek and Roman rhetoric can't offer precise solutions to difficulties of strategic argumentation within the research of speeches.

Extra info for Proof Theory: History and Philosophical Significance (Synthese Library)

Sample text

Download PDF sample

Rated 4.28 of 5 – based on 30 votes