LXII Konferencja Historii Logiki, Kraków 2016 Metody tablicowe dla
Transkrypt
LXII Konferencja Historii Logiki, Kraków 2016 Metody tablicowe dla
LXII Konferencja Historii Logiki, Kraków 2016 Metody tablicowe dla logiki deontycznej Kalinowskiego W 1953 roku Jerzy Kalinowski publikuje artykuł pt. Teoria zdań normatywnych. Artykuł uznawany jest za jedną z pierwszych publikacji poświęconych logice deontycznej. Przedmiotem referatu jest prezentacja metody tablicowej dla deontycznej logiki Kalinowskiego K1. Bibliografia [1] J. Kalinowski, Teoria zdań normatywnych, Studia Logica 1 (1953), ss. 113-146 [2] P. Kulicki and R. Trypuz, Doing the right things - trivalence in deontic action logic, https://www.researchgate.net/publication/233990254_Doing_the_right_things_--_trivalence_in_deontic_action_logic [3] G. H. von Wright, Problems and prospects of deontie logic: A survey, [w:] Modern Logic – A Survey, Dordrecht, D. Reidel Publishing Company, 1981, ss. 399–423. [4] G. H. von Wright, Mind, Volume 60:237 (1951), ss. 1-15.