more from this thinker | more from this text
Full Idea
The circularity in a definition where the property being defined is used in the definition is now known as 'impredicativity'. ...Some cases ('the tallest man in the room') are unproblematic, as they pick him out, and don't conjure him into existence.
Gist of Idea
Impredicative definitions are circular, but fine for picking out, rather than creating something
Source
Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 07 'Impred')
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.50
A Reaction
[part summary]
17241 | A defined name should not appear in the definition [Hobbes] |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
18137 | Impredicative definitions are wrong, because they change the set that is being defined? [Bostock] |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
10031 | Impredicative definitions quantify over the thing being defined [George/Velleman] |
22285 | Impredicative definitions are circular, but fine for picking out, rather than creating something [Potter] |
8721 | An 'impredicative' definition seems circular, because it uses the term being defined [Friend] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |