Filozofska istraživanja, Vol. 26 No. 3, 2006.
Izvorni znanstveni članak
A Labelled Deduction System for Kanger’s Theory of Rights
Berislav Žarnić
Sažetak
Basin-Matthews-Viganò [4][5] 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 [22] 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” [9] with standard semantics of deontic logic [2]. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved.
Ključne riječi
Stig Kanger; theory of rights; logic; natural deduction
Hrčak ID:
11178
URI
Datum izdavanja:
5.10.2006.
Posjeta: 1.728 *