Zagadnienie prawdziwoci rozpatrywane jest w zawsze w jakim konkretnym jzyku.

Zalenie od zasobu wystpujcych w danym jzyku form gramatycznych, Tarski dzieli jzyki na: - ubosze istnieje jednolita metoda pozwalajca problemat definicji prawdy rozstrzygn pozytywnie - bogatsze nie moliwe jest poprawne zdefiniowanie definicji prawdy Pojcie zdania prawdziwego w jzyku potocznym: - (1) zdanie prawdziwe jest to zdanie, ktre wyraa, e tak a tak rzeczy si maj, i rzeczy maj si tak wanie -(2) x jest zdaniem prawdziwym wtedy i tylko wtedy, gdy p za p podstawiamy jakiekolwiek zdanie, za za x dowoln nazw jednostkow tego zdania Majc dan nazw jednostkow zdania, moemy dla niej skonstruowa wyjanienie typu (2) w kadym przypadku, w ktrym potrafimy wymieni zdanie oznaczane przez dan nazw. NAZWY CUDZYSOWOWE kada nazwa zdania lub innego wyraenia(nawet bezsensownego), ktra skada si z cudzysoww, lewostronnego i prawostronnego, oraz z wyraenia zawartego midzy cudzysowami, a bdcego wanie desygnatem nazwy. NAZWA: nieg pada WYJANIENIE : (3)nieg pada jest zdaniem prawdziwym wtedy i tylko wtedy, gdy nieg pada NAZWY STRUKTURALNOOPISOWE nazwy opisujce, z jakich wyrazw skada si wyraenie bdce desygnatem nazwy, z jakich skada si kady poszczeglny wyraz i w jakim porzdku te znaki i wyrazy po sobie nastpuj. - naley wczy do jzyka jakiekolwiek jednostkowe, ale nie cudzysowowe nazwy wszystkich liter i innych znakw, z ktrych skadaj si wyrazy i wyraenia jzyka Kadej nazwie cudzysowowej daje si obecnie przyporzdkowa wyraona bez pomocy cudzysoww nazwa strukturalnoopisowa o tym samym zakresie i vice versa. Mona wic dla nazw strukturalnoopisowych konstruowa definicje czstkowe typu(2). (4) wyraenie, ktre skada si z dwu wyrazw, z ktrych pierwszy skada si z piciu kolejnych liter: e, en, ij, ej, i ge, za drugi z czterech kolejnych liter: pe, aj, de, i aj, jest zdaniem prawdziwym wtedy i tylko wtedy, gdy nieg pada ANTYNOMIA KAMCY wg UKASIEWICZA c zdanie wydrukowane na tej stronie w wierszu 17 c nie jest zdaniem prawdziwym (a) c nie jest zdaniem prawdziwym jest zdaniem prawdziwym wtedy i tylko wtedy, gdy c nie jest zdaniem prawdziwym (b) c nie jest zdaniem prawdziwym, jest identyczne z c(STWIERZAMY TO NA DRODZE EMPIRYCZNEJ) ZESTAWIAJC PRZESANKI a i b OTRZYMUJEMY SPRZECZNO: c jest zdaniem prawdziwym wtedy i tylko wtedy, gdy c nie jest zdaniem prawdziwym RDO SPRZECZNOCI tkwi w tym, e w celu skonstruowania twierdzenia (a) podstawilimy zamiast symbolu p w schemacie (2) tego rodzaju zwrot, ktry sam zawiera w sobie termin zdanie prawdziwe

(5) dla dowolnego p p jest zdaniem prawdziwym wtedy i tylko wtedy, gdy p (6) dla dowolnego x x jest zdaniem prawdziwym wtedy i tylko wtedy, gdy dla pewnego p x jest identyczne z p i przy tym p (5) i (6) nie mog by odpowiednimi definicjami, bowiem p oznacza liter p jest tak zawsze w przypadku nazw cudzysowowych, poniewa s to nazwy jednostkowe, takie same jak imiona wasne ludzi; rwnie jeli nazwy cudzysowowe zmienimy w strukturalnoopisowe nic to nie zmieni S TO BOWIEM WYRAENIA SYNTAKTYCZNE INNA INTERPETACJA NAZW CUDZYSOWOWYCH: - nazwy te musimy traktowa jako wyraenia syntaktycznie zoone, ktrych skadnikami syntaktycznymi s zarwno cudzysowy, jak i wyraenia zawarte midzy cudzysowami. FUNKCJE CUDZYSOWOWE: <<p>> wystpujce w (5) lub (6) musi by np. uwaane za funkcje, ktrej argumentem jest zmienna zdaniowa, za wartociami(podstawieniami) stae cudzysowowe zda. cudzysowy staj si wtedy samodzielnymi wyrazami z zakresu semantyki, zblionymi znaczeniowo do wyrazu nazwa, a pod wzgldem syntaktycznym grajcymi rol funktorw Prba zbudowania poprawnej definicji semantycznej wyraenia zdanie prawdziwe napotyka bardzo istotne trudnoci. DEFINICJA STRUKTURALNA: - zdanie prawdziwe jest to wyraenie posiadajce takie a takie strukturalne wasnoci(tj. wasnoci dotyczce ksztatu i kolejnego nastpstwa poszczeglnych czci skadowych wyraenia) lub te dajce si uzyska z takich a takich strukturalnie opisanych wyrae przy pomocy takich a takich strukturalnych przeksztace - jako punkt wyjcia mog ty suy prawa logiki formalnej -jeeli pewne zdanie prawdziwe skada si z czterech czci, gdzie pierwsza cz jest wyrazem jeeli, druga zdaniem prawdziwym, trzecia wyrazem to, to i czwarta cz jest zdaniem prawdziwym -prba zbudowania definicji strukturalnej terminu zdanie prawdziwe nastrcza w zastosowaniu do jzyka potocznego trudnoci, ktrych przezwyciy nie potrafimy Mono konsekwentnego i przy tym zgodnego z zasadami logiki i duchem jzyka potocznego(uniwersalizm) operowania wyraeniem zdanie prawdziwe i, co za tym idzie, mono zbudowania jakiejkolwiek poprawnej definicji tego wyraenie wydaje si mocno zakwestionowana. Dla kadego sformalizowanego jzyka umiemy skonstruowa w metajzyku formalnie poprawn i merytorycznie trafn definicje zdania prawdziwego, posugujc si wycznie wyraeniami o charakterze oglno-logicznym, wyraeniami samego jzyka oraz terminami z zakresu morfologii jzyka lecz pod warunkiem, e metajzyk posiada rzd wyszy ni jzyk bdcy przedmiotem bada.