Causality, Modality and Explanation

Details Causality, Modality and Explanation Causality, Modality and Explanation

2008-01-27

arxiv.org/abs/0801.4133v1

Mathematics

Logic

33 pages: to appear in the Notre Dame Journal of Formal Logic

Scientific paper

We present a sequent calculus system for a modal reformulation of a system of nonmonotonic logic due to McCain and Turner: we prove cut elimination for our system. The proof system is in general infinitary: because we can prove cut elimination, many applications need, in practice, only the application of finitary rules. Consequently, nonmonotonic logic is, in many cases, much less scary than it might seem to be a priori. We derive from this a critique of Fodor's philosophical worries about the nonmonotonicity of human reasoning.

Affiliated with

Also associated with

No associations

Rating

Causality, Modality and Explanation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Causality, Modality and Explanation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Causality, Modality and Explanation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-313673