Principles of Conditional Logic

Modus Ponens: α > β, α =⇒ β ⊃ J ⇒

Superclassicality: If α  β, then α > β ⊃ J ⇒
Identity: α > α ⊃ J ⇒
Material Implication: α > β =⇒ α ⊃ β ⊃ J ⇒
Conjunction of Consequents: α > β, α > γ =⇒ α > (β ∧ γ) ⊃ J ⇒
Disjunction of Antecedents: α > γ, β > γ =⇒ (α ∨ β) > γ ⊃ J ⇒
False Antecedent: ∼α =⇒ α > β ⊃
Impossible Antecedent: ∼α =⇒ α > β ⊃ J ⇒
True Consequent: β =⇒ α > β ⊃
Necessary Consequent: α =⇒ β > α ⊃ J ⇒
Monotonicity: α > γ =⇒ (α ∧ β) > γ ⊃ J
Cautious Monotonicity: α > β, α > γ =⇒ (α ∧ β) > γ ⊃ J ⇒
Rational Monotonicity: α > γ, ∼(α > ∼β) =⇒ (α ∧ β) > γ ⊃ J ⇒
Transitivity: α > β, β > γ =⇒ α > γ ⊃ J
Limited Transitivity: α > β, (α ∧ β) > γ =⇒ α > γ ⊃ J ⇒
Contraposition: α > β =⇒ ∼β > ∼α ⊃ J
Conditional Proof : If Γ, α  β, then Γ =⇒ α > β ⊃
Right Weakening: If β  γ, then α > β =⇒ α > γ ⊃ J ⇒
Conjunctive Sufficiency: α ∧ β =⇒ α > β ⊃ ⇒
Conditional Excluded Middle: ∼(α > β) =⇒ α > ∼β ⊃ ⇒
Prelinearity: ∼(α > β) =⇒ β > α ⊃
Complementary Antecedent: ∼(α > β) =⇒ ∼α > β ⊃
Boethius Thesis: α > β =⇒ ∼(α > ∼β) ⇒
Restricted Boethius Thesis: ♦α, α > β =⇒ ∼(α > ∼β) J ⇒
Aristotle’s Thesis: ∼(α > ∼α)
Restricted Aristotle’s Thesis: ♦α =⇒ ∼(α > ∼α) J ⇒
Aristotle’s Second Thesis: α > β =⇒ ∼(∼α > β)
Restricted Aristotle’s Second Thesis: ♦∼β, α > β =⇒ ∼(∼α > β) J