Slownomic

Rules

Rule 0

This is Slownomic. Motto:Ð🛇鴨⊢🛇ấS}}

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

\* 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, :)

Foundations

Title: Foundations
Author: hansarp
Date of Creation: 19 Jan 2022
Date of Decision: 18 Feb 2022
Description: Create a minigame based on propositional logic.

Create a section entitled Logic, with subsections Rules of Inference, Statements, and Theorems.

• The subsection Rules of Inference shall initially contain:
  • Modus Ponens: |- P && |- (P → Q) => Q
    
• The subsection Statements shall initially contain:
  • Simplification: |- (P → (Q → P))
    
  • Frege : |- (P → (Q → R)) → ((P → Q) → (P → R))
    
  • Transposition: |- (¬P → ¬Q) → (Q → P)
    
  • Truth: |- True
    
  • Non-Falsehood: |- ¬False
    
• The subsection Theorems shall initially contain nothing.

Create a rule entitled Laws of Logic with the following text:

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.

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 → (P → P)) -name
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 → (Q → P)), Thus |- (Q → P) -name
They may then write the new Statement in the Statements subsection and give it a name.
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 → P)

Votes:

• hansarp: FOR
• Trigon: AGAINST. I forgot everything I knew about formal logic for a good reason.
• WaterFriend: FOR
• Murphy: AGAINST. tl;dr
• snail: AGAINST, argument from disgust /hj

Tower of Babel

Height: 2 meters.