Conditionals: From Philosophy to Computer Science

Front Cover
Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Clarendon Press, 1995 - Computers - 368 pages
0 Reviews
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 consideredin 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.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Other editions - View all

References to this book

Doubt Truth to be a Liar
Graham Priest
No preview available - 2006
All Book Search results »

References from web pages

JSTOR: Conditionals: From Philosophy to Computer Science.
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Farifias del Cerro, and A. Herzig, Studies in logic and computation, no. ...
links.jstor.org/ sici?sici=0022-4812(199712)62%3A4%3C1487%3ACFPTCS%3E2.0.CO%3B2-D

Review: G. Crocco, L. Farinas del Cerro, A. Herzig, Conditionals ...
G. Crocco, L. Farinas del Cerro, A. Herzig, Conditionals: From Philosophy to Computer Science. Full-text: Access via JSTOR (no additional login) ...
projecteuclid.org/ handle/ euclid.jsl/ 1183745396

Bibliography of Work on Conditionals. % % Author: rh Thomason ...
... title = {Commonsense Entailment: A Conditional Logic for Some Generics}, booktitle = {Conditionals: From Philosophy to Computer Science}, ...
www.eecs.umich.edu/ ~rthomaso/ bibs/ conditionals.bib.txt

Libro - Farinas Del Cerro Crocco - Conditionals: From Philosophy ...
Titolo: Conditionals: From Philosophy to Computer Science; Autori: Farinas Del Cerro Crocco, Luis Farinas Del Cerro; Editore: Oxford University Press, USA ...
www.webster.it/ book_usa-conditionals_from_philosophy_to_computer-9780198538615.htm

Logic and Artificial Intelligence (Stanford Encyclopedia of ...
Logic and Artificial Intelligence. First published Wed 27 Aug, 2003. Artificial Intelligence (which I'll refer to hereafter by its nickname, ...
plato.stanford.edu/ entries/ logic-ai/

On-line Publication Documentation System for Uppsala University ...
Some recurring problems in the formal analysis of counterfactuals, Crocco, G.; Fariñas, L.; Herzig, A. // Conditionals: from Philosophy to Computer Science. ...
opus.uu.se/ survey.xml?year=1995& faculty=4& organisation=23& output=SS038207& show=TRUE& printFormat=N& showrow=9999

farinas del cerro crocco libri - I Libri dell'autore: Farinas Del ...
Conditionals: From Philosophy to Computer Science · Conditionals: From Philosophy to Computer Science di Farinas Del Cerro Crocco, Luis Farinas Del Cerro ...
www.libreriauniversitaria.it/ books-author_farinas+del+cerro+crocco-farinas+del+cerro+crocco.htm

IRIT UMR5505 - Publications
Conditionals: From Philosophy to Computer Science, Oxford University Press, Studies in Logic and Computation, 1995. bibtex. Contributions à des ouvrages de ...
www.irit.fr/ publications.php3?code=1958& nom=Crocco%20Gabriella

研究者紹介
Conditionals: from Philosophy to Computer Science, pp. 33 -- 65, Oxford Science Publications (1995). A preliminary version appeared in Proceedings of the ...
research.nii.ac.jp/ ~ksatoh/ official/ content_j.html

虛擬條件句理論述評
《臺灣大學哲學論評》第三十三期(民國九十六年三月),133-182. © 國立臺灣大學哲學系. 虛擬條件句理論述評. 王文方. *. 摘要. 本文解釋、並評論了從1940...
www.press.ntu.edu.tw/ ejournal/ Files/ %E5%93%B2%E5%AD%B8%E8%AB%96%E8%A9%95/ 200703/ 4.pdf

About the author (1995)

G. Crocco is at Universite Paul Sabatier, Toulouse. L. Farinas del Cerro is at Universite Paul Sabatier, Toulouse. A. Herzig is at Universite Paul Sabatier, Toulouse.

Bibliographic information