на примере неопределенных суждений. Определенные суждения, которые тоже являются частными, подчиняются формуле «Только некоторые 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 осуществляется с двумя другими понятиями, связанными отношением импликации и отделенными круглыми скобками, опускать последние недопустимо (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). Та же ситуация просматривается в высказываниях «Грянул выстрел, и зверь упал» и «Зверь упал, и грянул выстрел». Очевидно, здесь учитывается фактор времени, согласно которому одно событие или действие, отраженное в сложном суждении, предшествует другому, отчего зависит смысл всего высказывания.
Логика абстрагируется от времени и оценивает суждение только с точки зрения его правильного построения, а также истинности либо ложности. В связи с этим приведенные выше высказывания являются эквивалентными, так как в каждом отдельно взятом случае истинны обе их части.
Таким образом, конъюнктивные высказывания в логике коммутативны, использование же в суждениях союза «и» с точки зрения языка (в случае, когда учитывается фактор времени) некоммутативно.
Несмотря на то что выше были указаны предлоги, при помощи которых образуется конъюнкция, нельзя говорить о том, что при отсутствии в суждении этих предлогов конъюнкция невозможна. Это не так. Зачастую в предложениях, представляющих собой сложные суждения, в качестве связок используются
