17. Виды суждений. Единичные, частные и общие суждения.

Общие, частные, единичные суждения

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

Исключающие суждения также отделяют один предмет от группы других. В них присутствуют слова «за исключением», «кроме» и др. Например: «Все студенты сдали сессию вовремя, кроме Иванова»; «За исключением Луны, небесные тела не являются спутниками Земли». Исключающими понятиями следует считать также правила русского языка, математики, физики, логики, иностранных языков и других наук, содержащие исключения из общего.

Частные суждения можно отразить как «Некоторые S являются (не являются) Р». Учеными рассматривается точка зрения, относительно которой такие суждения могут быть неопределенными и определенными. По мнению исследователей, неопределенными суждениями являются те, которые не содержат более-менее точного указания на круг предметов, мнение о которых отражается в данных суждениях. Так, например, суждение «Некоторые автомобили являются спортивными» считают неопределенным, так как в нем мы не говорим, что спортивными следует признать все автомобили, но и не даем указания на то, что только часть автомобилей может считаться спортивными. Слово «некоторые», которое указывает на принадлежность данного суждения к частным, исследователи, придерживающиеся указанной точки зрения, считают недостаточным ограничением количества предметов, относительно которых выводится данное суждение. Для изменения смысла этого слова и получения определенных суждений предлагается уточнять их словом «только». Например, определенным будет суждение «Только некоторые автомобили являются спортивными».

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

18. Логический квадрат. Его значение.

ЛОГИЧЕСКИЙ КВАДРАТ

ЛОГИЧЕСКИЙ КВАДРАТ (квадрат противоположностей) — ди­аграмма, служащая для мнемонического запоминания некото­рых логических соотношений между общеутвердительными (A), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О). Логический квадрат пока­зан на рисунке. Противоречащие, контрадикторные суждения (А и О; Е и I) не могут быть одновременно истинными и ложными: если одно из них истинно, то другое ложно. Так, если суждение "Все металлы являются электропроводными" (A) истинно, то суж­дение "Некоторые металлы не являются электропроводными" ложно. Если суждение "Некоторые металлы не являются твер­дыми" (О) истинно, то суждение "Все металлы являются твер­дыми" (А) ложно.

Противные суждения (A и Е), в отличие от противоречащих, могут оба оказаться ложными, но не могут быть оба истинными. Так, суждения "Все студенты являются шахматистами" (A) и "Ни один студент не является шахматистом" (Е) оба ложны. При ис­тинности же одного из них второе является ложным. Так, если суждение "Все кенгуру являются млекопитающими" (A) истин­но, то суждение "Ни один кенгуру не является млекопитающим" (Е) ложно. Подпротивные суждения (I и О) не могут быть одно­временно ложными. Так, если суждение "Некоторые металлы не являются электропроводными" (О) ложно, то суждение "Неко­торые металлы являются электропроводными" (I) (т. е. "Суще­ствуют металлы, которые электропроводны") является истин­ным. Подпротивные суждения могут оказаться и оба истинными. Таковы суждения "Некоторые металлы являются твердыми" (O)

и "Некоторые металлы не являются твердыми" (О).

Суждения, находящиеся в отно­шении подчинения (A, I и Е, О), от­личаются, напр., тем важным свой­ством, что при истинности общих суждений соответствующие им час­тные также являются истинными. Так, истинность суждения "Все газы являются сжимаемыми" (A) влечет истинность подчиненного ему суж­дения (I) "Некоторые газы являют­ся сжимаемыми".

19. Деление суждений по отношению.

20. ДЕЛЕНИЕ СУЖДЕНИЙ ПО МОДАЛЬНОСТИ

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

ассерторическими, а также составленные из простых сложные суждения. В них

утверждается или отрицается наличие определенных связей между предметом и его

свойствами или констатируется отношение между двумя или большим числом

предметов.

В этих ассерторических суждениях не установлен характер связи между субъектом и

предикатом. Помимо ассерторических существуют модальные суждения, в которых

уточняется или квалифицируется характер связи между S и P или

характер связи между отдельными простыми суждениями в сложном суждении.

Модальные суждения не просто утверждают или отрицают некоторые связи, а дают

оценку этих связей с какой-то точки зрения.

Модальными простыми суждениями называют простые суждения, выражающие

характер связи между субъектом и предикатом с помощью модальных операторов

(модальных понятий).

Модальными сложными суждениями называют сложные суждения, выражающие

характер связи между составляющими их простыми суждениями с помощью модальных

операторов (модальных понятий).

Модальные высказывания изучаются в модальной логике, в которой имеются

отдельные разделы (или ветви): логика норм, логика времени, деонтическая

логика, логика действия, логика принятия решения и другие виды логик. В

модальной логике модальность суждений выражается различными модальными

операторами (категориями модальности): «доказуемо», «опровержимо»,

«запрещено», «необходимо», «невозможно» и т.п.

Логические модальности и онтологические модальности объединяются в общий вид

– алетические модальности. Они включают такие модальные операторы, или

категории модальности: необходимость и случайность, возможность и

невозможность. Слова «необходимо», «возможно», «случайно» в обыденном языке

употребляется в самых различных смыслах.

21.Отношения между суждениями

Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристиках, как смысл и истинность суждений. В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, то есть теми, которые имеют общий смысл. Сравнимыми среди простых суждений являются такие, которые имеют одинаковые термины и различаются по количеству и по качеству. Несравнимыми среди простых суждений являются такие, которые имеют различные субъекты и предикаты. Сравнимые суждения делятся на совместимые и несовместимые. Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости. 1. Эквивалентные суждения выражают одну и ту же мысль в различной форме. Например, «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля». 2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми». 3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например, «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны оставаться без ответа». В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости: - при истинности общего суждения частное всегда будет истинным; - при ложности частного суждения общее суждение также будет ложным; - при ложности общего суждения частное неопределенно; - при истинности подчиненного частного суждения общее неопределенно. Перейдем к рассмотрению отношений между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости. 1. Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например, «Все адвокаты юристы», «Ни один адвокат не является юристом». Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обязаны соблюдать закон» сразу же делает ложным суждение «Ни один гражданин не обязан соблюдать закон». При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным. 2. Противоречие как несовместимость характерно для суждений, исключающих друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. Например, «Все судьи являются подкупными» и «Некоторые судьи не являются подкупными». Отношение между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации. Вершины квадрата обозначают вид суждения А, Е, О, I; стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть отношение между А и Е - противоположность; нижняя сторона - отношение между I и О - частичная совместимость; две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I -противоречие. Сравнимые среди сложных - это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание. Например, «Норвегия или Швеция являются членами НАТО» и «Неверно, что Норвегия и Швеция являются членами НАТО». Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них - разделительное суждение, второе - отрицание соединительного суждения. Наличие общих составляющих позволяет сопоставить их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных являются суждения, которые частично или полностью различаются составляющими их простыми суждениями. Например, нельзя сравнивать следующие два суждения: «Гражданин Российской Федерации не может быть лишен своего гражданства или права изменить его» и «Человек, его права и свободы являются высшей ценностью». Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями. Между сложными суждениями складываются такие же виды отношений, как между простыми. Характеры этих отношений определяются с помощью таблиц истинности