This volume critically reexamines Otto Neurath s conception of the unity of science. Some of the leading scholars of Neurath s work, along with many prominent philosophers of science critically examine his place in the history of philosophy of science and evaluate the relevance of his work for contemporary debates concerning the unity of science.

This volume explores how vagueness matters as a specific problem in the context of theories that are primarily about something else. After an introductory chapter on the Sorites paradox, which exposes the various forms the paradox can take and some of the responses that have been pursued, the book proceeds with a chapter on vagueness and metaphysics, which covers important questions concerning vagueness that arise in connection with the deployment of certain key metaphysical notions. Subsequent chapters address the following: vagueness and logic, which discusses the sort of model theory...

This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of mathematics. There are four parts to this book, beginning with a look at motivations for Pluralism by way of Realism, Maddy's Naturalism, Shapiro's Structuralism and Formalism.

In the second part of this book the author covers: the philosophical presentation of Pluralism; using a formal theory of logic metaphorically; rigour and proof for the Pluralist; and mathematical fixtures. In the third part the author goes on to focus on the...

Is reality logical and is logic real? What is the origin of logical intuitions? What is the role of logical structures in the operations of an intelligent mind and in communication? Is the function of logical structure regulative or constitutive or both in concept formation?

This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality - social, natural or ideal - and logical structures employed in describing or discovering it. Moreover, the book connects...

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility of mereological vagueness and indeterminacy in quantum mechanics and they...

Ranging from Alan Turing s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer s solipsistic attitude to logic, there remain points of disagreement to this day.

Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing s...