Abstract

This work is a study in the new field of paraconsistent logics. The authors attempt to give a formal characterization of the notions of indeterminate possible worlds and inconsistent possible worlds. The characterization works by constructing the non-standard worlds out of combinations of standard possible worlds either by taking those statements as true in a non-standard world which are true in both of two standard worlds, which generates indeterminate worlds, or by taking those statements as true in a non-standard world which are true in either of two standards worlds, which generates inconsistent worlds.