Факты представляются как формулы в некоторой логике (первого или высшего порядков, многозначной, модальной, нечеткой или какой-либо другой). Логика первого порядка (логика предикатов) — операции с простыми высказываниями, расчлененными на субъект (нечто лежащее в основе) и предикат (нечто высказываемое — утверждаемое или отрицаемое — о субъекте). Предикат отображает наличие или отсутствие у предмета того или иного признака. Логика многозначная — допускает много значений истинности события. Логика модальная — исследует высказывания, имеющие значения возможность , невозможность , необходимость и т. д. Логика нечеткая — нечеткое рассуждение, вывод в условиях неопределенности - процесс оценки гипотезы при неполной или недостаточной информации в левой или правой части высказывания (т. е. это принадлежность логики первого порядка, когда определены не все или недостаточно полно некоторые элементы множества). [c.559]
Во-вторых, в противоположность распространенному мнению проблема не сводится только к сложности представления. Проблема здесь не просто в том, что длинные законы делают процесс доказательства теорем неэффективным (хотя это в действительности так). На самом деле проблема значительно глубже. Прежде всего не ясно, в любых ли случаях мы можем записать адекватный длинный закон. Нельзя раз навсегда заранее указать, будет ли данное действие оказывать влияние на какое-либо утверждение. Выяснение такого влияния может зависеть от детальности анализа ситуации, т. е. в нашем контексте от длинной цепочки дедукций. Однако не ясно, как такиа дедукции выполнить в рамках логики первого порядка (и даже модальной логики). Более того, предлагаемый ситуационный метод в основе своей статичен. Предположим, что мы имеем множество длинных законов, адекватных изложенной теории. Допустим теперь, что вводится новый предикат. Тогда все законы немедленно становятся неадекватными, поскольку в них не указано, что случится с утверждениями, исключающими новый предикат, когда будут выполнены эти действия. [c.442]