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