Get Free Shipping on orders over $79
Conditionals : From Philosophy to Computer Science - G. Crocco

Conditionals

From Philosophy to Computer Science

By: G. Crocco, Luis Fariñas del Cerro, A. Herzig

Hardcover | 30 November 1995

At a Glance

Hardcover


$113.25

or 4 interest-free payments of $28.31 with

 or 

Ships in 5 to 7 business days

Understanding the role of deduction in human reasoning has been an important activity in philosophy, logic, and more recetnly artificial intelligence. The basic patter of this kind of reasoning can be represented by conditional expressions of the form `if...then.'' There are various kinds of conditionals that fit into this pattern, such as counterfactual conditionals (`if it were the case that A then it would be the case that B''), causal conditionals (`if A then causally B''), action conditionals (`if A then B is obtained''), conditional obligations (`if A then B should be brought about''), generic conditionals (`if A then normally B'')etc. The common pattern to all these constructions is their conditional form which connects the antecedetn to the consequent in such a way that the antecedent represents a condition (or a context) for the consequent.The general question arises: is it possible to give a formal logical account of these constructions? This question is considered in this volume by a group of internationally recognized pure and applied logicians and computer scientists. Their papers reflect all the current research in this subject, and should serve as a guide for future development.
Industry Reviews

"Each paper is self-contained, includes new material, and has a vigor often missing in summary pieces. We particularly enjoyed and recommend the papers by Arlo Costa and by Boutilier and Goldszmidt, but all of the papers are of high quality, as is the editors' Introduction, which contains a useful
historical survey. Anyone interested in conditional logic, belief revision, or non-monotonic logic should give this volume a close look." --Journal of Symbolic Logic


More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Cartesian Cubical Model Categories - Steve Awodey
How to Prove It : A Structured Approach - Daniel J.  Velleman

RRP $73.95

$69.99

Fuzzy Logic : An Introductory Text - Lukas Brooks