Pregled bibliografske jedinice broj: 998594
Razgranata teorija tipova kao intenzionalna logika
Razgranata teorija tipova kao intenzionalna logika, 2018., doktorska disertacija, Hrvatski studiji, Zagreb
CROSBI ID: 998594 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Razgranata teorija tipova kao intenzionalna logika
(Ramified Type Theory as Intensional Logic)
Autori
Lojkić, Goran
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija
Fakultet
Hrvatski studiji
Mjesto
Zagreb
Datum
21.02
Godina
2018
Stranica
137
Mentor
Kovač, Srećko
Ključne riječi
razgranata teorija tipova, stavačna funkcija, nepotpuni simbol, paradoks, intenzija, kumulativna intenzionaona razgranata teorija tipova
(ramified type theory, propositional function, incomplete symbol, paradox, intension, cumulative intensional ramified type theory)
Sažetak
Prvi se dio rada bavi pitanjem ontologijskoga statusa stavačnih funkcija u razgranatoj teoriji tipova Bertranda Russella, kako ju je Russell izložio u filozofijskom uvodu prvoga izdanja Principia Mathematica. U tom se dijelu rada brani eliminativističko tumačenje i pokušava pokazati da Russell sam stavačne funkcije u Principia razumije samo kao izraze, kao tzv. nepotpune simbole, koji ne označavaju nikakve izvanjezične predmete poput pojmova ili atributa. U drugom se dijelu rada formalno prikazuje kumulativna razgranata teorija tipova polazeći od realističke interpretacije razgranate teorije tipova i određenih metafizičkih intuicija o naravi intenzija.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
HRZZ-IP-2014-09-9378 - Logika, pojmovi i komunikacija (LogiCCom) (Kovač, Srećko, HRZZ - 2014-09) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb
