Logic 8

In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. Graßmann (1809-1877), the remarkable universalis……続きを見る

Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in a narrow sense, or else to traditional problems of analytic philosophy. From Dedekind t……続きを見る

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polyno……続きを見る

Pure inductive logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past……続きを見る

Like Douglas Hofstadter’s Gödel, Escher, Bach, and David Berlinski’s A Tour of the Calculus, Euclid in the Rainforest combines the literary with the mathematical to explore logicーthe one indispensa……続きを見る

by Ivor Grattan-Guinness Until twenty years ago the outline history of logicism was well known. Frege had had the important ideas, until he was eclipsed by Wittgenstein. Russell was important in pub……続きを見る

When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni inves……続きを見る

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters……続きを見る

The Fourth International Congress for Logic, Methodology, and Philos ophy of Science was held in Bucharest, Romania, on August 29-September 4, 1971. The Congress was organized, under the auspices of……続きを見る

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which ph……続きを見る

The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in the history of mathe……続きを見る

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians a……続きを見る

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……続きを見る

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……続きを見る

I shall be grateful to any Reader of this book who will point out any mistakes or misprints he may happen to notice in it, or any passage which he thinks is not clearly expressed. I have a quantity ……続きを見る

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists r……続きを見る

This book provides a new original perspective on one of the most fascinating and important open questions in science: What is quantum mechanics talking about? Quantum theory is perhaps our best conf……続きを見る

This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current t……続きを見る

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he ……続きを見る

In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, developme……続きを見る

The first part of this book is of an epistemological nature and develops an original theory of scientific objectivity, understood in a weak sense (as intersubjective agreement among the specialists)……続きを見る

The problem of probability interpretation was long overlooked before exploding in the 20th century, when the frequentist and subjectivist schools formalized two conflicting conceptions of probabilit……続きを見る

Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain ……続きを見る

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the h……続きを見る

This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholar……続きを見る

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 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……続きを見る

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……続きを見る