Kurs logiki: lekcja 47. Rachunek zdań. Część 4: Dysjunkcja i równoważność
W 44. lekcji logiki „Rachunek zdań. Część 1: Wprowadzenie, nazwa, zdanie i funktor”„Rachunek zdań. Część 1: Wprowadzenie, nazwa, zdanie i funktor” wspomnieliśmy o marzeniu Leibniza dotyczącym powstania sztucznego logicznego języka, za pomocą którego można by precyzyjne ująć wszystkie istniejące problemy, dokonując przy okazji wielu wartościowych odkryć. Czy wiesz, że ziszczenie tego marzenia jest możliwe dzięki niekonwencjonalnemu zastosowaniu jednego z funktorów prawdziwościowych? W dzisiejszej lekcji poznasz dwa kolejne funktory prawdziwościowe, w tym właśnie ten, który można wykorzystać w sposób pomocny marzeniu Leibniza.
Poznasz dwa kolejne funktory prawdziwościowe: dysjunkcję i równoważność.
Zrozumiesz różnicę między tymi funktorami a czterema funktorami poznanymi na poprzednich lekcjach.
Poćwiczysz stosowanie dwóch nowych funktorów.
Poćwiczysz stosowanie rachunku zdań przy użyciu wszystkich sześciu poznanych już funktorów.
Pofilozofujesz z Rudolfem Carnapem na temat zastosowania funktora równoważności do redukcjonizmu logicznego i wszelkich innych postaci redukcjonizmu.