Is it necessary to model suppositional arguments?

Con:

• Sequent calculus is equivalent to calculi without sequents

• The interpretation of a derivation in sequent calculus as an argument is not very natural

• The a priori nature of conclusions like p ??p is doubtful, given the existence of deviant logics

  ? intuitionistic logic
  

• Vreeswijk: Defeasible suppositional arguments behave unexpectedly

Previous slide

Next slide

Back to first slide

View graphic version