Difference between revisions of "Slownomic"

From nomic.club
Jump to: navigation, search
(Establishing Correspondence passed 3-0)
(Cold, Cold Calculations)
 
(12 intermediate revisions by 6 users not shown)
Line 2: Line 2:
  
 
=== Rule 0 ===  
 
=== Rule 0 ===  
This is Slownomic. Motto:Ð🛇鴨⊢🛇ấ}}
+
This is Slownomic. Motto:{{Ð🛇鴨⊢🛇ấS}}
  
 
=== Becoming a Player ===  
 
=== Becoming a Player ===  
 
Any person can become a player by adding their name to the 'Players' section of the game. Any person can make themselves cease to be a player by removing their name from that section.
 
Any person can become a player by adding their name to the 'Players' section of the game. Any person can make themselves cease to be a player by removing their name from that section.
 
=== Proposing ===  
 
=== Proposing ===  
Any person can make a Proposal in the Proposals section. If it has more FOR votes than AGAINST votes after 30 days have passed (720 hours), then any player can apply the Proposal's effects, then delete the Proposal. A Proposal's author can delete their own Proposal at any time.
+
Any person can make a Proposal in the Proposals section. If it has more FOR votes than AGAINST votes after 30 days have passed (720 hours), then any player can apply the Proposal's effects, then delete the Proposal. If it has fewer FOR votes than AGAINST votes after 30 days have passed (720 hours), then any player can delete the Proposal. A Proposal's author can delete their own Proposal at any time.
 
=== Voting ===  
 
=== Voting ===  
 
Players have only one vote on Proposals, which is FOR, AGAINST or PRESENT. Players can edit their vote at any time. A player votes by clearly noting who they are and what they are voting in a reasonable space under the Proposal.
 
Players have only one vote on Proposals, which is FOR, AGAINST or PRESENT. Players can edit their vote at any time. A player votes by clearly noting who they are and what they are voting in a reasonable space under the Proposal.
Line 39: Line 39:
 
* pokes, the slow
 
* pokes, the slow
 
* metametajoel, the multidimensional  
 
* metametajoel, the multidimensional  
* Murphy, this space intentionally left blank
+
* Murphy*, this space intentionally left blank
 +
* snail, the normally paced
 +
* klink, the geared
 +
* Nyhilo, the void
 +
* 4st, the potted plant
  
 
\* has Penmanship merit badge
 
\* has Penmanship merit badge
Line 45: Line 49:
 
== Proposals ==
 
== Proposals ==
  
=== No Means No ===
+
=== Cold, Cold Calculations ===
  
Author: Murphy <br>
+
Author: snail <br>
Date of Creation: 24 Jul 2022
+
Date of Creation: 17 Mar 2023
  
Amend the rule "Proposing" by inserting, before the sentence starting "A Proposal's author can", this sentence: "If it has fewer FOR votes than AGAINST votes after 30 days have passed (720 hours), then any player can delete the Proposal."
+
Create a rule entitled "Temperature" with the text:
 +
<blockquote>
 +
Each player has a natural number temperature, which starts at zero(0). The player (if any) with highest unique temperature is On Fire. While a player is On Fire, they earn the following privileges:
  
=== Gravitas ===
+
- They can increase or decrease the tower of babel's height by 1 meter by editing it, if they have not done so this way in the past 30 days.
  
Author: TyGuy6 (not a player) <br>
+
When a player has been On Fire for exactly 60 days (1440 hours), they combust. A combusted player may once add and/or remove up to five characters from the motto in rule 0.
Date of Creation: 18 Jan 2022
+
</blockquote>
  
Create a rule entitled "Elevator" with the text:
+
Create a rule entitled "Heating and cooling" with the text:
 
<blockquote>
 
<blockquote>
The elevator's level is ZERO, and the highest it has been before is level ZERO. If no edits to this wiki page have been made in the last 3 days, any player may increase the level of the elevator by one. If three or more edits to this wiki page have been made in the last 3 days, any player may return the level of the elevator to ZERO, and, if necessary, update the record of the highest it has been.
+
A player's temperature is increased by 1 when a proposal they are the author of passes.
 +
 
 +
When a player applies a proposal's effects, they can also decrease the temperature of another player by 1 in the same edit.
 
</blockquote>
 
</blockquote>
  
'''Votes:'''
+
Append the following list item to the rule "Merit Badges":
* hansarp: AGAINST, I worry this would disincentivize players from running the game.
 
