Paradoks Curry’ego: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Nie podano opisu zmian |
wstawienie {{Kontrola autorytatywna}} |
||
(Nie pokazano 44 wersji utworzonych przez 33 użytkowników) | |||
Linia 1: | Linia 1: | ||
{{Dopracować|źródła=2012-02 }} |
|||
'''Paradoks |
'''Paradoks Curry’ego''' – jeden z [[paradoks]]ów logicznych, podobnych do [[Paradoks kłamcy|paradoksu kłamcy]]. Został nazwany na cześć amerykańskiego logika [[Haskell Curry|Haskela Curry’ego]]. |
||
Rozważmy zdanie X: |
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 |
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 [[Implikacja logiczna|implikacji]] mamy fałsz, a taka implikacja jest zawsze prawdziwa. A więc zdanie jest prawdziwe... itd. |
||
⚫ | 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ć. |
||
Można rozważyć inne tego typu zdania X: "jeśli to zdanie jest prawdziwe, to Y", gdzie Y może być dowolnym zdaniem ("Ziemia jest płaska", "Trawa jest zielona", "Bóg istnieje", "Bóg nie istnieje"). |
|||
== Linki zewnętrzne == |
|||
X jest więc zdaniem, z którego wywnioskować można wszystko. |
|||
* {{SEP | url = curry-paradox/ | autor = Lionel Shapiro, Jc Beall | tytuł = Curry's Paradox | data = 2018-01-19 | data dostępu = 2018-01-25 | tytuł polski = (Paradoks Curry’ego) }} |
|||
{{Kontrola autorytatywna}} |
|||
⚫ | Jest to paradoks podobny do paradoksu kłamcy (staje się dokładnie nim, kiedy podstawimy pod Y zdanie |
||
[[Kategoria:Paradoksy|Curry’ego]] |
|||
[[kategoria:logika]] |
|||
[[en:Curry's paradox]] |
|||
[[es:Paradoja de Cury]] |
Aktualna wersja na dzień 22:56, 9 sty 2023
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ć.
Linki zewnętrzne[edytuj | edytuj kod]
- Lionel Shapiro , Jc Beall , 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)