Bøker i Synthese Library-serien

This book provides an up-to-date revision of materialism's central tenets, its main varieties, and the place of materialistic philosophy vis a vis scientific knowledge.Materialism has been the subject of extensive and rich controversies since Robert Boyle introduced the term for the first time in the 17th century. But what is materialism and what can it oi er today? The term is usually defined as the worldview according to which everything real is material. Nevertheless, there is no philosophical consensus about whether the meaning of matter can be enlarged beyond the physical. As a consequence, materialism is often defined in stark exclusive and reductionist terms: whatever exists is either physical or ontologically reducible to it. This conception, if consistent, mutilates reality, excluding the ontological significance of political, economic, sociocultural, anthropological and psychological realities. Starting from a new history of materialism, the present book focuses on the central ontological and epistemological debates aroused by today's leading materialist approaches, including some little known to an anglophone readership. The key concepts of matter, system, emergence, space and time, life, mind, and software are checked over and updated. Controversial issues such as the nature of mathematics and the place of reductionism are also discussed from different materialist approaches. As a result, materialism emerges as a powerful, indispensable scientifically-supported worldview with a surprising wealth of nuances and possibilities.

This open access monograph offers a detailed study and a systematic defense of a key intuition we typically have, as human beings, with respect to the nature of time: the intuition that the future is open, whereas the past is fixed. For example, whereas it seems unsettled whether there will be a fourth world war, it is settled that there was a first world war.The book contributes, in particular, three major and original insights. First, it provides a coherent, non-metaphorical, and metaphysically illuminating elucidation of the intuition. Second, it determines which model of the temporal structure of the world is most appropriate to accommodate the intuition, and settles on a specific version of the Growing Block Theory of time (GBT). Third, it puts forward a naturalistic foundation for GBT, by exploiting recent results of our best physics (viz. General Relativity, Quantum Mechanics, and Quantum Gravity).Three main challenges are addressed: the dismissal of temporal asymmetries as non-fundamental phenomena only (e.g., thermodynamic or causal phenomena), the epistemic objection against GBT, and the apparent tension between GBT and relativistic physics. It is argued that the asymmetry between the open future and the fixed past must be grounded in the temporal structure of the world, and that this is neither precluded by our epistemic device, nor by the latest approaches to Quantum Gravity (¿e.g., the Causal Set Theory).Aiming at reconciling time as we find it in ordinary experience and time as physics describes it, this ¿innovative book ¿will raise the interest of both academic researchers and ¿graduate students working on the philosophy of time. More generally, it ¿presents contents of interest for all metaphysicians and non-dogmatic philosophers of physics.This is an open access book.

This book offers a new and externalist perspective in ignorance studies. Agnotology, the epistemology of ignorance, and, more generally, ignorance studies have grown to cover and explore different phenomena and subjects of research, from known events in history and sociology of science to the investigation of ordinary reasoning and cognitive processing. Nonetheless, although interested scholars have discussed ignorance phenomena and their impact on cognition, most of them have only adopted an internalist perspective to approach this theme. Meanwhile, even though externalist perspectives on cognition flourished in recent literature, authors have paid little attention to the emerging field of ignorance studies. Ignorance has been generally left out from the inquiries on the extension of cognitive states, cognitive processes, and predictive reasoning. Thus, in this volume, we seek to merge the two growing areas of research and to fill this research gap fruitfully. By addressing the uncomfortable themes that pertain to ignorance and related phenomena through an externalist perspective, this book aims to provide much food for thoughts to cognitive scientists and philosophers alike, enriching the current range and reach of both ignorance studies and externalist approaches to cognition.

In this highly-interdisciplinary volume, we systematically study the role of metaphors and analogies in (mis)shaping our understanding of the world. Metaphors and Analogies occupy a prominent place in scientific discourses, as they do in literature, humanities and at the very level of our thinking itself. But when misused they can lead us astray, blinding our understanding inexorably. How can metaphors aid us in our understanding of the world? What role do they play in our scientific discourses and in humanities? How do they help us understand and skillfully deal with our complex socio-political scenarios? Where is the dividing line between their use and abuse? Join us as we explore some of these questions in this volume.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn.Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions tocomputer science, such as knowledge representation and information processing.This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.

The main aim of this book is to discuss fundamental developments on the question of being in Western and African philosophy using analytic metaphysics as a framework. It starts with the two orthodox responses to the question of being, namely, the subject-verb-object language view and the rheomodic language view. In the first view, being is conceived through the analysis of language structure, where it is represented by subjects (particulars), objects, and relations (often universals). In the second view, there are different variations; however, the common idea is that the world's structure is revealed in the root verb of terms. This suggests a holistic and dynamic conception of being, where everything is in a continuous process of action. The book builds on analytic philosophy and explores metaphysical concepts such as space-time, modality, causation, indeterminism versus determinism, and mind and body. The book shows that in both Western and African thought, (i) similarities in different studies confirm that philosophy is a universal activity, (ii) differences within a context and beyond confirm the perspectival nature of human knowledge as individuals attempt to interpret reality, and (iii) language influences the conceptualization of being in a particular area. One of the novel aspects is the development of visual and mathematical African models of space and time.

This book explores the nature and significance of Pyrrhonism, the most prominent and influential form of skepticism in Western philosophy.

In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works.

This book presents for the first time a comprehensive overview of Dewey's philosophy of science and will be of interest to scholars working in nineteenth and twentieth century philosophy of science and on the relationship between Pragmatism and Logical Empiricism.

Ever the outspoken firebrand, Hanson found many lessons and warnings from Galileo's trial that were relevant to Cold War America.This volume not only contains Hanson's best-known work in history and philosophy of science, but also highlights the breadth of his philosophical thought.

This book offers a defense against non-classical approaches to the paradoxes. In fact, he believes classical solutions fare better than non-classical ones with respect to key tests like Curry's Paradox, a Liar-like paradox that dialetheists are forced to solve in a way totally disjoint from their solution to the Liar.

This book presents a thoroughly empiricist account of physics. By providing an overview of the development of empiricism from Ockham to van Fraassen the book lays the foundation for its own version of empiricism. Empiricism for the author consists of three ideas: nominalism, i.e. dismissing second order quantification as unnecessary, epistemological naturalism, and viewing classification of things in natural kinds as a human habit not in need for any justification.The book offers views on the realism-antirealism debate as well as on the individuation of theories as a thoroughly neglected aspect of underdetermination. The book next discusses a broad range of topics, including the predicates body, spatial distance and time interval, the ontology of electromagnetism, propensities, the measurement problem and other philosophical issues in quantum theory. Discussions about the direction of time and about string theory make up the final part of thebook.

This book provides philosophers of science with new theoretical resources for making their own contributions to the scientific realism debate. Finally, they will see how scientific realism relates to scientific progress, scientific understanding, mathematical realism, and scientific practice.

A growing body of evidence from the sciences suggests that our moral beliefs have an evolutionary basis. The present literature has focused on the link between evolution and moral realism: if our moral beliefs enhance fitness, does this mean they track moral truths?

This volume examines the question ¿Do abstract objects exist?¿, presenting new work from contributing authors across different branches of philosophy. The introduction overviews philosophical debate which considers: what objects qualify as abstract, what do we mean by the word "exist¿ and indeed, what evidence should count in favor or against the thesis that abstract objects exist. Through subsequent chapters readers will discover the ubiquity of abstract objects as each philosophical field is considered.Given the ubiquitous use of expressions that purportedly refer to abstract objects, we think that it is relevant to attend to the controversy between those who want to advocate the existence of abstract objects and those who stand against them. Contributions to this volume depict positions and debates that directly or indirectly involve taking one position or other about abstract objects of different kinds and categories. The volume provides a variety ofsamples of how positions for or against abstract objects can be used in different areas of philosophy in relation to different matters.

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language ¿ and specifically, the ability to institute conventions for the truth conditions of sentences.This philosophical stance leads to an alternative way of practicing mathematics: instead of ¿building¿ objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory.Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis.Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell¿s paradox and the other mathematical paradoxes of self-reference.In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.

This book highlights the existence of a diversity of methods in science, in general, in groups of sciences (natural, social or the artificial), and in individual sciences.

According to dispositional realism, or dispositionalism, the entities inhabiting our world possess irreducibly dispositional properties - often called 'powers' - by means of which they are sources of change.

Chapters analyse the abstract model theory of institutions as a way of representing the structure of scientific theories, the semi-automatic generation of cognitive science theories, and computational process models in the social sciences.The volume offers a unique perspective on scientific discovery in the social sciences.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes ¿the mathesis [¿] shall deliver the method through which things that are conceivable can be exactly determined¿; in another fragment he takes the mathesis to be ¿the science of all things that are conceivable.¿ Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between ¿arbitrary objects¿ (¿objets quelconques¿). It is an abstract theory of combinations and relations among objects whatsoever.In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the ¿reasons¿ (¿Gründe¿) of others, and the latter are ¿consequences¿ (¿Folgen¿) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.