Логика

В общеутвердительных суждениях (А): «Все S есть Р» субъект распределен, а предикат не распределен. В общеутвердительных суждениях субъект в полном объеме включается в предикат. Это означает, что общеутвердительное суждение дает информацию обо все объеме субъекта, но лишь о части объема предиката. Поэтому субъект (как понятие) распределен, а предикат нераспределен.

В общеотрицательных  суждениях (Е): «Ни одно S не есть Р» - субъект и предикат распределены, поскольку каждый из терминов исключен из другого. Иными словами, суждение дает информацию обо всем объеме субъекта и обо всем объеме предиката, поэтому оба термина распределены.

В частноутвердительном суждении (J): «Некоторые S есть Р» - субъект и предикат не распределены. Субъект и предикат такого суждения только частично включаются один в другой. Суждение дает информацию лишь о части объемов своих субъекта и предиката, т.е. они оба не распределены.

В частноотрицательном суждении (О): «Некоторые S не есть Р» - субъект нераспределен, а предикат – распределен. В таком суждении предикат в полном объеме исключен из той части объема субъекта, о которой идет речь. На этом основании предикат в частноотрицательном суждении считается распределенным, а субъект нераспределенным.

Итак: субъект распределен (берется в полном объеме) в общих суждениях, в предикат распределен в отрицательных.

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

Сложные суждения – это суждения, образованные их простых посредством той или иной логической связи. Структура сложных суждений отличается от структуры простых суждений. Основными структурообразующими элементами здесь выступают не понятия (термины – субъект и предикат), а самостоятельные простые суждения, внутренняя субъектно-предикатная структура которых уже не учитывается. Связь между элементами сложного суждения осуществляется с помощью логических союзов: «и», «или»; «если...то...»; «если и только если..., то»; «неверно, что...», которые близки к соответствующим грамматическим союзам, но полностью с ними не совпадают. Главное их отличие состоит в том, что логические союзы однозначны, тогда как грамматические союзы имеют множество смыслов и оттенков.

