Дать определение истины — величайшее достижение для любого философа. Альфред Тарский не оставил нам исчерпывающего списка истинных утверждений, однако разработал понятие истины, которое обходит так называемый парадокс лжеца, не дававший покоя мыслителями со времен античности. Представьте, что я говорю: «Я лгу». Если предположить, что я говорю правду, получится, что я лгу, следовательно, утверждение не является истинным. Тогда, разумеется, вы скажете, что мое утверждение не истинно. Но тогда это означает: я лгу, что я лгу!
Существует много формулировок этого парадокса, и Тарский заметил, что все они обусловлены явлением самореференции, свойственным нашему языку. Он предположил, что истина должна выражаться только на метаязыке, находящемся на более высоком уровне по сравнению с описываемым им языком. Метаязык может отсылать к своему объектному языку, но в обратную сторону это не действует. По мысли Тарского, мы можем сказать, что утверждение «я лгу» истинно, если — и только если — я лгу (обратите внимание, что слова в кавычках отсылают к самому утверждению, а вторая часть, выраженная на метаязыке, к действительному положению вещей). Если я лгу, это утверждение истинно. Если я не лгу, оно ложно. Нет парадокса, потому что объектный язык не влияет на метаязык.
Метаязык Тарского способствовал развитию семантики и имел огромное значение для компьютерных наук, логики и математики. Однако Тарский прославился не только этим: благодаря своим многочисленным трудам он считается одним из крупнейших логиков всех времен. В зрелом возрасте он преподавал в Калифорнийском университете в Беркли, а начинал свою научную карьеру в Варшаве, где был членом Львовско-Варшавской школы, знаменитого объединения логиков, философов и математиков, в которую входили, в частности, Казимеж Твардовский, Ян Лукасевич, Станислав Лесьневский, Тадеуш Котарбинский, Казимеж Айдукевич и Изыдора Домбская. Они внесли неоценимый вклад в философию ХХ столетия, их труды до сих пор изучают ученые по всему миру, а предложенные ими идеи разрабатывают многие преподаватели и студенты философского факультета Варшавского университета.
Лешек Колаковский (1927-2009)