[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
http://www-formal.stanford.edu/jmc/context.html.

2. The use of nonmonotonic reasoning.  For example,

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

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


More information about the FOM mailing list