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