Skoči na glavni sadržaj

Izvorni znanstveni članak

Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava

Berislav Žarnić


Puni tekst: hrvatski pdf 2.377 Kb

str. 731-755

preuzimanja: 897

citiraj


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

https://hrcak.srce.hr/11178

Datum izdavanja:

5.10.2006.

Podaci na drugim jezicima: engleski

Posjeta: 1.697 *