Filozofska istraživanja, Vol. 26 No. 3, 2006.
Izvorni znanstveni članak
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava
Berislav Žarnić
Sažetak
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.
Ključne riječi
Stig Kanger; teorija prava; logika; prirodna dedukcija
Hrčak ID:
11178
URI
Datum izdavanja:
5.10.2006.
Posjeta: 1.811 *