Деление суждений по качеству и количеству.

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

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

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

Логическая связка суждения считается отрицательной только в тех случаях, когда отрицательная частица «не» стоит перед связкой. Если же эта частица стоит после связки, то она входит в состав предиката, а суждение относится к разряду утвердительных. Например: «Творчество этого автора страдает безвкусицей» или «Мировоззрение Л.Н. Толстого содержит идею непротивления злу», и т.д.

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

По количеству категорические суждения делятся на единичные,частные и общие. За критерий деления при этом берётся предмет мысли, который по объёму содержит или единичные явления, или часть явлений какого – либо класса, или все явления данного класса.

Единичные суждения – это те, объём субъекта которых содержит только один элемент (индивидуальная вещь, явление, событие, и т.д.). Например: «Харьков – первая столица Украины», «Д.И. Менделеев – основатель периодической системы элементов», «Саша – студент первого курса» и т.д..
Частные суждения характеризуются тем, что содержание предиката относится только к части объёма субъекта. Например: «Некоторые из нас автолюбители», «Большинство людей предпочитают развлечения» и т.д.. Частные суждения включают в себя «некоторые», «часть», «большинство», «меньшинство» и т.д.. Те частные суждения, где количественная сторона известна лишь частично (по крайней мере, некоторые), называются неопределёнными частными суждениями. Н6апример, мы опросили часть студентов группы и теперь можем сказать «некоторые студенты этой группы занимаются спортом». Под словом «некоторые» мы здесь понимаем «по крайней мере некоторые, а может быть и все». Другие частные суждения , где слово «некоторые» употребляется в точно определённом смысле, называетсяопределёнными частными суждениями. Например: «Некоторые студенты группы являются победителями олимпиады», или «Некоторые государства являются монархиями» и так далее.

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

2 Объединённая классификация суждений по качеству и количеству.

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

В объединённой классификации суждения делятся на четыре вида.

1. Общеутвердительные суждения. Это суждение является общим по количеству и утвердительным по качеству. Символически эти суждения записываются следующим образом: «Все S есть P», где количественная («все») и качественная («есть») стороны суждения явно выражены в языке. Например: «Все звёзды светятся собственным светом», «Все птицы имеют крылья», «Все студенты сдают экзамены», и т. п.. Сокращённо общеутвердительные суждения обозначаются буквой А (первой буквой от латинского слова affirto, что в переводе означает утверждаю).

2. Общеотрицательные суждения. Это суждение является общим по количеству и отрицательным по качеству. Обобщённая формула этого суждения такова: «Ни одно S не естьP», где количественная («ни одно») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Ни одна нация не может существовать без общего языка», или «ни один организм не может жить без пищи» и так далее.. Общеотрицательные суждения символически обозначается буквой Е (взята первая гласная буква от латинского слова nego, что в переводе означает отрицаю).

3. Частноутвердительное суждение. Это суждение является частным по количеству и утвердительным по качеству. Его обобщённая формула выглядит так: « Некоторое S есть P», где количественная («некоторые») и качественная («есть») стороны суждения явно выражены в языке. Например: «Некоторые студенты являются отличниками», или «Некоторые рыбы летают» и так далее.. Сокращённо частноутвердительные суждения обозначаются I (вторая гласная буква от латинского слова affirto).

4. Частноотрицательные суждения. Это суждения является частным по количеству и отрицательным по качеству. Его символическая формула такова: «Некоторые S не есть P», где количественная («некоторые») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Некоторые страны Африки не являются мусульманскими», или «Некоторые студенты не посещают задания занятия в спортивных секциях» и т. п.. Эти суждения обозначаются буквой O (второй гласной буквы от латинского слова nego).

Единичные суждения из объединённой классификации категорических суждений в самостоятельную группу не выделяются. По своей логической характеристике с точки зрения количества все единичные суждения относятся к общим суждениям: либо к общеотрицательным. Например: «Т.Г. Шевченко является великим украинским поэтом» является общеутвердительным суждением (А), так как предикат («великий украинский поэт») относится ко всему субъекту («Т.Г. Шевченко»). Другое суждение: «У. Шекспир не был великим путешественником» относится к общеотрицательным суждениям (Е), так как предикат («великий путешественник») полностью исключает из всего объёма субъекта («У. Шекспир»).

