Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
18
FilozofiaDonaldaDavidsona.Podstawysemantyki
atakichstrukturalnieopisanychwyrażeńprzypomocytakich,atakichstruktu-
ralnychprzekształceń(s.28).
Każdasemantycznadefinicjaprawdyjestdefinicjąstrukturalną(rekuren-
cyjną)wpodanymwyżejsensie,zaśwprzykładziezpoprzedniegoparagrafu
metajęzykowenazwyzdańpolewejstronie(1.2)i(1.3)sąnazwamistruktu-
ralnoopisowymi.Wymógtenjestspełniony,gdyżrównoważnościtezostały
wyprowadzonezodpowiednichaksjomatówsemantycznejdefinicjiprawdy.
Przytoczonywpoprzednimparagrafiedowódwynikania(1.2)zaksjomatów
definicjiprawdypokazuje,żezdanieposiadającentakieatakiestrukturalne
własności”,czyliwnaszymprzypadkuzdanie
v
xi
v
xj(xi
C
xj),rozumianejako
ciągskładającychsięnańsymboli,jestprawdziwewtedyitylkowtedy,gdy
dlakażdegoaorazb,ajestczęściąwłaściwąb.Abypodaćwarunekprawdzi-
wościzdanianiewystarczyzatemwziąćtegozdaniawcudzysłów,zaśpo
prawejstroniepodaćjegoprzekładnametajęzyk-należyrównoważność
wodpowiednisposóbwyprowadzićzaksjomatówteoriiprawdy.
WzwiązkuzpowyższymiuwagaminatematkonwencjiTpojawiasię
pierwszezastrzeżenieAlfredaTarskiegowobecmożliwościścisłegozdefinio-
waniaprawdydlajęzykanaturalnego.WedleTarskiegojestbardzowątpliwe,
czyzpowodubrakuprecyzyjnychregułgramatycznychdasięsformułować
dlategojęzykaaksjomatysemantycznejdefinicjiprawdy.Drugiezastrzeżenie
wiążesięztym,żewjęzykunaturalnymwystępująpojęciasemantyczne,
np.predykatnprawdziwy”,comożeprowadzićdoparadoksów
13.Wpodanym
powyżejprzykładzieparadokspowstanie,gdytrzeciezdanienaosiemnastej
stronieksiążkiKmapostać:nTrzeciezdanienaosiemnastejstronieksiążkiK
jestfałszywe”.Wprzypadkustrukturalnoopisowychnazwzdańpodobnego
paradoksumożnauniknąć,jeżeliwykluczymyzjęzykaprzedmiotowego
predykatnprawdziwy”.Stanowitooczywisteograniczeniewstosowaniu
semantycznejdefinicjiprawdydojęzykównaturalnych,wktórychpredykat
tenfaktyczniewystępuje.WprawdzieTarskikończypoczątkowerozważania
konkluzją,żeprzypróbiebudowaniasemantycznejdefinicjiprawdydlajęzy-
kównaturalnychpojawiająsięnieprzezwyciężonetrudności,alepodkoniec
tegosamegoartykułudopuszczatakąmożliwośćpodwarunkiempoddaniaję-
zykanaturalnegoodpowiedniejformalizacji(s.158).Podobnąopinięwygłasza
wpracySemantycznakoncepcjaprawdyipodstawysemantyki(1944,s.244).
13Paradokspowstanie,gdytrzeciezdanienaosiemnastejstronieksiążkiKbędziebrzmiało:
nTrzeciezdanienaosiemnastejstronieksiążkiKjestfałszywe”.Wprzypadkunazwstruktural-
noopisowychparadoksumożnauniknąć,gdywykluczymyzjęzykaprzedmiotowegopredykat
nprawdziwy”.Stanowitooczywisteograniczeniewstosowaniusemantycznejdefinicjiprawdy
dojęzykównaturalnych,wktórychpredykattenfaktyczniewystępuje.
