Однозначность слова
в сообщении (чаще всего предназначенное другому лицу, но может пониматься как припоминание в процессе мышления одного лица), является еще одним важнейшим требованием для адекватного понимания сообщения. В любом отдельном сообщении слово должно иметь только одно значение, т.е. отражать только один реальный или мыслимый объект. Об этом писал еще Аристотель, справедливо полагавший, что отсутствие однозначности слов ведет к непреодолимым логическим трудностям, делающим невозможным обмен мыслями между людьми и даже последовательное мышление отдельного человека. Хотя слово может иметь множество значений, но для каждого значения можно подобрать особое имя [Аристотель, 1976, с. 127]. Применительно к научным сообщениям мысль Аристотеля отражает требование однозначности интуитивно ясных представлений или исходных понятий. Но до сих пор научные тексты пестрят выражениями, что такое-то понятие (или даже пуще того – термин) многозначно. А ведь логики давно пишут, что термин – слово или словосочетание, являющееся точным названием строго определенного понятия науки, техники и др. [Кондаков. 1971, с.518]Выполнение законов формальной логики
необходимо и в моделировании, и в передаче моделей. В этих процессах законы логики играют разные роли, для оценки которых требуется предварительно уточнить понимание традиционной (формальной) логики.Эта логика, как утверждается, изучает общечеловеческие законы логики (тождества, противоречия, исключенного третьего и достаточного основания
), без соблюдения которых невозможно никакое мышление…, общечеловеческие формы мысли (суждение и понятие) и формы связи мыслей в рассуждения (умозаключения) [Кондаков. 1971, с.248–249]. В целом, с этой точкой зрения можно согласиться, хотя она представляется несколько односторонней. Ибо мышление человека, даже истинное мышление, не исчерпывается законами логики. Люди фантазируют, используют чувственно-образное познание и проявляют интуицию для постижения реальности, совершая научные открытия именно этим путем.Вопрос о логике и ее законах возникает в двух случаях. Вопервых, это менее важная ситуация, когда человек самостоятельно пытается проверить и закрепить новое знание для себя, вступая в диалог с самим собой («тихо сам с собою я веду беседу»). Во-вторых, что важнее, когда ему нужно передать результаты своего познания другому человеку. Поэтому лучше понимать логику не как науку о мышлении вообще, но как науку о коллективном мышлении
.Логика призвана сделать знание одного человека доступным для другого, передав это знание как можно точнее. Важно не только построить в своей голове более или менее верную модель реальности (что достигается путем внутреннего диалога, в который могут быть мысленно включены суждения других людей, обсуждающих данную проблему), но и превратить эту модель в сообщение, доступное и, по возможности, однозначное для другого человека. Потому-то и нужно соблюдать законы формальной логики, в число которых входят:
Закон тождества,
согласно которому каждая мысль, которая приводится в данном умозаключении, при повторении должна иметь одно и то же определенное устойчивое содержание. Он представляет собой расширение принципа однозначности слова в сообщении, поскольку необходимая логическая связь между мыслями устанавливается лишь при условии, что всякий раз, когда в рассуждении появляется мысль о каком-либо предмете, мы мыслим именно этот самый предмет и в том же самом содержании его признаков. В традиционной логике закон тождества записывается в виде формулы: А есть А, хотя есть и другие его формулы.Закон противоречия
, гласящий, что не могут быть одновременно истинными две противоположные мысли об одном и том же предмете, взятом в одно и то же время в одном и том же отношении. Символически этот закон записывается в виде: неверно, что А и не-А. Четко этот закон сформулирован Аристотелем, хотя уже у Платона есть близкие по смыслу высказывания.Закон исключенного третьего,
согласно которому из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно. Символически он изображается формулой: А есть либо В, либо не-В. Как всякая формула, она огрубляет существо закона, так как из нее не видно, что закон исключенного третьего запрещает противоречащие высказывания только в том случае, если речь идет о предмете, взятом в одно и то же время и в одном и том же отношении.