Dobra zagadka logiczna dostarcza wystarczająco informacji, by dojść do wniosku, ale niekoniecznie w takiej formie, jakiej byś chciał. Wyzwanie polega na precyzyjnym śledzeniu implikacji. Słowa takie jak „jeśli”, „tylko”, „każdy” i „co najmniej” wykonują prawdziwą pracę matematyczną. Zamiana jednego z nich bez namysłu może sprawić, że rozwiążesz inny problem. Pierwsza zasada dedukcji jest więc prosta: uczyń reguły jawnymi, zanim spróbujesz być sprytny.
Które karty musisz odwrócić?
Na stole leżą cztery karty, pokazując A, D, 4 i 7. Każda karta ma literę po jednej stronie i liczbę po drugiej. Chcesz sprawdzić regułę: „Jeśli karta ma samogłoskę po jednej stronie, to po drugiej ma parzystą liczbę.” Które karty musisz odwrócić, aby sprawdzić, czy reguła obowiązuje dla tych czterech kart? Wybierz najmniejszy wystarczający zestaw.
To wersja zadania selekcji związanego z psychologiem Peterem Wasonem. Jego trudność wynika mniej z arytmetyki, a bardziej z naszej skłonności do szukania przykładów zgodnych z regułą. Właściwy test szuka także tego jednego rodzaju przykładu, który mógłby ją obalić.
Wybierz, co sprawdzisz
Podpowiedź: szukaj naruszenia
Reguła zostaje złamana tylko wtedy, gdy samogłoska jest sparowana z liczbą nieparzystą. Nic nie mówi o tym, co musi być za spółgłoską.
Pokaż pełne wyjaśnienie
Odwróć A, aby sprawdzić, czy jej liczba jest parzysta. Odwróć 7, aby sprawdzić, czy jej litera nie jest samogłoską. D nie może naruszyć reguły, niezależnie od liczby po drugiej stronie. Za 4 może być samogłoska lub spółgłoska, ponieważ reguła nie mówi, że każda parzysta liczba musi mieć samogłoskę.
Symbolicznie „jeśli P, to Q” wyklucza P razem z nie-Q. Nie twierdzi „jeśli Q, to P”. To odwrócone twierdzenie jest odwrotnością i wymaga własnego uzasadnienia. Kontrapozycja, „jeśli nie-Q, to nie-P”, jest logicznie równoważna oryginalnemu zdaniu. Trzymanie odwrotności i kontrapozycji osobno zapobiega zaskakująco licznej grupie błędów.
Prawdomówcy, kłamcy i pomocne założenia
Załóżmy, że dwie osoby, Ada i Ben, należą każda do jednego z dwóch typów. Prawdomówcy mówią wyłącznie prawdę; kłamcy wyłącznie fałsz. Ada mówi: „Oboje jesteśmy kłamcami.” Co możesz wywnioskować? Traktuj to zdanie jako pełne stwierdzenie o tych dwóch osobach i zakładaj, że zasady typów obowiązują bez wyjątków.
Gdyby Ada była prawdomówcą, jej zdanie byłoby prawdziwe, co czyniłoby ją kłamczynią. Ta sprzeczność eliminuje przypadek prawdomówcy. Ada jest więc kłamcą, a jej zdanie jest fałszywe. Skoro już jest kłamczynią, twierdzenie, że oboje są kłamcami, może być fałszywe tylko wtedy, gdy Ben jest prawdomówcą. Przypuszczenia o osobowości, motywach czy uprzejmości w rozmowie nie mają tu znaczenia.
Zauważ, że ten wniosek zależy od sztucznych reguł. W zwyczajnym życiu osoba, która raz skłamała, nie jest kimś, czyje każde możliwe zdanie jest fałszywe. Zagadki logiczne budują uproszczone światy, aby implikacje stały się ścisłe. What Is the Name of This Book? Raymonda Smullyana to słynne zgłębianie tego stylu rozumowania, obejmujące znacznie bardziej zawiłe autoreferencje.
Wiedzieć nie zawsze znaczy wiedzieć wspólnie
Niektóre z najtrudniejszych problemów rozumowania dotyczą informacji, a nie wartości logicznych. Fakt może być prawdziwy, znany wszystkim, a mimo to nie być wiedzą powszechną. Wiedza powszechna oznacza, że wszyscy to wiedzą, wszyscy wiedzą, że wszyscy to wiedzą, i ten schemat trwa na każdym skończonym poziomie. Publiczne ogłoszenia mogą więc mieć znaczenie, nawet gdy wydają się nie dodawać żadnej nowej treści faktograficznej.
Rozważ uproszczoną zagadkę z kapeluszami dla dwóch osób. Każda widzi kapelusz drugiej, ale nie swój. Kapelusze są albo czerwone, albo białe. Oba w rzeczywistości są czerwone. Reguły, doskonała zdolność rozumowania każdej osoby i publiczne rundy odpowiedzi są wiedzą powszechną. Prowadzący publicznie mówi: „Co najmniej jeden kapelusz jest czerwony.” W pierwszej rundzie każdą osobę pyta się, czy zna kolor swojego kapelusza; obie odpowiadają: nie.
W kolejnej rundzie każda może wywnioskować, że jej kapelusz jest czerwony. Gdyby kapelusz jednej osoby był biały, druga widziałaby biały i od razu, korzystając z ogłoszenia, ustaliłaby, że jej własny kapelusz jest czerwony. Niepewność z pierwszej rundy to wyklucza. Ogłoszenie i publiczne odpowiedzi tworzą wspólną strukturę rozumowania. Czas i publiczny dostęp są kluczowe; usuń je, a wniosek może nie wynikać.
Praktyczna lista kontrolna dedukcji
Przełóż skomplikowane zdanie na krótką regułę. Zapytaj, co by je uczyniło fałszywym. Oddziel przypadki, które nie mogą zajść razem. Jeśli to możliwe, zbuduj małą tabelę kandydujących światów i skreślaj tylko te, które są wprost sprzeczne z dowodami. Jeśli zostaną dwa światy, nie udowodniłeś jeszcze jednoznacznej odpowiedzi, bez względu na to, jak kusząco brzmi jeden z nich.
George Pólya w książce Jak to rozwiązać proponuje szeroko przydatne podejście do rozwiązywania problemów: zrozum problem, ułóż plan, wykonaj go i spójrz wstecz. W logice krok spojrzenia wstecz obejmuje sprawdzenie, czy przypadkiem nie założyłeś tezy. Poprawna dedukcja powinna przetrwać sceptycznego czytelnika, który akceptuje podane reguły, ale nie podziela żadnej z twoich intuicji.
To głębsza nagroda za dobre zadanie z rozumowaniem. Nie uczysz się nieufać każdej pierwszej myśli. Uczysz się pytać, jakie dowody odróżniłyby odpowiedź prawdopodobną od koniecznej.