А знание тонкостей максимилиановского доспеха - военным нужно? ))))
>Формальная логика не нужна, потому что практически никто не пользуется ею при построении высказываний. А те правила, которыми пользуются - тривиальны.
>Теорема Геделя (и о неполноте, и о полноте) и машина Тьюринга - ненужная фигня. Особенно это относится к машине Тьюринга (а также Поста), написание программ на которой интересует только закостенелых преподавателей в вузах бывшего СССР. В 21 веке это сродни умению построить автобус из металлической крошки.
Ладно, не хотите теорию алгоритмов - не настаиваю. )))
А модальная логика, которую Аристотель ввёл, но не представлял всех её тонкостей? В конце концов она, вкупе с логическими языками, предназначена для того, чтобы человек (историк в частности) как можно более однозначно выражал свои мысли. Гуманитарии ведь хочут, чтобы их понимали правильно? :)
Семантический анализ Крипке, теорию доказательств Крайзеля - историки просто обязаны знать в деталях! И не надо кивать на то, что нет времени на изучение тактики общевойскового боя первоисточников в архивах!
