Russell’s Propositional Functions from the Viewpoint of Tichý’s Type Theory
| Authors | |
|---|---|
| Year of publication | 2012 |
| MU Faculty or unit | |
| Citation | |
| Description | The content of the invited talk was a presentation of the paper "Russell's Propositional Functions, their Logic and Tichý's Type Theory". 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 goets thus several analogies and disanalogies which help to better understand Russell's, and even Tichý's, logical system. |
| Related projects: |