PARADOKS KŁAMCY. Arystoteles: Wittgenstein: JAN WAWRZYNIAK *

Transkrypt

1 Analiza i Egzystencja 15 (2011) ISSN JAN WAWRZYNIAK * PARADOKS KŁAMCY Słowa kluczowe: Frege, Tarski, Wittgenstein, paradoks kłamcy, forma logiczna, sens, nonsens, zasada kontekstowa Keywords: Frege, Tarski, Wittgenstein, liar paradox, logical form, sense, nonsense, context principle Arystoteles: Ale należy nie tylko stwierdzić prawdę, lecz także przyczyny fałszu (ponieważ przyczynia się to do wzbudzenia przekonania; bo wyjaśnienie przyczyn dla których coś nie będąc prawdziwe wydaje się nim, wzbudza przekonanie o prawdzie) 1 ; Wittgenstein: Znaczy to, że należy odkryć źródło błędu, bowiem w przeciwnym razie usłyszenie prawdy nie przyda się nam do niczego. Nie może ona przeniknąć, jeśli coś innego zajmuje jej miejsce. Nie wystarczy stwier- * Jan Wawrzyniak ur. 1975, studia filozoficzne ukończył na Uniwersytecie Jagiellońskim w 1999 r. W 2004 r. obronił w Instytucie Filozofii UJ rozprawę doktorską pt. Krytyka metafizyki w późnych pismach Ludwiga Wittgensteina (promotor: prof. dr hab. Włodzimierz Galewicz). Obecnie jest adiunktem w Instytucie Filozofii i Socjologii Uniwersytetu Pedagogicznego w Krakowie. Jest także członkiem redakcji Internetowego Serwisu Filozoficznego Diametros. janekwaw@poczta.fm. 1 Arystoteles, Etyka Nikomachejska, tłum. D. Gromska, Warszawa: Wydawnictwo Naukowe PWN 2007, s. 235 (VII, 14).

2 162 Jan Wawrzyniak dzenie prawdy, żeby kogoś do niej przekonać; należy znaleźć drogę od błędu do prawdy 2. Następujący ciąg słów Ja teraz kłamię od ponad dwóch tysięcy lat wzbudza niepokój wśród filozofów. Co więcej, warto zwrócić uwagę, iż filozoficzny spokój nie został osiągnięty, pomimo że w ciągu ostatniego stulecia przedstawiono wiele rozwiązań paradoksu kłamcy. Źródłem niepokoju jest niemożność ustalenia tego, jaką rolę logiczną odgrywa w naszym języku zdanie kłamcy. Z jednej strony zdaje się ono być poprawnie zbudowanym wyrażeniem, z drugiej jednak wydaje się nie posiadać jasno określonego sensu; na pierwszy rzut oka wygląda jak zdanie atomowe, ale zgodnie z opinią niektórych filozofów jest to zdanie molekularne, posiadające następującą formę: p p. W pierwszej części artykułu wskażę, dlaczego rozwiązanie Tarskiego jest niezadowalające. W drugiej przedstawię ujęcie paradoksu kłamcy oparte na podejściu do języka zawartym w dziełach Fregego i Wittgensteina. Zanim przejdę do omówienia powyżej wspomnianych zagadnień, warto wyjaśnić, jaką formę powinno posiadać adekwatne rozwiązanie paradoksu kłamcy. Nie może ono wbrew dość rozpowszechnionemu poglądowi polegać na podaniu reguł niepozwalających na sformułowanie tego zdania. Fakt, iż da się zbudować język, w którym nie można wypowiedzieć słów to zdanie jest fałszywe, nie usuwa problemu. Paradoks pozostaje nierozwiązany, o ile istnieje taki język, w którym może on zostać sformułowany. To wymaganie nie jest wcale zbyt wygórowane. Następująca analogia pozwoli zrozumieć, dlaczego zbudowanie języka, w którym nie da się sformułować tego paradoksu, nie stanowi jego rozwiązania. Załóżmy, że pewien rodzaj przedmiotów pod wpływem nieznanych nam czynników zmienia swoją barwę. Naukowcy stawiają sobie pytanie: co powoduje zmianę koloru? Pomysłowy filozof przedstawia rozwiązanie problemu, polegające na zbudowaniu języka, w którym występuje predykat będący nazwą ogólną przedmiotów danego rodzaju, ale w którym nie występują terminy odnoszące się do barw. Jaki więc powinno mieć charakter rozwiązanie paradoksu? Właściwe podejście do tego paradoksu polega jak sądzę 2 L. Wittgenstein, Uwagi o Złotej Gałęzi Frazera, tłum. A. Orzechowski, Warszawa: Instytut Kultury 1998, s. 11.

3 Paradoks kłamcy 163 na zrozumieniu relacji łączących ciąg słów to zdanie jest fałszywe ze zdaniami naszego języka 3. Tarski w następujący sposób rekonstruuje antynomię kłamcy: 1. Aby otrzymać tę antynomię w przejrzystej formie, rozważmy następujące zdanie: Zdanie wydrukowane w niniejszym artykule na s. 240 w wierszu 3 i 4 od dołu nie jest prawdziwe. Dla zwięzłości powyższe zdanie zastąpimy literą s. Zgodnie z naszą umową dotyczącą trafnego sposobu użycia terminu prawdziwy stwierdzamy następującą równoważność postaci (T): (1) s jest prawdziwe wtedy i tylko wtedy, gdy zdanie wydrukowane w niniejszej pracy na s. 240 w wierszu 3 i 4 od dołu nie jest prawdziwe. Z drugiej strony mając na uwadze znaczenie symbolu s ustalamy empirycznie następujący fakt: (2) s jest identyczne ze zdaniem wydrukowanym w niniejszej pracy na s. 240 w wierszu 3 i 4 od dołu. Otóż na mocy znanego prawa identyczności (prawo Leibniza) z (2) wynika, iż w (1) możemy zastąpić wyrażenie zdanie wydrukowane na s. 240 w wierszu 3 i 4 od dołu symbolem s. Otrzymujemy zatem, co następuje: (3) s jest prawdziwe wtedy i tylko wtedy, gdy s nie jest prawdziwe. W ten sposób doszliśmy do oczywistej sprzeczności 4. Wedle Tarskiego pierwotnym powodem, dla którego należy wykluczyć z języka zdanie kłamcy, jest to, iż da się z niego przy użyciu oczywistych zasad wyprowadzić sprzeczność. Zatem Tarski w punkcie wyjścia przyjmuje, iż następujący ciąg znaków s jest fałszywe (w którym litera s jest nazwą tego ciągu) posiada sens. Gdyby tego nie zakładał, to musiałby uznać, 3 Podobnie na tę kwestię zapatrują się m.in. Gawroński i Kearns. Por. A. Gawroński, Tzw. Zdanie Kłamcy jako rekurencyjna funkcja zdaniowa, [w:] Studia Semiotyczne XXV, Warszawa 2004, s. 37; J. Kearns, Some Remarks Prompted by van Fraasen s Paper, [w:] Paradox of the Liar, New Haven London, Yale University Press 1970, s A. Tarski, Semantyczna koncepcja prawdy i podstawy semantyki, [w:] Pisma logiczno- -filozoficzne. T. 1 Prawda, tłum. J. Zygmunt, Warszawa: Wydawnictwo Naukowe PWN 1995, s

