Antynomia klas samozwrotnych
Z Wikipedii
Antynomia klas samozwrotnych
Niech A oznacza zbiór takich wypowiedzi, które nie mogą orzekać o samych sobie. Czy wypowiedź:
- P = "Zdanie P należy do zbioru A"
należy do zbioru A czy nie? Inaczej: czy zdanie P może mówić o samym sobie?
Jeśli tak, to zdanie P orzeka, że należy do zbioru A, czyli orzeka coś o samym sobie, czego nie może czynić należąc do zbioru A.
Jeśli nie, zdanie to powinno należeć do zbioru A, ale wówczas nie może przecież orzekać o samym sobie, więc do zbioru A nie należy.
Jak widać, założenie że zdanie będące antynomią jest prawdziwe prowadzi do paradoksu i jednocześnie założenie przeciwne także.
Znaczenie antynomii klas samozwrotnych wiąże się z tym, że pojęcia użyte do jej sformułowania mają podstawowe znaczenie dla tworzenia teorii aksjomatycznych. Mianowicie budując teorię aksjomatyczną zwykle chcemy orzekać coś nie tylko o własnościach obiektów teorii, lecz także o własnościach własności. Jednak orzekanie takie prowadzi właśnie do antynomii klas samozwrotnych.
Odkrywcą antynomii klas samozwrotnych był Bertrand Russell, który tworząc teorię typów wskazał także sposób takiego formułowania teorii aksjomatycznej aby unikać pojawiania się antynomii tego rodzaju.
Porównaj Paradoks Russella.
| Senat przyjął bez poprawek ustawę o emeryturach pomostowych |
Senat przyjął bez poprawek ustawę o emeryturach pomostowych, zmniejszającą liczbę uprawnionych do wcześniejszego przechodzenia na emeryturę z ok. miliona osób, które obecnie mają taką możliwość, do niecałych 250 tysięcy. |
| Przeniosą papieski krzyż poza Żwirowisko w Oświęcimiu? |
Belgijski dziennik "La Libre Belgique" obwieścił w czwartek, że dzięki mediacji tamtejszych środowisk żydowskich, "wykluwa się kompromis w sprawie oddalenia" od byłego obozu Auschwitz papieskiego krzyża, który od 1988 roku stoi na Żwirowisku, tuż za murami byłego obozu Auschwitz. |
| Radiowóz potrącił pieszą na pasach |
Policyjny radiowóz potrącił pieszą na skrzyżowaniu al. Niepodległości z ul. Źródlaną w Częstochowie. |
| Czynsz, rachunki, a teraz jeszcze... opłata za psa |
100 złotych miesięcznie muszą płacić mieszkańcy jednej z wspólnot mieszkaniowych w Janowie Lubelskim. Pomysł przeszedł przez głosowanie, bo większość mieszkańców psów nie posiada - donosi TOK FM |
| Zmasowany atak wandali na miejskie tramwaje |
W środku nocy kilkunastu wandali zamalowało sprejem dwa tramwaje. Zabierali się za trzeci, ale spłoszyli ich pracownicy Miejskiego Zakładu Komunikacji. Za dokonanie tak dużych zniszczeń grozi im kara więzienia |
| Zakończono sprawdzanie dworców w Katowicach. Alarm był fałszywy. |
O godz. 19.40 katowicka policja zakończyła przeszukiwanie dworców PKP i PKS. Na żadnym z nich bomby nie znaleziono. Żartownisiowi, który postawił na nogi całą katowicką policję, grozi kara dwóch lat pozbawienia wolności. |
| Ojciec Rydzyk stanie przed komisją ds. nacisków? |
Ojciec Tadeusz Rydzyk może zostać wezwany przed komisję śledczą do spraw nacisków - powiedział IAR członek komisji Sebastian Karpiniuk z PO. Zaznaczył jednak, że aby doszło do przesłuchania redemptorysty, musiałyby się potwierdzić zeznania Andrzeja Leppera. |
| Piotr Farfał z zarządu TVP zawieszony. Zemsta za Targalskiego? |
Rada nadzorcza TVP zawiesiła członka zarządu spółki Piotra Farfała. To ciąg dalszy walki między dawnymi koalicjantami: PiS, LPR i Samoobroną po zawieszeniu Krzysztofa Czabańskiego i Jerzego Targalskiego w Polskim Radiu. Farfał, były członek Młodzieży Wszechpolskiej, był w zarządzie publicznej telewizji z ramienia ugrupowania Romana Giertycha |
| Tusk: Fedak to bardzo dobry minister; nie ma konfliktu PSL-PO |
Premier Donald Tusk zapewnił, że bardzo wysoko ocenia pracę minister pracy Jolanty Fedak. - To bardzo dzielna kobieta, bardzo dobry minister, która pracuje w warunkach wyjątkowo trudnych - ocenił. Zapewnił też, że - jeśli chodzi o emerytury dla nauczycieli - nie ma sporu w koalicji. |
| Napieralski do rządu: Chcemy wam pomóc |
Szef SLD Grzegorz Napieralski zadeklarował w czwartek w Sejmie, że klub Lewicy jest gotowy pomóc rządowi w pracach nad "dobrymi ustawami". Jednocześnie skrytykował gabinet Donalda Tuska za niedotrzymanie obietnic wyborczych. |
