The aim of the project is to elaborate a scientific paper and present it at the French institute IHPST. The paper investigates the hypothesis that Russell's propositional functions are Tichý's constructions, whereas the present latter notion is much more clearer than the former. One gets thus several analogies and disanalogies which help to better understand Russell's, and even Tichý's, logical system.

Results

Both aims were achieved. The paper "Russell’s Propositional Functions, their Logic and Tichý’s Type Theory“ has been written during the project (moreover, another paper, "Co jsou Russellovy propoziční funkce", has been prepared as well). The paper was presented at IHPST as an invited talk. Manuscritps of both papers, as well as the slides of the presentation, are included here as supplements.

Publications