ramified theory of types
Look at other dictionaries:
types, theory of — Russell s own reaction to his paradox of the class of all classes that are not members of themselves (see Russell s paradox ) was to suggest that the definition is ill formed because it involves the illegitimate notion of ‘all classes’. If the… … Philosophy dictionary
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Russell, Bertrand — ▪ British logician and philosopher in full Bertrand Arthur William Russell, 3rd Earl Russell of Kingston Russell, Viscount Amberley of Amberley and of Ardsalla born May 18, 1872, Trelleck, Monmouthshire, Wales died Feb. 2, 1970,… … Universalium
Typentheorie — Die Typentheorie ist eine von Bertrand Russell entwickelte Form der Mengenlehre, mit der er unter anderem versuchte, die von ihm entdeckte Russellsche Antinomie und andere Widersprüche der naiven Mengenlehre zu beheben. Nach dieser Theorie gibt… … Deutsch Wikipedia
Typtheorie — Die Typentheorie ist eine von Bertrand Russell entwickelte Form der Mengenlehre, mit der er unter anderem versuchte, die von ihm entdeckte Russellsche Antinomie und andere Widersprüche der naiven Mengenlehre zu beheben. Nach dieser Theorie gibt… … Deutsch Wikipedia
Hermann Weyl — Infobox Scientist box width = name = Hermann Klaus Hugo Weyl image size = caption = Hermann Weyl (left) and Ernst Peschl (right) birth date = Birth date|1885|11|9|df=y birth place = Elmshorn, Germany death date = Death date and… … Wikipedia
Axiom of reducibility — The axiom of reducibility was introduced by Bertrand Russell as part of his ramified theory of types, an attempt to ground mathematics in first order logic.The axiom of reducibility is introduced in number (chapter) *12 of Principia Mathematica… … Wikipedia
RTT — may be:* Ramified Theory of Types, in mathematics, a type theory by Russel and Whitehead * Real time tactics, genre of strategy games * Réduction du temps de travail, France s 35 hour workweek program * Régie des Télegraphes et Téléphones,… … Wikipedia
reducibility, axiom of — Axiom introduced by Russell and Whitehead in Principia Mathematica. In that system propositional functions are sorted into levels, as part of the ramified theory of types. The axiom says that for any function at any level there exists a formally… … Philosophy dictionary
