Prijeđi na sadržaj

Russellov paradoks

Izvor: Wikipedija
Bertrand Russell, 1907.

Russellov paradoks (antinomija) temeljni je rezultat u teoriji skupova koji je otkrio Bertrand Russell 1901., pokazavši da je Fregeova naivna teorija skupova kontradiktorna.

Možemo pretpostaviti da za bilo koji formalni kriterij postoji skup čiji su članovi oni (i samo oni) objekti koji zadovoljavaju kriterij; ali ta pretpostavka je pobijena skupom koji sadrži skupove koji nisu članovi samih sebe. Ako je takav skup svoj član, to bi bila kontradikcija samoj njegovoj definiciji skupa koji sadrži skupove koji nisu članovi samog sebe. S druge strane, ako takav skup ne sadrži sam sebe, bio bi član samoga sebe po istoj definiciji. Ovo proturječje zove se Russellov paradoks. Paradoks glasi

R = { x : x je skup i x x } nije skup

Formalni zapis

[uredi | uredi kôd]

Do paradoksa dolazimo dokazivanjem da R nije skup. Počinjemo s pretpostavkom da je R skup. Na to ispitujemo vrijedi li da je

R ∈ R

Prvo pretpostavljamo da to vrijedi, što znači da je R element skupa R. Time ispunjava svojstvo koje važi za sve njegove elemente odnosno

, čime bi za R značilo

Tako smo dobili ishod suprotan početnoj pretpostavci odnosno proturječnost. Slijedi zaključak da mora vrijediti

Tada pak R ispunjava uvjet iz definicije za skup R, što bi značilo da je R jedan element skupa R to jest

R ∈ R , odnosno s ove strane opet imamo proturječnost.

Završni zaključak je da pretpostavka da je R skup vodi u proturječnost, odnosno kolekcija R nije skup.

Zaključci

[uredi | uredi kôd]

Ludwig Wittgenstein, austrijski filozof, u svome je filozofskom djelu Tractatus logico-philosophicus o Russelovom paradoksu napisao: „...Russelova je zabluda vidljiva u tome što je pri postavljanju svojih znakovnih pravila morao govoriti o značenju znakova.”[1]

Dalje nastavlja: „Nijedan sud ne može ništa reći o sebi, jer sudni znak ne može biti sadržan u sebi (to je čitava „teorija tipova”). Funkcija ne može biti vlastiti argument, jer funkcijski već sadrži prototip vlastitog argumenta i ne može sadržavati samog sebe.”

U nastavku dokazuje ovu tvrdnju: „Pretpostavimo li da bi funkcija mogla biti vlastiti argument; tada bi postojao sud „”, a u njemu vanjska funkcija i unutarnja funkcija moraju imati različita značenja jer unutrašnja ima formu , a vanjska formu . Zajedničko je objema funkcijama samo slovo „”, koje samo po sebi ne označava ništa. To odmah postaje jasno ako umjesto „” napišemo ”. Time Russelov paradoks nestaje.”[2]

Ovime zapravo Wittgenstein daje poopćeni zaključak da tvrdnja koja se poziva na sebe sâma logički nema smisla.

Izvori

[uredi | uredi kôd]
  1. Ludwig Wittgenstein, Tractatus logico-philosophicus, Naklada uliks, Zagreb, 2021., str. 49
  2. Ludwig Wittgenstein, Tractatus logico-philosophicus, Naklada uliks, Zagreb, 2021., str. 51