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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Russell's Propositional Functions Viewed as Tichý's Constructions Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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ý's constructions, expressions-independent structured procedures (generalized algorithms; for their huge defence see Tichý 1988). 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ý's constructions, expressions-independent structured procedures (generalized algorithms; for their huge defence see Tichý 1988). (en)
Title	Russell's Propositional Functions Viewed as Tichý's Constructions Russell's Propositional Functions Viewed as Tichý's Constructions (en)
skos:prefLabel	Russell's Propositional Functions Viewed as Tichý's Constructions Russell's Propositional Functions Viewed as Tichý's Constructions (en)
skos:notation	RIV/00216224:14210/08:00029130!RIV11-GA0-14210___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GP401/07/P280)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Raclavský, Jiří
http://linked.open.../riv/druhVysledku	O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Filozofická fakulta
http://linked.open...dnocenehoVysledku	393584
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/08:00029130
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Russell; propostional functions; constructions; Tichý; ramified theory of types; axiom of reducibility; impredicativity; vicious circle principle (en)
http://linked.open.../riv/klicoveSlovo	Russell ramified theory of types constructions Tichý vicious circle principle axiom of reducibility impredicativity propostional functions
http://linked.open...ontrolniKodProRIV	[4C871B2B8433]
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Singular Terms - Philosophy and Logic
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Raclavský, Jiří
http://localhost/t...ganizacniJednotka	14210

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software