Self-killed. — Quirck
Adminned at 12 Jun 2013 07:25:25 UTC
Append to the rule “Truths”:
A statement cannot be added to Truths if it directly contradicts another statement. The contrapositive to any statement in Truths is False. There exist statements which are neither provably True or False.
Making sure our list of Truths abides by Soundness, and introducing the problem of completeness.
Per RaichuKFM. Also, I don’t think the third part is necessary (as long as we don’t make up a rule stating “everything which is not in the list of Truths is false”). And I don’t like the first part.
Ienpw… if a contrapositive of a true statement is false, then we’ve broken logic. It’s a bit early in the game for that, isn’t it?
Also, it never specifies it must contradict another statement in truths, and every statement directly contradicts its opposite, so it would make Truths unusable.
Yeah - I meant the negation or converse, not the contrapositive. I guess my reasoning wasn’t so sound.
BlogNomic is an online Nomic: a self-modifying game where changing the rules is part of the game. Players make blog posts proposing additions or alterations to the ruleset, discussing and casting votes in the comments: if enough vote in favour, the rules are changed and play continues.
The game has been running since 2003 and resets every month or so. Have a look around the wiki for more information and history. New players are always welcome and can join in the game at any time.
BlogNomic is powered by pMachine ExpressionEngine.
RaichuKFM: she/her