Metamathematics and the Philosophical Tradition

Metamathematics and the Philosophical Tradition
Author :
Publisher : Walter de Gruyter GmbH & Co KG
Total Pages : 494
Release :
ISBN-10 : 9783110572452
ISBN-13 : 3110572451
Rating : 4/5 (52 Downloads)

Synopsis Metamathematics and the Philosophical Tradition by : William Boos

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
Author :
Publisher : Walter de Gruyter GmbH & Co KG
Total Pages : 551
Release :
ISBN-10 : 9783110572391
ISBN-13 : 3110572397
Rating : 4/5 (91 Downloads)

Synopsis Metamathematics and the Philosophical Tradition by : William Boos

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.

Towards a Philosophy of Real Mathematics

Towards a Philosophy of Real Mathematics
Author :
Publisher : Cambridge University Press
Total Pages : 300
Release :
ISBN-10 : 9781139436397
ISBN-13 : 1139436392
Rating : 4/5 (97 Downloads)

Synopsis Towards a Philosophy of Real Mathematics by : David Corfield

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.

Logic, Semantics, Metamathematics

Logic, Semantics, Metamathematics
Author :
Publisher : Hackett Publishing
Total Pages : 542
Release :
ISBN-10 : 091514476X
ISBN-13 : 9780915144761
Rating : 4/5 (6X Downloads)

Synopsis Logic, Semantics, Metamathematics by : Alfred Tarski

Philosophy of Mathematics

Philosophy of Mathematics
Author :
Publisher : Walter de Gruyter GmbH & Co KG
Total Pages : 476
Release :
ISBN-10 : 9783110468335
ISBN-13 : 3110468336
Rating : 4/5 (35 Downloads)

Synopsis Philosophy of Mathematics by : Thomas Bedürftig

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

Philosophical Introduction to Set Theory

Philosophical Introduction to Set Theory
Author :
Publisher : Courier Dover Publications
Total Pages : 196
Release :
ISBN-10 : 9780486797144
ISBN-13 : 0486797147
Rating : 4/5 (44 Downloads)

Synopsis Philosophical Introduction to Set Theory by : Stephen Pollard

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.

Early Analytic Philosophy and the German Philosophical Tradition

Early Analytic Philosophy and the German Philosophical Tradition
Author :
Publisher : Bloomsbury Publishing
Total Pages : 295
Release :
ISBN-10 : 9781350086449
ISBN-13 : 1350086444
Rating : 4/5 (49 Downloads)

Synopsis Early Analytic Philosophy and the German Philosophical Tradition by : Nikolay Milkov

This book investigates the emergence and development of early analytic philosophy and explicates the topics and concepts that were of interest to German and British philosophers. Taking into consideration a range of authors including Leibniz, Kant, Hegel, Fries, Lotze, Husserl, Moore, Russell and Wittgenstein, Nikolay Milkov shows that the same puzzles and problems were of interest within both traditions. Showing that the particular problems and concepts that exercised the early analytic philosophers logically connect with, and in many cases hinge upon, the thinking of German philosophers, Early Analytic Philosophy and the German Philosophical Tradition introduces the Anglophone world to key concepts and thinkers within German philosophical tradition and provides a much-needed revisionist historiography of early analytic philosophy. In doing so, this book shows that the issues that preoccupied the early analytic philosophy were familiar to the most renowned figures in the German philosophical tradition, and addressed by them in profoundly original and enduringly significant ways.

The Philosophy of Mathematics Today

The Philosophy of Mathematics Today
Author :
Publisher : Oxford University Press
Total Pages : 654
Release :
ISBN-10 : 0199262624
ISBN-13 : 9780199262625
Rating : 4/5 (24 Downloads)

Synopsis The Philosophy of Mathematics Today by : Matthias Schirn

Representing the state of the art in the field of the philosophy of mathematics, this collection of 20 essays deals with fundamental issues, ranging from the nature of mathematical knowledge to sets and natural 'number'.

The Philosophers and Mathematics

The Philosophers and Mathematics
Author :
Publisher : Springer
Total Pages : 357
Release :
ISBN-10 : 9783319937335
ISBN-13 : 3319937332
Rating : 4/5 (35 Downloads)

Synopsis The Philosophers and Mathematics by : Hassan Tahiri

This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the ages thought about mathematics. This includes both thinkers who recognized the relevance of mathematics to their own work as well as those who chose to completely ignore its many achievements. The essays offer insight into the role that mathematics played in the formation of each included philosopher’s doctrine as well as the impact its remarkable expansion had on the philosophical systems each erected. Conversely, the authors also highlight the ways that philosophy contributed to the growth and transformation of mathematics. Throughout, significant historical examples help to illustrate these points in a vivid way. Mathematics has often been a favored interlocutor of philosophers and a major source of inspiration. This book is the outcome of an international conference held in honor of Roshdi Rashed, a renowned historian of mathematics. It provides researchers, students, and interested readers with remarkable insights into the history of an important relationship throughout the ages.

Axiomatic Theories of Truth

Axiomatic Theories of Truth
Author :
Publisher : Cambridge University Press
Total Pages : 362
Release :
ISBN-10 : 9781316584231
ISBN-13 : 1316584232
Rating : 4/5 (31 Downloads)

Synopsis Axiomatic Theories of Truth by : Volker Halbach

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.