On some claims aboutif-then

The paper has sought to show two things. One is that the apparent variety of Stalnaker and Lewis's counterexamples is misleading. Several of their examples are quite unsatisfactory because they depend on unguarded language behavior. There is in fact only one type of counterexample that is worth serious discussion, and that has the form of Barense's. For Barense's example, I try to show that it fails as a counterexample to transitivity because...