4 164 Jan Wawrzyniak że przesłankami niektórych rozumowań mogą być wyrażenia pozbawione znaczenia. Należy zaznaczyć, że niektórzy filozofowie traktujący zdania sprzeczne jako pozbawione treści 5, zdają się przyjmować taki punkt widzenia, ale z pewnością nie możemy do nich zaliczyć Tarskiego. (Wydaje się, że wedle Wittgensteina taką cechę posiadają wnioskowania typu reductio ad absurdum w matematyce. Warto jednak podkreślić, że jeśli zaakceptuje się jego ujęcie zdań wewnętrznie sprzecznych jako pozbawionych treści, to takie rozumowania nie prowadzą od nonsensownych przesłanek do sensownych wniosków. Autor Dociekań zdaje się traktować argumentację typu reductio ad absurdum nie jako dowód tego, że to, co mówi dane zdanie, jest niemożliwe, lecz raczej dowód tego, że z rozpatrywaną formułą nie została powiązana żadna myśl 6. Oczywiście często wywołuje ona w nas różne skojarzenia i dlatego, zdaniem Wittgensteina, skłonni jesteśmy uznać, że posiada pewien sens). Z drugiej jednak strony, zgodnie z rozwiązaniem paradoksu kłamcy, opartym na semantycznej definicji prawdy, tego typu ciągi znaków nie są poprawnie zbudowanymi formułami, bowiem twierdzenia na temat wartości logicznej zdań dowolnego języka nie mogą należeć do danego języka, lecz tylko do języków wyższych stopni. Tarski dochodzi więc do konkluzji, że zdanie s jest fałszywe (w którym litera s jest nazwą tego zdania) jest pozbawione sensu. Powstaje pytanie, czy da się pogodzić punkt wyjścia Tarskiego z wnioskiem płynącym z przyjętego przez niego rozwiązania. Moim zdaniem nie da się tego uczynić, o ile nie zinterpretuje się jego rozwiązania jako pozornego. Poniżej postaram się pokazać, dlaczego jego podejście do paradoksu kłamcy jest albo niespójne, albo niezadowalające. Tarski, rekonstruując antynomię kłamcy, zakłada, że mamy do czynienia z autentycznym wnioskowaniem. Jeśli zaś jego rezultatem jest sprzeczność, to musi ona tkwić w przesłankach. To znaczy, albo sprzeczność zachodzi pomiędzy przesłankami, albo jedna z przesłanek jest zdaniem we- 5 Na podstawie niektórych uwag zawartych w Lectures on the Foundations of Mathematics można sądzić, że taki punkt widzenia przyjmował Wittgenstein; por. L. Wittgenstein, Lectures on the Foundations of Mathematics, ed. C. Diamond, Chicago London 1989, s Por. L. Wittgenstein, Dociekania filozoficzne, przeł. B. Wolniewicz, , 517. Warto jednak dodać, że w Uwagach o podstawach matematyki Wittgenstein zdaje się ujmować reductio ad absurdum w odmienny sposób, por. L. Wittgenstein, Uwagi o podstawach matematyki, przeł. M. Poręba, Warszawa: Wydawnictwo KR 2000, cz. V 28, s

5 Paradoks kłamcy 165 wnętrznie sprzecznym. Jeśli rekonstrukcja paradoksu kłamcy przedstawiona przez Tarskiego jest poprawna, to wydaje się, że głównym kandydatem na źródło sprzeczności jest samo zdanie kłamcy. Co prawda na pierwszy rzut oka nie wygląda ono na zdanie wewnętrznie sprzeczne, nie stanowi to jednak poważnego argumentu przeciwko uznaniu je za takie. Rozpoznanie formy logicznej twierdzeń wymaga zwrócenia uwagi nie na ich zewnętrzną formę, np. na kształt, lecz na związki inferencyjne, jakie zachodzą pomiędzy nimi a innymi stwierdzeniami. Fakt, iż zdanie kłamcy nie wygląda tak jak inne zdania wewnętrznie sprzeczne, stanowi jedynie czysto psychologiczny powód, by odmawiać mu takiego statusu. Może ono nam przypominać zdania atomowe bądź też negacje zdań atomowych. Jednak przy rozpatrywaniu kwestii logicznych zawsze powinniśmy pamiętać, by oddzielać zagadnienia psychologiczne od logicznych 7. Taka odpowiedź może wydawać się niektórym filozofom niezadowalająca i dlatego warto uzmysłowić sobie nieco dokładniej, co skłania nas, by nie traktować zdania kłamcy jako wewnętrznie sprzecznego. Przeciwnik bronionego przeze mnie ujęcia zapewne postawiłby w jego mniemaniu retoryczne pytanie: czyż nie jest oczywiste, że twierdzenie s nie jest prawdziwe (w którym litera s jest nazwą tego zdania) jest negacją zdania atomowego s jest prawdziwe? Czy to pytanie jest rzeczywiście retoryczne, czy też nie, zależy od tego, jak zdefiniujemy zdanie atomowe. Jeśli atomiczność zdania ujmujemy w kategoriach związków inferencyjnych, to jest oczywiste, że nie jest to zdanie atomowe, bowiem z punktu widzenia logiki ani ze zdania atomowego, ani z jego negacji nie można wywnioskować sprzeczności. Natomiast jeśli kryterium atomiczności zdania jest np. jego forma gramatyczna, to być może należałoby uznać zdanie to zdanie jest prawdziwe za atomowe. Warto jednak zauważyć, że przy rozstrzyganiu, czy z gramatycznego punktu widzenia dane zdanie jest atomowe, musimy czasami odwołać się do kryterium logicznego. Na przykład ustną wypowiedź Jan ma chorobę Parkinsona można interpretować jako zdanie o formie P(x) albo zdanie o formie Q(x) i Q(y) (Jan ma tę samą chorobę, co Parkinson). Co więcej, w wielu językach naturalnych można utworzyć zdania, które z jednej strony są proste pod względem gramatycznym, z drugiej zaś mogą jak się wydaje przy pewnym odczytaniu prowadzić do sprzecz- 7 Por. G. Frege, Fragmenty z Grundlagen der Arithmetik, [w:] Pisma semantyczne, tłum. B. Wolniewicz, Warszawa: PWN 1977, s. 10.

