Naslov
Obilježeni sustav prirodne dedukcije za modalnu logiku
(Labeled Deduction System for Moda Logic)

Autori
Pavlović, Edi

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Filozofski fakultet

Mjesto
Rijeka

Datum
08.05

Godina
2009

Stranica
40

Mentor
Žarnić, Berislav

Ključne riječi
prirodna dedukcija; modalna logika; Fitchov paradoks
(natural deduction; modal logic; Fitch's paradox)

Sažetak
U radu se daje kratki pregled osnovnih pristupa izgradnji sustava prirodne dedukcije za logiku prvoga reda, te se ispituju obilježja normalnih logika koja omogućuju primjenu sustava obilježene prirodne dedukcije za takve logike. U potonjem se slijedi pristup autora Basina, Matthewsa i Vigana. Posebno se ispituju pravila za "lokalnu" i "globalnu" negaciju. Obilježeni sustav prirodne dedukcije primjenjuje se na epistemičnu logiku i potom se koristi za formalno predstavljanje Fitcheva paradoksa spoznatljivosti.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA