Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

Logic. --- Mathematical logic. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work. This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching “Parikh-land”. The book presents a brochure-like overview of Parikh-land before providing an “introductory video” on the sights and sounds that you experience when reading the book.

Logic. --- Mathematical logic. --- Semantics. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and solutions to problems from the first edition. A large part of the new edition “Ask what your computer can do for you,” presents the recent breakthrough by Aubrey de Grey and works by Marijn Heule, Jaan Parts, Geoffrey Exoo, and Dan Ismailescu. TNMCB introduces new open problems and conjectures that will pave the way to the future keeping the book in the center of the field. TNMCB presents mathematics of coloring as an evolution of ideas, with biographies of their creators and historical setting of the world around them, and the world around us. A new thing in the world at the time, TMCB I is now joined by a colossal sibling containing more than twice as much of what only Alexander Soifer can deliver: an interweaving of mathematics with history and biography, well-seasoned with controversy and opinion. –Peter D. Johnson, Jr. Auburn University Like TMCB I, TMCB II is a unique combination of Mathematics, History, and Biography written by a skilled journalist who has been intimately involved with the story for the last half-century. …The nature of the subject makes much of the material accessible to students, but also of interest to working Mathematicians. … In addition to learning some wonderful Mathematics, students will learn to appreciate the influences of Paul Erdős, Ron Graham, and others. –Geoffrey Exoo Indiana State University The beautiful and unique Mathematical coloring book of Alexander Soifer is another case of “good mathematics”, containing a lot of similar examples (it is not by chance that Szemerédi’s Theorem story is included as well) and presenting mathematics as both a science and an art… –Peter Mihók Mathematical Reviews, MathSciNet A postman came to the door with a copy of the masterpiece of the century. I thank you and the mathematics community should thank you for years to come. You have set a standard for writing about mathematics and mathematicians that will be hard to match. – Harold W. Kuhn Princeton University I have never encountered a book of this kind. The best description of it I can give is that it is a mystery novel… I found it hard to stop reading before I finished (in two days) the whole text. Soifer engages the reader's attention not only mathematically, but emotionally and esthetically. May you enjoy the book as much as I did! – Branko Grünbaum University of Washington I am in absolute awe of your 2008 book. –Aubrey D.N.J. de Grey LEV Foundation.

Discrete mathematics. --- Mathematics. --- History. --- Mathematical logic. --- Discrete Mathematics. --- History of Mathematical Sciences. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how information helps to reduce indefiniteness. Understanding rests on our ability to find the right context, in which we localize a problem as a point in a network of connections. New elements must be combined with the old parts of the existing complex knowledge system, in order to profit maximally from the information. An attempt is made to quantify the value of information by its ability to reduce indefiniteness. The second part explains how to handle indefiniteness with methods from fuzzy logic, decision theory, hermeneutics and semiotics. It is not sufficient that the new element appears in an experiment, one also has to find a theoretical reason for its existence. Indefiniteness becomes an engine of science, which gives rise to new ideas.

Physics. --- Philosophy and science. --- Mathematical logic. --- History and Philosophical Foundations of Physics. --- Philosophy of Science. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The philosophy of mathematics can be traced back in time to the dawn of mathematics itself. The axiomatization of Euclid in "The Elements" did not hinder innovations in mathematical practice to develop outside the realm of the deductive method. In fact the history of mathematics shows a rich tapestry of practice that include visual, algorithmic, experimental, probabilistic and computational approaches. However the philosophy of mathematics as argued by Imre Lakatos suggests that the innovations and impasses in mathematical practice have remained more or less unacknowledged in philosophy. For instance mathematical argumentation was primarily the domain of theologians and medieval and postmedieval scholastics for over 1700 years after Aristotle. Similarly the study of logic became the purview of mathematical philosophy criticized by Reuben Hersh as "Quinean ping-pong". In two prior Springer books 18 Unconventional Essays on the Nature of Mathematics (Hersh,2006) and Humanizing Mathematics and its Philosophy (Sriraman, 2017), it is sufficiently clear that the philosophy of mathematics is no longer centered around it origins in theology and logic, but influences and is influenced by other domains. Today the philosophy of mathematics can be informed by computer scientists, historians, logicians, linguists, educators, physicists, psychologists, neuroscientists, statisticians and last but not least mathematicians. At the dawn of the 21st century we still have a cadre of scholars influenced first-hand by the likes of Quine and Brouwer, as well as those who were influenced by Imre Lakatos' seminal work Proofs and Refutations (in the 1970s) that espouse the views of practicing mathematicians. Pluralism is the avant-garde term in vogue today suggesting a "post- modern" view of mathematics that would have been frowned upon a century ago. The purpose of this unique Handbook is to unfold the transformation of the philosophy of mathematics from its origins in the history of mathematical practice. In order to do so, chapters will describe different mathematical practices in different time periods of history and contrast it with the development of philosophy. The contributions will include scholars from other disciplines who have contributed to the richness of perspectives that abound the study of philosophy today. The Handbook aims to synthesize what is known, and what has unfolded but also offer directions in which the study of philosophy of mathematics as evident in increasingly diverse mathematical practices is headed. Different sections of the Handbook will offer insights into the origins, debates, methodologies and newer perspectives that characterize the discipline today. This Handbook is curated by an editorial advisory board consisting of leading scholars from the disciplines of mathematics, history and philosophy. Editorial Advisory Board Andrew Aberdein, Florida Institute of Technology (USA) Jody Azzouni, Tufts University (USA) Otávio Bueno, University of Miami (USA) William Byers, Concordia University (Canada) Carlo Cellucci, Sapienza University of Rome (Italy) Chandler Davis, University of Toronto (Canada) Paul Ernest, University of Exeter (UK) David Tall, University of Warwick (UK) Michele Friend, George Washington University (USA) Reuben Hersh, University of New Mexico (USA) - (1927-2020) Kyeong-Hwa Lee, Seoul National University (South Korea) Yuri Manin, Max Planck Institute for Mathematics (Germany) Athanase Papadopoulos, University of Strasbourg (France) Ulf Persson, Chalmers University of Technology (Sweden) John Stillwell, University of San Francisco (USA).

Mathematics. --- History. --- Mathematics—Philosophy. --- Mathematical logic. --- History of Mathematical Sciences. --- Philosophy of Mathematics. --- Mathematical Logic and Foundations.