Russell?s Propositional Functions from the Viewpoint of Tichý?s Type Theory
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F12%3A00062219" target="_blank" >RIV/00216224:14210/12:00062219 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Russell?s Propositional Functions from the Viewpoint of Tichý?s Type Theory
Original language 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 thepresent 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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů