Original scientific paper

Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava

Berislav Žarnić

Abstract

U radu se Basin-Matthews-Viganò pristup [4][5] izgradnji sustava obilježene prirodne dedukcije za normalne modalne logike prilagođava »Fitch-formatu« dokaza i primjenjuje na jezik deontičko-prakseološke logike. Formalizira se Segerbergova [22] sugestija o načinu određivanja primjerenosti neke logike za Kangerovu teoriju prava i dokazuje se da ovdje predloženi sustav obilježene prirodne dedukcije zadovoljava Segerbergove uvjete primjerenosti. U dokazu se gradi semantika koja povezuje »najjednostavniju semantiku čina« [9] i standardnu semantiku deontičke logike [2]. Pouzdanost i potpunost predloženog sustava obilježene prirodne dedukcije dokazana je u odnosu na spomenutu semantiku.

Keywords

Stig Kanger; teorija prava; logika; prirodna dedukcija

Hrčak ID:

11178

URI

https://hrcak.srce.hr/11178

Publication date:

5.10.2006.

Article data in other languages: english

Visits: 1.728 *