## User login## Navigation |
## archives## What would be involved in moving logic beyond FOL?Carl Hewitt has opined that first-order logic (FOL) should not be regarded as logic of choice for various people such as computer scientists (e.g., he says "First-order theories are entirely inadequate for Computer Science" in a reply to me in Mathematics self-proves its own Consistency (contra Gödel et. al.). He recommends instead his Inconsistency-Robust Logic for mathematicians, computer scientists and others. What would it take to really change our perspective to be grounded in a logic other than FOL? I think that looking at John Corcoran's First days of a logic course provides the beginnings of an answer (the article treats Aristotelian logic rather than FOL): an alternative logic should provide a natural basis grounding all of the concepts that we expect a new student of logic to grasp, and a rival to the kind of traditional logic course based on first-order logic should be comparably good or better for building on. What would an introductory logic course look like for, e.g., Inconsistency-Robust Logic? Would it start with Aristotelian logic or would it start with something else? What would having taken such a course be good for, as a prerequisite? |
## Browse archives## Active forum topics |

## Recent comments

1 hour 16 min ago

3 hours 10 min ago

7 hours 50 min ago

9 hours 43 min ago

9 hours 53 min ago

10 hours 9 min ago

10 hours 48 min ago

14 hours 18 min ago

18 hours 34 min ago

19 hours 2 min ago