Conditionals: From Philosophy to Computer Science - Couverture rigide

Crocco, G.; Fariñas Del Cerro, Luis; Herzig, A.

 
9780198538615: Conditionals: From Philosophy to Computer Science
Couverture rigide
ISBN 10 : 0198538618 ISBN 13 : 9780198538615
Editeur : Clarendon Press, 1995

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Clarendon Press
Date d'édition
1995
Langue
anglais
ISBN 10 
0198538618
ISBN 13 
9780198538615
Reliure
Relié
Nombre de pages
376
Coordonnées du fabricant
Oxford University Press
https://corp.oup.com/

WMF Platz 1
Geislingen/Steige
Baden-W?rttemberg
73312
Allemagne