Logic category: 1296 books
Objectivity, Realism, and Proof
FilMat Studies in the Philosophy of Mathematics
Language: English
Release Date: July 5, 2016
This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.
The essays collected here ...
by Steven Givant, Hajnal Andréka
Language: English
Release Date: January 9, 2018
Language: English
Release Date: January 9, 2018
This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing...
Set Theory
Boolean-Valued Models and Independence Proofs
Language: English
Release Date: May 5, 2011
This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis...
by D. Mundici
Language: English
Release Date: June 22, 2011
Language: English
Release Date: June 22, 2011
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms.
by R.J. Nelson
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
This book presents a mechanist philosophy of mind. I hold that the human mind is a system of computational or recursive rules that are embodied in the nervous system; that the material presence of these rules accounts for perception, conception, speech, belief, desire, intentional acts, and other...
Argumentation Machines
New Frontiers in Argument and Computation
Language: English
Release Date: March 9, 2013
In the late 1990s, AI witnessed an increasing use of the term 'argumentation' within its bounds: in natural language processing, in user interface design, in logic programming and nonmonotonic reasoning, in Al's interface with the legal community, and in the newly emerging field of multi-agent systems....
Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Language: English
Release Date: July 8, 2015
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors...
Proofs and Refutations
The Logic of Mathematical Discovery
Language: English
Release Date: January 1, 1976
Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the...
How to Win Every Argument
The Use and Abuse of Logic
Language: English
Release Date: March 12, 2015
In the second edition of this witty and infectious book, Madsen Pirie builds upon his guide to using - and indeed abusing - logic in order to win arguments. By including new chapters on how to win arguments in writing, in the pub, with a friend, on Facebook and in 140 characters (on Twitter), Pirie...
Infinite Words
Automata, Semigroups, Logic and Games
Language: English
Release Date: February 12, 2004
Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic.
Infinite Words explores all aspects of...
by
Language: English
Release Date: January 11, 2016
Language: English
Release Date: January 11, 2016
The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and...
by Martin Grohe
Language: English
Release Date: August 17, 2017
Language: English
Release Date: August 17, 2017
Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches...
Boolean Reasoning
The Logic of Boolean Equations
Language: English
Release Date: February 10, 2012
A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results.
For the benefit of readers without formal training in mathematics, the text starts with an overview...
Objects and Modalities
A Study in the Semantics of Modal Logic
Language: English
Release Date: March 14, 2017
This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates...