Metamathematics and the Philosophical Tradition

Metamathematics and the Philosophical Tradition PDF Author: William Boos
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110572451
Category : Philosophy
Languages : en
Pages : 494

Get Book Here

Book Description
Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Gödel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and evade problems of a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring "metatheoretical ascent" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume’s elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic.

Metamathematics and the Philosophical Tradition

Metamathematics and the Philosophical Tradition PDF Author: William Boos
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110572397
Category : Philosophy
Languages : en
Pages : 551

Get Book Here

Book Description
Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Gödel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and evade problems of a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring "metatheoretical ascent" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume’s elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic.

Logic, Semantics, Metamathematics

Logic, Semantics, Metamathematics PDF Author: Alfred Tarski
Publisher: Hackett Publishing
ISBN: 9780915144761
Category : Philosophy
Languages : en
Pages : 542

Get Book Here

Book Description


Towards a Philosophy of Real Mathematics

Towards a Philosophy of Real Mathematics PDF Author: David Corfield
Publisher: Cambridge University Press
ISBN: 1139436392
Category : Philosophy
Languages : en
Pages : 300

Get Book Here

Book Description
In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme and the ways in which new concepts are justified. His inspiring book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines and points clearly to the ways in which this can be done.

Philosophical Introduction to Set Theory

Philosophical Introduction to Set Theory PDF Author: Stephen Pollard
Publisher: Courier Dover Publications
ISBN: 0486797147
Category : Mathematics
Languages : en
Pages : 196

Get Book Here

Book Description
This unique approach maintains that set theory is the primary mechanism for ideological and theoretical unification in modern mathematics, and its technically informed discussion covers a variety of philosophical issues. 1990 edition.

Philosophy of Mathematics

Philosophy of Mathematics PDF Author: Thomas Bedürftig
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110468336
Category : Mathematics
Languages : en
Pages : 476

Get Book Here

Book Description
The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of mathematics. In the book problems connected with the concept of a number, with the infinity, the continuum and the infinitely small, with the applicability of mathematics as well as with sets, logic, provability and truth and with the axiomatic approach to mathematics are considered. In Chapter 6 the meaning of infinitesimals to mathematics and to the elements of analysis is presented. The authors of the present book are mathematicians. Their aim is to introduce mathematicians and teachers of mathematics as well as students into the philosophy of mathematics. The book is suitable also for professional philosophers as well as for students of philosophy, just because it approaches philosophy from the side of mathematics. The knowledge of mathematics needed to understand the text is elementary. Reports on historical conceptions. Thinking about today‘s mathematical doing and thinking. Recent developments. Based on the third, revised German edition. For mathematicians - students, teachers, researchers and lecturers - and readersinterested in mathematics and philosophy. Contents On the way to the reals On the history of the philosophy of mathematics On fundamental questions of the philosophy of mathematics Sets and set theories Axiomatic approach and logic Thinking and calculating infinitesimally – First nonstandard steps Retrospection

The Autonomy of Mathematical Knowledge

The Autonomy of Mathematical Knowledge PDF Author: Curtis Franks
Publisher: Cambridge University Press
ISBN: 0521514371
Category : Mathematics
Languages : en
Pages : 229

Get Book Here

Book Description
This study reconstructs, analyses and re-evaluates the programme of influential mathematical thinker David Hilbert, presenting it in a different light.

Axiomatic Theories of Truth

Axiomatic Theories of Truth PDF Author: Volker Halbach
Publisher: Cambridge University Press
ISBN: 1316584232
Category : Philosophy
Languages : en
Pages : 362

Get Book Here

Book Description
At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth.

Fuzzy Logic and Mathematics

Fuzzy Logic and Mathematics PDF Author: Radim Bělohlávek
Publisher: Oxford University Press
ISBN: 0190200014
Category : Mathematics
Languages : en
Pages : 545

Get Book Here

Book Description
The main part of the book is a comprehensive overview of the development of fuzzy logic and its applications in various areas of human affair since its genesis in the mid 1960s. This overview is then employed for assessing the significance of fuzzy logic and mathematics based on fuzzy logic.

Ontology of Divinity

Ontology of Divinity PDF Author: Mirosław Szatkowski
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 311133256X
Category : Philosophy
Languages : en
Pages : 844

Get Book Here

Book Description
This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal’s Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind.