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.