Disputation

Owwen

Om spelet

Disputation är inspirerad av ett spel med medeltida filosofer som skärpte deras minnen och färdigheter i logiska argument. Närmare bestämt försöker jag (inte kanske exakt) att återskapa Walter Burleys regler för obligatoriska disputationer. Spelet ger dig en sekvens av uttalanden. Ditt mål är att uttömma frågeställarens lista med påståenden utan att motsäga dig själv. Om du lyckas erkänner frågeställaren din extrema klurighet. Om du misslyckas påpekar frågeställaren din motsägelse och uppmanar dig att försöka igen.

För att spela spelet, samtycker du till eller motbevisar varje påstående. Varje påstående kan vara sant, falskt eller obestämt. Att godkänna ett obestämt uttalande gör det sant. Att vederlägga ett obestämt uttalande gör det falskt. Men om påståendet redan är sant eller falskt som ett resultat av dina tidigare val, måste du samtycka till motbevisning i enlighet med detta.

Ett enkelt uttalande har en del, till exempel "Det är kallt." En "och"-sats har två delar. Det är sant om båda delarna är sanna, falskt om åtminstone en del är falskt, och inte bestämt något annat. Ett "eller"-påstående är sant om minst en del är sant, falskt om båda delarna är falska och inte bestämt något annat.

Ett "om ... då ..."-påstående är sant om dess första del är falsk eller om dess sista del är sann. Det är falskt om den första delen är sann och den sista delen är falsk. Annat är oklart.

Lycka till! Jag hoppas att det här spelet stärker ditt minne, introducerar dig till principerna för propositionell logik och logiska argument, eller kanske bara hjälper dig att fördriva tiden i en konstruktiv mental övning!

Nyheter

This is a maintenance release that updates the target API to 36.