Logic 23

This work is divided into two parts. Part I contains sixteen critical es says by prominent philosophers and computer scientists. Their papers offer insightful, well-argued contemporary views of a br……続きを見る

“Cogito Ergo Sum. I Think, Therefore I Am…” ーRené Descartes Descartes' Discourse marks a breakpoint in European thought: in it, he sets out a radical new philosophy, which begins with a proof of th……続きを見る

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecida……続きを見る

Within traditional decision theory, common decision principles -- e.g. the principle to maximize utility -- generally invoke idealization; they govern ideal agents in ideal circumstances. In Realist……続きを見る

If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought? Jody Azzou……続きを見る

Mathematics is often considered as a body of knowledge that is essen tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there rema……続きを見る

Recent work in argumentation theory has emphasized the nature of arguers and arguments along with various theoretical perspectives. Less attention has been given to the third feature of any argument……続きを見る

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s origin……続きを見る

According to Wikipedia: "The Novum Organum, full original title Novum Organum Scientiarum, is a philosophical work by Francis Bacon, written in Latin and published in 1620. The title translates as n……続きを見る

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference (LRR10) in Ghent. The conference aimed at stimulating the use of formal frameworks to e……続きを見る

Rudolf Carnap (1891–1970) is increasingly regarded as one of the most important philosophers of the twentieth century. He was one of the leading figures of the logical empiricist movement associated……続きを見る

Featuring fourteen new essays from an international team of renowned contributors, this volume explores the key issues, debates and questions in the metaphysics of logic. The book is structured in t……続きを見る

続きを見る

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwe……続きを見る

Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes (typically) in the light of new evidence. Yet these two……続きを見る

During Edmund Husserl’s lifetime, modern logic and mathematics rapidly developed toward their current outlook and Husserl’s writings can be fruitfully compared and contrasted with both 19th century ……続きを見る

This book argues that languages are composed of sets of ‘signs’, rather than ‘strings’. This notion, first posited by de Saussure in the early 20th century, has for decades been neglected by linguis……続きを見る

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However……続きを見る

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the cont……続きを見る

This volume, The Brazilian Studies in the Philosophy and History of Science, is the first attempt to present to a general audience, works from Brazil on this subject. The included papers are origin……続きを見る

The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathema……続きを見る

This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied m……続きを見る

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (wh……続きを見る

This book provides a new, linguistic approach to Argumentation Theory. Its main goal is to integrate the logical, dialectical and rhetorical dimensions of argumentation in a model providing a unitar……続きを見る

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the ve……続きを見る

The philosophical thought of Ludwig Wittgenstein continues to have a profound influence that transcends barriers between philosophical disciplines and reaches beyond philosophy itself. Less than one……続きを見る

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm……続きを見る

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the ……続きを見る

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, ep……続きを見る

This monograph first presents a method of diagramming argument macrostructure, synthesizing the standard circle and arrow approach with the Toulmin model. A theoretical justification of this method ……続きを見る