Proposal: In Nomos, Veritas
Quorums 7-3. — Quirck
Adminned at 11 Jun 2013 09:40:58 UTC
Add a new dynastic rule called “Truth” and give it the following text
There is a wiki page called “Truths” which consists of an ordered list of statements, all of which are True.
If there is a rule called “Definitions” remove it and add the following to the list of truths
AND is a bivalent Connective. [x AND y] is True if both x and y are true
IMPLIES is a bivalent Connective. [x IMPLIES y] is True unless [x is True] AND [y is False].
NOT is a monovalent Connective. [x is True] IMPLIES [[NOT x] is False]. [x is False] IMPLIES [[NOT x] is True].
Ideally I think it would be cool if most of this dynasty was set around editing the Truths page and keeping the actual ruleset very light
Skju: