Кто бреет брадобрея

Nov 28, 2024 14:32

https://plato.stanford.edu/entries/church/#GrelPara

Grelling’s Paradox
This paradox is usually-and was originally-formulated as pertaining to adjectives expressing properties that are or are not true of the adjective (the word) itself. For example, “short” is short, whereas “red” is not red. Those adjectives that have the properties they express are termed “autological” and those that don’t are termed “heterological”. The problem arises with the question: Is “heterological” heterological or not? And the answer is that it is if and only if it’s not. But the paradox is better formulated in terms of the extensions, in general, of any sort of predicate-adjective, common noun, or verb phrase. Some predicates belong to their own extensions and some do not. The problem arises if it supposed that there is a predicate-“heterological”-whose extension consists of exactly those predicates that do not belong to their own extensions, since then “heterological” belongs to its extension if and only if it does not.
Там очень много про работу Чёрча, очень интересно.

логика, языки программирования

Previous post Next post
Up