* Trigon: AGAINST. hansarp makes a good point, and also this doesn't seem to plug into much of anything.
 
 
 
=== Rapid De-Escalation ===
 
 
 
Title: Rapid De-Escalation <br>
 
Author: nix <br>
 
Date of Creation: 14 Sep 2021 <br>
 
Desc: We must move with extreme speed in order to prevent conflict, therefore I propose a swift judicial system.
 
 
 
{
 
 
 
Any person may write a Statement in the De-Escalation section. Any person may vote TRUE or FALSE, and edit their vote at any time, on any Statement. After 15 days, a Statement is either TRUE or FALSE, whichever has more votes, as long as it does not contradict the rules.
 
 
 
}
 
 
 
Votes:
 
* G: AGAINST.  This judgement system adds a platonic "as long as it does not contradict the rules" for success/failure.  But that's an infinite regress if the statement is about what is or isn't against the rules.
 
* Jason: AGAINST
 
* ATMunn: AGAINST, this doesn't say to add a new rule
 
* Wotton: AGAINST, general concerns over paradox-forcing
 
* Trigon: AGAINST, since I'm an absolute lemming
 
* nix: FOR, I believe in myself.
 
* hansarp: AGAINST
 
* metametajoel: AGAINST
 
 
 
=== Foundations ===
 
Title: '''Foundations'''<br>
 
Author: hansarp<br>
 
Date of Creation: 19 Jan 2022<br>
 
Date of Decision: 18 Feb 2022<br>
 
Description: Create a minigame based on propositional logic.
 
 
 
Create a section entitled '''Logic''', with subsections '''Rules of Inference''', '''Statements''', and '''Theorems'''.<br>
 
*The subsection '''Rules of Inference''' shall initially contain:
 
** Modus Ponens: |- P && |- (P &rarr; Q) => Q <br />
 
*The subsection '''Statements''' shall initially contain:
 
** Simplification: |- (P &rarr; (Q &rarr; P)) <br />
 
** Frege :        |- (P &rarr; (Q &rarr; R)) &rarr; ((P &rarr; Q) &rarr; (P &rarr; R)) <br />
 
** Transposition:  |- (&not;P &rarr; &not;Q) &rarr; (Q &rarr; P) <br />
 
** Truth:          |- True <br />
 
** Non-Falsehood:  |- &not;False <br />
 
*The subsection '''Theorems''' shall initially contain nothing.
 
 
 
 
 
Create a rule entitled '''Laws of Logic''' with the following text:
 
 
<blockquote>
 
<blockquote>
Any player may, assuming they have not done so in the past 7 days, either '''Expand''' a Statement, or '''Apply''' a Rule of Inference to a set of applicable Statements.
+
- If a player has ever combusted, then they have the Fiery merit badge.
 
 
====Expansion====
 
To Expand a Statement, the player must write a line in the '''Theorems''' subsection which specifies (in whatever language is clear):
 
* The Statement being Expanded (in form or in name)
 
* The new values of the variable(s) in the original Statement
 
* The new form of the Statement, with the substitutions applied
 
* The name of the player who applied the Expansion
 
 
 
For example: Simplification, let Q be set to P, thus |- (P &rarr; (P &rarr; P)) -name <br />
 
They may then write the new expanded Statement in the '''Statements''' subsection and give it a name.
 
 
 
====Application====
 
To Apply a Rule of Inference, the player must write a line in the '''Theorems''' subsection which specifies:
 
* The Rule of Inference being Applied
 
* The Statement(s) that the rule of inference is being applied to
 
* the resulting Statement
 
* the name of the player who applied the Application
 
 
For example: Modus Ponens, |- P and |- (P &rarr; (Q &rarr; P)), Thus |- (Q &rarr; P) -name <br />
 
They may then write the new Statement in the '''Statements''' subsection and give it a name.<br>
 
In order for an Application to be valid, there must be a substitution into the variables of the Rule of Inference such that its assumptions (the Statements before the =>, separated by &&) exactly match the set of propositions. The player need not supply the substitution.
 
 
 
====Effects and Safety====
 
A game element that is dependent on the state of Logic must have a "default" state for all statements involving Logic (akin to a Switch in Agora). This does not apply to the following paragraph.
 
 
If any player proves |- False, then the logical system is no longer consistent and must be replaced. Logic shall have no effect on the game state until a new foundation is created, and any game elements dependent on Logic are set to their default state.
 
 
 
