Disputation

Owwen

Περιγραφή παιχνιδιού

Το Disputation είναι εμπνευσμένο από ένα παιχνίδι μεσαιωνικών φιλοσόφων που όξυνε τις μνήμες και τις δεξιότητές τους στη λογική επιχειρηματολογία. Συγκεκριμένα, επιχειρώ (όχι ίσως ακριβώς) να αναδημιουργήσω τους κανόνες του Walter Burley για τις υποχρεωτικές αμφισβητήσεις. Το παιχνίδι σας παρουσιάζει μια σειρά από δηλώσεις. Ο στόχος σας είναι να εξαντλήσετε τη λίστα δηλώσεων του ερωτώντος χωρίς να αντικρούσετε τον εαυτό σας. Εάν τα καταφέρετε, ο ερωτών αναγνωρίζει την εξαιρετική σας εξυπνάδα. Εάν αποτύχετε, ο ερωτών επισημαίνει την αντίφασή σας και σας προσκαλεί να προσπαθήσετε ξανά.

Για να παίξετε το παιχνίδι, συναινείτε ή Αντικρούετε κάθε δήλωση. Κάθε δήλωση μπορεί να είναι αληθής, ψευδής ή αναποφάσιστος. Η συναίνεση σε μια αναποφάσιστη δήλωση το κάνει αληθινό. Η διάψευση μιας αναποφάσιστης δήλωσης την καθιστά ψευδή. Ωστόσο, εάν η δήλωση είναι ήδη αληθής ή ψευδής ως αποτέλεσμα των προηγούμενων επιλογών σας, τότε πρέπει να συναινέσετε στη διάψευση αναλόγως.

Μια απλή πρόταση έχει ένα μέρος, για παράδειγμα «Κάνει κρύο». Μια δήλωση «και» έχει δύο μέρη. Είναι αληθές αν και τα δύο μέρη είναι αληθή, ψευδές αν τουλάχιστον ένα μέρος είναι ψευδές και αναποφάσιστο διαφορετικά. Μια πρόταση «ή» είναι αληθής εάν τουλάχιστον ένα μέρος είναι αληθές, ψευδής αν και τα δύο μέρη είναι ψευδή και δεν έχει αποφασιστεί διαφορετικά.

Μια δήλωση «εάν … τότε…» είναι αληθής εάν το πρώτο μέρος της είναι ψευδές ή αν το τελευταίο μέρος είναι αληθές. Είναι ψευδές εάν το πρώτο μέρος είναι αληθές και το τελευταίο μέρος είναι ψευδές. Είναι αναποφάσιστο διαφορετικά.

Καλή τύχη! Ελπίζω αυτό το παιχνίδι να ενισχύσει τη μνήμη σας, να σας μυήσει στις αρχές της προτασιακής λογικής και της λογικής επιχειρηματολογίας ή ίσως απλώς να σας βοηθήσει να περάσετε το χρόνο σας σε μια εποικοδομητική διανοητική άσκηση!

Τι νέο υπάρχει

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