Wyobraź sobie, że znajoma osoba opowiada ci, że zna parę logików, którzy żyją ze sobą w związku. Jednak jako ortodoksyjni logicy wyznają zasadę, że najważniejsza jest jasność myśli, w związku z czym komunikują się ze sobą wyłącznie za pomocą sformalizowanego języka logiki. Czy myślisz, że to byłoby na dłuższą metę możliwe? Jak wyglądałyby codzienne rozmowy takiej pary?
Twoje cele
Poznasz najważniejsze narzędzia logicznego rachunku zdań.
Zrozumiesz istotę i zastosowania logicznego rachunku zdań.
Poćwiczysz stosowanie podstawowych narzędzi logicznego rachunku zdań.
Pofilozofujesz z Gottfriedem Wilhelmem Leibnizem na temat granic formalizacji codziennej komunikacji.