David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Notre Dame Journal of Formal Logic 41 (2):95-141 (2000)
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.
|Keywords||conditional logic situation semantics knowledge representation|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Simon D'Alfonso (2014). The Logic of Knowledge and the Flow of Information. Minds and Machines 24 (3):307-325.
Similar books and articles
Edwin D. Mares (1994). Why We Need a Relevant Theory of Conditionals. Topoi 13 (1):31-36.
Edwin D. Mares & André Fuhrmann (1995). A Relevant Theory of Conditionals. Journal of Philosophical Logic 24 (6):645 - 665.
William B. Starr (2014). A Uniform Theory of Conditionals. Journal of Philosophical Logic 43 (6):1019-1064.
Philip N. Johnson-Laird, Ruth M. J. Byrne & Vittorio Girotto (2009). The Mental Model Theory of Conditionals: A Reply to Guy Politzer. Topoi 28 (1):75-80.
Jonathan St B. T. Evans (2005). The Social and Communicative Function of Conditional Statements. Mind and Society 4 (1):97-113.
Eric Swanson (2013). Subjunctive Biscuit and Stand-Off Conditionals. Philosophical Studies 163 (3):637-648.
Brian Weatherson (2001). Indicative and Subjunctive Conditionals. Philosophical Quarterly 51 (203):200-216.
S. Wheeler (2003). Real Conditionals. Australasian Journal of Philosophy 81 (1):138 – 140.
Dorothy Edgington (2003). What If ? Questions About Conditionals. Mind and Language 18 (4):380–401.
Emil Weydert (2012). Conditional Ranking Revision. Journal of Philosophical Logic 41 (1):237-271.
Frank Jackson (ed.) (1991). Conditionals. Oxford University Press.
Added to index2010-08-24
Total downloads14 ( #210,096 of 1,780,078 )
Recent downloads (6 months)3 ( #166,601 of 1,780,078 )
How can I increase my downloads?