Razgranata teorija tipova kao intenzionalna logika (CROSBI ID 426353)
Ocjenski rad | doktorska disertacija
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