Doctrine of Impossibility<1,2,3,4>

Taylor v Caldwell

 

Rescind(Caldwell,  contract)

Impossibility(contract)

¬ RiskAllocatedTo(Caldwell, contract)

ViolateBA(contract)

UnExpected(Fire)

neither  Taylor’s Belief Base ⊢cr Fire

nor    Caldwell’s Belief Base ⊢cr Fire

CK ⊢sk E ⊏ Fire

CK ∪ {Fire}   ⊢sk  ¬HallExist

CK ∪ {¬HallExist}   ⊢sk  ¬RentHall

RiskAllocatedTo(Caldwell, contract)

PrevOrMiti(Caldwell, Fire)

Caldwell’s expertise ⊢cr   Fire

CK ⊢sk ReasonableAction(Caldwell, α)

Caldwell’s expertise ∪ {α}  ⊢cr  ¬ Fire

or

Caldwell’s expertise ∪ {α,Fire}  ⊢cr  HallExist

Caldwell

Taylor

Caldwell

Click here to view the contract context

MoDiSo system

Doctrine of Impossibility<1,2,3,4>

neither Caldwell’s expertise ⊢cr   Fire

nor  CK ⊢sk ReasonableAction(Caldwell, α)

IMPOS ⊢sk   Rescind(Caldwell,  contract)