6 166 Jan Wawrzyniak ności. Za przykład niech posłużą następujące stwierdzenia: ten punkt jest trójwymiarowy, czerwień jest jaśniejsza od bieli, ten kawałek lodu ma temperaturę milion stopni Celsjusza, biegun północny znajduje się na biegunie południowym. Można zatem oprócz zdania to zdanie jest prawdziwe zbudować inne, które spełniają gramatyczne, lecz nie logiczne, kryterium atomiczności. Należy jednak zaznaczyć, że niezależnie od tego, czy ostatnie uwagi są słuszne, czy też nie, zdanie kłamcy, implikując sprzeczność, nie spełnia logicznego czyli najistotniejszego dla naszych rozważań kryterium atomiczności. Nie istnieją więc żadne konkluzywne argumenty na rzecz tezy, iż zdanie kłamcy jest z logicznego punktu widzenia negacją zdania atomowego. O ile zaś przedstawiona przez Tarskiego rekonstrukcja paradoksu kłamcy jest adekwatna, to należy uznać, że zdanie kłamcy jest sprzecznością o formie p p. Dlaczego? Jeżeli zdanie kłamcy stanowi jedyną budzącą wątpliwości przesłankę poprawnego pod względem logicznym rozumowania, a wszystkie pozostałe przesłanki to oczywiste zasady logiczne oraz umowa dotycząca trafnego sposobu użycia terminu prawdziwy zwana Konwencją (T) 8, zaś wnioskowanie prowadzi do uznania sprzeczności, to to zdanie musi być dobrze zbudowaną formułą (niepoprawnie zbudowana formuła nie może stanowić przesłanki żadnego wnioskowania), która jest kontrtautologią 9. Oczywiście istnieją pewne racje, by nie uznawać zdania kłamcy za zwykłą sprzeczność, bowiem zarówno wtedy, gdy założymy, że jest prawdziwe, jak i wtedy, gdy przyjmiemy, że jest fałszywe, dochodzimy do zdania o formie p p. W przypadku zwykłych kontrtautologii tak nie jest. Ze zdań stwierdzających ich fałszywość nie można oczywiście wywnioskować sprzeczności. Próba uniknięcia tej trudności mogłaby polegać na przyjęciu założenia, że uznając zdanie s (s = s jest fałszywe ) za fałszywe, akceptujemy zdanie (s jest fałszywe), które jest równoważne zdaniu prawdomówcy. Tego typu rozwiązanie nie wydaje się zadowalające, ale jeśli rzeczywiście istnieje rozumowanie prowadzące do paradoksu, to mimo wszystko najlepiej jest traktować zdanie kłamcy tak jak 8 Konwencja (T) nie jest oczywiście w ścisłym sensie zasadą logiczną nie jest ona nawet zdaniem, lecz schematem zdania. Warto jednak podkreślić, że jeśli pominie się zdanie kłamcy lub jego warianty, to każde podstawienie tego schematu w dowolnym języku, w którym obowiązuje zasada dwuwartościowości, daje zdanie prawdziwe. 9 Na to, że w ten sposób można traktować paradoks kłamcy, zwraca uwagę L. Goldstein; por. L. Goldstein, Clear and Queer Thinking. Wittgenstein s Development and His Relevance to Modern Thought, New York: Lanham Boulder 1999, s. 160.

7 Paradoks kłamcy 167 kontrtautologię. Innymi słowy, to, co do tej pory zostało powiedziane, nie prowadzi do wniosku, iż zdanie kłamcy jest sprzecznością, lecz jedynie do konkluzji, że jeżeli ujęcie paradoksu kłamcy przedstawione przez Tarskiego jest trafne, to taka jego interpretacja jest najbardziej przekonująca. Z rozwiązania paradoksu zaproponowanego przez Tarskiego wynika jednak jak już wspomniałem że zdanie kłamcy jest wyrażeniem niepoprawnie zbudowanym, a więc pozbawionym sensu. Wedle Tarskiego jego wadliwość polega na tym, że orzeka się w nim o zdaniu należącym do tego samego poziomu (w tym przypadku o nim samym), iż posiada jakąś wartość logiczną, a jak wiadomo, zgodnie z semantyczną definicją prawdy, twierdzenia przypisujące wartości logiczne zdaniom nie mogą należeć do tego samego poziomu języka co zdania, o których orzeka się prawdę bądź fałsz. Zatem jeżeli semantyczna definicja prawdy jest trafna, to zdanie kłamcy nie może prowadzić do sprzeczności, bowiem niepoprawnie zbudowane formuły nie mogą być przesłankami żadnego wnioskowania. A co za tym idzie, nie istnieje żaden paradoks kłamcy. To zaś z kolei prowadzi do wniosku, że rekonstrukcja paradoksu przedstawiona przez Tarskiego nie może być poprawna. Z oczywistych powodów nie da się jej przeprowadzić w żadnym języku przedmiotowym nie można bowiem w nim sformułować twierdzeń przypisujących prawdę bądź fałsz zdaniom należącym do tego właśnie języka. Jednak w metajęzyku także nie jesteśmy w stanie dokonać rekonstrukcji antynomii kłamcy. Jeśli bowiem zdanie kłamcy w języku przedmiotowym jest pozbawione znaczenia, to o ile w ogóle założymy, że można tłumaczyć nonsensowne wyrażenia na jakiś inny język jego przekład na metajęzyk także jest pozbawiony sensu, a co za tym idzie, nie da się z niego niczego wywnioskować. Zasadniczym źródłem wskazanej powyżej niespójności jest koncepcja nonsensu, którą zdaje się akceptować Tarski. Formuła to zdanie jest fałszywe jest z jego punktu widzenia pozbawiona sensu, ponieważ istnieją reguły zakazujące orzekać o tego rodzaju podmiocie to, co w tej formule orzeka się o nim. Innymi słowy zgodnie z poglądem Tarskiego wypowiadając zdanie kłamcy, łamiemy zasadę zabraniającą łączyć pewne predykaty z wyrażeniami odnoszącymi się do danego typu obiektów. Do sprzeczności prowadzi to, co stwierdza sformułowane z naruszeniem reguł konstrukcji zdanie kłamcy. Zatem źródłem antynomii jest treść syntaktycznie wadliwego zdania. Inaczej rzecz ujmując, to zdanie jest fałszywe jest źle zbudowaną formułą, ponieważ posiada niewłaściwy sens. To znaczy,

