Lekcja: "043. Traktat logiczno - filozoficzny L. Wittgensteina"
Tezy Traktatu od 4 do 5
Wittgenstein w Skjolden /Norwegia/
W tezach 4 i 5 opisał formalny mechanizm niezbędny do stworzenia hipotetycznego języka „doskonałego logicznie”.
Zastosował tabele rachunku prawdziwościowego, które są obecnie standardową techniką wyjaśniania semantycznej logiki form zdaniowych, dając tym samym podstawy współczesnej logice formalnej. W tezie 5.101 wykazał możliwość bezpośredniego przekształcania zdań warunkowych w rodzaju „Jeśli C to A” na zapis bitowy w rodzaju ”TFTT”, co stało się podstawą współczesnej informatyki.
W kolejnych, krótkich tezach tej części Traktatu zawarł zapisy paradoksu Russella, definicję tautologii, sprzeczności i wszystkich możliwych funkcji logicznych. Są tu też podstawowe pytania na temat powiązań między językiem, nauką, wiarą i indukcją.