От Booker
К Дмитрий Ховратович
Дата 10.03.2010 12:10:18
Рубрики Прочее; Современность; Политек;

А знание тонкостей максимилиановского доспеха - военным нужно? ))))

>Формальная логика не нужна, потому что практически никто не пользуется ею при построении высказываний. А те правила, которыми пользуются - тривиальны.

>Теорема Геделя (и о неполноте, и о полноте) и машина Тьюринга - ненужная фигня. Особенно это относится к машине Тьюринга (а также Поста), написание программ на которой интересует только закостенелых преподавателей в вузах бывшего СССР. В 21 веке это сродни умению построить автобус из металлической крошки.

Ладно, не хотите теорию алгоритмов - не настаиваю. )))

А модальная логика, которую Аристотель ввёл, но не представлял всех её тонкостей? В конце концов она, вкупе с логическими языками, предназначена для того, чтобы человек (историк в частности) как можно более однозначно выражал свои мысли. Гуманитарии ведь хочут, чтобы их понимали правильно? :)

Семантический анализ Крипке, теорию доказательств Крайзеля - историки просто обязаны знать в деталях! И не надо кивать на то, что нет времени на изучение тактики общевойскового боя первоисточников в архивах!

С уважением.
От Дмитрий Ховратович
К Booker (10.03.2010 12:10:18)
Дата 10.03.2010 13:13:19

Уже отметили, что важно знание не тонкостей, а тенденции



>А модальная логика, которую Аристотель ввёл, но не представлял всех её тонкостей? В конце концов она, вкупе с логическими языками, предназначена для того, чтобы человек (историк в частности) как можно более однозначно выражал свои мысли.

Это телега впереди лошади. Логика служит для выражения мыслей, а не наоборот.

>>Гуманитарии ведь хочут, чтобы их понимали правильно? :)

Что характерно, их понимают и без формальной логики. Даже математиков, и тех понимают. Поэтому теоремы формулируются не строго по законам формальной логики.

>Семантический анализ Крипке, теорию доказательств Крайзеля - историки просто обязаны знать в деталях! И не надо кивать на то, что нет времени на изучение тактики общевойскового боя первоисточников в архивах!

Не нужно это никому, успокойтесь.
От Booker
К Дмитрий Ховратович (10.03.2010 13:13:19)
Дата 10.03.2010 13:58:03

А тенденции военным излагают как-то не так?

>>А модальная логика, которую Аристотель ввёл, но не представлял всех её тонкостей? В конце концов она, вкупе с логическими языками, предназначена для того, чтобы человек (историк в частности) как можно более однозначно выражал свои мысли.
>Это телега впереди лошади. Логика служит для выражения мыслей, а не наоборот.

Упс, вот и я перестал понимать. :(
Конечно, мысль первична, но самая гениальная не стоит ничего, если её плохо сформулировали. Или неграмотно. Или если её просто не поняли. Мы ведь учимся писать, читать и понимать прочитанное - усваиваем со школы интерфейс взаимопонимания. Изучаем орфографию, например - а она и нужна-то только для однозначности понимания.

>>Семантический анализ Крипке, теорию доказательств Крайзеля - историки просто обязаны знать в деталях! И не надо кивать на то, что нет времени на изучение тактики общевойскового боя первоисточников в архивах!
>Не нужно это никому, успокойтесь.

Хм, не нужно что именно? Вообще-то это фронтир сейчас, задача машинного перевода решается через точное описание смысловых конструкций естественного языка.

С уважением.
От Дмитрий Ховратович
К Booker (10.03.2010 13:58:03)
Дата 10.03.2010 14:07:06

Re: А тенденции...


>Упс, вот и я перестал понимать. :(
>Конечно, мысль первична, но самая гениальная не стоит ничего, если её плохо сформулировали. Или неграмотно. Или если её просто не поняли. Мы ведь учимся писать, читать и понимать прочитанное - усваиваем со школы интерфейс взаимопонимания. Изучаем орфографию, например - а она и нужна-то только для однозначности понимания.

Матлогика практически не используется людьми для однозначности понимания. Даже странно, что вы этого не видите.

>Хм, не нужно что именно? Вообще-то это фронтир сейчас, задача машинного перевода решается через точное описание смысловых конструкций естественного языка.

Речь про историков. Примеры с машинным переводом и компиляторами я тоже могу придумать.
От Booker
К Дмитрий Ховратович (10.03.2010 14:07:06)
Дата 10.03.2010 17:50:11

Re: А тенденции...

>Матлогика практически не используется людьми для однозначности понимания. Даже странно, что вы этого не видите.

Продвинутыми используется :)
http://neowarez.ru/quotez/5931-citata-404367.html

>Речь про историков. Примеры с машинным переводом и компиляторами я тоже могу придумать.

Речь, скорее, об историках, которые предъявляют чрезмерные претензии к неисторикам по вопросам истории. При этом встречные претензии явно считают надуманными.
Почему бы и неисторикам не воспользоваться такой жизненной позицией? Т.е. сказать: практика показывает, что ваша история никогда никого ничему не учит. Так не пойти ли вам куда-нибудь с вашими советами военным? )))))

С уважением.