Парадокс на Ръсел: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Gottlebelang (беседа | приноси)
Етикети: Редакция чрез мобилно устройство Редакция чрез мобилно приложение
Gottlebelang (беседа | приноси)
Ред 34:
(2*) ако М не си самопринадлежи, то М си самопринадлежи
 
т.е. „''р''<math>p \rightarrow\neg ''¬ р''p</math>“ и „''¬<math>\neg р''p \rightarrow ''р''p</math>
 
а конюнкцията от тези две изречения е еквивалентна на „''р'' <math>p ¬\leftrightarrow\neg ''р''p</math>“.
 
''р'' <math>p ¬\leftrightarrow\neg ''р''p</math>“ е противоречие, а тъй като разсъжденията, които водят до него, изглеждат коректни, това може да се нарече парадокс (а доколкото този парадокс се получава от определени формални свойства, той може да се нарече антиномия).
 
Проблемът е, че не се прави разлика между различни типове предмети: индивиди, множества от индивиди, множества от множества, множества от множества от множества и т.н.; и различни типове предикати: това, което се изказва за индивиди, се оставя да се изказва за множества (напр. „Човек ли е множеството на хората?“), а това, което за изказва за множества, се оставя да се изказва за множества от множества и т.н. Чрез рестрикции този парадокс може да се избегне, защото тогава въпросът, дали множеството на всички множества, които не си самопринадлежат, си самопринадлежи, или не, би бил недопустим: не може да питаме дали М попада под понятието, което го определя, по същия начин, по който не можем да питаме дали множеството на хората е човек.