Logika… Daj się uwieść!

Christoph Drösser wprowadza czytelnika w świat poprawnego wnioskowania, poczynając od sylogistycznej logiki klasycznej, poprzez nowoczesne teorie, autorstwa np. George’a Boole’a lub Bertranda Russella, od teorii dowodu i teorii mnogości i informatyki teoretycznej aż do logiki rozmytej. W zajmujących i pouczających opowiadaniach, w niewymuszony sposób przekazuje podstawy, osobliwości i zasadzki logiki. Drösser pokazuje, jak nauka potrafi być bliska codzienności, ale też jak uczeni kiedyś i dziś zdobywali i zdobywają wiedzę. Pozycja ta, tak jak poprzednie publikacje Drössera, prezentuje czytelnikowi także zadania i ich rozwiązania, łamigłówki dla każdego.

WSTĘP 10 1. JEŻELI KSIĘŻYC JEST Z ZIELONEGO SERA... ALBO O LOGICE I RZECZYWISTOŚCI 13 2. KŁAMSTWO I PRAWDA ALBO GDY NA LOGICE POTYKAJĄ SIĘ OPRYSZKI 21 3. SŁABE KARTY SUPERMANA ALBO O DOBRYCH I NIE ZA DOBRYCH ARGUMENTACH 35 4. ROZRYWKI UMYSŁOWE 1: LOGICALS 55 5. PIEKIELNA MASZYNA ALBO LICZ SIĘ Z PRAWDĄ! 64 6. FAŁSZYWEK CZAR ALBO DWUZNACZNE PRAWO 84 7. ROZRYWKI UMYSŁOWE 2: WYSPA KŁAMCÓW 102 8. KATALOG KATALOGÓW ALBO DLACZEGO Z PORZĄDKIEM TEŻ MOŻNA PRZESADZIĆ Bibliotekarz Fred Kollman jest fanem drukowanych katalogów i ku ubolewaniu pracowników biblioteki każe ujmować w nich nie tylko wszystkie książki biblioteki miejskiej, lecz również ich katalogi. Omal nie staje się przy tym ofiarą paradoksu logicznego, który w podobnej formie przed 100 laty zachwiał podwalinami matematyki. 107 9. KIEDY LOGIKA WARIUJE SŁYNNE PARADOKSY I JAK SIĘ JE ROZWIĄZUJE 126 10. TEN TYTUŁ JEST AUTOREFERENCYJNY ALBO PROBLEMY Z KOZAMI NA WYSPIE KŁAMCÓW 147 11. ROZRYWKI UMYSŁOWE 3: KAPELUSZOWY TELETURNIEJ 167 12. KOMPUTER LUDOWY ALBO MASZYNA UNIWERSALNA PANA TU LING 172 13. OPTYMALNY SAMOCHÓD UŻYWANY ALBO PRECYZYJNE MYŚLENIE NA PODSTAWIE NIEPRECYZYJNYCH POJĘĆ 185 DODATEK 201 ROZWIĄZANIA ZAGADEK 201 NAJWAŻNIEJSZE FORMUŁY LOGICZNE 213 AKSJOMATY TEORII MNOGOŚCI ZERMELO-FRAENKELA 217 LITERATURA I ŹRÓDŁA 221 SKOROWIDZ 223