Konwencja T

W tej filozofii języka, konwencja T rozumie się zasadą przewodnią od Alfreda Tarskiego semantycznej teorii prawdy . W jego publikacji z 1935 r. na temat pojęcia prawdy sformułowano ją następująco:

Formalnie poprawna definicja symbolu Tr, sformułowana w metajęzyku , nazywana jest adekwatną definicją prawdy, jeśli ma następujące konsekwencje:

(a) Wszystkie zdania, które są otrzymywane z wyrażenia „ Tr (x) wtedy i tylko wtedy, gdy p” jeśli symbol x jest zastąpiony strukturalnie opisową nazwą jakiegoś zdania w rozważanym języku, a symbol p jest zastąpiony wyrażeniem z którego można wyprowadzić tłumaczenie tego wyrażenia na formy metajęzykowe.

(b) Twierdzenie dla wszystkich x: jeśli Tr (x), to S (x) (innymi słowy: Tr ᑕ S) można z niego wyprowadzić.

Mówiąc prościej, jest to konwencjonalny warunek definicji prawdy w językach. Teoria prawdy oparta na takich definicjach musi być wyposażona w wystarczający potencjał opisowy do formułowania twierdzeń

Zdanie x jest przypadkiem jest prawdziwe, jeśli x jest przypadkiem

lub podać konkretny przykład

Stwierdzenie, że śnieg jest biały, jest prawdziwe, gdy śnieg jest biały

konstruować.

Konwencja wymaga więc istnienia metajęzyka, który oprócz powiązań logicznych i przedmiotów zawiera również orzeczenie „jest prawdziwe”. Metajęzyk musi więc być bogatszy niż język, w którym konstruowane są zdania typu „x jest przypadkiem” (tzw. język obiektowy ). „Konwencja T” jest więc próbą sformalizowania atrybucji prawdy (w kontekście języka, na którym się ona znajduje) poprzez żądanie struktury języka. Jednocześnie konwencja określa, w jaki sposób można zdefiniować pojęcie prawdy w formalnych systemach językowych. Konwencja nie mówi jednak nic o warunkach, w których „x jest przypadkiem” w powyższym przykładzie. Chodzi przede wszystkim o – jak kto woli – tylko o powiązanie prawdziwości formalnego oświadczenia z prawdą faktu.

Konwencja Tarskiego T jest terminem często przytaczanym , zwłaszcza w filozofii języka , co często wiąże się z dylematem Benacerrafa postawionym później przez Paula Benacerrafa . Amerykański filozof Donald Davidson odwołuje się do pracy Tarskiego w jego teorii semantycznej dla języków naturalnych.

puchnąć

1. ↑ A. Tarski: Pojęcie prawdy w językach sformalizowanych. Studia Philosophica 1 (1935), s. 261-405. (Pierwotny tytuł: „ Pojęcie prawdy w wynikach nauk dedukcyjnych” , 1933)