Difference between revisions of "Slownomic"

From nomic.club
Jump to: navigation, search
(Deleting failing proposals and a vote)
Line 73: Line 73:
  
 
'''Votes:'''
 
'''Votes:'''
* snail: FOR, :)
+
* snail: FOR, its the best proposal up for voting right now.
 
 
=== 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>
 
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 &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>
 
 
 
'''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 ==
 
== Tower of Babel ==
  
 
Height: 2 meters.
 
Height: 2 meters.

Revision as of 05:59, 17 March 2023

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, its the best proposal up for voting right now.

Tower of Babel

Height: 2 meters.