Author : David Billington
Publisher :
ISBN 13 : 9781848903036
Total Pages : 268 pages
Book Rating : 4.9/5 (3 download)
Book Synopsis Factual and Plausible Reasoning by : David Billington
Download or read book Factual and Plausible Reasoning written by David Billington and published by . This book was released on 2019-04-18 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: Factual reasoning is reasoning with statements that are certain, called facts. Classical propositional logic is often used for such reasoning. However classical propositional logic has two faults. Its most serious fault is the irrational way it behaves when the statements are inconsistent. The second, less serious, fault is that there is an intuitive understanding of the meaning of 'follows from' that classical propositional logic does not capture. Various new consistent subsets of a set of inconsistent statements are investigated. This yields new more rational propositional logics for factual reasoning that capture the missing intuitive meaning of 'follows from'. Logics that do factual reasoning have properties that can be expressed by using consequence functions. A consequence function is meant to be a function whose input is a set of formulas and whose output is the set of consequences of those formulas. However, there is no adequate definition of what a consequence function is. A new definition of what a consequence function should be is proposed and shown to have many desirable properties. Plausible reasoning is reasoning with statements that are either facts, or are likely, called defeasible statements. Moreover all defeasible statements have the same likelihood; hence there are no numbers, like probabilities, involved. Many principles of plausible reasoning are suggested and several important plausible reasoning examples are considered. A propositional logic is defined that satisfies all the principles and reasons correctly with all the examples. As far as we are aware, this is the only such logic.
