Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 216965

Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava


Žarnić, Berislav
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava // Filozofska istraživanja, 26 (2006), 3; 731-755 (podatak o recenziji nije dostupan, članak, znanstveni)


CROSBI ID: 216965 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava
(A Labelled Natural Deduction System for Kanger's Theory of Rights)

Autori
Žarnić, Berislav

Izvornik
Filozofska istraživanja (0351-4706) 26 (2006), 3; 731-755

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
obilježena prirodna dedukcija; modalna logika; deontičko-prakseološka logika; Kanger
(labelled natural deduction; modal logic; deontic-praxeological logic; Kanger)

Sažetak
U radu se Basin-Matthews-Vigan&ograve ; pristup 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 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' i standardnu semantiku deontičke logike. Pouzdanost i potpunost predloženog sustava obilježene prirodne dedukcije dokazana je u odnosu na spomenutu semantiku.

Izvorni jezik
Hrvatski

Znanstvena područja
Pravo, Filozofija, Filologija



POVEZANOST RADA


Projekti:
0191009

Ustanove:
Filozofski fakultet u Splitu

Profili:

Avatar Url Berislav Žarnić (autor)

Citiraj ovu publikaciju

Žarnić, Berislav
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava // Filozofska istraživanja, 26 (2006), 3; 731-755 (podatak o recenziji nije dostupan, članak, znanstveni)
Žarnić, B. (2006) Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava. Filozofska istraživanja, 26 (3), 731-755.
@article{article, author = {\v{Z}arni\'{c}, B.}, year = {2006}, pages = {731-755}, keywords = {obilje\v{z}ena prirodna dedukcija, modalna logika, deonti\v{c}ko-prakseolo\v{s}ka logika, Kanger}, journal = {Filozofska istra\v{z}ivanja}, volume = {26}, number = {3}, issn = {0351-4706}, title = {Jedan sustav obilje\v{z}ene prirodne dedukcije za Kangerovu teoriju prava}, keyword = {obilje\v{z}ena prirodna dedukcija, modalna logika, deonti\v{c}ko-prakseolo\v{s}ka logika, Kanger} }
@article{article, author = {\v{Z}arni\'{c}, B.}, year = {2006}, pages = {731-755}, keywords = {labelled natural deduction, modal logic, deontic-praxeological logic, Kanger}, journal = {Filozofska istra\v{z}ivanja}, volume = {26}, number = {3}, issn = {0351-4706}, title = {A Labelled Natural Deduction System for Kanger's Theory of Rights}, keyword = {labelled natural deduction, modal logic, deontic-praxeological logic, Kanger} }

Uključenost u ostale bibliografske baze podataka:


  • The Philosopher's Index





Contrast
Increase Font
Decrease Font
Dyslexic Font