Russell's Propositional Functions Viewed as Tichý's Constructions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F08%3A00029130" target="_blank" >RIV/00216224:14210/08:00029130 - 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 Viewed as Tichý's Constructions

Popis výsledku v původním jazyce

In the era of his no-class theory, Russell held that there are no functions in the modern sense and he admitted only individuals, propositions and propositional functions; these were classified by means of his ramified theory of types. This proposal wascriticized in length and many adopted the opinion of Ramsey and Quine that there are only individuals, functions and expressions which were (allegedly wrongly) assumed by Russell as intensional entities. Yet Russell's variables are genuine objects (represented in language by "signs"), Russell did not subscribe to modern paradigm that variables are letters. Consequently, propositional functions cannot be expressions, since expressions cannot contain such variables-letters. I propose to view Russell's propositional functions as Pavel Tichý's constructions, expressions-independent structured procedures (generalized algorithms; for their huge defence see Tichý 1988).

Název v anglickém jazyce

Russell's Propositional Functions Viewed as Tichý's Constructions

Popis výsledku anglicky

In the era of his no-class theory, Russell held that there are no functions in the modern sense and he admitted only individuals, propositions and propositional functions; these were classified by means of his ramified theory of types. This proposal wascriticized in length and many adopted the opinion of Ramsey and Quine that there are only individuals, functions and expressions which were (allegedly wrongly) assumed by Russell as intensional entities. Yet Russell's variables are genuine objects (represented in language by "signs"), Russell did not subscribe to modern paradigm that variables are letters. Consequently, propositional functions cannot be expressions, since expressions cannot contain such variables-letters. I propose to view Russell's propositional functions as Pavel Tichý's constructions, expressions-independent structured procedures (generalized algorithms; for their huge defence see Tichý 1988).

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GP401%2F07%2FP280" target="_blank" >GP401/07/P280: Singulární termíny - filosofie a logika</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2008

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ů