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