Preservation, Commutativity andModus Ponens: TwoRe- cent Triviality Results
نویسنده
چکیده
We then turn to a recent u-turn on his part, in which he winds up rescinding his commitment toModus Ponens, on the grounds of a tension with the rule of Import-Export for conditionals. Here we offer an important positive contribution to the literature, settling the following crucial question that Bradley leaves unanswered: Assuming that one gives up on full-blown Modus Ponens on the grounds of its incompatibility with Import-Export, what weakened version of the principle should one be settling for instead? Our discussion of the issue turns out to unearth an interesting connection between epistemic undermining and the apparent failures of Modus Ponens in McGee’s famous counterexamples.
منابع مشابه
On hyper BCC-algebras
The study of BCK-algebras was initiated by Iséki [7] as a generalization of the concept of set-theoretic difference and propositional calculus. Iséki posed an interesting problem; whether the class of BCK-algebras is a variety. In connection with this problem Komori introduced in [9] a notion of BCC-algebra which is a generalization of a BCK-algebra and proved that the class of all BCC-algebras...
متن کاملar X iv : m at h / 06 10 93 4 v 5 [ m at h . C T ] 2 8 M ar 2 00 7 Medial Commutativity
It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...
متن کاملar X iv : m at h / 06 10 93 4 v 2 [ m at h . C T ] 3 1 O ct 2 00 6 Medial Commutativity
It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...
متن کاملar X iv : m at h / 06 10 93 4 v 6 [ m at h . C T ] 4 A pr 2 00 7 Medial Commutativity
It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...
متن کاملar X iv : m at h / 06 10 93 4 v 4 [ m at h . C T ] 9 J an 2 00 7 Medial Commutativity
It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...
متن کامل