- impredicative definition
- Term coined by Poincaré ; for a kind of definition in which a member of a set is defined in a way that presupposes the set taken as a whole. Poincaré believed that paradoxes like those of Russell and the barber were due to such definitions, and therefore proposed banning them. But it turns out that classical mathematics requires such definitions at too many points for the ban to be easily observed. See also vicious circle principle.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
impredicative — definition … Philosophy dictionary
impredicative definitions — impredicative definition … Philosophy dictionary
Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… … Deutsch Wikipedia
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. Bertrand Russell and Alfred North Whitehead… … Wikipedia
Impredicativity — In mathematics and logic, impredicativity is the property of a self referencing definition. More precisely, a definition is said to be impredicative if it invokes another set which contains the thing being defined.Russell s paradox is a famous… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … 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
predicative — See impredicative definition … Philosophy dictionary
Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger … Wikipedia