8 168 Jan Wawrzyniak w języku, w którym nie istniałyby reguły zakazujące orzekania prawdy bądź fałszu o zdaniach należących do języka z tego samego poziomu, co owe stwierdzenia przypisujące wartości logiczne, dałoby się sformułować zdanie kłamcy, które ze względu na swoje znaczenie generowałoby antynomię, i dlatego jego sens można uznać za niewłaściwy. To wyjaśnienie mogłoby sugerować, że ujęcie antynomii kłamcy przedstawione przez Tarskiego nie jest wcale niespójne. Rekonstrukcja paradoksu jest przeprowadzana w języku, w którym nie obowiązują wspomniane powyżej zakazy. Natomiast rozwiązanie polega na zbudowaniu hierarchii języków i wprowadzeniu do każdego z nich owych zakazów. Tarski mógłby więc stwierdzić, że zdanie kłamcy w pewnym języku generuje paradoks, w innych zaś jest niepoprawnie zbudowaną formułą. W tym miejscu należy jednak postawić pytanie, czy język, w którym można wypowiedzieć zdanie kłamcy, jest poprawny pod względem logicznym? Jeśli tak, to rozwiązanie paradoksu kłamcy zaproponowane przez Tarskiego ma charakter pozorny, bowiem zdanie kłamcy generuje autentyczną antynomię, której nie da się usunąć z tak zdefiniowanego języka. Fakt, że da się skonstruować całą hierarchię języków, w których nie można, a raczej nie wolno sformułować zdania kłamcy, nie usuwa problemu pojawiającego się w tym poprawnie przecież zbudowanym pod względem logicznym języku. Co więcej, jeśli odpowiedź na wcześniej postawione pytanie jest pozytywna, to dowolny język po dokonaniu w nim nieznacznych zmian można przekształcić w inny język, w którym da się sformułować zdanie kłamcy. Jeśli natomiast język, w którym przeprowadza się rekonstrukcję paradoksu kłamcy, jest z punktu widzenia logiki wadliwy, to tak naprawdę nie mamy do czynienia z wnioskowaniem prowadzącym do sprzeczności, lecz jedynie z ciągami znaków przypominającymi nam prawdziwe rozumowania. Podobieństwo zachodzące pomiędzy tym ciągiem napisów a autentycznymi wnioskowaniami ma charakter czysto zewnętrzny. Powodem, dla którego określamy go mianem rozumowania, jest zapewne to, iż fragmenty tego ciągu wyglądają tak jak zdania sensowne (być może nawet kojarzymy z nimi pewne wyobrażenia lub obrazy), zasady zaś rządzące występowaniem kolejnych sekwencji znaków przypominają reguły logiczne. Jest jednak oczywiste, że obecność bądź nieobecność tych psychologicznych czynników nie decyduje o tym, czy dany ciąg znaków jest, czy też nie jest wnioskowaniem. Zatem żadna rekonstrukcja antynomii kłamcy nie jest możliwa, bowiem ciąg znaków to zdanie jest fałszywe nie generuje żadnej antynomii, choć może

9 Paradoks kłamcy 169 on sprawiać wrażenie zdania, które niezależnie od tego, jaką przypisze mu się wartość logiczną, prowadzi do sprzeczności. Rozważania zawarte w poprzednim akapicie pozwalają lepiej zrozumieć, dlaczego koncepcja nonsensu zakładana przez Tarskiego powoduje, iż jego podejście do paradoksu kłamcy jest niespójne. Jak już wspomniałem, zgodnie z tym poglądem pewien rodzaj bezsensu polega na połączeniu ze sobą wyrażeń, których nie wolno ze sobą zestawiać takich połączeń zabraniają reguły składni. Zdanie kłamcy jest przykładem tego typu nonsensu. Zasady gramatyki logicznej przyjęte przez Tarskiego nie pozwalają bowiem zestawiać nazwy zdania należącego do danego języka z predykatami jest prawdziwe, jest fałszywe występującymi w tym samym języku. Z tego więc wynika, iż połączenie takich wyrażeń wykluczone jest ze względu na ich znaczenie. Zatem zdanie kłamcy posiada pewien sens, ale jest on niewłaściwy, ponieważ generuje antynomię. To wyjaśnia, dlaczego tego typu koncepcja nonsensu prowadzi do wskazanej przeze mnie niespójności. Zgodnie z tym ujęciem z jednej strony rozumiemy zdanie kłamcy, ponieważ znamy znaczenie występujących w nim wyrażeń oraz jego konstrukcję gramatyczną (połączenie jednoargumentowego predykatu ze stałą nazwową). To zaś pozwala nam zrekonstruować antynomię. Z drugiej jednak strony narusza ono reguły składni i dlatego należy uznać je za pozbawione sensu. Warto zauważyć, że te reguły zostały wprowadzone właśnie po to, by zapobiec pojawianiu się antynomii. Kończąc tę część rozważań, chciałbym podkreślić, że o ile nie akceptuje się sugestii dotyczących argumentacji reductio ad absurdum zawartych w niektórych uwagach późnego Wittgensteina nie można z jednej strony uważać, że zdanie kłamcy jest pozbawione sensu, z drugiej zaś pokazywać, iż niezależnie od tego, jaką przypisze mu się wartość logiczną, prowadzi ono do sprzeczności. Każdy, kto tak jak Tarski uznaje zdania wewnętrznie sprzeczne za sensowne, musi opowiedzieć się albo za poglądem, że zdanie kłamcy jest pozbawionym znaczenia ciągiem znaków, albo zgodzić się, iż skoro pełni rolę przesłanki we wnioskowaniu jest poprawnie zbudowanym wyrażeniem Woleński w Epistemologii wskazuje, że należy wybrać drugie rozwiązanie; por. J. Woleński, Epistemologia, Warszawa: Wydawnictwo Naukowe PWN 2005, s

10 170 Jan Wawrzyniak II Czy zdanie kłamcy posiada formę logiczną? Jeśli tak, to jaką? Drugą część moich rozważań zaczynam od postawienia tych pytań, bowiem skupienie się na tych często bardzo pobieżnie traktowanych zagadnieniach pozwoli jak sądzę spojrzeć z właściwej perspektywy na paradoks kłamcy. Wielu autorów zajmujących się tą antynomią uznaje za oczywiste, że te dwie kwestie należy rozstrzygnąć w następujący sposób. Zdanie kłamcy coś stwierdza, tym samym jest sensowne, musi więc posiadać formę logiczną. Można ją przedstawić w następujący sposób: P(a) & a = P(a) (litera a oznacza zdanie, które mówi, że nie przysługuje mu pewna własność) 11. Zatem zdanie kłamcy odnosi się do samego siebie. Prawie wszyscy badacze tego zagadnienia twierdzą, że zjawisko samoodniesienia jest dosyć powszechne, i że nie musi ono prowadzić do antynomii, np. wypowiedź to zdanie jest krótkie nie tylko nie ma paradoksalnego charakteru, ale jest prawdziwa. To, co zdaniem większości autorów nie budzi żadnych wątpliwości, nie jest jednak wcale takie oczywiste. Jak już wspomniałem, w niektórych przypadkach istnieją poważne powody, by uznać, że pewien ciąg znaków, który pod względem zewnętrznym przypomina zdania sensowne, jest w istocie nonsensem. Jak słusznie zauważa Wittgenstein: Nie z każdym tworem zdaniopodobnym potrafimy coś począć, nie każda technika ma w naszym życiu zastosowanie gdy zaś w filozofii jesteśmy skłonni zaliczyć do zdań coś całkiem bezużytecznego, to często bywa tak, dlatego, że nie rozważyliśmy należycie jego zastosowania 12. W tej części artykułu postaram się wykazać, że zdanie kłamcy jest takim zdaniopodobnym tworem. W mojej argumentacji nie będę odwoływał się do ujęcia dowodów reductio ad absurdum, które można znaleźć w niektórych uwagach Wittgensteina. Jak już zostało to zasugerowane, najlepszym sposobem uzasadnienia słuszności mojego podejścia do tego paradoksu będzie 11 W bardzo podobny sposób przedstawia formę zdania kłamcy Skyrms; por. B. Skyrms, Notes on Quantification and Self-Reference, [w:] Paradox of the Liar, dz. cyt., s L. Wittgenstein, Dociekania filozoficzne, dz. cyt., 520. W tym miejscu warto przytoczyć jeszcze jedną uwagę z Dociekań: Rozważ następujące wyrażenie: «Moja książka ma tyle stron, ile wynosi rozwiązanie równania x 3 + 2x 3 = 0». Albo: «Liczba moich przyjaciół wynosi n, przy czym n 2 + 2n +2 = 0». Czy zdanie to ma sens? Z niego samego nie jest to bezpośrednio widoczne. Przykład ten wskazuje, jak to może być, że coś wygląda na zrozumiałe dla nas zdanie, a jednak nie ma sensu. Tamże, 513.

