материалов, из которых производится извлечение знаний.
Наиболее сложной логической проблемой всегда является решение вопроса: что же истинно – суждение или его отрицание либо справедливо что-то третье? Согласно третьему закону логики, известному как закон «исключенного третьего»: истинным может быть либо суждение, либо его отрицание.
Данный закон широко используется как основа косвенных доказательств, когда истинным принимается отрицание и из этого предположения выводится противоречие. Тогда из ложности отрицания по закону исключенного третьего следует истинность исходного суждения.
В случае сложных утверждений, которые невозможно в принципе ни доказать, ни опровергнуть, а потому нельзя установить, истинны они или ложны, следует руководствоваться принципом категоричности, обеспечивающим конструктивную направленность: всякое рассуждение необходимо доводить до определенного утверждения или его отрицания. Этот принцип выражает требование к логической завершенности рассуждений и построений. Нарушениями данного принципа являются рассуждения с расплывчатым заключением или отсутствием выводов.
В деятельности концептуального моделирования этот принцип находит выражение в требовании наиболее полного и точного определения конечных результатов, отсекающих недопустимые варианты решений. В умственном программировании данный закон требует наличия строгих и точных спецификаций программ, постановок решаемых задач, описаний проектируемых систем.
Однако любые предложения и утверждения о предлагаемых решениях проблем должны иметь объективные основания и строгое обоснование их осуществимости. В логике эту идею выражает закон достаточных оснований: утверждения необходимо обосновывать исходя из суждений, истинность которых доказана. Применительно к принятому в работе пониманию информации закон достаточных оснований необходимо дополнить принципом доказательности: всякое умственное построение (предложение) должно иметь строгое обоснование, опирающееся на точно установленные факты и положения.
Практический смысл этого принципа состоит в том, что необходимо доказательно обосновывать любые выводы, предложения и построения, претендующие на реализацию. Ни одно общее утверждение или теоретическое положение не может приниматься на веру. Оно должно иметь строгое обоснование.
В естественно-языковом программировании, которое может рассматриваться как один из видов инженерного проектирования программ, закон достаточного основания выступает в виде необходимости строгого обоснования правильности и надежности разрабатываемых алгоритмов и программ мысли и слова. Правильность алгоритмов и качество получаемых программ не должны приниматься на веру, а должны доказываться с помощью законов логики, методов представления и обработки информации, а также знания речемыслительных возможностей субъекта.
