Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663085 | Journal of Applied Logic | 2008 | 16 Pages |
Abstract
We show several representation theorems for explanatory reasoning based on cumulative models. An explanatory process is given by a binary relation â· between formulas in a propositional language where the intended meaning of αâ·Î³ is “γ is a preferred explanation of α”. To each cumulative model E (a variation of those studied by Kraus, Lehmann and Magidor) is associated an explanatory relation â·E. We show results of the following type: An explanatory relation â· satisfies certain logical postulates iff it coincides with â·E for some cumulative model E of the appropriate type.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Arelis DÃaz, Carlos Uzcátegui,