Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in a
Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in a
No scientific theory has caused more puzzlement and confusion than quantum theory. Physics is supposed to help us to understand the world, but quantum theory makes it seem a very strange place. This book is about how mathematical innovation can help us gain deeper insight into the structure of the physical world. Chapters by top researchers in the mathematical foundations of physics explore new ideas, especially novel mathematical concepts at the cutting edge of future physics. These creative developments in mathematics may catalyze the advances that enable us to understand our current physical theories, especially quantum theory. The authors bring diverse perspectives, unified only by the attempt to introduce fresh concepts that will open up new vistas in our understanding of future physics.
Here is a fresh look at how science contributes to the bigger picture of human flourishing, through a collage of science and philosophy, richly illustrated by the authors' own experience and personal