Default Soundness in the Old Approach: An Epistemic Analysis of Default Reasoning
By means of an epistemological analysis of the internal components of default reasoning, and revisiting Geffner’s proposal about causal asymmetries, it is given in this paper an answer to the problem of soundness in default reasoning. The kernel of that answer is an intentionalist view of certain kind of connections inside the internal structure of a default rule. This intentionalist view consists partially in assuming certain strong relationships between the prerequisite, the justifications and the conclusion in a default. Another ingredient of this perspective is the distinction between the context-dependence of a relationship and that of its relatas. It is offered a formal representation of the internal structure of default reasoning. Then it is built an intuitive characterization of the notion of default logical consequence. This notion is similar to the traditional notion in the sense that it attends to the challenge of clarifying the inferential mechanism of a schema, even when in the present paper the proposal differs from the traditional one.
KeywordsDefault consequence Default soundness Causal asymmetries
This research was benefited from the PAPIIT-UNAM project “Non Classical Logics and Argumentation in Science”, IN401619; as well as from the discussions carried out in the Special Interest Group in Non-Monotonicity, SIGNO-MON, UNAM; and in the group of Formal Epistemology and Non Classical Logics of the Research Program in Science and Philosophy, PRINCIPHIA, UACM.
- 2.Reiter R, Criscuolo G (1981) On interacting defaults. In: Drinan A (ed) Proceedings of the seventh IJCAI conference, Vancouver, Canada, pp 270–276Google Scholar
- 3.Geffner H (1992) Default reasoning: causal and conditionals theories, 1st edn. MIT Press, CambridgeGoogle Scholar
- 4.Achinstein P (1983) The nature of explanation, 1st edn. Oxford University Press, OxfordGoogle Scholar
- 6.Gómez Torrente M (2004) La noción de consecuencia lógica. In: Orayen R, Moretti A (eds) Filosofía de la Lógica, vol 27. Enciclopedia Iberoamericana de Filosofía, Trotta, MadridGoogle Scholar
- 7.Gaytán D (2014) Un modelo no monotónico y paraconsistente de explicación científica. Ph.D. thesis, Universidad Nacional Autónoma de México, UNAM, MéxicoGoogle Scholar
- 8.Gaytán D, D’Ottaviano IM, Morado R (2018) Provided you’re not trivial. Adding defaults and paraconsistency to a formal model of explanation. In: Carnielli W, Malinowski J (eds) Contradictions, from consistency to inconsistency. Trends in logic, vol 47. Springer, SwitzerlandGoogle Scholar