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

Napredna pretraga

Pregled bibliografske jedinice broj: 274484

A labelled deduction system for Kanger's deontic-praxeological logic


Žarnić, Berislav
A labelled deduction system for Kanger's deontic-praxeological logic // 8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations / Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra (ur.).
Rijeka: University of Rijeka, Faculty of Arts and Sciences, 2006. (predavanje, međunarodna recenzija, sažetak, znanstveni)


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

Naslov
A labelled deduction system for Kanger's deontic-praxeological logic

Autori
Žarnić, Berislav

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations / Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra - Rijeka : University of Rijeka, Faculty of Arts and Sciences, 2006

Skup
8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations

Mjesto i datum
Rijeka, Hrvatska, 09-10.06.2006

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
labelled deduction; Kanger; deontic logic; theory of rights

Sažetak
Basin-Matthews-Vigano 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 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“ with standard semantics of deontic logic. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija



POVEZANOST RADA


Projekti:
0191009

Ustanove:
Institut za filozofiju, Zagreb,
Filozofski fakultet u Splitu

Profili:

Avatar Url Berislav Žarnić (autor)


Citiraj ovu publikaciju:

Žarnić, Berislav
A labelled deduction system for Kanger's deontic-praxeological logic // 8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations / Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra (ur.).
Rijeka: University of Rijeka, Faculty of Arts and Sciences, 2006. (predavanje, međunarodna recenzija, sažetak, znanstveni)
Žarnić, B. (2006) A labelled deduction system for Kanger's deontic-praxeological logic. U: Trobok, M., Ule, A., Žarnić, B. & Golubović, A. (ur.)8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations.
@article{article, author = {\v{Z}arni\'{c}, B.}, year = {2006}, pages = {11}, keywords = {labelled deduction, Kanger, deontic logic, theory of rights}, title = {A labelled deduction system for Kanger's deontic-praxeological logic}, keyword = {labelled deduction, Kanger, deontic logic, theory of rights}, publisher = {University of Rijeka, Faculty of Arts and Sciences}, publisherplace = {Rijeka, Hrvatska} }
@article{article, author = {\v{Z}arni\'{c}, B.}, year = {2006}, pages = {11}, keywords = {labelled deduction, Kanger, deontic logic, theory of rights}, title = {A labelled deduction system for Kanger's deontic-praxeological logic}, keyword = {labelled deduction, Kanger, deontic logic, theory of rights}, publisher = {University of Rijeka, Faculty of Arts and Sciences}, publisherplace = {Rijeka, Hrvatska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font