Эти типы связи простых  суждений выражаются соответствующими логическими связками: конъюнкцией («и»), дизъюнкцией («или»), строгой дизъюнкцией («либо, ...либо»), импликацией («если..., то»), эквиваленцией (тогда и только тогда, когда...», отрицанием («неверно, что...»). Логические связки обозначают символами: ~  соответственно. Каждый из этих логических союзов, за исключением отрицания, является бинарным, т.е. соединяет только два суждения, независимо от того простые они или сами, в свою очередь, сложные, имеющие внутри себя собственные союзы.

Сложные суждения рассматриваются  в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений, входящих в него, а также от характера связи этих суждений. Характер связи определяется смыслом логических союзов, который состоит в ответе на вопрос: при каких условиях сложное суждение будет истинно, а при каких – ложно. Иначе говоря, при каких сочетаниях истинности и ложности простых суждений, входящих в сложное, данный логический союз дает истинную связь, а при каких - ложную. Смысл логических союзов можно определить с помощью, так называемой истинностной таблицы, в которой на входе (см. Табл.1, столбцы 1,2) выписываются все возможные комбинации истинностных значений простых суждений (входящих в рассматриваемое сложное), а на выходе (Таблица 1 – столбцы 3 – 9) – значения сложного суждения, образованного из данных простых с помощью соответствующего логического союза. При этом, исходные простые суждения обозначают буквами: А,В,С,D..., а значения истинности символами: «и» - истино; «л» - ложно.

Таблица 1.

Виды сложных  суждений

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

Соединительное или конъюнктивное суждение – это сложное суждение, образованное из исходных суждений посредством логического союза «и», обозначаемого символом « ».  Например, суждение: «Сегодня я пойду на лекцию по логике и в кино» является конъюнктивным суждением, состоящим из двух простых суждений (обозначим их соответственно – А, В): : «Сегодня я пойду на лекцию по логике» (А), «Сегодня я пойду в кино» (В). Символически данное сложное суждение можно записать как: А В, где А, В – элементы конъюнкции; « » - символ логического союза – конъюнкции. В русском языке конъюнктивный логический союз выражается многими грамматическими союзами: и, а, но, да, хотя, однако, а также... Нередко подобные грамматические союзы заменяются запятой, двоеточием, точкой с запятой. Например, в суждении «Русские долго запрягают, да быстро ездят».

Конъюнктивное суждение истинно только при истинности всех составляющих его элементов и ложно при ложности хотя бы одного из них (см. табл.1 – столбец 3).

Знание особенностей истинностного значения конъюнкции имеет особое значение в практике мышления, т.к. достаточно одного ложного суждения, чтобы придать всей, даже весьма сложной, конъюнктивной мысли ложность. Этот факт лежит в основе многих русских пословиц, например, о том, что делает ложка дегтя в бочке меда. Эту особенность важно учитывать в юридической практике, в дискуссиях – когда выстраивается сложная цепь мыслей, которая при одном ложном звене может распасться. С другой стороны, достаточно обнаружить хотя бы один ложный аргумент в доводах оппонента, чтобы опровергнуть все его рассуждение в целом.

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

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

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

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

Дизъюнктивные суждения широко распространены в практике мышления. Именно в них выражается логическая операция деления.

Условное или импликативное суждение – это сложное суждение, в котором суждения объединяются логическим союзом «если..., то» (символ « »), например: «Если правительство нарушает закон, то порождает неуважение к нему», «Если число делится на 2 без остатка, то оно четное». Условное суждение состоит из двух составляющих его суждений. Суждение, выраженное после слова «если» называется основанием или антецедентом (предыдущим), а суждение – после слова «то» называется следствием или консеквентом (последующим). Формула условного суждения: А В, где А – основание, В – следствие. При этом, суждения, выполняющие роль основания и следствия, сами по себе могут быть как простыми, так и сложными суждениями.

Образуя условное суждение, прежде всего, имеют в виду, что не может быть так, чтобы то, о чем говорится в основании имело место, а то, о чем говорится в следствии отсутствовало. Иными словами, не может случится, чтобы антецедент был истинным, а консеквент – ложным. Это и определяет то, что условное суждение истинно во всех случаях, кроме одного: когда предшествующее есть, а последующего нет (т.е. – суждение по форме А В – ложно только в одном случае, когда А – истинно, а В – ложно). Это выражено в таблице 1 – столбец 6.

В форме условных суждений выражают как объективные  зависимости одних объектов от других, так и права и обязанности  людей, связанные с теми или иными  условиями.

Эквивалентное суждение – это сложное суждение, в котором объединяются суждения с взаимной условной зависимостью. Поэтому они также называются двойной импликацией. Они образуются с помощью логического союза «если и только если..., то», который обозначается символом « ». Формула эквивалентности: А В, где А, В – суждения, из которых образуется эквивалентное суждение, например: «Человек имеет право на пенсию по возрасту, если и только если он достиг пенсионного возраста». В естественном языке, в том числе в экономических и юридических текстах, для выражения эквивалентных суждений используются грамматические союзы: «лишь при условии, что..., то», «только тогда, когда..., то», «в том и только в том случае, когда..., тогда».

Условия истинности эквивалентных суждений представлены в 7-ом столбце таблицы 1: эквивалентное суждение истинно в двух случаях – когда оба составляющих его суждения истинны или когда оба ложны. Иными словами, связь (отношение) между элементами эквивалентного суждения можно охарактеризовать как необходимую: истинность А достаточна для признания истинности В и наоборот; ложность А служит показателем ложности В и наоборот.

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

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

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

На  входе таблицы:

1. Выписывают все простые суждения (А, В, С, D...), входящие  в рассматриваемое сложное суждение. Пусть их число будет n.
2. Определяют число к строк в таблице по формуле к = 2ⁿ
3. В столбцах входа таблицы выписывают все возможные комбинации истинностных значений простых суждений в следующем порядке: в самом правом столбце чередуют и и л по одному; во втором справа столбце чередуют подряд два значения и и два значения л; в третьем столбце чередуют подряд четыре значения и и четыре значения л; в четвертом столбце – восемь значений и подряд и восемь значений л подряд и т.д.