The player who proves the target statement shall be granted the Logician merit badge, and may set the next target statement. (default state: theorem not proven)
 
 
The current target statement is: |- (P &rarr; P)
 
 
</blockquote>
 
</blockquote>
  
 
'''Votes:'''
 
'''Votes:'''
* hansarp: FOR
+
* snail: FOR, its the best proposal up for voting right now.
* Trigon: AGAINST. I forgot everything I knew about formal logic for a good reason.
+
* 4st: FOR
* WaterFriend: FOR
 
  
 
== Tower of Babel ==
 
== Tower of Babel ==
  
Height: 1 meter.
+
Height: 2 meters.

Latest revision as of 16:57, 13 March 2024

Rules

Rule 0

This is Slownomic. Motto:Immediately after this text is inserted into the ruleset, the following things happen:

  1. Trigon, Klink, and Nyhilo are declared winners of this game; the game does not, however end.
  2. The rule "What's the Motto" is amended by replacing "A player can add or remove one character" with "A player can add or remove one character, except for curly braces,"
  3. The motto in Rule 0 is cleared.

Becoming a Player

Any person can become a player by adding their name to the 'Players' section of the game. Any person can make themselves cease to be a player by removing their name from that section.

Proposing

Any person can make a Proposal in the Proposals section. If it has more FOR votes than AGAINST votes after 30 days have passed (720 hours), then any player can apply the Proposal's effects, then delete the Proposal. If it has fewer FOR votes than AGAINST votes after 30 days have passed (720 hours), then any player can delete the Proposal. A Proposal's author can delete their own Proposal at any time.

Voting

Players have only one vote on Proposals, which is FOR, AGAINST or PRESENT. Players can edit their vote at any time. A player votes by clearly noting who they are and what they are voting in a reasonable space under the Proposal.

Merit Badges

When a player has every rule-defined merit badge, they should feel good about themselves and other players should praise their hard work and effort.

- If a player has ever written a proposal that passed, then they have the Penmanship merit badge.

What's the Motto

A player can add or remove one character from the motto in Rule 0, provided e has not done so in the past 7 days.

The Tower of Babel

There is a game entity known as "The Tower of Babel". Initially, its height is 0 meters. Each time a Proposal has its effects applied and is deleted, its height increases by one meter. When and only when the height of The Tower of Babel is a prime number of meters, the following rules apply:

Babel Rule I

A player can add and/or remove up to two characters from the motto in Rule 0, provided e has not added or removed any characters from the motto in the past 7 days.

Gamestate

This wiki page does not necessarily always track the correct gamestate, though it tries its best. Players can modify the wikipage but only as the rules allow. Edits that attempt to do something that the rules do not authorize fail and players should revert them.

PodNomic Correspondent

Slownomic's PodNomic Correspondent is a position that should be filled by a player of Slownomic. Any Slownomic player can nominate themself for the position by posting a message to this effect in the "Correspondent Election" section of this page. These nominations can be voted on in the same method by proposal, except that they resolve seven days after submission.

Players

  • nix*, the unbreakable
  • Trigon*, the polygonal
  • Silent G*
  • Jason, the acceptable
  • ATMunn, the friendly
  • veganzombeh, the seventh
  • hansarp, the inconsistent
  • Waterfriend
  • pokes, the slow
  • metametajoel, the multidimensional
  • Murphy*, this space intentionally left blank
  • snail, the normally paced
  • klink, the geared
  • Nyhilo, the void
  • 4st, the potted plant

\* has Penmanship merit badge

Proposals

Cold, Cold Calculations

Author: snail
Date of Creation: 17 Mar 2023

Create a rule entitled "Temperature" with the text:

Each player has a natural number temperature, which starts at zero(0). The player (if any) with highest unique temperature is On Fire. While a player is On Fire, they earn the following privileges:

- They can increase or decrease the tower of babel's height by 1 meter by editing it, if they have not done so this way in the past 30 days.

When a player has been On Fire for exactly 60 days (1440 hours), they combust. A combusted player may once add and/or remove up to five characters from the motto in rule 0.

Create a rule entitled "Heating and cooling" with the text:

A player's temperature is increased by 1 when a proposal they are the author of passes.

When a player applies a proposal's effects, they can also decrease the temperature of another player by 1 in the same edit.

Append the following list item to the rule "Merit Badges":

- If a player has ever combusted, then they have the Fiery merit badge.

Votes:

  • snail: FOR, its the best proposal up for voting right now.
  • 4st: FOR

Tower of Babel

Height: 2 meters.