Russell?s Propositional Functions from the Viewpoint of Tichý?s Type Theory

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Russell?s Propositional Functions from the Viewpoint of Tichý?s Type Theory

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Russell?s Propositional Functions from the Viewpoint of Tichý?s Type Theory

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů