Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: deontic logic

Sortuj według:

Ogranicz wyniki do:

Dylematy moralne i logika deontyczna

100%

Drofiszyn M.

nr 3

125-132

In the paper I discuss an argument of deontic logic concerning the problem of the existence of moral dilemmas. First, I draw attention to the philosophical context of this argument and present three proofs which reveal an inconsistency in the nature of moral dilemmas. These proofs, however, are philosophically and logically controversial. Accordingly, I provide an alternative proof, based on the LP-system of deontic logic. The system is described from syntactic and semantic point of view. Assuming only the noncontroversial axiom K and a certain formulation of Elzenberg’s principle, I argue that, from the point of view of the LP-system, there is an inconsistency in the definition of moral dilemmas.

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

70%

Woźna-Szcześniak B.

tom Vol. 143, nr 1/2

173--205

We present WECTL*KD, a weighted branching time temporal logic to specify knowledge, and correct functioning behaviour in multi-agent systems (MAS).We interpret the formulae of the logic over models generated by weighted deontic interpreted systems (WDIS). Furthermore, we investigate a SAT-based bounded model checking (BMC) technique for WDIS and for WECTL*KD.

Aspekty temporalne powinności w logice deontycznej: od von Wrighta do Thomasona

41%

Popławski P.

nr 75

67-91

Celem artykułu jest omówienie początków zainteresowania aspektami temporalnymi obowiązków w logice deontycznej. Badany okres to lata 1951–1981. Najpierw autor przybliża dyskusję dotyczącą obowiązków warunkowych i wyodrębnia tam pierwszy aspekt: czas powinności. Później charakteryzuje myśli Patricii Greenspan, która wprost wykorzystuje ten aspekt do rozwiązania paradoksu Chisholma. Następnie omawia przekonania Héctora-Neri Castanedy, który wyróżnił inne aspekty: czas na realizację obowiązkowego czynu, czas wypowiedzenia lub powstania obowiązku i czas, gdy wypowiedź lub zdanie stwierdzające powinność jest prawdziwe. Potem autor rozpatruje poglądy Richmonda Thomasona, który przedstawił system formalny logiki deontycznej ufundowany na logice temporalnej. Na końcu zostają podsumowane zmiany w zainteresowaniu aspektami temporalnymi.

The aim of the article is to discuss the beginnings of interest in the temporal aspects of obligations in deontic logic. The analyzed period is the years 1951–1981. First, the author presents a discussion on conditional oughts. There he also singles out the first aspect: the time of the oughtness. Later, he characterizes the views of Patricia Greenspan, who explicitly used this aspect in her attempt to solve the Chisholm paradox. Then, the author discusses the views of Héctor-Neri Castaneda, who highlighted other aspects: the time of the action one ought to do, the time of utterance or of the making of an ought-statement, and the time of the truth of an ought-statement. Next, the author discusses Thomason Richmond’s views, who presented a formal system of deontic logic based on temporal logic. At the end, he summarizes the changes in interest in temporal aspects in analyzed period.