Doctrine of  Mutual Mistake<1,2,3,4>

Modeling by Modular Argumentation

 

This doctrine is graphically represented by the following arguments. Readers interested in assumption-based argumentation frameworks representing the doctrine, are referred to our publications.

Rescind(CO,  Γ)

MutualMistake(λ, Γ)

¬ RiskAllocatedTo(CO, Γ)

ViolateBA(Γ)

BO ⊢cr  λ

and

BE ⊢cr  λ

CK ⊢sk Hold(δ, Γ)

CK ∪ {δ}   ⊢sk  ¬τ


or


If CK ∪ {δ} ⊢sk  Price(p),  then

either MuchMore(p,π) or MuchLess(p,π)

RiskAllocatedTo(CO, Γ)

Sherwood v Walker


Click here to view the doctrine applied to Sherwood v Walker

DMC v GIS


Click here to view the doctrine applied to MAN v CZD

CK ⊢sk ReasonableAction(CO, α)

KO ∪ {α}   ⊢cr  δ

Contractor CO

Contractee CE

RiskAllocatedTo(CO, Γ)

not that

BO ⊢sk λ

Contractee CE

Doctrine of Mutual Mistake<1,2,3,4>

CK ∪ {δ} ⊢sk  ¬λ

BO ∪ {λ} ⊢sk  Price(π)

and

BE ∪ {λ} ⊢sk  Price(π)

¬ Detectable(CE, δ)

Detectable(CO, δ)