Paradoks kłamcy
Z Wikipedii
Paradoks kłamcy zwany także paradoksem Eubulidesa lub antynomią kłamcy, mówi o niemożliwości zdefiniowania pojęcia prawdy w obrębie języka, do którego to pojęcie się odnosi.
Paradoks (pozbawiony historycznych kontekstów) brzmi następująco: Pewien człowiek twierdzi: ja zawsze kłamię. Jeśli zadamy sobie pytanie, czy jest on kłamcą czy też twierdzi prawdę dojdziemy niechybnie do sprzeczności. Jeśli kłamie, to stwierdzając ja zawsze kłamię wypowiada prawdę, a więc nie jest kłamcą. Jeśli natomiast twierdzi prawdę, to znaczy, że kłamie, bo to oznacza wypowiadane przez niego zdanie.
Należy rozróżnić kłamstwo od fałszu (jednego ze stanów logicznych). Fałsz, to brak prawdy (obiektywnej). Natomiast kłamstwo to zdanie niezgodne z przekonaniami osoby je wypowiadającej - kłamstwo zatem jest przedmiotem zainteresowania pragmatyki. W powyższym przykładzie pojęcie "kłamać" użyte jest w znaczeniu "mówić nieprawdę". Zdanie skonstruowane tak, że nie można z niego wywnioskować żadnej prawdy (obiektywnej), jest w oczywisty sposób fałszywe.
Źródłem paradoksu jest więc fakt, że kłamca usiłuje wypowiedzieć zdanie na temat języka, w którym to zdanie wypowiada. Podobna przyczyna stoi m. in. za sprzecznością paradoksu klas samozwrotnych, paradoksu Berry'ego oraz paradoksu Russella.
Paradoks ten można uznać za wyjściowy dla całej grupy paradoksów jak chociażby dla "paradoksu kartki papieru". Polega on na napisaniu na jednej stronie kartki papieru zdania "Zdanie na przeciwnej stronie kartki jest prawdziwe" natomiast na drugiej "Zdanie na przeciwnej stronie kartki jest fałszywe", lub:
"Poniższe zdanie jest fałszywe.
Powyższe jest prawdziwe."
Próbując rozstrzygnąć prawdziwość tych zdań dojdziemy do podobnych sprzeczności jak w paradoksie kłamcy.
Paradoks kłamcy obejść próbowali m. in. Bertrand Russell poprzez swoją teorię typów oraz Alfred Tarski w swoich rozważaniach nad semantyką, czego efektem było stworzenie nowej definicji prawdy.
Antynomia w zdaniach jest wynikiem stosowania "ubogiej" logiki, czy też używanego języka - jak to zauważyli pozytywiści logiczni. Paradoks powstaje, gdyż tworzące go zdanie orzeka o sobie samym. Sposobem uniknięcia tego rodzaju paradoksów w logice jest rozróżnianie języka i metajęzyka, służącego do opisu tego pierwszego języka.
[edytuj] Zobacz też
| Nowa StrefaWWW |
|
Po pierwsze chcielibyśmy przeprosić za brak aktualizacji strony. Jest on związany z tworzeniem nowej wersji naszej strony i rozbudową wortalu. Na ten czas mamy dla Was niespodziankę- pierwszy screenshot nowej wersji naszej strony. Mamy nadzieję, że nowa wersja się bardziej spodoba.
|
| Co nowego w GNOME 2.20? |
|
Na blogu tłumacza środowiska GNOME, Tomasza Dominikowskiego, pojawiła się lista nowości wprowadzonych w GNOME w wersji 2.20. Prezentujemy ją na naszych łamach.
|
| Nowe wersje Firefoksa |
|
Mozilla poinformowała o wydaniu nowych wersji swojej flagowej przeglądarki. Są to wersje, które zostały zapowiedziane m.in. w naszym serwisie. Zostały one oznaczone numerami: 2.0.0.4 oraz 1.5.0.12. Trzeba pamiętać, że wersja 1.5.0.12 jest ostatnią wersją z gałęzi 1.x. Podczas kilku następnych tygodni użytkownicy tej wersji zostaną poinformowaniu o możliwości aktualizacji do wersji 2.
|
| 1 mln blogów w Wordpress.com |
|
Tak... To już ponad milion blogów opartych na popularnym skrypcie Wordpress utrzymuje serwis Wordpress.com. Taki prezent zrobili użytkownicy im twórcom na czwarte urodziny serwisu. Obecnie w serwisie założonych jest 1 022 129 blogów.
|
| Nowy Firefox? |
|
W Mozilla Developer Center pojawiła się informacja, która sugeruje że pojawią się dwie nowe wersje przeglądarki Mozilla Firefox z gałęzi 2.x i 1.x. Od połowy maja gałąź 1.x nie powinna być rozwijana, jednakże najnowsza wersja - 1.5.0.12 zostanie wydana. Będzie to ostatnia edycja starszej wersji tej przeglądarki.
|
906 niezarejestrowana strona brak hosta sprawdz strone niezarejestrowana strona