Paradoks Curry’ego: Różnice pomiędzy wersjami

[wersja nieprzejrzana]

[wersja przejrzana]

Usunięta treść Dodana treść

Jednokolumnowy

Aktualna wersja na dzień 22:56, 9 sty 2023

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]

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)

@@ Linia 1: / Linia 1: @@
+{{Dopracować|źródła=2012-02 }}
-'''Paradoks Curry'ego''', jest to jeden z [[paradoks|paradoksów]] logicznych, podobnych do [[paradoks kłamcy|paradoksu kłamcy]]. Został nazwany na cześć amerykańskiego logika [[Haskell Curry|Haskela Curry'ego]].
+'''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: "jeśli to zdanie jest prawdziwe, to śnieg jest czarny".
+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 - jeśli to zdanie jest prawdziwe, to śnieg jest czarny. Ale skoro nie jest prawdziwe - to warunek [[implikacja|implikacji]] jest niespełniony - a zatem całe zdanie jest prawdziwe.
+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 "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ą [[Alfred Tarski|Tarskiego]] [[prawda (logika)|prawdy]] - można w ogóle rozpatrywać.
+[[Kategoria:Paradoksy|Curry’ego]]