|
Тема |
Re: Този парадокс [re: Mag] |
|
Автор |
Фpиke (за продан) |
|
Публикувано | 11.08.04 13:41 |
|
|
Let R be the set of all sets which are not members of themselves. Then R is neither a member of itself nor not a member of itself.
This solution to Russell's paradox is motivated in large part by the so-called vicious circle principle, a principle which, in effect, states that no propositional function can be defined prior to specifying the function's range. In other words, before a function can be defined, one first has to specify exactly those objects to which the function will apply. (For example, before defining the predicate "is a prime number," one first needs to define the range of objects that this predicate might be said to satisfy, namely the set, N, of natural numbers.) From this it follows that no function's range will ever be able to include any object defined in terms of the function itself. As a result, propositional functions (along with their corresponding propositions) will end up being arranged in a hierarchy of exactly the kind Russell proposes.
Хомо Сапиенс?!? --Не, мерси!!!
|
| |
|
|
|