Believing in default rules: inclusive default reasoning.
This paper argues for the reasonableness of an inclusive conception of default reasoning. The inclusive conception allows untriggered default rules to influence beliefs: Since a default "from , infer " is a defeasible inference rule, it by default warrants a belief in the material implication , even...
| Publicado en: | Synthese Vol. 205; no. 6; pp. 1 - 46 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2025
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=185350968&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 185350968 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jun2025 vid: 205 iid: 6 pid: 237 pub: Springer Nature artinfo: ui: 185350968 10.1007/s11229-025-04950-7 ppf: 1 ppct: 45 formats: fmt: – @attributes: type: T – @attributes: type: P size: 7.6MB tig: atl: Believing in default rules: inclusive default reasoning. aug: au: Andersen, Frederik J. Rendsvig, Rasmus K. affil: https://ror.org/035b05819 Section for Philosophy, University of Copenhagen, Karen Blixens Plads 8, DK-2300, Copenhagen S, Denmark https://ror.org/035b05819 CoInAct Research Group, University of Copenhagen, Øster Farimagsgade 2A, DK-1353, Copenhagen K, Denmark https://ror.org/00n92fc55 ML-Lab, Danish Business Authority, Langelinie Allé 17, 2100, Copenhagen Ø, Denmark su: Nonmonotonic logic Religious studies Default (Finance) Inference (Logic) Analogy sug: subj: Nonmonotonic logic Religious studies Default (Finance) Inference (Logic) Analogy keyword: Default logic Default reasoning Non-monotonic reasoning Packard's lexicographic lifting rule Philosophy and Religious Studies Philosophy Prioritized default logic Rational beliefs ab: This paper argues for the reasonableness of an inclusive conception of default reasoning. The inclusive conception allows untriggered default rules to influence beliefs: Since a default "from , infer " is a defeasible inference rule, it by default warrants a belief in the material implication , even if is not believed. Such inferences are not allowed in standard default logic of the Reiter tradition, but are reasonable by analogy to the Deduction Theorem for classical logic. Our main contribution is a formal framework for inclusive default reasoning. The framework has a solid philosophical foundation, it draws conclusions non-trivially different from non-inclusive frameworks, and it exhibits a host of benchmark properties deemed desirable in the literature—e.g., that extensions always exist and are consistent. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2025. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|