О суждениях, высказываниях...
Борис Кулик: О суждениях, высказываниях...
> По-моему, вы не совсем корректно (в смысле логики) употребили термины "высказывания" и "суждения" - или я не прав????;-)
Прошу прощения, но отвечу подробно (Кулик все-таки!) Это не я - это логики. В английском языке для суждений часто используется более широкое понятие (proposition - предложение, высказывание, суждение). Специфический термин judgement (суждение) используется логиками
крайне редко. В русском языке "высказывание" и "суждение" различается больше, но тоже не очень.
В логике "высказывание" используется в исчислении высказываний. Там proposition - это любое предложение с произвольной структурой, которая там не принимается во внимание, а только его характеристика "истинно" или "ложно". В исчислении же предикатов там другое дело. В основу берется предложение (опять же
proposition), которое выражено формулой и которое по сути является многоместным (в общем случае) отношением с заранее неопределенной структурой.
Суждение же более специфично. По Аристотелю - это 4 типа (Все А есть В, Ни одно А не есть В, Некоторые А есть В, Некоторые А не есть В). В эти четыре формы можно без существенной потери смысла перевести многие предложения естественного языка.
Мною рассматривался более общий случай "Все (или некоторые) А (или не-А) есть В (или не-В) И С (или не-С) И D (или не-D) ...".
Математически это следующая структура: объединение некоторых множеств (или их дополнений) включено в пересечение некоторых множеств (или их дополнений). Такая структура редко используется в Computer Science,
но она более-менее точно отражает структуру значительной части предложений естественного языка. Это и определения, и толкования терминов, выраженные в суждениях факты, правовые законы, многие теоремы математики и т.д. и т.п. Исследуя эту структуру математическими методами, я обнаружил много интересных свойств, которые позволили значительно увеличить аналитические возможности полисиллогистики. Но и это
не все. Мне предлагают сейчас заняться использованием этой структуры для системного анализа на стадии эскизного проектирования, но я пока что не готов переключиться.
И еще одно. В современной Computer Science и в лингвистике при анализе естественного языка, его
рассматривают как совокупность слов и частей речи. Но при этом теряется гибкость языка. В то же время с точки зрения анализа ЕЯ на основе суждений членение предложений производится по частям речи (подлежащее, сказуемое с управляемыми обстоятельствами, определение) и в основу берется членение языка не только на отдельные слова, но и на словосочетания, причем не всегда часто употребляемые. Последнее
обстоятельство является непреодолимой трудностью в Computer Science.
