Rozwiązanie paradoksu kłamcy

Article View: alt.pl.matematyka

Article #12822

#12822

From: Kowdlar
Date: Wed, 18 May 2011 20:20

18 lines
2326 bytes

Wiadomo, paradoks kłamcy: Ja zawsze kłamię, lub : Grek Kserkses
powiada, że wszyscy Grecy zawsze kłamią.
Paradoks ten jakoby rozwiązał Tarski, który stwierdził, iż wynika on z
pomieszania metajęzyka z potocznym językiem. Lecz mi się wydaje, że
jest to słabe tłumaczenie, wszak w niektórych dowodach słynnych
twierdzeń, na przykład twierdzeń Godla często miesza się metajęzyk z
normalnym językiem, i nikomu to jakoś nie przeszkadza.
Ja ugryzę to z innej strony. Mianowicie udowodnię, że nie można zawsze
kłamać, można jedynie zawsze mówić prawdę. Tym samym zostanie
rozwiązany paradoks kłamcy, ponieważ nie można zawsze kłamać.
Dowód: Załóżmy , że ktoś zawsze kłamie. Musi w pewnym momencie
skorzystać z formy implikacji logicznej, a że zawsze kłamie, znaczyć
to będzie, że zawsze z fałszywej przesłanki będzie uzyskiwał zawsze
fałszywą konkluzję, zawsze, lecz jest to sprzeczne z definicją
implikacji, która dopuszcza iż z fałszywej przesłanki można czasem
uzyskać prawdziwą konkluzję, dochodzimy więc do sprzeczności, czyli
wyjściowa teza, że ktoś zawsze będzie kłamał upada. c.b.d.u.
Pozdr

Technical Details

Message-ID: <10c27327-50ae-41d7-b302-16a044158568@d28g2000yqf.googlegroups.com>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!goblin1!goblin.stu.neva.ru!postnews.google.com!d28g2000yqf.googlegroups.com!not-for-mail

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!goblin1!goblin.stu.neva.ru!postnews.google.com!d28g2000yqf.googlegroups.com!not-for-mail
From: Kowdlar <karol.kolmo35@gmail.com>
Newsgroups: alt.pl.matematyka
Subject: Rozwiązanie paradoksu kłamcy
Date: Wed, 18 May 2011 13:20:33 -0700 (PDT)
Organization: http://groups.google.com
Lines: 26
Message-ID: <10c27327-50ae-41d7-b302-16a044158568@d28g2000yqf.googlegroups.com>
NNTP-Posting-Host: 83.22.95.108
Mime-Version: 1.0
X-Trace: posting.google.com 1305750034 514 127.0.0.1 (18 May 2011 20:20:34 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 18 May 2011 20:20:34 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: d28g2000yqf.googlegroups.com; posting-host=83.22.95.108; posting-account=1W93DQoAAAA6853y0-81nHvsmIDFVKhe
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.0) AppleWebKit/534.24 (KHTML, like Gecko) Chrome/11.0.696.68 Safari/534.24,gzip(gfe)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit