[FOM] Paraconsistent System

John McCarthy jmc at steam.Stanford.EDU
Sun Oct 22 15:28:53 EDT 2006

There are two other ideas for localizing inconsistency.

1. The formal use of contexts as objects as proposed in

2. The use of nonmonotonic reasoning.  For example,

\lnot Ab-comp(p) \rightarrow (\exists x)(\forall y)(y \in x \equiv

Ab-comp is to be minimized, e.g. by circumscription.

More information about the FOM mailing list