Отрицательное категорическое суждение не обладает свойствами утвердительного. В плане отражения свойств предмета эти два вида противоположны. Так, отрицательное суждение не говорит о наличии у предмета того или иного свойства, а дает нам представление о том, какого свойства у этого предмета нет. Таким образом, зачастую получается достаточно размытая картина. Зная только то, каким свойством не обладает предмет, весьма сложно судить о его природе. То есть выделить предмет из других гораздо проще, зная, какими свойствами он обладает, чем наоборот. Конечно, и отрицательное суждение может служить целям отражения определенного предмета, но чаще служит все же для уточнения.
Частноотрицательные суждения имеют структуру «Некоторые S не являются P». В суждении «Некоторые военнослужащие не являются инженерами» субъектом является понятие «военнослужащие», предикатом – «инженеры», кванторное слово – «некоторые».
Общеотрицательные суждения имеют структуру «Ни один S не является P». Суждение «Ни один человек не является птицей» является общеотрицательным. Здесь как субъект, так и предикат распределены полностью. Это связано с тем, что объемы понятий «человек» и «птица» не пересекаются, они полностью исключены один из другого.
26. Общие, частные, единичные суждения
Общие категорические суждения имеют структуру «Все S есть (не есть) P». Они могут быть выделяющими и исключающими. Первые на основе определенных признаков выделяют один предмет из группы других и рассматривают его отдельно. Таким образом, роль этого предмета, его связи, отношения с другими предметами рассматриваются несколько более основательно. Выделение предмета из класса других производится при помощи слова «только», которое употребляется во всех подобных суждениях. Примером могут быть следующие предложения: «Во всех комнатах дома как бы наступила зима, и только в гостиной было тепло» или «Только Иванов не сдал сессию вовремя».
Исключающие суждения также отделяют один предмет от группы других. В них присутствуют слова «за исключением», «кроме» и др. Например: «Все студенты сдали сессию вовремя, кроме Иванова»; «За исключением Луны, небесные тела не являются спутниками Земли». Исключающими понятиями следует считать также правила русского языка, математики, физики, логики, иностранных языков и других наук, содержащие исключения из общего.
Частные суждения можно отразить как «Некоторые S являются (не являются) Р». Учеными рассматривается точка зрения, относительно которой такие суждения могут быть неопределенными и определенными. По мнению исследователей, неопределенными суждениями являются те, которые не содержат более-менее точного указания на круг предметов, мнение о которых отражается в данных суждениях. Так, например, суждение «Некоторые автомобили являются спортивными» считают неопределенным, так как в нем мы не говорим, что спортивными следует признать все автомобили, но и не даем указания на то, что только часть автомобилей может считаться спортивными. Слово «некоторые», которое указывает на принадлежность данного суждения к частным, исследователи, придерживающиеся указанной точки зрения, считают недостаточным ограничением количества предметов, относительно которых выводится данное суждение. Для изменения смысла этого слова и получения определенных суждений предлагается уточнять их словом «только». Например, определенным будет суждение «Только некоторые автомобили являются спортивными».
Проводя линию рассуждения дальше, необходимо сказать, что формула «Некоторые S суть (не суть) Р» является общей для всех частных суждений и они могут быть положены в рамки этой формулы. Это видно на примере неопределенных суждений. Определенные суждения, которые тоже являются частными, подчиняются формуле «Только некоторые S суть (не суть) Р». В определенных частных суждениях можно встретить кванторные слова «немало», «несколько», «большинство», «меньшинство», «многие» и др.
Единичные категорические суждения имеют структуру «Это S суть (не суть) P». Соответственно, их субъектом является единичное понятие, т. е. понятие, объем которого исчерпывается лишь одним элементом. Единичными суждениями, таким образом, являются: «Москва – столица России»; «Дж. Лондон не является русским писателем»; «Солнце не является планетой».
27. Сложные суждения. Образование сложных суждений
Понятие сложных суждений неразрывно связано с конъюнкцией, дизъюнкцией, импликацией, эквиваленцией и отрицанием. Это так называемые логические связки. Они используются в качестве объединяющего звена, привязывающего одно простое суждение к другому. Именно так образуются сложные суждения. То есть сложные суждения – это суждения, созданные из двух простых.
Конъюнкция (a^b) – это способ связи простых суждений в сложные, при котором истинность полученного суждения напрямую зависит от истинности составных. Истинность таких суждений достигается только тогда, когда оба простых суждения (и a, и b) так же истинны. Если хотя бы одно из данных суждений ложно, то ложным следует признать и образованное из них новое, сложное суждение. Например, в суждении «Этот автомобиль очень качественный (a) и пробежал всего десять тысяч метров (b)» истинность зависит как от его правой стороны, так и от левой. Если оба простых суждения истинны, то истинно и сложное, образованное из них. В противном случае (если хотя бы одно из простых суждений ложно) оно является ложным.
Дизъюнкция (a Ъ b) бывает строгой и нестрогой. Отличие между этими двумя видами дизъюнкции состоит в том, что при нестрогом виде члены ее не исключают друг друга. Примером нестрогой дизъюнкции может быть: «Для получения заготовки деталь можно довести на станке (a) или предварительно обработать напильником (b)». Очевидно, что здесь а не исключает b и наоборот. Истинность подобного сложного суждения зависит от истинности его членов следующим образом: если ложны оба члена, ложным признается и образованное при их посредстве дизъюнктивное суждение. Однако, если ложно только одно простое суждение, такая дизъюнкция признается истинной.
Эквивалентнция характеризуется тем, что образованное сложное суждение истинно только в тех случаях, когда истинны оба простых суждения, входящих в его состав, и ложно при ложности обоих этих суждений. В буквенном выражении эквивалентность выглядит как a є b.
При отрицании суждения, отображающееся как a, истинно тогда, когда ложно отрицаемое понятие. Это связано с тем, что отрицание и отрицаемое простое суждение не только противоречат, но и исключают (отрицают) друг друга. Таким образом, получается, что, когда истинно понятие a, ложно понятие a. И наоборот, если ложно a, то отрицающее его a является истинным.
Импликация (a ® b) истинна во всех случаях, кроме одного. Другими словами, если оба входящих в импликацию простых суждения истинны или ложны либо если ложно суждение a, импликация истинна. Однако при ложности суждения b ложным становится и сама импликация. Это можно рассмотреть на примере: «Мы бросим исправный патрон в костер (a), он взорвется (b)». Очевидно, что если первое суждение верно, то верно и второе, так как взрыв патрона, брошенного в костер, произойдет с неизбежностью.
28. Выражение высказываний
Выражение высказываний происходит при помощи символов– переменных и знаков, обозначающих логические термины. Других символов для этой цели нет. Переменные высказывания выражаются в виде букв латинского алфавита (a, b, c, d и т. д.). Такие буквы называют переменными высказываниями, а также пропозициональными переменными. Говоря простым языком, под этой группой символов понимаются простые суждения, составляющие высказывание. Выражаются данные суждения в виде повествовательных предложений. Другая группа символов, использующаяся для выражения высказываний в виде формул, это знаки. Они обозначают логические термины, такие как конъюнкция и дизъюнкция, которая может быть строгой и нестрогой, отрицание, эквиваленция и импликация. Конъюнкция отображается в виде галочки, направленной вверх (^), дизъюнкция как галочка, направленная вниз (Ъ). При строгой дизъюнкции выше галочки ставится точка. Импликация имеет знак «®», отрицание (-), эквиваленция (є).
Последним видом символов, при помощи которых выражаются высказывания, являются круглые скобки.
Символы, обозначающие логические термины, типы связки, характеризуются разной силой. Так, связка ^ считается самой сильной, т. е. она связывает сильнее всех остальных. Связка Ъ сильнее, чем ®, что важно только в некоторых случаях. Так, определение силы связок становится немаловажным в случае записи формул без использования скобок. Если мы имеем высказывание, выраженное формулой (a^b)Ъc, можно не писать скобки, а прямо указывать, что a^bЪc. То же правило действует и при использовании символа ®.
Последним видом символов, при помощи которых выражаются высказывания, являются круглые скобки.
Символы, обозначающие логические термины, типы связки, характеризуются разной силой. Так, связка ^ считается самой сильной, т. е. она связывает сильнее всех остальных. Связка Ъ сильнее, чем ®, что важно только в некоторых случаях. Так, определение силы связок становится немаловажным в случае записи формул без использования скобок. Если мы имеем высказывание, выраженное формулой (a^b)Ъc, можно не писать скобки, а прямо указывать, что a^bЪc. То же правило действует и при использовании символа ®.
Однако данное правило справедливо не во всех случаях. То есть во многих случаях недопустимо опускать скобки. Например, когда конъюнктивная связка понятия a осуществляется с двумя другими понятиями, связанными отношением импликации и отделенными круглыми скобками, опускать последние недопустимо (a^(b ® c)). Это очевидно, так как в противном случае пришлось бы вначале осуществлять связку конъюнкции и только затем импликацию. Из школьного курса математики мы знаем, что опускать скобки в подобном случае нельзя. Иллюстрацией подобной ситуации может быть следующий пример: 2 × (2 + 3) = 10 и 2 × 2 + 3 = 7. Результат очевиден.
В связи со сказанным выше можно отметить, что далеко не каждое символьное выражение высказываний является формулой. Для этого необходимо наличие определенных признаков. Например, формула должна быть построена правильно. Примерами такого построения могут быть: (a^b), (a Ъ b), (a ® b), (a є b). Это построение отмечается как ППФ, т. е. правильно построенная формула. Примерами неправильно построенных формул могут быть: a^b, a Ъ b, Ъb, a ® b, (a^b) и др. В первых трех случаях неправильность формулы заключается в том, что понятия, объединенные связками, должны быть заключены в скобки. Последняя формула имеет незакрытую скобку, третий же пример характеризуется тем, что одно простое понятие не объединено с другим, несмотря на то что имеется символ дизъюнкции.
29. Коммуникативность коньюнкции
Логика – это, безусловно, самостоятельная наука, имеющая свой понятийный аппарат, инструментарий, информационную базу. Любая самостоятельная наука отделена от других и зачастую в корне отличается подходом к тому или иному предмету. Это следует иметь в виду, когда мы рассматриваем с точки зрения логики конструкции русского языка. Логика изучает такие построения более изолированно. Так, зачастую фактор времени не принимается в расчет при рассмотрении различных суждений. В русском языке фактор времени, в соответствующих случаях, учитывается всегда. Здесь следует сказать о коммутативности конъюнкции, которая неразрывно связана с указанными выше особенностями языка и логики. Коммутативность – это эквивалентность суждений (высказываний), когда (a^b) є (b^a). В языке закон коммутативности конъюнкции не действует, так как принимается во внимание фактор времени. Действительно, невозможно себе представить эквивалентность некоторых суждений, одно из которых по времени раньше другого, и наоборот. Например, не будут эквивалентны высказывания «Пошел дождь, и мы промокли» (a^b) и «Мы промокли, и пошел дождь» (b^a). Та же ситуация просматривается в высказываниях «Грянул выстрел, и зверь упал» и «Зверь упал, и грянул выстрел». Очевидно, здесь учитывается фактор времени, согласно которому одно событие или действие, отраженное в сложном суждении, предшествует другому, отчего зависит смысл всего высказывания.
Логика абстрагируется от времени и оценивает суждение только с точки зрения его правильного построения, а также истинности либо ложности. В связи с этим приведенные выше высказывания являются эквивалентными, так как в каждом отдельно взятом случае истинны обе их части.
Таким образом, конъюнктивные высказывания в логике коммутативны, использование же в суждениях союза «и» с точки зрения языка (в случае, когда учитывается фактор времени) некоммутативно.
Несмотря на то что выше были указаны предлоги, при помощи которых образуется конъюнкция, нельзя говорить о том, что при отсутствии в суждении этих предлогов конъюнкция невозможна. Это не так. Зачастую в предложениях, представляющих собой сложные суждения, в качестве связок используются разные знаки препинания. Например, это может быть запятая или тире, а иногда и точка.
Используемые в высказываниях знаки препинания ставятся между простыми суждениями и связывают их друг с другом. В качестве примера использования знаков препинания как логических связок можно привести предложение «Тучи разошлись, выглянуло солнце» или «На улице ударил мороз, вся живность попряталась, на крышах образовались сосульки». В целом вопросами языкового выражения конъюнкции занимались многие ученые. Поэтому данный вопрос хорошо проработан и освещен.
30. Отрицание сложных суждений
Отрицание суждения в логике – это замена существующей связки внутри сложного высказывания на другую, противоположную последней. Если мы говорим о формуле, в которой можно выразить отрицание сложных суждений, то нужно отметить, что отрицание графически выражается как горизонтальная черта над отрицаемым суждением. Таким образом, мы получим два понятия, объединенных логической связкой, над которыми проведена горизонтальная черта. Если такая черта уже есть, то для осуществления отрицания необходимо такую черту удалить.
Все сказанное выше относится к операциям, производимым с применением конъюнкции и дизъюнкции. Однако сказанное выше не означает, что отрицание сложных суждений возможно, только если они содержат исключительно связки конъюнкцию и дизъюнкцию. В случае, если необходимо осуществить операцию отрицания по отношению к суждению, содержащему импликацию, необходимо заменить это суждение так, чтобы при отсутствии каких-либо его изменений отбросить импликацию. Это означает, что необходимо подобрать суждение, эквивалентное данному, которое при этом не содержало бы импликации. Когда мы говорим о суждении, эквивалентном содержащему импликацию, но не содержащему ее, подразумевается замена этой связки на конъюнкцию или дизъюнкцию. Графически это выглядит как (a ® b) є (a Ъ b). Затем производится описанная выше операция, при которой знак конъюнкции меняется на дизъюнкцию, и наоборот.
Обычно в речи выражение отрицания сводится к добавлению приставки «не». Действительно, так как указанная приставка является отрицательной, ее применение для установления противоположности вполне оправдано.
Необходимо упомянуть о законах де Моргана. Они применяются в процессе отрицания сложных суждений и имеют формульное выражение. Таких законов и, соответственно, формул всего четыре:
1) a ^ b є a Ъ b;
2) a ^ b є a Ъ b;
3) a Ъ b є a ^ b;
4) a Ъ b є a ^ b.
Рассмотрев сказанное выше, можно отметить, что отрицание сложного суждения, где содержится конъюнкция или дизъюнкция, является «простым» вариантом, при котором достаточно лишь проведения операции отрицания.
Формула, образованная при помощи законов де Моргана, выглядит следующим образом:
(a ^ b) Ъ (c ^ e) є (a Ъ b) ^ (c Ъ e).
31. Модальность суждений
Модальное суждение – это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.
Изучаются модальные суждения в рамках модальной логики, которая неоднородна по своему содержанию и разделена на несколько ветвей. Среди них: логика времени, логика действия, логика норм, деонтическая логика, логика принятия решений и др.
С точки зрения классической логики, то или иное суждение можно назвать ассерторическим или модальным. Модальные суждения можно назвать уточняющими. Суждения такого вида не просто дают характеристику того или иного предмета, описывают, определяют его и присущие ему свойства, но и уточняют, дополняют такую характеристику. В упрощенном виде можно говорить о том, что модальные суждения выражают наше отношение к рассматриваемому объекту. Разумеется, эта особенность модальных суждений отражается в естественном языке. Так, в отличие от ассерторических суждений (читай – простых) модальные содержат ряд специальных слов. Например, «доказано», «обязательно», «возможно», «хорошо», «плохо» и др.
Модальные суждения – это суждения, в которых отражаются отношения и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных операторов.
Таким образом, ассерторические суждения – это простые суждения, в которых утверждается или отрицается определенная информация относительно того или иного предмета. Они характеризуются также тем, что говорят об отношениях между предметами, отраженными в них. Таких предметов может быть два или несколько. Чтобы пояснить сказанное выше, приведем пример: «Все профессиональные лыжники – спортсмены». В данном суждении соотносятся понятия «профессиональные лыжники» и «спортсмены», причем первое уже второго и полностью включено в его объем, зато богаче по содержанию, в силу того что имеет больше признаков. Модальное суждение в отличие от ассерторического указывает на доказанность или недоказанность того, что отражено в суждении, необходимость связи между предметами или ее случайность, отношение к предмету суждения с точки зрения морали, нравственности и т. д. Модальные суждения имеют структуру: M (S есть (или не есть) P).