You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its mo...
This volume examines when, why, and how Britain became the first modern urban nation.
In line with the emerging field of philosophy of mathematical practice, this book pushes the philosophy of mathematics away from questions about the reality and truth of mathematical entities and statements and toward a focus on what mathematicians actually do—and how that evolves and changes over time. How do new mathematical entities come to be? What internal, natural, cognitive, and social constraints shape mathematical cultures? How do mathematical signs form and reform their meanings? How can we model the cognitive processes at play in mathematical evolution? And how does mathematics tie together ideas, reality, and applications? Roi Wagner uniquely combines philosophical, historical,...
Bayesian nets are used in artificial intelligence as a calculus for causal reasoning, enabling machines to make predictions perform diagnoses, take decisions and even to discover causal relationships. This book brings together how to automate reasoning in artificial intelligence, and the nature of causality and probability in philosophy.
None
Reprint of the original, first published in 1839.