Conditionals: From Philosophy to Computer Science (Hardcover)

G. Crocco

ISBN 10: 0198538618 / ISBN 13: 9780198538615

Verlag: Oxford University Press, Oxford, 1995

Beschreibung

Hardcover. 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 thencausally 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 toall 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 inthis subject, and should serve as a guide for future development. Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Bestandsnummer des Verkäufers 9780198538615

Bibliografische Details

• Titel: Conditionals: From Philosophy to Computer Science (Hardcover)
• Verlag: Oxford University Press, Oxford
• Erscheinungsjahr: 1995
• Sprache: Englisch
• ISBN-10: 0198538618
• ISBN-13: 9780198538615
• Einband: Hardcover
• Zustand: new

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.