11 Paradoks kłamcy 171 próba określenia formy logicznej zdania kłamcy. Użyłem zwrotu próba określenia, nie zaś słowa określenie, bowiem według mnie to zdanie nie posiada formy logicznej, a jest jedynie ciągiem niezinterpretowanych znaków. Chciałbym zaznaczyć, że nie znaczy to, iż przypisanie pewnego sensu zdaniu kłamcy jest niemożliwe możemy się, na przykład, umówić, że stwierdza ono to samo co zdanie śnieg jest czarny jest fałszywe. Rozważania nad formą logiczną zdania kłamcy najlepiej jest rozpocząć od zbadania powszechnie przyjętego ujęcia. Już na samym wstępie rodzi się pytanie, czy wyrażenie a = P(a), stanowiące istotny fragment eksplikacji formy logicznej zdania kłamcy, jest samo w sobie przejrzyste pod względem logicznym. By rozstrzygnąć tę kwestię, warto przywołać zasady, którymi powinniśmy się zdaniem Fregego kierować przy rozpatrywaniu zagadnień logicznych: trzeba ostro odróżniać kwestie psychologiczne od logicznych, stronę subiektywną od obiektywnej; o znaczenie słowa trzeba pytać w kontekście zdania, nie z osobna; należy pamiętać o różnicy między pojęciem i przedmiotem. Trzymając się pierwszej z tych zasad używam wyrazu przedstawienie (Vorstellung) zawsze w sensie psychologicznym, odróżniając przedstawienia od pojęć i przedmiotów. Nie przestrzegając zasady drugiej, jest się wręcz zmuszonym uznawać za znaczenia słów jakieś obrazy albo akty wewnętrzne, co narusza także zasadę pierwszą. Zaś co do punktu trzeciego, to jest tylko złudzeniem, że pojęcie można potraktować jako przedmiot, nie zmieniając go 13. Zgodnie z drugą zasadą, określenie znaczeń symboli występujących w formule a = P(a) wymaga ustalenia tego, jakie pełnią one w niej role. Już na pierwszy rzut oka widać, że litera a po lewej stronie znaku = może pełnić tę samą rolę logiczną co a po prawej stronie tego znaku tylko przy bardzo specyficznej interpretacji wyrażenia P(a), tj. pod warunkiem, iż P(x) oraz P(x) będą oznaczać takie funkcje, że P(x) będzie zdefiniowana dla argumentu a, zaś P(x) dla argumentu P(a). (Jeśli np. a jest liczbą całkowitą, P(x) funkcją y = x 5, zaś P(x) funkcją y = 5 + (x 5), to prawe i lewe a nie tylko pełnią tę samą rolę logiczną, ale i oznaczają to samo.) Zatem, o ile nie dokonujemy niestandardowej interpretacji pozostałych symboli, to a po lewej stronie znaku równości posiada inne 13 G. Frege, Fragmenty z Grundlagen der Arithmetik, dz. cyt., s. 10.

12 172 Jan Wawrzyniak znaczenie niż a po jego prawej stronie. Co więcej, słuszność tej konkluzji nie zależy od tego, czy słowa prawdziwy i fałszywy należy uznać za zwykłe predykaty, czy też za wyrażenia pełniące jakieś inne funkcje. Oczywiście ten wniosek jest niezgodny z powszechnie przyjętym ujęciem zdania kłamcy większość badaczy twierdzi, że a w obu swoich wystąpieniach oznacza to samo 14. Chciałbym teraz pokazać, że w świetle zasad Fregego tradycyjna wykładnia sensu tego zdania jest niespójna. Najpierw rozważę tę wersję standardowej interpretacji, zgodnie z którą słowa prawdziwy i fałszywy są zwykłymi predykatami. Jeśli lewe a jest nazwą zdania pojmowanego jako niezinterpretowany napis, to jest oczywiste, że pełni ono inną rolę niż prawe a lewe a posiada znaczenie, a prawe nie, ponieważ jest jedynie fragmentem pozbawionego sensu ciągu znaków. Jeżeli natomiast lewe a oznacza zdanie sensowne, to odnosi się ono do czegoś, co posiada inną formą logiczną niż przedmiot odniesienia prawego a przy założeniu, że prawe a denotuje pewien obiekt należący do zakresu zmiennej nazwowej x w P(x), lewe denotuje zdanie o formie Φ(x), w którym w miejsce zmiennej Φ można wstawić predykat P, a w miejsce zmiennej x stałą oznaczającą to samo co prawe a. Tak więc, o ile przedmiot odniesienia prawego a ma taką formę jak wartości zmiennej x występującej w funkcji zdaniowej Φ(x), to przedmiot odniesienia lewego a ma formę Φ(x) 15. Zatem także w tym przypadku prawe a nie może posiadać tego samego znaczenia co lewe, bowiem nazwy oznaczające przedmioty o różnej formie logicznej, muszą oczywiście różnić się znaczeniem. Tak więc zakładając, iż zdanie kłamcy w ogóle posiada formę logiczną, trzeba uznać, że nie prowadzi ono do żadnego paradoksu, 14 Por. A. Tarski, Pojęcie prawdy w językach nauk dedukcyjnych, [w:] Pisma logiczno- -filozoficzne. T. 1 Prawda, s. 21; Semantyczna koncepcja prawdy i podstawy semantyki, s ; Prawda i dowód, [w:] Pisma logiczno-filozoficzne. T. 1 Prawda, s ; por. J. Woleński, Epistemologia, dz. cyt., s. 197; R. Martin, A Category Solution to the Liar, [w:] Paradox of the Liar, dz. cyt., s Podobne stanowisko w tej kwestii zdaje się także przyjmować np. Kripke; por. S. Kripke, Zarys pewnej teorii prawdy, tłum. P. Garbacz, Kwartalnik Filozoficzny, t. XXIX (4) (2001), s Chciałbym podkreślić, że moje ujęcie nie polega na wprowadzeniu jakiegoś zakazu prawemu a można nadać dowolne znaczenie. Może ono np. denotować wyrażenie P(b). Gdy jednak przyjmiemy taką konwencję, to lewe a będzie oznaczać zdanie P( P(b) ). Warto zaznaczyć, że zewnętrzne P ma inny zakres niż wewnętrzne. Da się to wykazać za pomocą argumentu analogicznego do tego, który pokazuje, że prawe i lewe a nie mają tego samego znaczenia.

