Paradoks Curry’ego: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
m poprawa linków |
link do SEP |
||
| Linia 7: | Linia 7: | ||
Jest to paradoks podobny do [[Paradoks kłamcy|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ą [[Prawda#Definicja Tarskiego|prawdy]] [[Alfred Tarski|Tarskiego]] - można w ogóle rozpatrywać. |
Jest to paradoks podobny do [[Paradoks kłamcy|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ą [[Prawda#Definicja Tarskiego|prawdy]] [[Alfred Tarski|Tarskiego]] - można w ogóle rozpatrywać. |
||
== Linki zewnętrzne == |
|||
* [https://plato.stanford.edu/entries/curry-paradox/ Artykuł na Stanford Encyclopedia of Philosophy] {{lang|en}} |
|||
[[Kategoria:Paradoksy|Curry’ego]] |
[[Kategoria:Paradoksy|Curry’ego]] |
||
Wersja z 02:36, 15 gru 2016
 |
Ten artykuł od 2012-02 wymaga zweryfikowania podanych informacji. |
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ć.