Исследуйте классический логический парадокс лжеца ('Это утверждение ложно'). Объясните, почему этот парадокс представляет проблему для классической двузначной логики. Рассмотрите и опишите хотя бы два основных теоретических подхода к разрешению этого парадокса, таких как теория типов Рассела или теории истины Тарского (иерархия языков).