Projekty finansowane przez NCN
Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowanie w oparciu o istniejące systemy formalnej teorii norm i działań
2011/01/D/HS1/04445
Słowa kluczowe:
logika deontyczna teoria norm teoria działań rozumowanie praktyczne
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
- HS5_1: Teoria i filozofia prawa, historia prawa i myśli prawnej
- ST6_3: Metody formalne
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
woj. lubelskie
Konkurs: SONATA 1 - ogłoszony 2011-03-15
Przyznana kwota: 130 500 PLN
Rozpoczęcie projektu: 2011-12-16
Zakończenie projektu: 2014-12-15
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (4)
- Teksty w publikacjach pokonferencyjnych (4)
- Publikacje książkowe (1)
- A Note on the Adequacy of Jerzy Kalinowski's K1 LogicAutorzy:Piotr KulickiCzasopismo:Bulletin of the Section of Logic (rok: 2014, tom: 43/3-4, strony: 183-190), Wydawca: Wydawnictwo Uniwersytetu ŁódzkiegoStatus:OpublikowanaDoi:brak - link do publikacji
- Jerzy Kalinowski's Logic of Normative Sentences RevisitedAutorzy:Robert Trypuz, Piotr KulickiCzasopismo:Studia Logica (rok: 2014, tom: -, strony: -), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11225-014-9572-1 - link do publikacji
- Completely and partially executable sequences of actions in deontic contextAutorzy:Piotr Kulicki, Robert TrypuzCzasopismo:Synthese (rok: 2014, tom: -, strony: -), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11229-014-0604-1 - link do publikacji
- On deontic action logics based on Boolean algebraAutorzy:Robert Trypuz, Piotr KulickiCzasopismo:Journal of Logic and Computation (rok: 2013, ), Wydawca: Oxford University PressStatus:OpublikowanaDoi:10.1093/logcom/ext057 - link do publikacji
- A deontic logic of actions and statesAutorzy:Robert Trypuz, Piotr KulickiKonferencja:12th International Conference on Deontic Logic and Normative Systems (rok: 2014, ), Wydawca: SpringerData:konferencja 12 – 15 lipiecStatus:Opublikowana
- Doing the right things - trivalence in deontic action logicAutorzy:Piotr Kulicki and Robert TrypuzKonferencja:Trivalent Logics and their applications (Proceedings of the ESSLLI 2012 Workshop) (rok: 2012, ), Wydawca: Paul EgreData:konferencja 13-17 sierpnia 2012Status:Opublikowana
- A deontic action logic with sequential composition of actionsAutorzy:Kulicki, Piotr; Trypuz, RobertKonferencja:Deontic Logic in Computer Science (rok: 2012, ), Wydawca: Springer (seria: Lecture Notes in Computer Science)Data:konferencja 16-18 lipca 2012Status:Opublikowana
- How to Build a Deontic Action LogicAutorzy:Piotr Kulicki and Robert TrypuzKonferencja:Logica (rok: 2012, ), Wydawca: College PublicationsData:konferencja 20-24 CZERWCA 2011Status:Opublikowana
- Two faces of obligationAutorzy:Piotr Kulicki, Robert TrypuzKsiążka:Theory of Imperatives from Different Points of View (rok: 2013, tom: 7, strony: 70-82), Wydawca: Wydawnictwo Naukowe SemperStatus:Opublikowana