Если знаковая система (естественный язык, формальная логика) достаточно продвинута, то она найдет способ построить суждения, которые утверждают или отрицают нечто о самих себе. Следовательно, если знаковая система достаточно продвинута, то в ней неизбежны парадоксы (не путать с противоречиями). В этом и состоит смысл парадокса лжеца и теоремы Гёделя. Парадокс лжеца, показывает, что естественный язык – достаточно продвинутая знаковая система. Теорема Гёделя показывает, что уже формальная арифметика является такой продвинутой системой.

Обсуждается семантическая сторона теорем Геделя о неполноте в аспекте вопроса истинности высказываний. Первый пробный ("первый блин комом") семинар на тему "негуманитарной философии". Проблемы Гильберта. Формализация математики. Непротиворечивость и полнота формальных систем. Семинар "Философского Штурма". Состоялся 19.01.13.