Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Razgranata teorija tipova kao intenzionalna logika (CROSBI ID 426353)

Ocjenski rad | doktorska disertacija

Lojkić, Goran Razgranata teorija tipova kao intenzionalna logika / Kovač, Srećko (mentor); Zagreb, Hrvatski studiji, . 2018

Podaci o odgovornosti

Lojkić, Goran

Kovač, Srećko

hrvatski

Razgranata teorija tipova kao intenzionalna logika

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.

razgranata teorija tipova, stavačna funkcija, nepotpuni simbol, paradoks, intenzija, kumulativna intenzionaona razgranata teorija tipova

nije evidentirano

engleski

Ramified Type Theory as Intensional Logic

nije evidentirano

ramified type theory, propositional function, incomplete symbol, paradox, intension, cumulative intensional ramified type theory

nije evidentirano

Podaci o izdanju

137

21.02.2018.

obranjeno

Podaci o ustanovi koja je dodijelila akademski stupanj

Hrvatski studiji

Zagreb

Povezanost rada

Filozofija