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