Disputation

Owwen

Par šo spēli

Disputāciju iedvesmojusi viduslaiku filozofu spēle, kas uzlaboja viņu atmiņas un prasmes loģiskā argumentācijā. Konkrētāk, es mēģinu (varbūt ne precīzi) atjaunot Valtera Bērlija noteikumus par obligāto strīdu. Spēle piedāvā jums paziņojumu secību. Jūsu mērķis ir izsmelt jautātāja apgalvojumu sarakstu, nenonākot pretrunā ar sevi. Ja izdodas, jautātājs atzīst tavu ārkārtējo gudrību. Ja jums neizdodas, jautātājs norāda uz jūsu pretrunu un aicina mēģināt vēlreiz.

Lai spēlētu spēli, jums jāpiekrīt vai jāatspēko katrs apgalvojums. Katrs apgalvojums var būt patiess, nepatiess vai neizšķirts. Piekrišana neizšķirtam apgalvojumam padara to patiesu. Neizšķirta apgalvojuma atspēkošana padara to nepatiesu. Tomēr, ja apgalvojums jau ir patiess vai nepatiess jūsu iepriekšējo izvēļu dēļ, jums ir attiecīgi jāiesniedz atspēkošanas piekrišana.

Vienkāršam apgalvojumam ir viena daļa, piemēram, “Ir auksts”. Paziņojumam “un” ir divas daļas. Tā ir patiesa, ja abas daļas ir patiesas, nepatiesa, ja vismaz viena daļa ir nepatiesa, un nav izlemta citādi. Apgalvojums “vai” ir patiess, ja vismaz viena daļa ir patiesa, nepatiess, ja abas daļas ir nepatiesas, un citādi nav izlemts.

Paziņojums “ja … tad…” ir patiess, ja tā pirmā daļa ir nepatiesa vai pēdējā daļa ir patiesa. Tā ir nepatiesa, ja pirmā daļa ir patiesa un pēdējā daļa ir nepatiesa. Citādi nav izlemts.

Lai veicas! Es ceru, ka šī spēle stiprina jūsu atmiņu, iepazīstina jūs ar propozicionālās loģikas un loģiskās argumentācijas principiem vai varbūt vienkārši palīdz pavadīt laiku konstruktīvā prāta vingrinājumā!

Jaunumi

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