2. Суждения: логическая структура, виды, отношения

Суждение – это форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами.

Языковой формой выражения суждений являются предло­жения. Можно сказать, что всякое суждение есть предложение, однако не всякое предложение выражает суждение. Суждения формулируются с помощью повествовательных предложений. Не выражают суждение побудительные и вопросительные пред­ложения, поскольку они не могут быть квалифицированы как истинные или ложные.

Суждение, рассматриваемое вместе с его знаковой фор­мой, называется высказыванием.

Знание видов — логических структур — суждений, отно­шений между суждениями и умение разбираться в возмож­ных преобразованиях высказываний являются существенным моментом логической культуры, необходимым условием правильного понимания и выражения мысли, а также коррект­ности логических операций с высказываниями.

При выделении видов суждений, прежде всего, возника­ет необходимость различать простые и сложные суждения. Простое суждение есть утверждение о наличии или отсут­ствии каких-либо признаков у какого-нибудь отдельного предмета, у части или у всех предметов некоторого класса.

Сложным является такое суждение, которое содержит в ка­честве своей правильной части, то есть части, не совпадающей с целым, некоторое другое суждение.

Структура простого суждения о связи предмета и его при­знака такова: субъект, предикат, связка и квантор. Субъект от­ражает предмет суждения, это известное (данное) нам знание о предмете; предикат выражает новое знание о предмете, а точнее, о его признаках. Субъект обозначается буквой S, а пре­дикат — буквой Р. Связка соединяет субъект и предикат (тер­мины суждения), утверждая или отрицая принадлежность предмету некоторого признака. Связка может выражаться словами: «есть» («не есть»), «является» («не является»), «суть» («не суть») и пр. Иногда она только подразумевается и не выражается явным образом или заменяется тире.

И, наконец, кванторное слово, стоящее перед субъектом, называет, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части. Известны два квантора: квантор общности (все, всякий, всегда и пр.) - , и квантор существования (некоторый, иногда, бывает, встречается, существует и т.п.).

Простые суждения делятся:

• на атрибутивные;

• суждения с отношениями;

• суждения существования.

Сложные суждения образуются из простых с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.

Отношения между суждениями имеют смысл лишь в случае сравнимых суждений.

Сравнимые суждения – это суждения с одинаковыми субъектами и предикатами, но различающиеся связкой или квантором.

Среди сравнимых суждений выделяют совместимые и несовместимые.

В свою очередь различают следующие виды совместимости:

• эквивалентность;

• частичная совместимость;

• подчинение.

Отношения несовместимости бывают двух видов противоположности и противоречия.

Отношения между сложными суждениями аналогичны.

Наряду с понятием и суждением, формой мышления также является умозаключение. В процессе познания многие зна­ния мы получаем не в результате воздействия предметов нынешнего мира на наши органы чувств, то есть непосред­ственно, а путем выведения новых знаний из уже имеющих­ся (выводное, или опосредованное знание). Формой получе­ния таких выводных знаний выступает умозаключение.

Умозаключение  это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.

В содержательных умозаключениях мы оперируем, по существу, не самими выс­казываниями, а прослеживаем связь между ситуациями дей­ствительности, которые эти высказывания представляют.

Наряду с содержательными умозаключениями имеют место формализованные умозаключения. В них операции совершаются именно над высказываниями самими по себе, причем по прави­лам, которые вообще не зависят от конкретного содержания выс­казываний. Для их применения необходимо учитывать лишь логи­ческие формы высказываний. Благодаря этому для умозаключе­ний подобного типа существуют четкие критерии правильности. Тогда как для содержательных умозаключений нет никаких опре­деленных критериев этого рода и всегда возможен спор – рассуж­дает ли человек правильно или нет. Именно формализованные умозаключения являются предметом изучения логики.

Структура умозаключения такова: посылки, заключение и вывод. Посылки  это исходные суждения; заключение – новое суждение (выводное знание), полученное из исходных посылок; вывод – логическая связь посылок и заключения.

Рассмотрим структуру умозаключения и его запись на следующем примере.

Посылки:

1. В исследованиях встречаются неформализованные проблемы

2. Экспертные методы используются для решения неформализованных проблем.

Заключение. Некоторые проблемы в исследовании можно решить только с помощью экспертных методов.

В естественном языке существуют слова и словосочетания, указывающие как на заключение («значит», «следовательно», «отсюда видно», «поэтому», «из этого можно сделать вывод» и т.п.), так и на посылки умозаключения («так как», поскольку», «ибо», «принимая во внимание, что», «ведь» и т.п.). Представляя умозаключение в некоторой стандартной форме, в логике принято указывать в начале посылки, а потом – заключение, хотя в естественном языке их порядок может быть произвольным.

Для того чтобы сделать правильный вывод из исходных посылок, необходимо:

1) чтобы сами посылки были истинны­ми, и между ними существовала связь по содержанию; 2) дол­жны соблюдаться правила вывода.

Понятие умозаключения как логической операции тесно связано с понятием логического следования. Умозаключе­ние, представляющее собой переход от посылок …. к заключению В, является правильным, если между посылками и заключением имеется отношение логического следования, то есть В является логическим следствием . В против­ном случае если между посылками и заключением нет та­кого отношения  умозаключение неправильное.

Умозаключения делятся на несколько видов:

• в зависимости от строгости правил вывода умозаключе­ния бывают демонстративными (необходимыми, вывод в них необходимо следует из посылок) и недемонстра­тивными (правдоподобными, имеющими вероятност­ный вывод);

• по направленности логического вывода умозаключе­ния могут быть: дедуктивные (вывод заключается в пе­реходе от общего знания к частному); индуктивные (от частного знания к общему); умозаключения по анало­гии (от частного знания к частному);

• в зависимости от количества посылок дедуктивные умозаключения делятся на непосредственные и опос­редованные.