Abstract

Lukowski argued that four typical examples of inferences used to show that human beings’ natural reasoning is nonmonotonic do not reveal that. Lukowski’s analyses support the idea that those inferences are actually monotonic deductions. My aim here is to check whether a particular non-axiomatic logic is consistent with the habitual conclusions people draw in those kinds of inferences. This is relevant because that non- axiomatic logic is the logical structure of a computer program. So, if the logic is coherent with the usual conclusions in those types of inferences, the computer program is also compatible with them.