Naslov
A labelled deduction system for Kanger's deontic-praxeological logic

Autori
Žarnić, Berislav

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations / Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra - Rijeka : University of Rijeka, Faculty of Arts and Sciences, 2006

Skup
8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations

Mjesto i datum
Rijeka, Hrvatska, 09.06.2006. - 10.06.2006

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
labelled deduction; Kanger; deontic logic; theory of rights

Sažetak
Basin-Matthews-Vigano approach to construction of labelled deduction systems for normal modal logics is adapted to „ Fitch proof-format“ , and it is applied to the language of deontic-praxeological logic. Segerberg's suggestion on how to asses the adequacy of a logic for Kanger's theory of rights is being formally explicated and it is proved that herewith proposed system of labelled deduction satisfies Segerberg's criteria of adequacy. For the purpose of building the proof a semantics is given, which connects „ the simplest semantics of action“ with standard semantics of deontic logic. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA