Paradoks Curry’ego

Ten artykuł od 2012-02 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Paradoks Curry’ego – jeden z paradoksów logicznych, podobnych do paradoksu kłamcy. Został nazwany na cześć amerykańskiego logika Haskela Curry’ego.

Rozważmy zdanie X: „jeśli to zdanie jest prawdziwe, to Słońce jest czarne”.

Zastanówmy się, czy zdanie to jest prawdziwe, czy nie. Jeśli jest, to wtedy słońce jest czarne, ale to nieprawda. A więc zdanie nie jest prawdziwe. Ale wówczas po lewej stronie implikacji mamy fałsz, a taka implikacja jest zawsze prawdziwa. A więc zdanie jest prawdziwe... itd.

Jest to paradoks podobny do paradoksu kłamcy (staje się dokładnie nim, kiedy podstawimy pod Y zdanie „X nie jest prawdziwe”) i jego źródło tkwi - podobnie jak tam - w odwoływaniu się zdania do swojej prawdziwości. Nie jest to więc zdanie, którego prawdziwość - zgodnie z definicją prawdy Tarskiego - można w ogóle rozpatrywać.

• LionelL. Shapiro LionelL., JcJ. Beall JcJ., Curry's Paradox, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 19 stycznia 2018, ISSN 1095-5054 [dostęp 2018-01-25]  (ang.). (Paradoks Curry’ego)