Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning

Journal of Knowledge Structures and Systems 4 (1):1 - 46 (2023)
  Copy   BIBTEX


Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light of supraclassical consequence.

Author's Profile

Luis M. Augusto
Independent Scientist


Added to PP

273 (#60,008)

6 months
130 (#29,321)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?