13 Paradoks kłamcy 173 ponieważ jego forma wygląda tak: Φ(x) & Y = Φ(x). Przejdę teraz do omówienia innej możliwej do pomyślenia wersji standardowego ujęcia zdania kłamcy. Zwolennik tej odmiany tradycyjnej interpretacji uważa, że wypowiedź stwierdzająca prawdziwość jakiegoś zdania ma dokładnie to samo znaczenie, co owo zdanie (np. stwierdzenie śnieg jest biały jest prawdą mówi to samo, co wypowiedź śnieg jest biały ). Zatem jeśli odniesiemy ten pogląd do formuły a = P(a), to okaże się, że ma ona ten sam sens, co wyrażenie a = a. Jest jasne, że lewe a w tym zdaniu oznacza coś innego niż prawe to pierwsze denotuje zdanie, to drugie, o ile w ogóle posiada denotację, to jest nią wartość logiczna. Podsumowując tę linię argumentacyjną, należy stwierdzić, że o ile zdanie kłamcy posiada formę logiczną, to powszechnie przyjęta jej eksplikacja nie jest przejrzysta pod względem logicznym. Nie spełnia ona jednego z podstawowych warunków adekwatnego przekładu na notację symboliczną, warunku mówiącego, iż żadnemu znakowi występującemu kilkakrotnie w danej formule nie powinno się przypisywać różnych znaczeń. Pomimo iż powyższe rozważania pokazują jak sądzę w przekonujący sposób, że tak zwane zdanie kłamcy nie prowadzi do żadnej antynomii, to warto przedstawić pewien tok rozumowania prowadzący do wniosków komplementarnych względem dotychczas poczynionych ustaleń. Po usłyszeniu lub przeczytaniu wypowiedzi takich jak to zdanie jest prawdziwe, to zdanie jest fałszywe, chcemy dowiedzieć się, do jakiego zdania odnosi się zaimek wskazujący to. Dopóki nie otrzymamy tej informacji, nie będziemy wiedzieli, co zostało stwierdzone. Zatem wypowiedź to zdanie jest prawdziwe/fałszywe można uznać za twierdzenie tylko pod warunkiem, że zwrot to zdanie odnosi się do pewnego zdania. Rozważmy teraz formułę to zdanie jest fałszywe. Załóżmy ignorując wnioski płynące z wcześniej przedstawionej argumentacji że wyrażenie to zdanie oznacza zdanie ujęte w cudzysłów, które znajduje się dwie linijki powyżej. Cóż stwierdza to zdanie? Jaka jest jego forma? Jeśli udzielając odpowiedzi na te pytania, zastosujemy taką samą procedurę, jaką stosujemy przy rozpatrywaniu podobnych przypadków, to zapiszemy je w następujący sposób «to zdanie jest fałszywe» jest fałszywe. Po dokonaniu tej operacji nadal jednak nie jesteśmy w stanie rozstrzygnąć, co ono stwierdza i jaka jest jego forma. Dlaczego? Ponieważ udzielenie odpowiedzi na te pytania wymaga określenia wartości logicznej zdania, którego nazwa jest podmiotem tego zdania. Żeby zaś ustalić wartość logiczną zdania znajdującego się w wewnętrznym cudzysłowie,

14 174 Jan Wawrzyniak trzeba wiedzieć, do jakiego zdania odnosi się jego podmiot, czyli wyrażenie to zdanie. Jest oczywiste, że gdybyśmy przy próbie interpretacji zdania kłamcy chcieli zastosować tę samą procedurę, którą stosujemy przy rozpatrywaniu innych wypowiedzi o formie to zdanie jest prawdziwe/fałszywe, to proces interpretacji nigdy by się nie zakończył. Ujmując rzecz obrazowo, lecz w dość zwodniczy sposób: użycie metod standardowo wykorzystywanych do analizy konstrukcji to zdanie jest fałszywe pokazuje, że zdanie kłamcy posiada nieskończenie złożoną formę logiczną. Oczywiście żadne zdanie nie może mieć nieskończenie złożonej formy i dlatego, by uniknąć nieporozumień, należy zaznaczyć, że powyższa argumentacja pokazuje, iż stosując zwykłe procedury nie da się określić ani formy logicznej zdania kłamcy, ani tego, co ono stwierdza. By dookreślić sens powyższej argumentacji, warto rozważyć zarzut, jaki mógłby zostać wysunięty przeciw niej. Jeśli na podstawie przedstawionego w tym artykule toku rozumowania można dojść do wniosku, że zdanie kłamcy jest pozbawione znaczenia, ponieważ w skończonej liczbie kroków nie da się wyeksplikować ani jego formy logicznej, ani jego treści, to trzeba także uznać, że wypowiedź to zdanie jest krótkie jest nonsensem, o ile zwrot to zdanie odnosi do ujętego w cudzysłów zdania, które znajduje się w poprzedniej linijce. Jest jednak oczywiste, że taka wypowiedź ma sens. Ten zarzut oparty jest na dwóch nieporozumieniach dotyczących charakteru mojej argumentacji. Po pierwsze, nigdzie nie stwierdzam, że formuła to zdanie jest krótkie posiada tę samą formę logiczną, co zdania to zdanie jest prawdziwe, to zdanie jest fałszywe. Co więcej, sądzę, że różnią się one zasadniczo pod względem logicznym, a wyjaśnienie natury tej różnicy pozwoli lepiej zrozumieć, skąd bierze się przekonanie, iż zdanie kłamcy prowadzi do paradoksu. Po drugie, z mojej argumentacji nie wynika, że pewne zdanie (np. zdanie kłamcy) jest pozbawione sensu, ponieważ jedno z wyrażeń w nim występujących ma takie a nie inne znaczenie. Koncepcja nonsensu, na której opiera się takie wyjaśnienie, jest jak sądzę nie do utrzymania. Przyjrzyjmy się bliżej pierwszemu punktowi. Wypowiadając słowa to zdanie jest krótkie, mając na myśli samo to zdanie, stwierdzamy, iż pewien napis (czyli obiekt fizyczny) jest krótki. Sens tej wypowiedzi można wyrazić w bardziej przejrzysty sposób za pomocą zdania to zdanie jest krótkie jest krótkie, w którym podmiot odnosi się do następującego ciągu znaków to zdanie jest krótkie to czy owe znaki posiadają jakąś

