Perspectives ontiques et temporelles pour la logique deontique (axiomatique, semantique et completude)

Abstract

Zagadnienie aksjomatyki w logice deontycznej analizowane jest przez autora z dwu punktów widzenia. Pierwszy z nich jest. bardziej filozoficzny . Bada się na jego gruncie zalety i wady aksjomatów czysto deontycznych. Analiza ta wskazuje na konieczność wprowadzenia do logiki deontycznej przestrzeni w stosunku do niej zewnętrznej, tj. przestrzeni modalności klasycznych. Drugi punkt widzenia jest natury bardziej technicznej. Chodzi w nim głównie o dowody zupełności wymagane na gruncie logiki deontycznej. Z racji trudności pomija się często ich prezentację. Autor wykazuje w pracy nie zbędność dowodów tego rodzaju.