Lekcja: "046. Szkoła Lwowsko - Warszawska, część II"
Szkoła Lwowsko - Warszawska
Semantyczna definicja prawdy była szczególnym przypadkiem opracowania podstaw semantyki jako ścisłej teorii odnoszenia się języka do świata.
Zadanie to postawił Tarski, on też pierwszy uzyskał wyniki, które stały się podstawą teorii modeli, jednego z podstawowych działów współczesnej logiki. Tarski podał też pierwszą precyzyjną definicję wynikania logicznego: zdanie A wynika logicznie ze zbioru zdań X, gdy każdy model zbioru zdań X jest też modelem zdania A.
Z. Zawirski
Portret Alfreda Tarskiego, rysowany przez Witkacego, 1936 r.