{"id":214,"date":"2006-01-11T03:04:00","date_gmt":"2006-01-11T07:04:00","guid":{"rendered":"http:\/\/alanrhoda.net\/wordpress\/?p=214"},"modified":"2006-01-11T03:04:00","modified_gmt":"2006-01-11T07:04:00","slug":"neologism-paleologisms-and-grellings-paradox","status":"publish","type":"post","link":"http:\/\/alanrhoda.net\/wordpress\/2006\/01\/neologism-paleologisms-and-grellings-paradox\/","title":{"rendered":"Neologism, Paleologisms, and Grelling’s Paradox"},"content":{"rendered":"

Self-proclaimed “Maverick Philosopher”<\/a> William Vallicella brought to my attention the following paradox:<\/p>\n

‘Neologism\u2019 is not a new word, but an old word. Hence, \u2018neologism\u2019 is not a neologism. \u2018Paleologism\u2019 is not a word at all; or at least it is not listed in the Oxford English Dictionary. But it ought to be, so I hereby introduce it. Who is going to stop me? Having read it and understood it, you have willy-nilly validated its introduction and are complicit with me.<\/p>\n

Now that we have \u2018paleologism\u2019 on the table, and an unvast conspiracy going, we are in a position to see that \u2018neologism\u2019 is a paleologism, while \u2018paleologism\u2019 is a neologism. Since the neologism\/paleologism classification is both exclusive (every word is either one or the other)and exhaustive (no word is neither), it follows that \u2018neologism\u2019 is not a neologism, and \u2018paleologism\u2019 is not a paleologism. Such words are called heterological: they are not instances of the properties they express. \u2018Useless\u2019 and \u2018monosyllabic\u2019 are other examples of heterological expressions in that \u2018useless\u2019 is not useless and \u2018monosyllabic\u2019 is not monosyllabic. A term that is not heterological is called autological. Examples include \u2018short\u2019 and \u2018polysyllabic.\u2019 \u2018Short\u2019 is short and \u2018polysyllabic\u2019 is polysyllabic. Autological terms are instances of the properties they express.<\/p>\n

Now ask yourself this question: Is \u2018heterological\u2019 heterological? Given that the heterological\/autological classification is exhaustive, ‘heterological’ must be either heterological or else autological. Now if the former, then \u2018heterological\u2019 is not an instance of the property it expresses, namely, the property of not being an instance of the property it expresses. But this implies that \u2018heterological\u2019 is autological. On the other hand, if \u2018heterological\u2019 is autological, then it is an instance of the property it expresses, namely the property of not being an instance of the property it expresses. But this implies that \u2018heterological\u2019 is heterological.<\/p>\n

Therefore, \u2018heterological\u2019 is heterological if and only if it is not. This contradiction is known in the trade as Grelling\u2019s Paradox. It is named after Kurt Grelling, who presented it in 1908.<\/span><\/p><\/blockquote>\n

My thoughts on this are as follows:<\/p>\n

(1) Heterological means not exemplifying the property it expresses. Autological means exemplifying the property it expresses. So defined, the two are mutually exclusive and jointly exhaustive. As such, every property expressing word must be one or the other.<\/p>\n

(2) ‘Heterological’ and ‘autological’ are metaproperties–each is the second-order property of exemplifying some first-order property. Thus, ‘short”s property of being autological supervenes upon its property of being short.<\/p>\n

(3) Thus, “exemplifying the property it expresses” doesn’t have any determinate meaning until the referent of “the property it expresses” is fixed. For example, is ‘short” short or not? It depends on what ‘short’ means, that is, upon which property it expresses. If ‘short’ means less than a inch, then ‘short’ is indeed short and autological to boot. But if ‘short’ means less than a millimeter, then ‘short’ is neither short nor autological, but heterological.<\/p>\n

(4) As metaproperties, heterologicality and autologicality are properties of exemplifying a certain property, namely, the property that ‘heterological’ and ‘autological’, respectively, express. But in each case that property is also a metaproperty, specifically, itself. This leads to an infinite regress. For just as ‘short’ is neither determinately short or not short until we fix the meaning of the term, so neither are ‘heterological’ and ‘autological’ determinately heterological or autological until we fix the meanings of those terms. But when we try to do so, we find that the meaning is continually deferred. Thus, heterologicality is the property of exemplifying heterologicality, which is the property of exemplifying the property of exemplifying heterologicality, which is the property of exemplifying the property of exemplifying the property of exemplifying heterologicality, and so on. Every time we try to spell out exactly what the metaproperty is we wind up invoking a metaproperty, which just pushes the analysis back a step.<\/p>\n

(5) So it looks like there’s something inherently problematic about ascribing metaproperties to metaproperties, for doing so generates an infinite regress. The only way that I can see to stop the regress is to restrict the application of metaproperties to lower-order properties. Thus, nth-order metaproperties cannot apply to nth-order metaproperties, but only to (n-1)th order properties, until eventually we come to some first-order, non-metaproperty.<\/p>\n

Russell’s theory of types<\/a> is lurking in the shadows.<\/p>\n","protected":false},"excerpt":{"rendered":"

Self-proclaimed “Maverick Philosopher” William Vallicella brought to my attention the following paradox: ‘Neologism\u2019 is not a new word, but an old word. Hence, \u2018neologism\u2019 is not a neologism. \u2018Paleologism\u2019 is not a word at all; or at least it is not listed in the Oxford English Dictionary. But it ought to be, so I hereby\u2026 Read More »<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-214","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/214","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/comments?post=214"}],"version-history":[{"count":0,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/214\/revisions"}],"wp:attachment":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/media?parent=214"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/categories?post=214"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/tags?post=214"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}