# Search Results for "truth-through-proof-a-formalist-foundation-for-mathematics"

## Truth Through Proof

*A Formalist Foundation for Mathematics*

**Author**: Alan Weir**Publisher:**OUP Oxford**ISBN:**9780199541492**Category:**Mathematics**Page:**296**View:**5483

Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.

## Principia Mathematica

**Author**: Alfred North Whitehead,Bertrand Russell**Publisher:**N.A**ISBN:**N.A**Category:**Logic, Symbolic and mathematical**Page:**N.A**View:**9501

## An Introduction to the Philosophy of Mathematics

**Author**: Mark Colyvan**Publisher:**Cambridge University Press**ISBN:**1107377005**Category:**Science**Page:**N.A**View:**8817

This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each chapter has a number of discussion questions and recommended further reading from both the contemporary literature and older sources. Very little mathematical background is assumed and all of the mathematics encountered is clearly introduced and explained using a wide variety of examples. The book is suitable for an undergraduate course in philosophy of mathematics and, more widely, for anyone interested in philosophy and mathematics.

## What is Mathematics, Really?

**Author**: Reuben Hersh**Publisher:**Oxford University Press, USA**ISBN:**9780195130874**Category:**Medical**Page:**343**View:**9847

Most philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Reuben Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of his book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Descartes, and Spinoza, to Bertrand Russell, David Hilbert, and Rudolph Carnap--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, and Lakatos. What is Mathematics, Really? reflects an insider's view of mathematical life, and will be hotly debated by anyone with an interest in mathematics or the philosophy of science.

## Philosophy of Mathematics and Economics

*Image, Context and Perspective*

**Author**: Thomas A. Boylan,Paschal F. O'Gorman**Publisher:**Routledge**ISBN:**1351124544**Category:**Business & Economics**Page:**242**View:**9793

With the failure of economics to predict the recent economic crisis, the image of economics as a rigorous mathematical science has been subjected to increasing interrogation. One explanation for this failure is that the subject took a wrong turn in its historical trajectory, becoming too mathematical. Using the philosophy of mathematics, this unique book re-examines this trajectory. Philosophy of Mathematics and Economics re-analyses the divergent rationales for mathematical economics by some of its principal architects. Yet, it is not limited to simply enhancing our understanding of how economics became an applied mathematical science. The authors also critically evaluate developments in the philosophy of mathematics to expose the inadequacy of aspects of mainstream mathematical economics, as well as exploiting the same philosophy to suggest alternative ways of rigorously formulating economic theory for our digital age. This book represents an innovative attempt to more fully understand the complexity of the interaction between developments in the philosophy of mathematics and the process of formalisation in economics. Assuming no expert knowledge in the philosophy of mathematics, this work is relevant to historians of economic thought and professional philosophers of economics. In addition, it will be of great interest to those who wish to deepen their appreciation of the economic contours of contemporary society. It is also hoped that mathematical economists will find this work informative and engaging.

## Logicism, Intuitionism, and Formalism

*What Has Become of Them?*

**Author**: Sten Lindström,Erik Palmgren,Krister Segerberg,Viggo Stoltenberg-Hansen**Publisher:**Springer Science & Business Media**ISBN:**1402089260**Category:**Mathematics**Page:**512**View:**9678

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.

## Philosophy of Mathematics

*Selected Readings*

**Author**: Paul Benacerraf,Hilary Putnam**Publisher:**Cambridge University Press**ISBN:**1107268133**Category:**Science**Page:**N.A**View:**7510

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

## A Structural Account of Mathematics

**Author**: Charles S. Chihara**Publisher:**Clarendon Press**ISBN:**0199267537**Category:**Philosophy**Page:**380**View:**4681

Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking features of mathematics that have puzzled philosophers for centuries. The view is used to show that, in order to understand how mathematical systems are applied in science and everyday life, it is not necessary to assume that its theorems either presuppose mathematical objects or are even true. Chihara builds upon his previous work, in which he presented a new system of mathematics, the constructibility theory, which did not make reference to, or presuppose, mathematical objects. Now he develops the project further by analysing mathematical systems currently used by scientists to show how such systems are compatible with this nominalistic outlook. He advances several new ways of undermining the heavily discussed indispensability argument for the existence of mathematical objects made famous by Willard Quine and Hilary Putnam. And Chiharapresents a rationale for the nominalistic outlook that is quite different from those generally put forward, which he maintains have led to serious misunderstandings. A Structural Account of Mathematics will be required reading for anyone working in this field.

## The Great Formal Machinery Works

*Theories of Deduction and Computation at the Origins of the Digital Age*

**Author**: Jan von Plato**Publisher:**Princeton University Press**ISBN:**1400885035**Category:**Science**Page:**400**View:**1127

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.

## Philosophy and Foundations of Mathematics

*L. E. J. Brouwer*

**Author**: A. Heyting**Publisher:**Elsevier**ISBN:**1483278158**Category:**Mathematics**Page:**644**View:**545

L.E.J. Brouwer: Collected Works, Volume 1: Philosophy and Foundations of Mathematics focuses on the principles, operations, and approaches promoted by Brouwer in studying the philosophy and foundations of mathematics. The publication first ponders on the construction of mathematics. Topics include arithmetic of integers, negative numbers, measurable continuum, irrational numbers, Cartesian geometry, similarity group, characterization of the linear system of the Cartesian or Euclidean and hyperbolic space, and non-Archimedean uniform groups on the one-dimensional continuum. The book then examines mathematics and experience and mathematics and logic. Topics include denumerably unfinished sets, continuum problem, logic of relations, consistency proofs for formal systems independent of their interpretation, infinite numbers, and problems of space and time. The text is a valuable reference for students, mathematicians, and researchers interested in the contributions of Brouwer in the studies on the philosophy and foundations of mathematics.

## Mathematical Physics

*A Modern Introduction to Its Foundations*

**Author**: Sadri Hassani**Publisher:**Springer Science & Business Media**ISBN:**3319011952**Category:**Science**Page:**1205**View:**5674

The goal of this book is to expose the reader to the indispensable role that mathematics plays in modern physics. Starting with the notion of vector spaces, the first half of the book develops topics as diverse as algebras, classical orthogonal polynomials, Fourier analysis, complex analysis, differential and integral equations, operator theory, and multi-dimensional Green's functions. The second half of the book introduces groups, manifolds, Lie groups and their representations, Clifford algebras and their representations, and fibre bundles and their applications to differential geometry and gauge theories. This second edition is a substantial revision with a complete rewriting of many chapters and the addition of new ones, including chapters on algebras, representation of Clifford algebras, fibre bundles, and gauge theories. The spirit of the first edition, namely the balance between rigour and physical application, has been maintained, as is the abundance of historical notes and worked out examples that demonstrate the "unreasonable effectiveness of mathematics" in modern physics.

## The Continuum

*A Critical Examination of the Foundation of Analysis*

**Author**: Hermann Weyl**Publisher:**Courier Corporation**ISBN:**0486679829**Category:**Mathematics**Page:**130**View:**3157

Concise classic by great mathematician and physicist deals with logic and mathematics of set and function, concept of number and the continuum. Bibliography. Originally published 1918.

## Computable Foundations for Economics

**Author**: K. Vela Velupillai**Publisher:**Routledge**ISBN:**1134253362**Category:**Business & Economics**Page:**512**View:**7628

Computable Foundations for Economics is a unified collection of essays, some of which are published here for the first time and all of which have been updated for this book, on an approach to economic theory from the point of view of algorithmic mathematics. By algorithmic mathematics the author means computability theory and constructive mathematics. This is in contrast to orthodox mathematical economics and game theory, which are formalised with the mathematics of real analysis, underpinned by what is called the ZFC formalism, i.e., set theory with the axiom of choice. This reliance on ordinary real analysis and the ZFC system makes economic theory in its current mathematical mode completely non-algorithmic, which means it is numerically meaningless. The book provides a systematic attempt to dissect and expose the non-algorithmic content of orthodox mathematical economics and game theory and suggests a reformalization on the basis of a strictly rigorous algorithmic mathematics. This removes the current schizophrenia in mathematical economics and game theory, where theory is entirely divorced from algorithmic applicability – for experimental and computational exercises. The chapters demonstrate the uncomputability and non-constructivity of core areas of general equilibrium theory, game theory and recursive macroeconomics. The book also provides a fresh look at the kind of behavioural economics that lies behind Herbert Simon’s work, and resurrects a role for the noble classical traditions of induction and verification, viewed and formalised, now, algorithmically. It will therefore be of particular interest to postgraduate students and researchers in algorithmic economics, game theory and classical behavioural economics.

## Proofs and Refutations

*The Logic of Mathematical Discovery*

**Author**: Imre Lakatos**Publisher:**Cambridge University Press**ISBN:**1316425339**Category:**Science**Page:**N.A**View:**2833

Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both the static and the dynamic complexity of mathematical practice. With a specially commissioned Preface written by Paolo Mancosu, this book has been revived for a new generation of readers.

## Handbook of Logic and Language

**Author**: Johan F.A.K. van Benthem,Alice ter Meulen**Publisher:**Elsevier**ISBN:**9780444537270**Category:**Mathematics**Page:**1168**View:**5615

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised and updated - includes over 25% new material Discusses the interface between logic and language Many of the authors are creators or active developers of the theories

## Platonism and Anti-Platonism in Mathematics

**Author**: Mark Balaguer**Publisher:**Oxford University Press on Demand**ISBN:**9780195143980**Category:**Mathematics**Page:**217**View:**8929

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He establishes that both platonism and anti-platonism are defensible views and introduces a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, proceeding to defend anti-platonism (in particular, mathematical fictionalism) against various attacks--most notably the Quine-Putnam indispensability attack.

## Logical Foundations of Mathematics and Computational Complexity

*A Gentle Introduction*

**Author**: Pavel Pudlák**Publisher:**Springer Science & Business Media**ISBN:**3319001191**Category:**Mathematics**Page:**695**View:**3581

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

## Philosophy of Logic

**Author**: N.A**Publisher:**Elsevier**ISBN:**9780080466637**Category:**Mathematics**Page:**1218**View:**9198

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter

## Kurt Gödel and the Foundations of Mathematics

*Horizons of Truth*

**Author**: Matthias Baaz,Christos H. Papadimitriou,Hilary W. Putnam,Dana S. Scott,Charles L. Harper, Jr**Publisher:**Cambridge University Press**ISBN:**1139498436**Category:**Mathematics**Page:**N.A**View:**9402

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

## Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)

**Author**: Rebecca Goldstein**Publisher:**W. W. Norton & Company**ISBN:**0393327604**Category:**Biography & Autobiography**Page:**296**View:**7439

A portrait of the eminent twentieth-century mathematician discusses his theorem of incompleteness, relationships with such contemporaries as Albert Einstein, and untimely death as a result of mental instability and self-starvation.