Logique déontique et temporelle

Abstract

Celem pracy jest analiza związków zachodzących między logikami deontycznymi i logikami czasowymi. Punktem wyjścia są znane relacje pojęć modalnych, deontycznych i czasowych. Część I ma charakter wstępny. W części II autor stara się udzielić wyczerpującej odpowiedzi na pytanie, który spoiród znanych rodzajów logiki czasu nadaje się do zamierzonej analizy, Wybór pada na logikę dat (teiaporal logic). Dalej, w części III przedyskutowano trzy możliwe sposoby wiązania pojęć modalnyoh z pojęciami czasowymi - koncepcje: Diodora Cronosa, szkoły megaryjskiej i W.Occama. Okazało się, że związki modalno-czasowe i deontyczrio- czasowe dają się najpełniej wyrazić w obrębie koncepcji occamowskiej - w takich strukturach semantycznych wszystkie trzy rodzaje pojęć dają s ię dosyć n a tu ra ln ie powiązać. Część IV J e s t prezentacją zbudowanego na "occamowski spoaob systemu modalno-deontyczno-czasowego, Na koniec znajdujemy jeszcze dyskusję trudności na jakie napotyka się przy konstruowaniu takich hybrydowych systemów logicznych i przykład ilustrujący zalety tych konstrukcji w przykładzie posłużono się znanym paradoksem "dobrego Samarytanina".