15 Paradoks kłamcy 175 interpretację, czy też nie, nie jest istotne. Ocena wartości logicznej tego zdania wymaga jedynie ustalenia tego, czy pewna cecha fizyczna przysługuje temu obiektowi materialnemu. Zatem sens takiej wypowiedzi można zawsze określić w skończonej liczbie kroków. Warto dodać, że nie mamy tutaj do czynienia z autentycznym samoodniesieniem. Słowa to zdanie odnoszą się a więc muszą mieć znaczenie do znaków, które mogą nie posiadać żadnego znaczenia 16. Zupełnie inaczej rzecz się ma w przypadku zdania kłamcy. Gdy wypowiadamy słowa to zdanie jest fałszywe, to żeby ten ciąg znaków miał sens, wyrażenie to zdanie musi odnosić się do sensownego zdania. Niezinterpretowane napisy mogą być krótkie bądź długie, natomiast prawdziwe lub fałszywe mogą być tylko zdania posiadające sens. Formuły to zdanie jest fałszywe, to zdanie jest krótkie można uznać za zbudowane w analogiczny sposób tylko z gramatycznego punktu widzenia. Ich konstrukcja logiczna jest odmienna. Podmiotem pierwszego zdania musi być nazwa oznaczająca zdanie sensowne, czyli coś, co jest złożone pod względem logicznym. Podmiot drugiego zdania nie musi spełniać tego warunku. Innymi słowy, zakresy wartości zmiennej x w funkcjach zdaniowych x jest krótkie i x jest fałszywe są całkowicie odmienne zakres wartości w pierwszym przypadku stanowi dziedzina przedmiotów materialnych, w drugim dziedzina wyrażeń powstałych z funkcji zdaniowych w wyniku związania zmiennych lub wstawienia w ich miejsce stałych. Jak już wspomniałem, drugi błąd interpretacyjny zawarty w przedstawionym powyżej zarzucie polega na dokonaniu następującej rekonstrukcji mojego toku rozumowania: zdanie kłamcy jest pozbawione sensu, ponieważ jedno z wyrażeń w nim występujących ma takie a nie inne znaczenie 17. Zgodnie z tym ujęciem nonsensu niektóre zdania, pomimo iż składają się 16 Moje ujęcie tego rodzaju wypowiedzi zasadniczo różni się więc np. od ujęcia Kripkego; por. S. Kripke, Zarys pewnej teorii prawdy, dz. cyt. Podejście Kripkego jest jak sądzę nie tylko błędne, ale, co więcej, ten błąd jest niezrozumiały w świetle jego przekonania, że różne przedmioty mogą składać się z tej samej porcji materiału. By wyjaśnić tę kwestię, posłużę się przykładem zaczerpniętym z tekstu Kripkego (zob. s. 101). Załóżmy, że słowo Jacek występujące w zdaniu Jacek jest krótki oznacza to zdanie. W myśl rozważań ontologicznych Kripkego nie można wykluczyć, że mamy w tym przypadku do czynienia z dwoma różnymi przedmiotami słowem Jacek, któremu przypisano pewne znaczenie, oraz napisem Jacek, który nie musi niczego oznaczać, jako że jest elementem przedmiotu fizycznego o kształcie Jacek jest krótki. 17 Wcześniej wskazałem, iż taką koncepcję nonsensu prawdopodobnie uznawał Tarski.

16 176 Jan Wawrzyniak z samych sensownych wyrażeń, są pozbawione znaczenia. Jest tak, dlatego iż zestawiono w nich symbole, które do siebie nie pasują. Przykładem takiego nonsensu jest zdanie Cezar jest liczbą pierwszą 18. Moim zdaniem, istnieją poważne powody, by odrzucić tę koncepcję. Po pierwsze, wyjaśniając w ten sposób to, na czym polega nonsensowność zdań należących do rozpatrywanej klasy, dochodzi się do absurdu 19. Zgodnie z tym ujęciem zdania takie jak Cezar jest liczbą pierwszą trzeba uznać za pozbawione znaczenia, ponieważ przypisuje się w nich przedmiotom cechy, których owe obiekty nie mogą posiadać. Zatem takie zdania są nonsensowne, bowiem stwierdzają, że chociaż to niemożliwe rzeczy mają się tak a tak. Ta koncepcja nonsensu prowadzi więc do wniosku, iż niektóre zdania sensowne dlatego że posiadają ten a nie inny sens są pozbawione sensu. Zwolennik takiego ujęcia nonsensu nie może uniknąć tej absurdalnej konsekwencji, uznając, iż chociaż poszczególne elementy posiadają znaczenie, to całe zdanie niczego nie stwierdza. Gdyby tak było, to nie mielibyśmy żadnej podstawy, by sądzić, że mamy do czynienia ze zdaniem czasoprzestrzenny układ znaków nie decyduje o tym, czy tworzą one zdanie. Z punktu widzenia logiki, o tym, czy dany zbiór znaków jest zdaniem, rozstrzyga to, jakie zachodzą pomiędzy nimi związki logiczne. Jeśli pewien zestaw sensownych wyrażeń nie tworzy całości, która posiada sens, to znaczy, że nie jest on zdaniem, lecz niczym więcej i niczym mniej niż zbiorem sensownych wyrażeń. Drugim istotnym powodem, dla którego należy odrzucić omawianą koncepcję nonsensu, jest jej niezgodność z pewną dobrze ugruntowaną zasadą mianowicie zasadą kontekstową Fregego 20. Jeśli o znaczenie słowa trzeba pytać w kontekście zdania, nie z osobna, to żeby stwierdzić, czy dane znaki są predykatami jest prawdziwe, jest fałszywe, musimy najpierw określić, jaki sens ma zdanie, w którym występują owe znaki. Gdyby więc okazało się, że pewien ciąg znaków, który wygląda tak jak zdanie, nie posiada żadnego znaczenia, to żadnemu z jego elementów nie moglibyśmy 18 Zob. R. Carnap, Przezwyciężenie metafizyki przez logiczną analizę języka, [w:] Empiryzm współczesny, red. B. Stanosz, Warszawa: Wydawnictwo Uniwersytetu Warszawskiego 1991, s Por. E. Witherspoon, Koncepcje nonsensu u Carnapa i Wittgensteina, tłum. S. Harmazy, [w:] Wittgenstein nowe spojrzenie, red. A. Crary, R. Read, Wrocław: Wydawnictwo Naukowe DSW 2009, s Por. C. Diamond, What Nonsense Might Be, [w:] The Realistic Spirit Wittgenstein, Philosophy, and the Mind, Cambridge, Mass London 1991, s

