The Semantics of Deductive and Nonmonotonic Logic
In part I we have explicated the notions of a monotonic or nonmonotonic inference; in part II we have stated a theory of justification for both of these types of inference. In this part we will deal with the logic that is underlying justified monotonic and nonmonotonic inference. This logic is deductive logic in the first case, and nonmonotonic logic in the second one.
Unable to display preview. Download preview PDF.
- § We associate theories with sets of order-of-magnitude models and not with single orderof-magnitude models in this case for the sake of the completeness theorem that is stated in chapter 10; compare the footnote on p.199.Google Scholar