Overview

consistent/inconsistent


Show Summary Details

Quick Reference

Intuitively a group of propositions is consistent if they could all be true together. In formal logic various other notions are defined. A system is consistent if it does not yield both a formula and its negation, or consistent if not all well-formed formulae are provable. See also omega-consistent.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.