Cílem projektu je zpracovat odbornou studii (v angličtině) a tuto odprezentovat na zahraničním institutu IHPST. Tématem práce je vlastně porovnání Russellova pojmu propoziční funkce s nyní aktuálnějším a zejména jasnějším Tichého pojmem konstrukce. Díky získaným analogiím a disanalogiím je pak osvětlován Russellův, avšak zpětně i Tichého, logický systém.

Výsledky

Oba výsledky byly dosaženy. V rámci projektu vznikla nejprve (a navíc) rozsáhlá studie "Co jsou Russellovy propoziční funkce" (zabývající se pojmem propoziční funkce nezávisle na Tichého systému) a poté stať "Russell’s Propositional Functions, their Logic and Tichý’s Type Theory“, v níž byly cele naplněny zamýšlené hypotézy. Tato stať, resp. její verze, byla odprezentována na IHPST v rozsáhlé zvané přednášce. Rukopisy obou textů i slidů prezentace jsou přiloženy. Byla navázána následná individuální odborná spolupráce s IHPST.

Publikace