. "Russell's Propositional Functions Viewed as Tich\u00FD's Constructions"@en . . "Russell; propostional functions; constructions; Tich\u00FD; ramified theory of types; axiom of reducibility; impredicativity; vicious circle principle"@en . . . "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 was criticized 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 %22signs%22), 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\u00FD's constructions, expressions-independent structured procedures (generalized algorithms; for their huge defence see Tich\u00FD 1988)." . . "Russell's Propositional Functions Viewed as Tich\u00FD's Constructions" . "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 was criticized 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 %22signs%22), 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\u00FD's constructions, expressions-independent structured procedures (generalized algorithms; for their huge defence see Tich\u00FD 1988)."@en . "Russell's Propositional Functions Viewed as Tich\u00FD's Constructions" . "Raclavsk\u00FD, Ji\u0159\u00ED" . "393584" . . . . . "Russell's Propositional Functions Viewed as Tich\u00FD's Constructions"@en . "P(GP401/07/P280)" . . . . . . . "14210" . "1"^^ . . . . . "[4C871B2B8433]" . "RIV/00216224:14210/08:00029130!RIV11-GA0-14210___" . "1"^^ . . "RIV/00216224:14210/08:00029130" .