Философия правды

Сегодня я хочу написать не на счет программирования, но все таки кое-что будет и об этом. Размышляя на досуге, я вдруг задумался - а что же такое правда на самом деле? Можно провести цепочку логических рассуждений: допустим, что правда, это отрицание лжи. Разве не так? Но, с другой стороны, правда - это утверждение факта, но если факт ложный - что же тогда является правдой? Примерно такая цепочка рассуждений была в книге Сапковского - "Ведьмак", но это сути не меняет. Даже в такой строго подчиняющейся логике информатика, существует поразительные вещи, если вы о них еще не знаете, то сейчас узнаете (взято из книги Митио Каку - "Физика Невозможного"):

1) Это высказывание ложно.
2) Я лжец.
3) Это утверждение невозможно доказать.

Смотрим: в 1 случае, если высказывание истино, значит оно ложно, а если ложно - то само утверждение истино. Точно также и со вторым случаем. Ну а в последнем случаи - если оно истино, то доказать это невозможно. Непонятно однако получается, что же такое правда. Так что поговорка "У каждого своя правда", пожалуй на самом права :) Это относительно понятие, который каждый воспринимает по своему...