This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics.
This volume contains eleven papers that have been collected by the Canadian Society for History and Philosophy of Mathematics/Societe canadienne d'histoire et de philosophie des mathematiques.
This publication includes an unabridged and annotated translation of two works by Johann Heinrich Lambert (1728-1777) written in the 1760s: Vorlaufige Kenntnisse fur die, so die Quadratur und Rectification des Circuls suchen and Memoire sur quelques proprietes remarquables des quantites transcendentes circulaires et logarithmiques.
A WATERSTONES BEST BOOK OF 2023A NEW SCIENTIST BEST BOOK OF 2023WINNER OF THE LA TIMES SCIENCE & TECHNOLOGY 2023 BOOK PRIZE'A generous tour of mathematics for anyone whose instincts tend less towards "e;Just tell me the answer"e; and more towards "e;Wait, but why?
An award-winning history of the Enlightenment quest to devise a mathematical model of rationalityWhat did it mean to be reasonable in the Age of Reason?
This book provides a survey of a number of the major issues in the philosophy of mathematics, such as ontological questions regarding the nature of mathematical objects, epistemic questions about the acquisition of mathematical knowledge, and the intriguing riddle of the applicability of mathematics to the physical world.
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz.
Jano Mendoza, un humanista muy curioso, y Guillermo Sienra, un apasionado matemático, entablan una fascinante y grata conversación sobre diversos temas científicos que contribuyen a echar por tierra, entre otros mitos, la idea de que la ciencia sólo es accesible para unos cuantos elegidos.
This book provides a survey of a number of the major issues in the philosophy of mathematics, such as ontological questions regarding the nature of mathematical objects, epistemic questions about the acquisition of mathematical knowledge, and the intriguing riddle of the applicability of mathematics to the physical world.
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz.
The genesis of the digital idea and why it transformed civilizationA few short decades ago, we were informed by the smooth signals of analog television and radio; we communicated using our analog telephones; and we even computed with analog computers.
An exquisite visual celebration of the 2,500-year history of geometryIf you've ever thought that mathematics and art don't mix, this stunning visual history of geometry will change your mind.
When mathematician Hermann Weyl decided to write a book on philosophy, he faced what he referred to as "e;conflicts of conscience"e;--the objective nature of science, he felt, did not mesh easily with the incredulous, uncertain nature of philosophy.
Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models.
This edited collection covers Friedrich Waismann's most influential contributions to twentieth-century philosophy of language: his concepts of open texture and language strata, his early criticism of verificationism and the analytic-synthetic distinction, as well as their significance for experimental and legal philosophy.
This book offers an up-to-date overview of the research on philosophy of mathematics education, one of the most important and relevant areas of theory.
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.
This book approaches work by Gilles Deleuze and Alain Badiou through their shared commitment to multiplicity, a novel approach to addressing one of the oldest philosophical questions: is being one or many?
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
This book examines the life and work of mathematician Giovanni Battista Guccia, founder of the Circolo Matematico di Palermo and its renowned journal, the Rendiconti del Circolo matematico di Palermo.
This book uses Ludwig Wittgenstein's philosophical methodology to solve a problem that has perplexed thinkers for thousands of years: 'how come (abstract) mathematics applies so wonderfully well to the (concrete, physical) world?
This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself.
