Intuicjonistyczna logika tensalna i indeterminizm

Abstract

Rozważania czynione w niniejszej dysertacji koncentrują się wokół pojęć zdeterminowania i niezdeterminowania oraz konstrukcji takich logik, których język nadawałby się do opisu świata niezdeterminowanego. Rozważania te, jak się wydaje, mają znaczenie nie tylko z czysto filozoficznego punktu widzenia lecz, po odpowiednim przeinterpretowaniu, mogą mieć zastosowanie w informatyce teoretycznej, np. do konstrukcji indeterministycznej logiki programów. Na potrzeby tych rozważań skonstruowana będzie logika tensalna oparta na logice intuicjonistycznej, czyli intuicjonistyczna logika temporalna z operatorami czasów gramatycznych jako stałymi logicznymi. Za wyborem takiego formalizmu do wyrażania związków między pojęciami zdeterminowania i niezdeterminowania oraz do opisu świata niezdeterminowanego przemawia kilka argumentów.