23 Деление суждений по модальности
В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из простых сложные суждения. В них утверждается или отрицает­ся наличие определенных связей между предметом и его свой­ствами или констатируется отношение между двумя или боль­шим числом предметов. Например: “Школьники - учащиеся”;
“В прямоугольном треугольнике сумма квадратов катетов рав­на квадрату гипотенузы, т. е. а2 + b2 = с2; “Объем конуса равен 1/3 площади основания, умноженной на высоту”; “Яблоко слад­кое и красное”; “Я эту работу не выполню в срок”; “Если будет плохая погода, то мы не поедем на теплоходе” и др. Общая фор­ма таких простых высказываний (суждений): “S есть (не есть) Р”. Из простых суждений образуются сложные, например: “Если S есть (не есть) Р, то S1 ,есть (не есть) Р1”.
В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Помимо ассерторичес­ких существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и Р или характер свя­зи между отдельными простыми суждениями в сложном сужде­нии. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: “Обязательно, что все школь­ники - учащиеся”; “Доказано, что в прямоугольном треуголь­нике сумма квадратов катетов равна квадрату гипотенузы”;
“^ Хорошо, что яблоко сладкое и красное”; “Возможно, что я эту работу не выполню в срок”; “Вероятно, что если будет пло­хая погода, то мы не поедем на теплоходе”. Мы видим, что мо­дальные суждения не просто утверждают или отрицают некото­рые связи, а дают оценку этих связей с какой-то точки зрения.
О предмете ^ А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случай­ной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т. д. В результа­те таких уточнений мы получаем модальное суждение различ­ных типов. Приведем еще примеры модальных суждений: “Воз­можно, на Марсе есть жизнь”; “Доказано, что в современных условиях невозможна ограниченная ядерная война”. В модаль­ном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно, доказано, необходимо, запрещено, обязательно, плохо и др. Стру­ктура простых модальных суждений такая:
М (S есть Р) или М (S не есть Р),
где М обозначает модальный оператор (модальное понятие).
Но как было уже сказано, модальными могут быть и слож­ные суждения. Если а и b - простые суждения, то из сложных ассерторических суждений:
а ^ b, а b, а ? b, а b, а bможно получить соответствующие сложные модальные суждения:
М(а ^ b); М{а U b); M(a ?b}; М(а ± b); М{а b).
В каждом из этих пяти типов сложных модальных суждений модальный оператор М может быть заменен его разновидно­стями. Например, из сложного ассерторического суждения “Если в почву внести удобрения, то урожай повысится” можно полу­чить такие модальные суждения: “Доказано, что если в почву внести удобрения, то урожай повысится”, “Хорошо, если в поч­ву внести удобрения, тогда урожай повысится” и др.
Проиллюстрировав многочисленными примерами, что пред­ставляет собой модальное суждение, можно дать определение понятиям “модальное простое суждение” и “модальное слож­ное суждение”.
^ Модальными простыми суждениями называют простые суж­дения, выражающие характер связи между субъектом и предика­том с помощью модальных операторов (модальных понятий).
^ Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).

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

В модальной логике модальность суждений выражается раз­личными модальными операторами (категориями модальности):

“доказуемо”, “опровержимо”, “запрещено”, “необходимо”, “невозможно” и т. п. В настоящее время современной модальной логикой изучены многие виды модальностей, и те из них, кото­рые сравнительно хорошо изучены, систематизированы в следу­ющей таблице, предложенной А. А. Ивиным'. В каждую из групп модальностей входят три основных модальных понятия. Второе из них называется слабой характеристикой, первое и третье -сильной положительной и сильной отрицательной характеристи­ками соответственно. Иногда в дополнение к трем основным мо­дальным понятиям вводится четвертое, которое может употреб­ляться вместо них для обозначения объединения сильного поло­жительного и нейтрального.

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

Схема 2 построена так, что дает классификацию суждений с учетом не формы (структуры) суждения, а его со­держания. Ассерторические простые суждения делятся на три вида: суждения свойства, суждения существования и суждения с отношениями. Подразделение сложных суждений не проводится, так как оно такое же, как в схеме 1 (т. е. конъюнктивные слож­ные суждения, дизъюнктивные и т. д.). Модальные простые и сложные суждения могут быть подразделены на основании вида модальности, отраженной в суждении: суждения, содержащие эпистемические модальности, деонтические модальности и т. д. Отдельно выделены суждения, содержащие другие модально­сти, ибо не все модальности еще достаточно хорошо изучены и не все они могут быть перечислены. Правила деления понятий (и соответственно правила классификации) предусматривают (разрешают) введение в качестве отдельной группы других чле­нов деления, когда число членов деления велико либо не все виды делимого родового понятия достаточно изучены или известны.