Paradoks (logika)
Iz Wikipedije, proste enciklopedije
Paradoks (iz gr. παράδοξος para doksos, neresnično, kvazi mnenje, dobesedno stransko mnenje) je v logiki argument, ki iz resničnih premis in navidez pravilnega sklepanja poda neresničen sklep.
[uredi] Nekaj znanih logičnih paradoksov
-Russellov paradoks je paradoks iz teorije množic, ki ga je leta 1904 poslal nemškemu logiku in filozofu Fregeju, da bi pokazal protislovnost njegovega logiškega sistema. Glasi se takole: zamislimo si množico vseh tistih množic, ki ne vsebujejo samih sebe. Ta množica lahko ali vsebuje samo sebe ali ne. Če bi se vsebovala, potem se ne bi mogla vsebovati, saj je njena definicija ta, da vsebuje samo tiste množice, ki ne vsebujejo samih sebe. A če ne vsebuje, podem bi se spet morala vsebovati, a potlej se spet ne bi smela vsebovati. Russellov paradoks je konkretno ilustriran na paradoksu brivca, ki brije vse tiste ljudi, ki ne brijejo samih sebe. Ali potemtakem brije samega sebe?
-Zenonov paradoks
-Curryjev paradoks