Project information
Russell’s propositional functions as Tichý’s constructions (RUTIPF)

Project Identification
MUNI/21/RAC/2012
Project Period
1/2012 - 12/2012
Investor / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Arts
Keywords
propositional functions; constructions; Russell; Tichý

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

Total number of publications: 2


You are running an old browser version. We recommend updating your browser to its latest version.