An Information-Based Theory of Conditionals

Notre Dame Journal of Formal Logic 41 (2):95-141 (2000)
  Copy   BIBTEX


We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Science using prototypes, plans, or schemata; formal semantics in natural language, especially the semantics of the `if-then' conditional construct; and the logic of subjunctive conditionals first developed using a possible worlds semantics by Stalnaker and Lewis. The basic premise of the paper is that both schema-based inference and the semantics of conditionals are based on Dretske's notion of information flow and Barwise and Perry's notion of a constraint in situation semantics. That is, the connection between antecedent and consequent of a conditional `if were the case then would be the case' is an informational relation holding with respect to a pragmatically determined utterance situation. The bridge between AI and conditional logic is that a prototype or planning schema represents a situation type, and the background assumptions underlying the application of a schema in a situation correspond to channel conditions on the flow of information. Adapting the work of Stalnaker and Lewis, the semantics of conditionals is modeled by a refinement ordering on situations: a conditional `if then ' holds with respect to a situation if all the minimal refinements of the situation that support also support . We present new logics of situations, information flow, and subjunctive conditionals based on three-valued partial logic that formalizes our approach, and conclude with a discussion of the resulting theory of conditionals, including the "paradoxes" of conditional implication, the difference between truth conditions and assertability conditions for subjunctive conditionals, and the relationship between subjunctive and indicative conditionals



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

18 (#201,463)

6 months
86 (#191,729)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Naming and Necessity.Saul Kripke - 1980 - Critica 17 (49):69-71.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Knowledge and the flow of information.F. Dretske - 1989 - Trans/Form/Ação 12:133-139.
A Theory of Conditionals.Robert Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory. Oxford,: Blackwell. pp. 98-112.
Meaning.Herbert Paul Grice - 1957 - Philosophical Review 66 (3):377-388.

View all 33 references / Add more references