Logic 5

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of seman……続きを見る

From the author of The Music of the Primes and Finding Moonshine comes a short, lively book on five mathematical problems that just refuse be solved – and on how many everyday problems can be solved……続きを見る

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a ……続きを見る

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet def……続きを見る

The theory of arguments is developed as it was actually practiced by the early Greek probabilists. It is then illustrated by a number of examples of actual arguments. How does one handle facts, simp……続きを見る

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The Guardian In 1931 the mathematical logician Kurt Godel published a……続きを見る

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of……続きを見る

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, wri……続きを見る

Not everything is black and white. Our daily lives are full of vagueness or fuzziness. Language is the most obvious example - for instance, when we describe someone as tall, it is as though there is……続きを見る

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide seman……続きを見る

What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birt……続きを見る

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. ……続きを見る

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject i……続きを見る

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is ……続きを見る

Hours of recreational reckoning. Collected and enhanced from Dennis Shasha's popular Scientific American column, here are thirty-six of the most innovative and emotive mathematical puzzles ever to a……続きを見る

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Mak……続きを見る

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a n……続きを見る

smarTEST Prep: Guide to LSAT Logic Games presents a standardized and methodical approach to conquering the Logic Games section of the LSAT. This book helps readers to understand the fundamentals of ……続きを見る

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probabili……続きを見る

The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero. This software individual, or "age……続きを見る

Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accep……続きを見る

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic me……続きを見る

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical I……続きを見る

An inviting collection of fun, hands-on applications in mathematics and computing This book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us ……続きを見る

This landmark dissertation (1961) provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and me……続きを見る

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other mo……続きを見る

This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws reader……続きを見る

The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures ove……続きを見る

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the……続きを見る

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does ……続きを見る