17 Paradoks kłamcy 177 przypisać jakiegokolwiek znaczenia. Jeśli słowa mają określone znaczenie tylko dzięki temu, że pełnią taką a nie inną rolę w zdaniu, to jest jasne, że wyrażenia będące składnikami nonsensu nie posiadają znaczenia. Kończąc to bardzo skrótowe przedstawienie racji na rzecz odrzucenia rozpatrywanej koncepcji nonsensu, warto uprzedzając możliwą krytykę choćby szkicowo wyjaśnić, dlaczego należy przyjąć zasadę kontekstową. Wedle Fregego naruszenie tej zasady nieuchronnie prowadzi do psychologizmu i subiektywizmu. Jeśli przy określaniu znaczenia słowa będziemy zwracali uwagę na inne czynniki niż rola logiczna, jaką pełni w zdaniu, to znaczenie zapewne będziemy utożsamiali z tym, co kojarzy się nam z danym słowem. Zatem, o ile psychologizm jest nie do utrzymania, to rozważana koncepcja nonsensu jest błędna, a w konsekwencji także wszelkie ujęcia zdania kłamcy jako zbudowanego z wyrażeń, które są pod względem kategorialnym do siebie niedopasowane 21. Jak więc należy rozumieć moją argumentację kończącą się wnioskiem, iż zdanie kłamcy jest pozbawione sensu? Po pierwsze, nie stanowi ona dowodu na rzecz tezy, iż dany ciąg znaków jest ze swej istoty pozbawiony sensu. Zgodnie z moim podejściem, tego typu kwestii nie da się w ten sposób rozstrzygnąć. Po drugie, punktem wyjścia mojego rozumowania jest próba zastosowania wobec zdania kłamcy procedury, którą stosujemy wobec konstrukcji podobnych pod względem zewnętrznym do tej formuły 22. Nie zakładam więc z góry, że składową zdania kłamcy jest predykat jest fałszywe. Zgodnie z akceptowaną przeze mnie zasadą kontekstową do takiej konkluzji można dojść dopiero po ustaleniu tego, jaki jest sens całego zdania, a ponieważ w przypadku zdania kłamcy procedura określania jego sensu nigdy nie może się zakończyć, to tym samym nie da się przypisać znaczenia wyrażeniom występującym w tym zdaniu. Moja argumentacja prowadzi więc do wniosku, który ma postać okresu warunkowego: jeśli 21 Warto zwrócić uwagę, że zdaniem niektórych, ze stwierdzenia, iż źródłem paradoksu kłamcy jest błąd kategorialny polegający na nieograniczonym stosowaniu predykatów prawdziwy, fałszywy czyli na orzekaniu ich także o zdaniach, które nie posiadają wartości logicznej niekoniecznie należy wyciągać wniosek, że zdanie kłamcy jest niepoprawnie zbudowane. Por. R. Martin, A Category Solution to the Liar, dz. cyt., s Diamond twierdzi, że tego typu procedurę stosuje Wittgenstein w Traktacie. Zob. C. Diamond, Etyka, wyobraźnia i metoda Traktatu Wittgensteina, tłum. P. Mroczkiewicz, [w:] Wittgenstein nowe spojrzenie, dz. cyt. s

18 178 Jan Wawrzyniak będziemy interpretowali zdanie kłamcy stosując tę samą procedurę, którą stosujemy w odniesieniu do innych wypowiedzi o kształcie to zdanie jest fałszywe, to nigdy nie zdołamy przypisać mu sensu (tak samo rzecz się ma w przypadku zdania, które rzekomo mówi o sobie, iż jest prawdziwe). Zakończenie Powyższe uwagi pozwalają także zrozumieć, iż wnioski płynące z wcześniejszych rozważań dadzą się w pełni pogodzić z konkluzją ostatniego argumentu. W zależności od tego, jaką przyjmiemy metodę interpretacji zdania kłamcy, okaże się, że albo nie posiada ono sensu, ponieważ chociaż jego forma logiczna została określona to pewnym znakom w nim występującym nie przypisaliśmy znaczenia, albo jest bezsensowne z tego względu, iż próba ustalenia jego formy logicznej za pomocą standardowej procedury prowadzi do regresu w nieskończoność. Dodatek W dodatku chciałbym przedstawić kilka uwag krytycznych wobec rozwiązania paradoksu kłamcy sformułowanego przez van Fraassena. Jak wiadomo, podejście van Fraassena opiera się na pomyśle, że presupozycja zdania kłamcy nie jest prawdziwa i z tego powodu jest ono pozbawione wartości logicznej. Takie rozwiązanie jest narażone na bardzo poważny zarzut: w jaki sposób możemy ustalić sens zdania kłamcy, jeśli nie posiada ono warunków prawdziwości? Nie da się zaś ich określić, bowiem jego presupozycja nigdy nie może być prawdziwa 23. Z tego zaś faktu na podstawie definicji relacji presupozycji można wyciągnąć wniosek, iż zdanie kłamcy nie jest ani prawdziwe ani fałszywe w żadnym możliwym świecie. (Warto zauważyć, że 23 Presupozycją zdania kłamcy jest wedle van Fraassena zdanie stwierdzające jego fałszywość, bowiem zarówno zdanie kłamcy, jak i jego negacja ukonieczniają to zdanie. Zob. B.C. van Fraassen, Presupposition, Implication and Self-reference, Journal of Philosophy 65 (1968), s Warto dodać, iż nie da się uniknąć powyżej przedstawionego zarzutu, zakładając, że presupozycja zdania kłamcy mogłaby być prawdziwa. Przyjmując punkt widzenia van Fraassena, uznanie takiej możliwości nie pozwala nam wykluczyć tego, iż zdanie kłamcy będzie generować antynomię.

19 Paradoks kłamcy 179 inaczej jest w przypadku tych zdań, których presupozycja nie jest spełniona w świecie rzeczywistym Obecny król Francji jest łysy stanowi dobry przykład takiej wypowiedzi). Jest oczywiste, że przy określaniu sensu tego zdania nie możemy odwołać się do bardziej restrykcyjnych teorii znaczenia, np. takiej, która utożsamia je z warunkami słusznej stwierdzalności skoro dane zdanie nie posiada warunków prawdziwości, to tym bardziej nie da się powiedzieć, kiedy byłoby ono uzasadnione. Próba zaś określenia znaczenia tego zdania poprzez zbadanie sposobu jego użycia prowadzi do wniosku, iż będąc całkowicie bezużytecznym ciągiem znaków, jest ono pozbawione sensu. Nie jest więc jasne, na jakiej podstawie van Fraassen przypisuje zdaniu kłamcy jakikolwiek sens. Z drugiej jednak strony, jeśli twierdzi, iż pomiędzy tym zdaniem a innymi zdaniami zachodzą różne relacje logiczne, np. relacja presupozycji, to nie może uznać go za pozbawione sensu. To moim zdaniem pokazuje, iż podobnie jak podejście Tarskiego do paradoksu kłamcy ujęcie van Fraassena nie jest koherentne. LIAR PARADOX Summary The aim of the article is to determine what role the liar sentence plays in our language. On the one hand, it seems to be well formed formula, and on the other, it does not seem to have any clear sense. At the beginning of the article I point what form an adequate solution of the liar paradox should take. In my opinion it could not consist in giving rules which do not allow to build such a sentence. The paradox remains unsolved until there is such a language in which it could be expressed. In the first part of the text I try to explain why Tarski s solution is not satisfactory. If the semantical definition of truth is correct, the liar sentence could not lead to a contradiction because formulas which are not well formed could not be premises of any inference. From that follows that the so called liar paradox does not arise and that leads to the conclusion: the reconstruction of the liar propounded by Tarski could not be correct. In the second part I present an approach to the liar which appeals to Frege s and Wittgenstein s conceptions of language. The conclusion of my consideration is that the liar sentence is nonsense, which means it is not given any sense either its logical form is determined but we do not fix any definite meaning to some parts of it, or an attempt to determine its logical form in the standard way leads to regress ad infinitum.

20