сказываний
Под высказыванием (суждением) понимают форму мысли, которая выражает соответствие или несоответствие ее действительности. Так, еще великий античный философ Платон утверждал, что "тот, кто говорит о вещах в соответствии с тем, каковы они есть, говорит истину, тот же, кто говорит о них иначе - лжет".
В традиционной логике, которая ограничивалась изучением связи между вещами и их свойствами, общепринятым считался термин "суждение", в современной же логике предпочитают говорить скорее о высказываниях. Однако эти термины рассматриваются как синонимы, и поэтому в дальнейшем мы будем употреблять их как равнозначные.
Высказывания входят в качестве составной части в любое умозаключение либо как посылка, либо как результат рассуждения. Между посылками и заключением любого рассуждения существует определенная логическая связь. В дедуктивных умозаключениях, которые мы будем рассматривать в этой и последующих главах, эта связь имеет характер логического следования или вывода, в правдоподобных - характер вероятностного отношения, когда посылка лишь с той или иной степенью правдоподобия подтверждает заключение.
Современная дедуктивная логика начинает изучение высказываний, отвлекаясь от их внутренней структуры, и рассматривает их либо как истинные, либо как ложные. Как мы убедимся далее, именно такой подход служит основой для построения исчисления высказываний и позволяет обращаться с рассуждениями, как с вычислениями. В дальнейшем этот подход, ограниченный и слишком абстрактный, может быть преодолен путем снятия подобных ограничений. Именно в этих целях строится логика предикатов, в которой рассматривается логическая связь между предметами и характеризующими их предикатами. Однако в отличие от традиционной логики под предикатами сейчас подразумеваются не только свойства, но и различные отношения между предметами.
Хотя в высказываниях в качестве терминов включаются и понятия, но они в познании играют совсем иную роль. Как мы убедились ранее, понятия отделяют одни классы предметов от других по их отличительным признакам. В языке они выражаются одним именем, представляющим собой либо отдельное слово, либо сочетание слов. Высказывания же формулируются с помощью предложений.
3.1. Высказывание и предложение
Любая мысль становится доступной для понимания других людей только тогда, когда она выражается в языке, в устной или письменной речи. Формой выражения высказываний являются предложения, но не всякое предложение выражает высказывание. Если я спрашиваю: "Какая сегодня погода?", то этим не утверждаю и не отрицаю какой-либо мысли о действительности. Точно так же, когда прошу закрыть дверь, я тоже не высказываю какого-либо суждения. Отсюда становится ясным, что формой выражения суждений в языке являются повествовательные предложения.
Суждение (высказывание) можно определить как форму мысли, в которой нечто о действительности утверждается или отрицается. Более развернуто: в суждении утверждается или отрицается наличие связей между предметами и их свойствами, а также отношений между самими предметами.
Очевидно, что утверждения о свойствах и отношениях по своей логической структуре различны, но грамматически они выражаются повествовательными предложениями. Например, предложение "Эта осень - сухая", выражает мысль о свойстве настоящей осени, а предложение "3 больше 2." - устанавливает отношение между указанными натуральными числами.
Сама по себе мысль, пока она не выражена в языке, остается для нас неизвестной. Именно поэтому вместо суждения нередко пользуются более нейтральным термином "высказывание", который подчеркивает, что речь идет именно о мысли, сформулированной, высказанной, которая переводится предложением в сферу языка. В связи с этим возникает вопрос, следует ли понимать под высказыванием мысль вместе с предложением, как средством языкового выражения мысли.
На этот вопрос ученые отвечали по-разному, и он был предметом многочисленных дискуссий. Если не отделять мысль от средств ее выражения, то одна и та же мысль, высказанная на разных языках, будет представлять разные суждения. Но в таком случае были бы невозможны передача мысли и перевод с одного языка на другой. Поэтому критики этой точки зрения, среди которых можно назвать таких выдающихся логиков, как Г.В. Лейбниц, Б. Больцано, Г. Фреге и другие, заявляли, что мысль и суждение следует рассматривать в абстракции, отвлечении от средств ее выражения. Одна и та же мысль может звучать и формулироваться по-разному в различных языках, но ее содержание или смысл можно рассматривать как некоторую абстракцию, взятую отдельно от ее языкового выражения.
Как уже отмечалось в предыдущей главе, нередко в обычной речи не проводят четкого различия между смыслом и значением языкового выражения, вследствие чего могут возникнуть неясность и даже путаница. Чтобы избежать их, в логике под значением языкового выражения понимают тот предмет, который оно обозначает, а смыслом называют содержание или информацию, которую оно сообщает.
Смысл высказывания выражается содержанием или информацией, которую оно сообщает. Однако в отличие от конкретных имен, которые обозначают реальные предметы, высказывания имеют своими значениями абстрактные объекты: "истину" и "ложь".
Принципиальное отличие между суждениями (высказываниями), как логическими категориями, и предложениями, как категориями грамматическими, состоит в том, что только суждения в строгом смысле слова могут рассматриваться как истинные и ложные, предложения же могут характеризоваться как правильно или неправильно построенные.
Такое различие непосредственно вытекает из того, что суждение мы определяем как мысль, относящуюся к действительности, которая утверждает или отрицает наличие свойств у предметов или отношения между самими предметами. Если предметам в действительности присуще такое свойство или отношение, то суждение будет истинным, в противном случае - ложным. Поскольку суждение выражается предложением, постольку иногда говорят об истинности и ложности предложений, хотя это и неверно.
3.2. Логическая структура высказываний
Различие между высказываниями и предложениями проявляется в их структуре. Грамматическая структура повествовательных предложений состоит из подлежащего, сказуемого и второстепенных членов предложения. В логике суждения также расчленяют на субъект, играющий роль логического подлежащего, и предикат - логическое сказуемое. Если субъект обозначает предмет мысли, то предикат характеризует свойства, присущие предмету, или же отношения между предметами. Введение отношений на первый план выдвигает
предикат, ибо в этом случае нельзя выделить индивидуальный субъект, к которому бы относилось данное отношение. Например, когда мы говорим, что "Эльбрус выше Монблана." или "5 больше 3.", то отношение "выше" относится к обеим горным вершинам, а отношение "больше" - к двум числам. Напротив, в суждениях "Эльбрус - горная вершина." или "5 - нечетное число." их предикаты относятся к одному определенному субъекту. Часто поэтому при сравнении суждений и предложений под первыми подразумевают атрибутивные суждения традиционной логики. Атрибутивными (лат. atributum - предназначенное, наделенное, присовокупленное) они называются потому, что выражают принадлежность или непринадлежность свойства предмету. Так, в суждении "железо - металл" свойства металла признаются неотъемлемыми признаками железа, а в суждении "2 - четное число" - свойство четности для числа 2. Такие свойства называются атрибутивными именно потому, что они признаются атрибутами рассматриваемых предметов, т.е. необходимо присущими или неприсущими им.
Большинство суждений, с которыми мы встречаемся в науке и особенно в повседневной жизни, являются атрибутивными. В аристотелевской логике именно такие суждения только и анализировались. Их логическая структура может быть выражена схемой:
S есть Р,
где S обозначает субъект, т.е. предмет мысли, а Р - предикат, который обозначает свойство, которое присуще предмету мысли; термин "есть (или "суть") - логическую связь между субъектом и предикатом, т.е. принадлежность свойства предмету.
Если такая связь отсутствует, то суждение будет отрицательным и выражается схемой:
S не есть Р или S есть не-Р.
В реляционных (лат. relatio - отнесение) суждениях, суждениях об отношениях, которые стали изучаться в середине прошлого века, речь идет об отношениях между различными предметами. Так, в суждении "Тверь находится между Санкт-Петербургом и Москвой" характеризуется отношение в пространстве, которое существует между указанными городами; в суждении "Эльбрус выше Монблана" - отношение по высоте между горными вершинами; в суждении "Михаил - брат Георгия" - отношение родства между братьями. Чаще всего суждения об отношениях встречаются в математике; с их исследования и началась разработка логики отношений.
В современной логике свойства и отношения обозначаются общим термином "предикат" (лат. praedicatum - сказуемое), в котором различают число мест. Так, свойство называют одноместным предикатом, а отношение "больше, чем" или "выше, чем", "старше, чем" и т.д. - двухместным (бинарным) отношением. Более подробно речь об отношениях пойдет в следующей главе, здесь же мы продолжим рассмотрение суждений традиционной логики по качеству и количеству.
Термин "качество" употребляется в логике исключительно для характеристики принадлежности или непринадлежности свойств предмету.
По качеству суждения могут быть утвердительными или отрицательными. Как показывает само их название, утвердительными называются суждения, в которых говорится ("утверждается") о принадлежности свойства предмету или присущности предиката субъекту, т.е. S есть Р. Например, "все металлы - проводники электричества", "логика - наука", "некоторые грибы ядовиты".
Отрицательными называются суждения, в которых отрицается наличие свойства у предмета (неприсущность предиката субъекту), т.е. S не-есть Р или S есть не-Р. Например, "ничто человеческое мне не чуждо", "кит - не рыба", "астрология - не наука". Формально отрицательные суждения могут быть преобразованы в утвердительные, в которых перед предикатом стоит отрицание:
S есть не-Р.
По количеству суждения делятся на общие, частные и единичные. Поскольку в суждении выражается наличие или отсутствие свойства (отношения) у предметов, мы можем выделить среди них такие, в которых интересующее нас свойство (отношение) принадлежат всем, нескольким и даже единичному предмету. Очевидно, что отношение требует наличия по меньшей мере двух предметов, тогда как принадлежность свойства предполагает существование всего одного предмета. Характеристика суждений по количеству описывает область их применения, т.е. их значение (денотат). Эта область может состоять из всех предметов класса, или некоторых, или даже одного предмета. Так, суждение "все металлы электропроводны" будет называться общим, суждение "некоторые рыбы - летающие" - частным, суждение "Москва - столица России" - единичным. Поскольку общие и частные суждения могут быть утвердительными и отрицательными, их можно классифицировать на четыре группы:
1) общеутвердительные, представляемые схемой: "все S есть Р". В них свойство или предикат относится к каждому предмету, входящему в класс;
2) общеотрицательные представляются схемой: "ни одно S не есть Р";
3) частноутвердительные: "некоторые S есть Р";
4) частноотрицательные: "некоторые S не есть Р".
Такая классификация пригодится нам при изучении силлогизмов в следующей главе.
Изучение логической структуры суждений позволяет выделить их логическую форму. В этих целях мы абстрагируемся, отвлекаемся от конкретного содержания и смысла предложений, с помощью которых они выражены в языке, и сосредоточиваем внимание только на том, как логически связаны элементы суждения друг с другом. Именно так подошел к анализу суждений основатель классической логики Аристотель, который использовал для обозначения логических терминов некоторые символы. Однако его формализация естественного языка была неполной и ограниченной. Для того чтобы выявить логическую форму высказывания или рассуждения, выраженного на естественном языке, необходимо отвлечься от дескриптивных (описательных) терминов языка и представить их как переменные - наподобие переменных величин математики. В результате мы получим скелет высказывания или рассуждения, в котором сохраняются лишь логические термины и отношения между ними.
Таким образом, для выявления логической формы необходимо располагать формализованным языком, т.е. построить символический, искусственный язык, который нередко отождествляют с исчислением.
Формализованный логический язык строится не столько для сокращения записей и удобства общения, сколько для обоснования правильности рассуждений, которые осуществляются на естественном языке. Еще в прошлом веке известный немецкий логик и математик Готлоб Фреге обращал внимание на то, что искусственные языки, в частности в математике и логике, строятся в ущерб легкости и краткости общения, в чем вы убедитесь после знакомства с символическими языками логики.
Знакомство с такими языками мы начнем с логики высказываний. Это простейший язык, в котором совершенно отвлекаются от внутренней логической структуры высказывания и рассматривают его как нечто целое: каждое высказывание характеризуется только с точки зрения его истинностного значения, т.е. как истинное или ложное. Сами высказывания мы будем обозначать переменными х, у, z,..., х1, у1, zi. Каждая переменная может принимать только два значения: "истину" и "ложь", которые можно обозначить как 1 и 0. Элементарные (атомарные) высказывания могут объединяться в сложные (молекулярные) высказывания с помощью логических операторов, которые называют также связками, коннекторами или константами. Как мы увидим в дальнейшем, они приблизительно соответствуют некоторым грамматическим союзам. Зная истинностное значение элементарных высказываний и правил оперирования логическими связками, можно легко определить истинностное значение сложных высказываний, которые будут выступать как определенные логические функции. Подобно тому как в математике путем задания аргументов вычисляют значение математической функции, в логике высказываний определяют значение логической функции, образованной из элементарных (атомарных) высказываний. Аналогия с терминологией, заимствованной из химии, наглядно показывает, как сам процесс образования молекулярных высказываний из атомарных, так и в особенности тот факт, что высказывание, являющееся элементарным, считается далее неразложимым на части.
Нетрудно понять, что такое представление о высказывании крайне упрощает дело и является абстракцией, но оно дает возможность лучше понять структуру рассуждений на простейшем уровне. В дальнейшем можно вносить уточнения, дополнения в эту структуру, чтобы выразить реальную внутреннюю связь между элементами высказываний. Как мы покажем в гл. 5, именно для этого строится логика предикатов, где в рассуждениях учитывается внутренняя структура высказываний. Указанный способ анализа дает возможность понять, как происходит переход от простых логических систем к сложным, посредством увеличения истинностных значений и введения дополнительных логических операций. Это относится прежде всего к числу истинностных значений высказываний. Наряду с привычными двумя значениями истинности (истина и ложь) классической логики в современной неклассической логике рассматривают несколько значений истинности, например "истинно", "ложно" и "неопределенно". В вероятностной (индуктивной) логике оперируют даже бесконечным количеством значений истинности, поскольку вероятность имеет непрерывную шкалу значений в интервале 0 ≤X≤1.
Кроме того, высказывания можно анализировать не по их истинностному значению, а оценивать с точки зрения обоснованности содержащегося в нем знания или отношения к нему познающего субъекта посредством модальных категорий. О них мы подробнее скажем в конце этой главы. Классическая двузначная логика является простейшей логической системой, в которой легче всего понять, как образуются сложные высказывания из простых и как определяются сами логические операции над ними.
3.3. Способы образования сложных высказываний
Сложные суждения образуются из простых двумя основными способами:
1) путем квантификации высказываний;
2) объединением простых или элементарных высказываний с помощью логических связок или операторов.
Первый способ представляет собой метод получения общих суждений путем использования логических кванторов, характеризующих объем суждения. Прежде чем перейти к его обсуждению, рассмотрим понятие функции-высказывания, которое играет важную роль в логике.
Высказывания в функции-высказывании оцениваются с точки зрения их истинностного значения, поэтому такая функция называется также истинностной функцией. Она образуется по аналогии с математической функцией, но в отличие от последней, аргументами в ней являются не числа и другие математические объекты, а логические объекты - высказывания. В связи с этим ее называют также пропозициональной функцией или - что менее благозвучно - высказывательной функцией. Значениями ее аргументов и самой функции являются "истина" и "ложь". Таким образом, здесь мы имеем дело с пропозициональной функцией двузначной классической логики.
Чтобы определить понятие пропозициональной функции, рассмотрим следующие примеры:
х - простое число; у - металл; z - студент.
По форме эти выражения напоминают высказывания, но они не определяют никакого конкретного высказывания, ибо содержат переменные, значение которых остается неизвестным. Здесь напрашивается аналогия с алгебраическими функциями или формулами, которые могут выражать конкретные арифметические зависимости. Так, например, линейная функция у = ax + в получает вполне определенное значение, если вместо постоянных и переменных подставляются конкретные числа.
Точно так же пропозициональные функции логики превращаются в конкретные высказывания, если вместо логических переменных подставляются определенные имена. Так, в первом примере, если вместо х подставить число 3, то получится истинное высказывание "3 - простое число". Если же вместо х подставляется число 4, то получится ложное высказывание "4 - простое число". Соответственно этому во втором примере, если вместо у подставить "железо", то получится истинное высказывание "железо-металл". Если вместо у подставляется "фосфор", то получится ложное высказывание "фосфор - металл".
Наконец, в третьем примере, если вместо переменной подставить фамилию студента Иванова, то получится истинное высказывание "Иванов - студент". Итак, одни значения переменных удовлетворяют пропозициональным функциям, другие нет, т.е. в первом случае они превращают их в истинные, во втором - в ложные, но в обоих случаях делают их определенными, конкретными высказываниями.
Отсюда легко дать определение пропозициональной функции, под которой мы будем понимать любое выражение, содержащее переменные, которые при подстановке вместо них постоянных превращают выражение в конкретное высказывание.
Здесь просматривается явная аналогия между логическими, пропозициональными и математическими функциями. Но аналогия не означает тождества, так как в пропозициональной функции вместо переменных можно подставлять имена не только чисел, но и любых нематематичесих объектов, как показывают второй и третий примеры. С этой точки зрения пропозициональная функция является более глубокой абстракцией, чем математическая функция, хотя и аналогична ей.
Чтобы превратить пропозициональные функции в подлинные высказывания, можно, во-первых, придать переменным конкретные значения, как это было показано выше; во-вторых, можно пойти по линии квантификации высказываний. Для пояснения обратимся к примеру. Выражение
x + у = у + x
можно превратить в конкретное высказывание, если вместо переменных х и у взять определенные числа. Но можно получить высказывание общего характера, если мы свяжем переменные кванторами, которые показывают, что рассматриваемое тождество выполняется для всех чисел. Поэтому мы можем записать его в следующей форме:
(х)(у)(х + у = у + х),
где (х) и (у) обозначают кванторы общности, которые часто называют также универсальными кванторами. Эта формула выражает истинное общее высказывание, известное как коммутативный (переместительный) закон для сложения, который обычно словесно передают так: сумма не меняется от перестановки слагаемых.
С помощью высказываний с универсальным квантором формулируются общие законы науки, в частности математические законы, теоремы и их следствия. Обратите внимание, что термин "универсальный" относится только к общим высказываниям определенной предметной области, например, математики, физики, экономики и других наук. Очевидно, что даже в математике не все высказывания имеют универсальный характер. Например, формула х + у = 5 удовлетворяется только при определенных числовых значениях переменных, а именно только тогда, когда х = 1 и у = 4, или х = 2 и у = 3, или х = 3 и у = 2, или х = 4 и у = 1. Поэтому нельзя утверждать, что данное равенство выполняется для всех чисел. Можно лишь сказать, что существуют числа, которые удовлетворяют равенству х + у = 5. Вместо слов " существуют числа х и у" можно ввести квантор существования. Тогда указанное равенство можно представить в такой символической форме:
(Ех) (Еу) (х + у = 5),
где (Ех) и (Еу) - кванторы существования.
В традиционной логике эти высказывания называют частными суждениями. Такие суждения оцениваются как истинные или ложные.
Таким образом, один из способов образования высказываний состоит в том, что сначала мы составляем пропозициональную функцию, где фигурируют соответствующие переменные, а затем связываем их кванторами общности и существования. Благодаря этому получаются общие и частные высказывания.
Принципиально другой путь образования сложных (составных) высказываний состоит в объединении двух или нескольких простых высказываний с помощью логических операторов или связок, которые выражаются терминами "и", "или", "если, то" и др. Этот способ напоминает грамматический прием образования сложных предложений путем использования сочинительных и подчинительных союзов. Так, в предложении "Заря сияла на востоке, и золотые ряды облаков, казалось, ожидали солнце", тоже употребляется союз "и", связывающий два простых предложения.
Однако логические связки отличаются от грамматических союзов тем, что они объединяют суждения не по их смыслу, а только по значению их истинности. В отличие от этого грамматические союзы соединяют предложения по их смыслу, придавая сложному предложению определенный целостный, единый смысл.
Таким образом, при логическом объединении высказываний абстрагируются от конкретного содержания и смысла высказываний. Поэтому с точки зрения обыденного сознания некоторые логические операции кажутся явно парадоксальными. Именно поэтому начинающие изучать логику здесь сталкиваются с наибольшими трудностями. Чтобы их преодолеть, необходимо с самого начала понять, что логический подход является более общим, и потому он не может учитывать все конкретные особенности употребления союзов в грамматике.
3.4. Основные логические операции над высказываниями
Прежде чем перейти к определению логических операций и связок, посредством которых образуются сложные высказывания из простых, необходимо руководствоваться следующими допущениями.
1. Любое высказывание в классической логике имеет одно и только одно из двух значений истинности - "истину" или "ложь". С этой точки зрения истинностное значение будущих событий остается неопределенным.
2. Значение истинности сложного высказывания зависит исключительно от истинностных значений входящих в него простых высказываний. Поэтому истинностное значение сложного высказывания представляет собой функцию истинности от образующих его простых высказываний.
3. При образовании сложных высказываний учитывается лишь истинностное значение входящих в него простых высказываний, а не их смысл.
Простейшей из логических операций является отрицание, с помощью которого из данного высказывания образуется противоречащее ему высказывание. В обычном языке операция выражается словами "неверно, что" или просто "не", в символическом - знаком отрицания, поставленным перед высказыванием. Если дано высказывание х, то его отрицание будет -x. В обычной речи отрицание чаще всего стоит перед глаголом и именной частью сказуемого. Например, отрицанием высказывания "2 есть четное число" будет высказывание "Неверно, что 2 есть четное число", которое ложно. Отрицая его, получим высказывание "Неверно, что 2 не есть четное число", которое равнозначно высказыванию "2 есть четное число". Это означает, что двойное отрицание приводит к первоначальному высказыванию. Обратите внимание, что высказывание, полученное путем отрицания первоначального, является противоречащим ему, т.е. оно отрицает нечто, но не утверждает что-то. Так, когда мы говорим, что "этот лист бумаги не белый", то не утверждаем, что он зеленый, синий или фиолетовый.
Для определения отрицания используется матрица (таблица) истинности, в которой в левой колонке даются два значения истинности ("истина" и "ложь") первоначального высказывания, а в правой колонке - его отрицания (табл.1). Истинность высказывания будет обозначаться буквой "и" или числом 1, ложь - буквой "л" и числом 0.
Если высказывание истинно, то противоречащее ему высказывание будет ложно, и, наоборот, если высказывание ложно, то противоречащее высказывание будет истинно.
Конъюнкция (логическое произведение) двух или нескольких простых высказываний образуется путем их объединения логической связкой "и". Например, если обозначить одно из простых высказываний буквой х, а другое - у, тогда их конъюнкцией будет сложное высказывание "х и у" или "х ∧ у", где знаком ∧ обозначен конъюнктивный оператор (логическая связка). Простые высказывания, входящие в сложное, называются конъюнктивными членами.
Конъюнкция будет считаться истинной, если и только если все ее конъюнктивные члены будут истинными. Наличие хотя бы одного ложного члена превращает всю конъюнкцию в ложное высказывание. Исходя из этого нетрудно построить таблицу истинности для конъюнкции (табл. 2).
Дизъюнкция (логическая сумма) двух или нескольких простых высказываний образуется путем объединения их логической связкой "или". Союз "или" в языке чаще всего употребляется в исключающем смысле, когда происходит выбор между двумя альтернативами: либо одно, либо другое. Реже используется этот союз в неисключающем смысле, т.е. выражается словом "а также". В логике и математике связка "или" употребляется преимущественно в неисключающем смысле. Так, например, дизъюнкция "2 меньше 3 или 3 меньше 5" понимается в неисключающем смысле, так как не только 2, но и 3 меньше 5.
Неисключающая дизъюнкция считается ложной в том и только в том случае, когда все ее дизъюнктивные члены будут ложными. Поэтому достаточно одного истинного члена, чтобы дизъюнкция была истинной. Исключающая дизъюнкция истинна тогда, когда только один из ее членов является истинным, а другой - ложным. Она будет ложной, если оба ее члена одновременно истинны либо ложны. Оператор дизъюнкции обозначается символом ∨ - для неисключающей дизъюнкции и символом ∨ - для исключающей дизъюнкции.
Учитывая принятые соглашения, мы можем построить таблицы истинности (табл. 3) для неисключающей (слева) и исключающей (справа) дизъюнкции.
Операция импликации состоит в образовании сложного высказывания из двух простых высказываний посредством логической связки, обозначаемой словами "если..., то... " и приблизительно соответствующей условному предложению в естественном языке. В логике эту связку называют импликацией, и мы будем обозначать ее стрелкой.
Условное высказывание состоит из двух простых высказываний. То из них, которое вводится словом "если", называется антецедентом (предыдущим высказыванием), а также основанием, а начинающееся словом "то" - консеквентом (последующим высказыванием) или следствием условного высказывания.
В науке и повседневном мышлении условные высказывания употребляются для установления связи между высказываниями, которые могут иметь различную форму. С помощью понятий антецедента и консеквента определяются необходимые и достаточные условия. Так, антецедент есть достаточное условие (основание) для консеквента (следствия). Например, в высказывании "Если треугольник имеет равные стороны, то и все его углы будут равны" условие равенства сторон служит достаточным условием (основанием) для следствия - равенства его углов. Одновременно с этим можно сказать, что следствие является необходимым условием для основания, так как "Равенство углов треугольника есть необходимое условие для равенства его сторон".
В обычной речи часто не проводят различия между основанием и следствием, как логическим отношением, и причиной и следствием, как отношением реального мира. Убедиться в наличии причинной связи можно лишь путем конкретного исследования явлений окружающего нас мира. Если одно явление вызывает или порождает другое явление, то первое из них мы называем причиной, а второе - следствием. Так, нагревание стержня - причина - вызывает его удлинение - следствие. Эту зависимость мы устанавливаем эмпирически - путем наблюдения и измерения. Логическое отношение между основанием и следствием не нуждается в эмпирическом исследовании, так как устанавливается с помощью чисто логических рассуждений. В нашем примере равенство углов равностороннего треугольника выводится как геометрическая теорема.
Условные высказывания употребляются для выражения самых разнообразных отношений между высказываниями, но не во всех случаях при этом учитывается их содержание и смысл. В современной логике обращается внимание исключительно на связь между высказываниями по значению их истинности, потому что задача логики состоит в том, чтобы гарантировать истинность заключения из истинных посылок, а для этого необходимо перенести истинность с посылок на заключение. В связи с этим в логической импликации абстрагируются (отвлекаются) от содержания и смысла и обращают внимание только на связь высказываний по значению их истинности. В результате можно рассматривать импликации, которые выглядят бессмысленными и парадоксальными с точки зрения обычного, здравого смысла. Например, "Если 2 х 2 = 5, то Москва - большой город" считается не только допустимой, но и истинной импликацией.
Таким образом, импликация учитывает все случаи распределения значений истинности и считается ложной только тогда, когда ее антецедент истинен, а консеквент ложен.
Например, импликация "Если 2 х 2 = 4, то Москва - небольшой город" является ложной, так как ее антецедент - истинное высказывание, а консеквент - ложное.
Отсюда ясно, что импликация выражает важнейшее свойство правильных рассуждений. Известно, что из истинных посылок нельзя получить ложное заключение, если рассуждать правильно. Этот фундаментальный принцип лежит в основе всей дедуктивной логики и сохраняется при определении операции импликации.
Распределение значений истинности высказываний для импликации представлено табл.4, где стрелка обозначает импликацию.
Резкое расхождение между употреблением условных высказываний в естественной речи и современной логике породило немало споров и дискуссий, в которых логиков обвиняли в том, что они не учитывают смысловой связи между высказываниями, и поэтому приходят к бессмыслице. Но как уже подчеркивалось выше, логики рассматривают условное высказывание только как импликации, т.е. с точки зрения значений истинности антецедента и консеквента. Импликация является операцией формализованного языка, а не конкретным условным высказыванием, которое может пониматься по-разному в различных контекстах (причинная связь, отношение между достаточными и необходимыми условиями, связь основания и следствия и т.п.). Когда не учитывается различие между формализованным и естественным языком, между импликативным и условным высказываниями, тогда неизбежно возникают парадоксы импликации, наиболее известные из которых связаны с отождествлением импликации с логическим следованием. Тот факт, что в импликации истинный консеквент получается из любого антецедента - истинного и ложного, стали истолковывать как утверждение, что истина следует из чего угодно. Или другими словами, что ложный антецедент имплицирует любой - истинный или ложный - консеквент, начали интерпретировать как утверждение, что из ложного высказывания следует любое высказывание. Но эти утверждения не согласуются с нашими интуитивными представлениями, и поэтому выступают как парадоксы так называемой материальной импликации. В последние десятилетия были предприняты усилия по преодолению этих парадоксов и поиску таких логических понятий, которые более адекватно отразили бы смысловую связь в условных высказываниях. Весь вопрос, однако, состоит в том, как выявить такую связь в общем виде, независимо от конкретного содержания антецедента и консеквента. Во всяком случае импликации, претендующие на отображение смысла, будут заведомо более узкими, чем понятие материальной импликации.
Операция эквивалентности объединяет два высказывания, имеющие одинаковые значения истинности. Следовательно, будут эквивалентными, с одной стороны, истинные высказывания, а с другой - высказывания ложные. В противном случае высказывания считаются не эквивалентными. Исходя из этого легко построить таблицу истинности для эквивалентности, символом которой служит стрелка с противоположными концами (табл. 5).
Эквивалентность можно выразить на естественном языке словами "если и только если", и в таком виде она часто встречается в формулировке научных определений.
Кроме табличного определения логические операции (за исключением отрицания) можно определить через другие, с обязательным использованием отрицания. Действительно, применив табличный метод (табл. 6), можно убедиться, что выражения (х → у) и (¬у →¬x) будут эквивалентными, т.е. (х→у) ↔ (¬у→¬х).
Каждая строка первой импликации и второй конверсной (обратной), полученной перестановкой отрицаний консеквента и антецедента первой, совпадают друг с другом. Следовательно указанные импликации будут эквивалентны.
С помощью таблиц истинности можно проверить, что и остальные логические операции можно определить через Другие две, причем второй операцией всегда будет отрицание. Например, дизъюнкцию можно выразить через конъюнкцию: (х ∨ у) ↔ (¬x ∧ ¬у).
Способ установления истинности сложных высказываний, образованных из простых с помощью таблицы, был предложен американским логиком Ч.С. Пирсом и оказался весьма удобным. Как мы видели, этот способ основывается на комбинации значений истинности простых высказываний и последующего определения истинности сложных высказываний, образованных с помощью операций отрицания, конъюнкции, дизъюнкции и импликации. Например, когда имеется два высказывания, то число различных комбинаций из их значений истинности будет равно 4, при трех - 8, при четырех - 16, а следовательно, при заданном числе п оно равно 2n. Отсюда нетрудно заметить, что определение истинности сложного высказывания сводится в сущности к вычислению ее на основе значений истинности простых высказываний. Это впечатление усилится, если мы обозначим истину как 1, а ложь как 0 и будем их комбинировать, чтобы образовать отрицание, конъюнкцию, дизъюнкцию и т.д. В качестве иллюстрации вычислим значение истинности следующего выражения: (х ∨ у) → (х ∧ z).
При некотором навыке процесс вычисления можно ускорить, обратив главное внимание на основную операцию, которая связывает две части формулы. В приведенном примере (табл. 7) достаточно заметить, что ложная импликация возникает при истинном антецеденте и ложном консеквенте. Отсюда легко определить возможные значения х и у в дизъюнкции (х ∨ у), а также значения х и z в конъюнкции (х ∧ z). Такой сокращенный способ вычисления истинности сложного высказывания основывается на установлении главной логической операции в рассматриваемой формуле.
Такие законы представляют собой тождественно истинные высказывания, т.е. высказывания, остающиеся истинными при любых значениях входящих в них простых высказываний. В справедливости этого утверждения можно убедиться опять-таки с помощью таблиц истинности. В принципе все тождественно истинные высказывания являются законами логики (или исчисления высказываний). Мы перечислим только основные из них.
• Закон тождества: если х, то х, т.е. х → х.
• Закон упрощения: если х и у, то х, т.е. х∧у→х. То же самое относится к другому конъюнктивному члену: х∧у→ у
• Закон эквивалентности: если из х следует у, а из у следует х, тогда высказывания эквивалентны, т. е. x ↔ у.
• Закон гипотетического силлогизма: если из х следует у, а из у следует z, то из х следует z, т.е.
((x → y) ∧ (y → z)) → (x → z)
• Закон двойного отрицания: если из х следует не-х, то отрицание последнего приводит к первоначальному высказыванию:
¬ (¬x) ↔ x
• Законы О. де Моргана дают возможность переходить от конъюнкции к дизъюнкции и, наоборот, от дизъюнкции к конъюнкции. Они служат удобным средством для преобразования высказываний:
а) отрицание конъюнкции высказываний эквивалентно дизъюнкции из отрицаний конъюнктивных членов:
¬ (x ∧ y) ↔ (¬x ∨ ¬y)
б) отрицание дизъюнкции эквивалентно конъюнкции отрицаемых членов дизъюнкции:
¬ (x ∨ y) ↔ (¬x ∧ ¬y)
• Закон "поглощения": конъюнкция или дизъюнкция одинаковых высказываний эквивалентна самому высказыванию, т.е. повторяющийся член "поглощается":
(x ∧x) → x и (x ∨ x) → x.
• Коммутативные законы для конъюнкции и дизъюнкции разрешают перестановку их членов:
(x ∧ y) ↔ (x ∧ y) и (x ∨ y) ↔ (y ∨ x).
• Ассоциативные законы для конъюнкции и дизъюнкции позволяют по-разному сочетать члены, т.е. по-иному расставлять скобки:
x ∧ (y ∧ z) ( ↔ x ∧ y) ∧ z или x ∨ (y ∨ z) ( ↔ x ∨ y) ∨ z.
• Закон контрапозиции разрешает прямую импликацию заменять обратной, в результате чего антецедент первой заменяется отрицанием консеквента второй, а ее консеквент - отрицанием антецедента. Проще говоря, при контрапозиции происходит перестановка членов импликации или их контрапозиция, но они берутся с отрицаниями:
(x → y) (¬ ↔ y → ¬x)
• Закон противоречия: два противоречащих друг другу высказывания, т.е. высказывание х и его отрицание не-х, не могут быть вместе истинными:
(x ∧ ¬x)
Поскольку этот закон запрещает противоречия в рассуждении, то его часто называют также законом непротиворечия, и последнее более правильно.
• Закон исключения третьего: из двух противоречащих друг другу высказываний только одно является истинным. Тогда второе будет ложным и никакой третьей возможности не существует
x ∨ ¬x
Все эти законы можно непосредственно проверить с помощью таблиц истинности, но их желательно запомнить, чтобы каждый раз не обращаться к построению таблиц. Можно было бы привести и другие законы, которые иногда применяются в рассуждениях, но они играют значительно меньшую роль. В принципе таких законов может быть бесчисленное множество. Все они должны содержать только переменные и логические постоянные и быть истинными в любой области (универсуме) рассуждения. При этом предполагается, что данная область непустая. В логике высказываний к постоянным относят логические коннекторы (связки), с помощью которых образуются сложные высказывания, а переменными являются простые высказывания.
Все перечисленные выше законы служат основой для правильных рассуждений, ибо опираясь на них, никогда нельзя получить ложного заключения из истинных посылок. Поэтому любое последовательное, непротиворечивое и правильное мышление всегда осуществляется в соответствии с законами логики, сознаем мы это или нет. В то же время среди перечисленных законов необходимо выделить самые основные, которые обычно называются законами логики. К ним относятся законы тождества, противоречия и исключенного третьего, о которых пойдет речь в гл.6.
Все законы исчисления высказываний, как в этом можно убедиться с помощью таблиц истинности, являются тождественно истинными (общезначимыми формулами). Какие бы истинностные значения не придавались входящим в них высказываниям, в конечном счете формула оказывается всегда истинной. Вот почему эти законы явно или неявно применяются в любом рассуждении, ибо именно с их помощью становится возможным преобразовать и упрощать имеющуюся информацию и приходить к определенным заключениям. Поясним это на примере закона контрапозиции. Если нам известно, что "треугольник х равнобедренный", то отсюда следует высказывание у, утверждающее, что "углы при его основании равны". Но если эти углы не равны, то по закону контрапозиции можно заключить, что "треугольник не является равнобедренным", т.е. (х → у) → (¬y → ¬x). Таким образом, этот вывод мы получаем чисто логически, не прибегая, например, к доказательству методом от противного.
Отсюда непосредственно видно, что законы логики высказываний, во-первых, облегчают наши рассуждения, во-вторых, значительно упрощают их, в-третьих, делают их более точными и удобозримыми, ибо с символами и формулами обращаться легче, чем с менее определенными и неточными словесными формулировками.
Поскольку законы исчисления высказываний являются такими же общезначимыми по своему характеру, как и основные законы логики, то в принципе они ничем не отличаются от них. Если мы продолжаем отличать их от основных законов логики, то это скорее дань традиции, хотя для характеристики разных систем такое различие продолжает сохранять свое значение. Так, конструктивную логику мы отличаем от классической по отсутствию в ней закона исключенного третьего.
3.5. Логическое следование
Основная задача логики состоит в том, чтобы исследовать, какие следствия вытекают из данных утверждений, например, какие теоремы в математике следуют из принятой системы аксиом. Интуитивно мы можем выводить заключения, не обращаясь к логической символике и технике и даже ясно не сознавая те логические правила, которыми неявно пользуемся. Однако в более трудных случаях интуитивных возможностей оказывается недостаточно, в особенности когда приходится проверять рассуждения и анализировать ошибки. Даже в простейших случаях можно допустить ошибку, как показывает следующий пример.
"Если не будет дождя (¬Д), то он придет на встречу (В)". Пошел дождь, значит он не придет на встречу (¬В). Переведем эту словесную формулировку на логический язык исчисления высказываний и тогда получим формулу:
((¬Д → В) ∧ Д)) → ¬В (1)
Чтобы проверить правильность заключения, построим для него таблицу истинности (табл. 8).
Хотя заключение словесного рассуждения кажется на первый взгляд верным, но оно логически не следует из посылок, в чем можно убедиться, если сравнить значение истинности посылок формулы (1) со значением истинности заключения. Если бы заключение логически следовало из посылок, тогда при одновременной истинности посылок (¬Д → В) в первой строке табл. 8 и Д заключение ¬В в последнем столбце этой же строки должно быть истинным, а оно ложно. Но фундаментальный принцип логики постулирует, что из истинных посылок нельзя вывести ложного заключения. Это и показывает, что рассматриваемое заключение не следует из посылок. Ведь не исключается возможность, что несмотря на дождь, человек может прийти на встречу.
Отсюда становится ясным, что установить логическое следование одного высказывания или формулы из другого можно с помощью построения таблицы истинности всех входящих в формулы простых (элементарных) высказываний, которые называют атомарными (или просто атомами). В противоположность этому сложные (составные) высказывания, построенные с помощью логических связок, рассматривают как молекулярные. Если будет установлено, что при одновременной истинности посылок заключение окажется также истинным, то это дает основание сказать, что данная формула или высказывание логически следует из другой или других, т.е. заключение следует из посылок. В противном случае, как мы видели в предыдущем примере, заключение логически не следует из посылок.
Теперь дадим общее определение логическому следованию в исчислении высказываний. Обозначим через заглавные буквы латинского алфавита молекулярные высказывания А и В, состоящие из атомарных (элементарных) высказываний х1 , х2 , x3 ,..., xn. Тогда говорят, что "В следует из А или является следствием А", когда в таблицах истинности для А и В формула В имеет значение "истина" во всех тех строках, где А имеет значение "истина". Символически следование обозначается знаком " | =", например А | = В.
Если из А логически следует В, а из В следует А, т.е. А | = В и В | =А, то в этом случае высказывания А и В будут логически эквивалентными.
Обратимся теперь к другому случаю и определим, например, следует ли формула х ∨ у из формулы (х → у) ∧ (x ∧¬ y). Для этого снова построим таблицу их истинности (табл. 9).
Однако в этой таблице ни в одной строке высказывания х → у и х ∧ ¬у не являются одновременно истинными, а потому их конъюнкция будет ложной. Но импликация из ложного высказывания считается истинной. Можно сказать поэтому, что из рассматриваемой формулы следует не только дизъюнкция х v у, но и любая другая формула. Такой парадоксальный результат объяснить нетрудно. Дело в том, что формула (х → у) ∧ (х ∧ ¬у) представляет собой логическое противоречие, в чем можно убедиться, если выразить ее вторую часть через импликацию, т.е. (х ∧ ¬у) ¬( ↔ x → y). Отсюда непосредственно видно, что второй член конъюнкции является отрицанием первого члена: (х → у) ∧ ¬(х → ¬у).
Такого рода высказывания, в котором одно из них что-то утверждает, а другое одновременно отрицает это, называются контрадикторными (противоречащими). Согласно известному нам закону непротиворечия подобные высказывания недопустимы в рассуждении, ибо из логически противоречивого утверждения следует любое высказывание: истинное или ложное.
Часто противоречивые высказывания называют также несовместными, потому что из несовместных высказываний логически следует противоречие.
Несовместность (противоречивость) высказываний, которая иногда встречается в рассуждениях, приводит к тому, что в нем оказываются допустимыми как истинные, так и ложные заключения. Именно этим обстоятельством широко пользовались античные софисты, стремившиеся обеспечить себе победу в споре любой ценой, в том числе и путем нарушения законов логики. Очевидно, что для этого они маскировали свои утверждения, ибо в противном случае оппоненты и слушатели всегда могли изобличить их в явных противоречиях. Однако никто не застрахован от противоречий и ошибок, но следует различать ошибки преднамеренные (сознательные) и ошибки не преднамеренные (неосознаваемые). Если первые, которые часто называют софизмами, следует разоблачать, то вторые, именуемые паралогизмами, необходимо исправлять. Но в обоих случаях логика служит надежным инструментом для анализа и раскрытия ошибок, и в особенности определения правильности логического следования заключения из его посылок.
В первом примере ошибочное заключение было связано с недостаточной точностью его словесной формулировки, во втором примере - противоречие было замаскировано другой формой символической записи второй части формулы. Ясно, что если бы противоречие было записано в виде: (х → у) и ¬(x → у), то сразу стало бы видно, что здесь перед нами противоречие, из которого, как теперь мы знаем, следует любое заключение: истинное, ложное и даже абсурдное. Нельзя, однако, считать, что противоречия раскрываются так легко. Как будет показано в гл. 6, противоречия зависят от ряда условий, выполнение которых обязательно для того, чтобы характеризовать их как противоречия, в частности чтобы высказывания, из которых одно отрицает другое, характеризовали предмет мысли в одно и то же время и в одном и том же отношении. С течением времени наши знания изменяются, и поэтому высказывания, которые характеризовали явления, также могут измениться и перестать противоречить друг другу.
Легко заметить, что все рассмотренные выше контрадикторные (противоречащие) высказывания могут быть представлены с помощью общей формулы (А ∧ ¬А), где члены конъюнкции А и ¬А являются выражениями метаязыка, т.е. языка, на котором мы говорим об объектном (предметном) языке. Метаязык служит для представления высказываний, которые выражаются с помощью переменных х1 , х2 , x3 ,..., xn. В дальнейшем формулы метаязыка будут применяться всякий раз, когда нам придется говорить о предметном языке, чтобы не загромождать изложение и не выписывать формулы этого языка.
Итак, любые сколь угодно сложные высказывания, которые могут быть представлены в форме конъюнкции утверждения и его отрицания, т.е. как А ∧ ¬А, представляют именно противоречие. Поэтому при любой комбинации входящих в них высказываний по истинностному их значению ("истина" или "ложь") будут приводить к ложному заключению. Другими словами, функция-высказывание, образованное из элементарных высказываний, всегда будет иметь своим значением "ложь". Поскольку из ложного утверждения можно получить как истину, так и ложь, постольку основной закон логики - закон непротиворечия - запрещает использовать противоречивые высказывания или формулы в рассуждении. Этот запрет выражается в требовании непротиворечивости рассуждения, которую часто называют также требованием совместимости (связности) рассуждения.
Если формула (А ∧ ¬А) является всегда ложным высказыванием, то ее отрицание, выражающее требование непротиворечивости, напротив, будет всегда истинным высказыванием, общезначимой формулой, или тавтологией, как стали называть такие высказывания вслед за Л. Витгенштейном. Следует, однако, не смешивать языковые тавтологии с логическими. Если в языке тавтология означает повторение той же фразы или предложения текста, то в логике она является тождественно истинным высказыванием. Не следует также путать тождественно истинные высказывания с законом тождества, который выражается формулой А → А, хотя последняя также выражает тавтологию.
Отсюда становится ясным, что тавтологии (тождественно истинные высказывания) можно использовать для представления всех законов логики или любых общезначимых ее формул. Действительно, закон непротиворечия, запрещающий противоречия в рассуждении, можно выразить формулой ¬(A ∧ ¬A), которая представляет собой тавтологию, в чем можно убедиться, построив для нее соответствующую таблицу истинности (табл. 10). То же самое можно сказать о законе исключенного третьего - (A ∨ ¬A) (табл.11).
Если из противоречия следует все, что угодно, т.е. "истина" или "ложь", то и тавтология следует из любого истинного или ложного высказывания. В самом деле, если в каждой строке таблицы заключение всегда будет истинным, то по правилу импликации оно может быть получено как из истинных, так и из ложных посылок. Напротив, никогда ложное следствие (противоречие) не может быть получено из истинных посылок.
Промежуточное положение между всегда истинными высказываниями (тавтологиями), с одной стороны, и всегда ложными (противоречивыми) высказываниями, с другой, занимают фактуальные утверждения. Их заключения могут быть как истинными, так и ложными, в зависимости от тех фактов, на которые опираются их посылки. В то время как истинность тавтологий или ложность противоречий может быть установлена чисто логическим анализом этих высказываний, значение истинности фактуальных высказываний требует обращения к действительным фактам. Другими словами, чтобы установить истинность или ложность фактуальных высказываний, необходимо исследовать реальные связи и отношения действительности, которые отображаются в соответствующих высказываниях, служащих посылками фактуальных заключений. На этом основании фактуальные высказывания часто называют также эмпирическими в противоположность аналитическим высказываниям логики и чистой математики. Но это противопоставление имеет относительный характер, ибо и в научных, и в повседневных рассуждениях аналитические высказывания логики применяются вместе с эмпирическими утверждениями, поскольку именно из эмпирических законов мы выводим логические заключения.
Всю новую информацию в науке формулируют с помощью эмпирических (фактуальных) высказываний, а выводы из нее получают с помощью законов (правил) логического следования.
3.6. Доказуемость и выводимость
До сих пор при определении истинности или ложности сложных высказываний, состоящих из простых, мы опирались на таблицы истинности. Но этот способ неудобен, громоздок, особенно когда приходится иметь дело с большим числом простых высказываний. Напомним, что при двух простых высказываниях таблица истинности содержит четыре строки, при трех - восемь, а для 12 высказываний потребовалось бы уже 4096 строк. Вот почему в логике наряду с табличным методом часто используют метод, опирающийся на вывод и доказательство одних высказываний из других.
По своей сути этот метод весьма похож на метод доказательства теорем, который известен из школьной геометрии. Доказательство там сводилось к логическому выводу теорем из аксиом, а также из ранее доказанных теорем, которые принимались в качестве истинных утверждений геометрии. В конечном итоге всякое доказательство сводится к логическому выводу теорем из аксиом, так как ранее доказанные теоремы также можно логически вывести из аксиом. Таким образом, отличие доказательства от логического вывода состоит в том, что при доказательстве мы принимаем посылки в качестве истинных высказываний, а при логическом выводе - в качестве допущений или гипотез. Отсюда становится ясным различие между истинностью и правильностью рассуждения или мышления, о котором шла речь в гл. 1. Истинность утверждения предполагает, во-первых, истинность посылок, из которых оно выводится, и, во-вторых, правильность логического вывода. Вывод может быть сделан из любых допущений, в том числе из ложных.
Хотя процесс доказательства в логике аналогичен доказательствам в математике, но между ними есть и существенное различие; оно заключается в том, что в математике мы имеем дело со специфическими математическими объектами - числами, фигурами, функциями и т.п., а в логике - с высказываниями, т.е. с логическими объектами. Чтобы отличить объекты разного уровня, для представления высказываний в математике используется предметный язык, а для анализа предметного языка - метаязык, на котором формулирует свои утверждения исследователь. Проще говоря, чтобы рассуждать об объектах предметного языка, необходим метаязык, выступающий в качестве языка второго уровня. Это обстоятельство следует всегда иметь в виду в дальнейшем.
Чтобы построить доказательство высказывания или формулы в исчислении высказываний, необходимо:
1) указать те аксиомы или недоказуемые формулы, из которых выводятся все доказуемые формулы или теоремы;
2) точно сформулировать правила вывода теорем из аксиом.
В принципе к аксиомам исчисления высказываний могут быть отнесены все тавтологии (общезначимые высказывания), большинство из которых нетрудно проверить с помощью таблиц истинности. Но обычно ограничиваются перечислением небольшого числа аксиом, из которых стремятся вывести по правилам логики другие общезначимые высказывания (теоремы). Но любую теорему можно считать аксиомой, и из новой системы получить прежнюю аксиому как теорему. Обычно выбор аксиом происходит на основании удобства и целесообразности построения исчисления высказываний. Мы могли бы выбрать в качестве аксиом некоторые из законов исчисления высказываний, приведенные в разд. 3.4.
Кроме аксиом, для вывода теорем необходимы правила вывода. В исчислении высказываний обычно используются два правила: правило отделения и правило подстановки.
Правило отделения (modus ponens - МР) разрешает из двух высказываний вида А и А → В, как посылок, вывести заключение В. Схематически это правило можно представить так:
Горизонтальная черта здесь отделяет заключение от посылок. В качестве посылок выступают антецедент А и сама импликация А → В, заключением служит консеквент импликации. Таким образом, это правило разрешает нам отделить заключение от его посылок как самостоятельное знание. Так, в математике мы постоянно формулируем теоремы без указания тех посылок, из которых они выведены. Если при доказательстве ограничиваются только правилом отделения, тогда для этого необходимо убедиться в истинности посылок и правильности логического вывода. Поскольку в математике посылками служат в конечном счете аксиомы, принимаемые истинными без доказательства, постольку само доказательство сводится к проверке правильности логического вывода. В эмпирических науках, кроме того, необходимо обосновать истинность посылок, которыми могут служить различного рода допущения (эмпирические законы или обобщения, гипотезы, принципы, постулаты или даже целые теории).
Правило подстановки разрешает вместо любой переменной в исчислении высказываний подставлять любое другое высказывание, но для того чтобы получить истинное высказывание в качестве заключения, необходимо, чтобы исходная формула была истинной.
Весьма простая система аксиом для исчисления высказываний была построена Б. Расселом и А.Н. Уайтхедом, а затем усовершенствована Д. Гильбертом. Она состоит из четырех аксиом:
1) x ∨ х → х.
2) х → х ∨ у.
3) x ∨ y → y ∨ x.
4) (х → у) → ((z ∨ x) → (z ∨ у)).
Аксиома 1 утверждает, что высказывание истинно, если дизъюнкция этого высказывания с самим собой истинна.
Аксиома 2 означает, что когда высказывание истинно, то к нему можно присоединить любой - истинный или ложный - дизъюнктивный член, так как дизъюнкция будет истинной, если один из членов будет истинным высказыванием.
Аксиома 3 представляет собой закон коммутативности для дизъюнкции.
Аксиома 4 утверждает, что в случае истинности импликации к ее антецеденту и консеквенту можно присоединить любой дизъюнктивный член, ибо он не повлияет на истинность импликации. Нетрудно заметить, что во всех формулах, выражающих аксиомы, можно заменить импликацию эквивалентным выражением: (х → у) (¬ ↔ х ∨ у). Обычно для формулировки аксиом используются две логические операции, так как для выражения сложных высказываний их достаточно.
Опираясь на эти аксиомы, с помощью указанных выше правил вывода можно вывести другие истинные высказывания логики высказываний. При аксиоматическом подходе мы не обращаемся к содержательным способам установления истинности высказываний, а, предполагая аксиомы истинными, с помощью правил отделения и подстановки выводим другие истинные заключения. Этот подход можно сделать чисто формальным, если рассматривать аксиомы как исходные формулы, а логические правила вывода как правила преобразования одних формул в другие. Именно так осуществляется формальный вывод и доказательство в математике, но это занимает много времени и требует особого внимания. Однако с помощью производных правил вывода и ранее доказанных теорем процесс формального доказательства можно ускорить, хотя математики на практике не обращаются к формальным доказательствам, пока не сталкиваются с противоречиями либо парадоксами или пока не возникает необходимость в тщательной проверке всех шагов доказательства.
Интересно отметить, что если запрограммировать процесс доказательства теорем, то можно убедиться, что компьютер сравнительно несложные формальные доказательства осуществляет быстрее и точнее человека, подобно тому как он выполняет действия над числами. Преимущество человека над вычислительной машиной выражается не только в понимании совершаемых им действий, но также в том, что он выполняет соответствующие действия крупными блоками, тогда как машина должна осуществить каждый шаг отдельно. Вместе с тем, благодаря огромной скорости быстродействия машина имеет значительное преимущество перед человеком именно при осуществлении рутинных операций и процессов, к которым относятся действия над числами и несложные логические и математические доказательства.
Процессы логического вывода и доказательства имеют много общего с рассуждениями в естественном языке, где также выводят одни высказывания из других, но, правда, при этом явно не указывают логические правила вывода, которыми пользуются, предполагая их известными. Именно это обстоятельство заставило логиков строить исчисления, напоминающие выводы в естественном языке. Нередко поэтому их называют натуральными выводами. Из этих исчислений наиболее известным и признанным считается система натурального вывода, построенная Г. Генценом, появившаяся в 1934 г. Хотя доказательства, основанные на выводе, применял еще Евклид в своих "Элементах" (геометрии), но в логике они стали анализироваться значительно позднее. Трудность здесь состоит в том, что рассуждения, которые осуществляются с помощью естественного языка, трудно переводятся на искусственный язык логики.
3.7. Логический анализ рассуждений естественного языка
Рассуждения проводятся на естественном языке, но когда возникают трудности и неясности, тогда приходится обращаться к их логическому анализу. Такой анализ предполагает перевод с естественного языка на язык логики, в результате чего все связи между предложениями естественного языка заменяются логическими коннекторами (связками), смысл которых точно задан с помощью определений. Так, грамматический союз "и" в логике отображается конъюнкцией, союз "или" - дизъюнкцией и т.д. Но при этом иногда возникает несоответствие между предложениями естественного языка и соответствующими им логическими высказываниями. Мы уже говорили о том, что использование в логике операции дизъюнкции, соответствующей союзу "или" в естественном языке, часто наталкивается на сопротивление, потому что в логике этот союз рассматривается только в более широком, включающем смысле, тогда как в обычной речи или даже в науке он нередко используется в исключающем смысле. Правда, в принципе, исключающий смысл союза "или" в форме "либо - либо" можно выразить с помощью включающего "или" и некоторых других логических операций.
Гораздо больше трудностей, как мы видели, возникает с использованием операции импликации для выражения условных суждений, споры по поводу которого идут до сих пор. Даже такая сравнительно простая операция, как конъюнкция, иногда не передает всех нюансов использования союза "и" в естественном языке. В самом деле, хотя в силу закона коммутативности, конъюнкции (А ∧ В) и (В ∧ А) являются эквивалентными, тем не менее в естественном языке они не всегда воспринимаются такими. Например, предложение "Маша вышла замуж и родила ребенка" и предложение "Маша родила ребенка и вышла замуж" понимаются как неравнозначные с точки зрения последовательности событий во времени. Но это различие не может быть выражено адекватно на языке исчисления высказываний. Многие ограничения этого исчисления могут быть сняты с помощью построения более сильных средств логического анализа, в частности, например, в логике предикатов. Однако формализация никогда не может исчерпать всего богатства и возможностей постоянно совершенствующегося и развивающегося естественного языка.
Определенность, точность и однозначность вывода заключений играет существенную роль в процессе аргументации, которая служит важнейшим средством рационально-логического убеждения. Однако даже при письменном представлении аргументации не всегда достигается адекватная передача мысли в слове, суждений - в предложениях. Идеальным был бы такой случай, когда каждому суждению соответствовало бы одно предложение и, наоборот, одно предложение выражало бы одно суждение. Но такого никогда не бывает в действительности. Тем не менее, такой идеал служит для того, чтобы к нему приблизиться, насколько возможно в данных конкретных условиях. Поэтому при логическом анализе аргументации уже на первой стадии стремятся перевести предложения естественного языка на язык высказываний. На этой стадии также устраняются все те предложения и иные языковые выражения, которые не имеют непосредственного отношения к аргументации, а служат большей частью экспрессивными средствами усиления речи. На этой же стадии становится возможным установить, во-первых, какие предложения служат посылками и заключением рассуждения, а во-вторых, как они связаны между собой. Поскольку главная цель логического анализа аргументации - установить правильность и обоснованность рассуждения, то становится необходимым выявить его точную логическую структуру, что может быть достигнуто в полном объеме лишь посредством формализации рассуждения.
В процессе логического анализа приходится также восстанавливать недостающие посылки рассуждения, которые очень часто в естественном языке опускаются в силу их очевидности и общепринятости. Такие рассуждения с сокращенными посылками или заключениями еще Аристотель в своей "Риторике" назвал энтимемами.
В обычной речи ссылки на очевидные посылки и доводы выглядели бы крайне искусственными и потому ненужными, ибо они замедляют процесс общения и обмена информацией. Но то, что воспринимается как ненужный педантизм в обычной речи, не является таковым в логическом анализе рассуждений. Поэтому наряду с устранением несуществующих для логического вывода предложений, не фигурирующих ни в посылках, ни в заключении или не связанных с ними, вторая задача анализа состоит в восстановлении недостающих посылок, которые кажутся очевидными, но на самом деле могут иметь важное значение для выяснения логической связи между посылками и заключением. Иногда именно ссылка на очевидность служит источником логической ошибки даже в математических рассуждениях, о чем свидетельствуют, как уже отмечалось, многочисленные попытки доказать аксиому о параллельных в геометрии Евклида.
Критический анализ помогает, таким образом, восстанавливать не только недостающие посылки, но и исследовать имеющиеся посылки с точки зрения их логической корректности, устранения логического круга в доказательстве, выявления логических противоречий и т.д.
В процессе аргументации решающее значение приобретает именно критический анализ доводов, или аргументов, выдвигаемых в защиту определенного тезиса, утверждения, мнения или точки зрения. Аргументация будет считаться рациональной и убедительной, если ее заключения логически следуют из тех доводов, которые выступают ее посылками. Цель будет достигнута, если аргументирующий убедит слушателей, читателей или зрителей согласиться с доводами, которые он выдвигает в защиту и обоснование своего тезиса, а также с правильностью вывода заключения из них. В естественном языке - особенно в разговорном - не существует такой четкой и точной структуры рассуждения, как в логике. Кроме того, в долгой цепи выводов могут исчезнуть из поля зрения те исходные доводы, или аргументы, которые служат основой всего рассуждения или доказательства. Даже в длинном письменном рассуждении проследить весь процесс вывода шаг за шагом довольно трудно. Именно поэтому такие рассуждения и доказательства целесообразно разбивать на отдельные блоки, содержащие несколько шагов вывода. Тогда становится возможным более ясно и четко представить и понять весь процесс рассуждения в целом. Такое оперирование блоками, состоящими из нескольких шагов вывода, представляет характерную черту обычного логического мышления, отличающего его от работы любой вычислительной машины, выполняющей все действия с элементами вывода.
3.8. О модальности суждений
В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других - обоснованность знания, содержащегося в суждениях, в третьих - предписание, норму или правило, которые надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек. В процессе аргументации и практических рассуждениях мы интересуемся не только истинностной оценкой суждений, но дополнительно к этому стремимся узнать, насколько убедительны, а значит, обоснованны доводы оппонента в споре, являются ли они логически или фактически истинными и т.д. В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами.
Различные способы оценки суждений в зависимости от поставленных задач и принятой точки зрения выражаются в модальных категориях (от лат. modus - мера, способ, наклонение). Впервые их изучением стал заниматься еще Аристотель, который ввел две важнейшие модальные категории: "необходимо" и "возможно", а также производные от них понятия "не необходимо" и "невозможно". Средневековые логики предложили ряд новых модальных терминов и установили связи между ними. В новое время утвердилась традиция, заложенная И. Кантом, в соответствии с которой стали разделять:
1) проблематические суждения, выражающие мысль, которая может быть истинной только при определенных условиях;
2) ассерторические, характеризующие наличие или отсутствие у предмета
некоторого свойства. Часто их называют также суждениями факта;
3) аподиктические, утверждающие истинность суждения независимо от конкретных фактов или условий.
Все законы науки принадлежат к таким суждениям. Подобная классификация долгое время держалась в традиционной логике и до сих пор иногда встречается в литературе.
Систематическое исследование модальных высказываний началось в 50-е годы и в настоящее время превратилось в быстрорастущую ветвь современной неклассической логики. Если раньше модальные понятия формулировались на естественном языке и вследствие этого не всегда воспринимались однозначно, то в современной модальной логике точность и однозначность их понимания обеспечивается использованием идей и методов математической логики. Но это отнюдь не означает, что модальные высказывания сводятся к высказываниям функционально-истинностного характера. Еще Д. Юм заметил, что суждения факта нельзя выразить с помощью суждений долженствования и наоборот. Так, суждение вида S есть Р, т.е. отображающего принадлежность свойства предмету, нельзя представить как утверждение долженствования, обязательности или допустимости. С другой стороны, модальные высказывания допускают применение эффективных и точных методов символической или математической логики к ситуациям, которые характеризуются этими понятиями.
В рамках современной модальной логики рассматриваются следующие виды модальных понятий:
• логические модальности, которые выражаются терминами: "логически необходимо", "логически невозможно" и "логически случайно". К логически необходимым относятся логически истинные суждения, которые представляют собой законы логики или логические следствия из них. Суждения, противоречащие законам логики, считаются логически ложными. Они также принадлежат к классу логически необходимых суждений, поскольку характерной особенностью таких суждений является независимость их истинности или ложности от фактического состояния дел. Например, суждение (х ∨ ¬x) будет всегда истинным, ибо оно выражает закон исключенного третьего классической логики. Аналогично этому, суждение (х ∧ ¬х) будет всегда ложным, так как является законом противоречия, в связи с чем можно сказать, что такие суждения считаются истинными или ложными в силу логических оснований. В противоположность этому фактически истинными являются суждения, в которых связь между субъектом и предикатом соответствует реальным связям между предметом и его свойством. Если такого соответствия не существует, то суждение будет фактически ложным.
Различие между логической и фактической истинностью играет важную роль в процессе аргументации. Доводы или аргументы представляют собой фактически истинные или ложные суждения, а логические правила вывода основываются на законах логики, и потому относятся к логически истинным суждениям;
• эпистемические (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: "доказуемо", "опровержимо", "неразрешимо", "допустимо", "вероятно", "сомнительно", "убедительно" и т.п. Мы можем оценивать, например, в ходе спора или дискуссии доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи;
• деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: "разрешено", "не разрешено", "обязательно", "безразлично" и др. Таким образом, в отличие от суждений, в которых описывается какое-либо состояние дел, называемых дескриптивными, в деонтических модальностях предписывается определенный образ действий или поведения. Поэтому такие суждения называют также прескриптивными. Характер предписаний может быть весьма различным, начиная от совета и рекомендации и кончая приказом. Наиболее широкая сфера применения деонтических модальностей - мораль и право. В отличие от норм морали, правовые нормы регулируют общеобязательные правила поведения в обществе, которые формулируются в соответствующих кодексах и постановлениях. Юридическими нормами регулируются имущественные, трудовые, семейные, административные и другие отношения в обществе. Неисполнение требований правовых норм влечет юридические санкции со стороны правоохранительных органов государства. В отличие от этого нарушение моральных норм сопровождается лишь порицанием со стороны общества. Этим объясняется точная кодификация правовых норм, в которых всегда предполагается адресат, на который распространяется норма, характер действия, форма предписания (запрещение, обязанность или разрешение) и юридическая санкция за неисполнение предписания. Соответственно этому правозапрещающие нормы в юридических документах формулируются с помощью деонтических модальностей "запрещается", "не допускается", "нельзя" и т.п. В правообязывающих документах употребляются такие слова, как "обязан", "должен" "необходимо" и т.п.;
• аксиологические (ценностные) модальности характеризуют суждения с точки зрения той или иной системы ценностей. Такие оценки чаще всего выражаются с помощью слов "хорошо", "плохо" или "безразлично". В сравнительном отношении используются слова "лучше", "хуже" или "равноценно", а иногда для сравнения вводятся степени предпочтения. Очевидно, что одни аксиологические термины могут определяться через другие, например, "безразличное" можно рассматривать как то, что не является ни хорошим, ни плохим;
• темпоральные (временные) модальности, которые характеризуют фактор времени в рассуждениях. Они используются для установления отношений во временных рядах: прошлое, настоящее и будущее, а также раньше, одновременно и позже.
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и практическом действии. Посредством использования символов и формальных методов современной неклассической логики расплывчатые и неопределенные модальные термины естественного языка приобретают необходимую ясность, однозначность и точность.
3.9. Непосредственные умозаключения традиционной логики
Основываясь на исчислении высказываний, можно теперь лучше понять не только механизм непосредственных дедуктивных умозаключений, но и упростить обращение с ними. Такие умозаключения состоят всего из одной посылки, и поэтому вывод из нее получить весьма просто.
В качестве первого шага рассмотрим отношения между суждениями, которые могут быть представлены как вершины логического квадрата (рис. 8). Обозначим буквой А общеутвердительные суждения (начальная буква греч. Слова affirmo - утверждать), общеотрицательные суждения обозначим буквой Е (первая гласная буква в слове (nego - отрицать), буквой О обозначим частноотрицательные суждения (вторая гласная в слове (nego) и буквой I- частноутвердительные суждения (вторая гласная в слове affirmo). Пользуясь таким квадратом, можно установить различные логические отношения между перечисленными суждениями и выводить частные суждения из общих. Соответственно этому между общими и частными суждениями устанавливается отношение подчинения, которое изображается вертикальными сторонами квадрата. Общеутвердительное и общеотрицательное суждения связаны отношением контрарности (противности), которое изображается верхней горизонтальной стороной квадрата. Каждое из этих общих суждений может быть получено путем логического отрицания другого. Частноотрицательное и частноутвердительное суждение связаны отношением субконтрарности, которое представлено нижней горизонтальной стороной квадрата. Диагонали логического квадрата связывают общеутвердительное суждение с частноотрицательным и общеотрицательное с частноутвердительным суждением.
Обратимся теперь к рассмотрению непосредственных дедуктивных умозаключений традиционной логики.
Превращение является непосредственным выводом, в котором заключение получается путем изменения качества посылки. Если посылка - утвердительное суждение, то в результате превращения оно становится отрицательным суждением. Отрицательное суждение, наоборот, превращается в утвердительное. Например, суждение "Все металлы - проводники электричества" превращается в отрицательное "Ни один металл не является неэлектропроводным". В нашем примере общеутвердительное суждение становится общеотрицательным, что можно представить схемой:
Все А есть В.
________________________
Ни одно А не есть не-В.
Подобным же образом частноутвердительное суждение превращается в частноотрицательное по схеме:
Некоторые В есть С.
Некоторые В не есть не - С.
Аналогично происходит превращение общеотрицательных суждений в общеутвердительные и частноотрицательных - в частноотрицательные, как видно из следующих схем:
Ни одно А не есть В.
_______________________
Все А есть не-В.
Некоторые В не есть С.
________________________
Некоторые В есть не-С.
Как нетрудно заметить, умозаключения во всех этих случаях основываются на законе двойного отрицания и взаимосвязи между кванторами "все" и "некоторые", о которых речь пойдет в следующей главе. Здесь же заметим, что двойное отрицание оставляет качество суждения неизменным. В языковом выражении суждения одно из отрицаний становится отрицанием предиката, поэтому для проверки правильности превращения утвердительного суждения в отрицательное достаточно представить их в символической форме.
Обращение представляет собой такой вид непосредственного умозаключения, в котором вывод получается путем перестановки предиката посылки на место субъекта, а субъекта - на место предиката. При этом в общем случае происходит уточнение количества суждений. Так, суждение "Все кролики - млекопитающие" обращается в суждение "Некоторые млекопитающие - кролики", поскольку класс млекопитающих гораздо больше подкласса кроликов. Этот вывод мы получаем на основе знания содержания высказываний. Но можно абстрагироваться от этого содержания, заметив, что предикат в таких умозаключениях является распределенным, и потому составляет лишь часть объема субъекта:
Все S есть Р.
____________________
Некоторые Р есть S.
Другой вид обращения, называемый иногда "чистым", происходит тогда, когда объемы субъекта и предиката совпадают. С такими случаями мы встречаемся при определении понятий. Так, в суждении "квадрат есть равносторонний прямоугольник" объемы субъекта и предиката одинаковы, так как объемы определяемого и определяющего понятий должны быть соразмерными (см. гл.2).
Противопоставление предикату - такой вид непосредственного умозаключения, в котором субъектом вывода служит понятие, противоречащее предикату. Например, суждению "Все параллельные на плоскости не пересекаются" противопоставляется суждение "Все непараллельные линии пересекаются". Такой вид умозаключения, как мы уже знаем, можно представить в виде контрапозиции условных высказываний:
(S → P) (¬Р ↔ → ¬S).
Как видно из сказанного выше, некоторые виды непосредственных умозаключений традиционной логики, такие, как контрапозиция, превращение, легко переводятся на символический язык исчисления высказываний. Но уже операция обращения, когда приходится анализировать структуру связи между субъектом и предикатом и вводить кванторы общности и существования, не допускает перевода на простой язык исчисления высказываний, в котором высказывания рассматриваются как единое целое и анализируются лишь с точки зрения их истинности и ложности. В связи с этим и возникает необходимость исследования логической структуры суждений как атрибутивных, так и реляционных, характеризующих отношения между предметами. Одновременно с этим для количественной характеристики суждений должны быть введены кванторы общности и существования.
Тем не менее представление суждений в виде высказываний, лишенных внутренней структуры и оцениваемых в целом как истинные и ложные, играет существенную роль в построении самой логики. Во-первых, некоторые простейшие виды рассуждений или умозаключений можно свести к исчислению, опирающемуся только на оценку истинностного значения высказываний. Во- вторых, такой подход является весьма полезным с методической точки зрения, ибо опираясь на него, можно по аналогии строить более сложное исчисление предикатов, в котором учитывается внутренняя логическая структура суждений. В-третьих, исчисление высказываний при таком подходе можно рассматривать, с одной стороны, как исходную базу для построения исчисления предикатов, а с другой - как частный случай исчисления предикатов. Наконец, в-четвертых, новое исчисление предикатов охватывает не только классическую логику с субъектно-предикатной структурой суждений, но позднее возникшую логику отношений.
1. Какие из перечисленных ниже предложений выражают суждения?
1) Кто сегодня дежурный.
2) Иванов - дежурный.
3) Сперва подумай, а потом отвечай.
4) Можно ли правильно ответить, не подготовившись к занятию?
5) Человека узнают не по речам, а по делам.
2. Определите качество и количество следующих суждений.
1) Один в поле не воин.
2) Кит не рыба.
3) Ромб - равносторонний параллелограмм.
4) Три девицы под окном пряли поздно вечерком.
5) Большинство студентов своевременно сдают зачеты.
6) Несколько дней он был болен.
3. Какие из следующих выражений будут функциями-высказываниями:
1) х - адвокат.
2) х + 5 = 12.
3) х >3.
4) 7 >5.
5) х - брат Миши; Георгий брат Миши.
6) Точка В лежит между точками А и С.
7) Точка Х находится левее точки А.
8) Кто-то вошел в дом; х причина у.
9) Утечка газа - причина взрыва.
4. Переведите следующие предложения на символический язык, обозначив каждое простое суждение буквой, а сложное суждение - формулой. Определите, какие из полученных формул выражают конъюнкцию, а какие дизъюнкцию.
1) "Долго ль мне гулять на свете то в коляске, то верхом, то в кибитке, то в карете, то в телеге, то пешком" (А. С. Пушкин).
2) "Однажды лебедь, рак и щука вести с поклажей воз взялись" (А. И. Крылов)
3) Знание и ремесло человека красят.
4) "Вот оно что, петушок красный гребешок, - сказал осел, - эх, ступай-ка ты лучше с нами, мы идем в Бремен, - хуже смерти все равно ничего не найдешь; голос у тебя хороший, и если мы примемся вместе с тобой за музыку, то дело пойдет на лад" (Братья Гримм).
5. Почему конъюнкцию опровергнуть легче, чем дизъюнкцию? Обоснуйте свой ответ и приведите примеры.
6. Переведите условные предложения на символический язык.
1) "Еще бы ты более навострился, когда бы у него немножко поучился" (И. А. Крылов).
2) "Заяц, ежели его бить, спички может зажигать" (А. Чехов).
3) Назвался груздем - полезай в кузов.
4) Диаметр делит круг пополам.
5) Если треугольник равнобедренный, то углы при его основании равны.
7. С помощью таблиц истинности определите истинностное значение следующих формул:
1) (А Λ В) → В;
2) ¬(Л v 5);
3) (А → В) v В; А v (¬5 Λ В).
8. Являются ли эквивалентными следующие формулы:
1) (х → у) и (¬у → ¬х); ¬(х v у) и (¬х Λ ¬у);
2) (х → у) и (у → х; ¬х и (¬(¬х).
9. С помощью таблиц истинности проверьте, являются ли тавтологиями следующие формулы:
1) (А v В) → А;
2) (А → В) → (¬A v B);
3) (А Λ В) → (В Λ А); А v А; А v В.
10. Является ли конъюнкция (А → В) Λ (А Λ ¬В) противоречием?
11. Чем отличаются фактуальные высказывания от тавтологий и противоречий? Определите, какие из формул являются тавтологиями, противоречиями и фактуальными (эмпирическими) суждениями?
1) А → А; (А v В);
2) А v ¬B;
3) (А → В) → (В Λ ¬А);
4) (А В) (В → А);
5) А Λ А.
12. Как определить, следует ли формула исчисления высказываний В из формулы А1 Приведите примеры.
13. Проверьте правильность вывода в следующих формулах:
1) 2) 3)
14. Если возможно, то сделайте обращение следующих суждений
1) Все кошки - млекопитающие.
2) Все прямоугольники - четырехугольники.
3) Все квадраты - равносторонние прямоугольники.
4) Некоторые студенты не изучают логику.
5) Некоторые студенты - спортсмены.
15. Какое различие существует между обращением таких суждений?
1) Все треугольники - геометрические фигуры.
2) Все равносторонние треугольники равноугольны.
16. С помощью логического квадрата установите отношение между следующими простыми суждениями:
1) Все студенты изучают логику.
2) Некоторые студенты не изучают логику.
3) Все люди эгоистичны.
4) Ни один человек не эгоист.
5) Не все люди пишут грамотно.
6) Не все люди знают логику.
7) Некоторые из них знают логику.
17. Чем отличается логическая структура суждения от грамматической структуры предложения? Приведите пример распространенного повествовательного предложения и выделите в нем субъект, предикат и связку.
18. Определите вид модальности в следующих суждениях:
1) Возможно, что существует разумная жизнь во Вселенной.
2) Вероятность снегопада летом весьма мала.
3) Сумма углов в треугольнике равна 180°.
4) Сегодня солнечный день.
5) Вы должны пойти на лекцию.
6) Мы обязаны сдавать зачеты.
7) Достоверно известно, что его там не было.
8) Никогда не нарушайте правила движения.
19. Чем отличается грамматическая условная связь импликации в логике?
20. Определите, какую смысловую связь выражают следующие условные предложения:
1) Если идет ток по проводнику, то он нагреется.
2) Если диаметр перпендикулярен к хорде, то он делит ее пополам.
3) Если число делится на 2, то оно не простое.
4) Если вы не знаете логики, то вам трудно будет обнаружить ошибку в рассуждении.
21. Чем отличаются с логической точки зрения связь причины и следствия (действия); основания и следствия? Приведите примеры.
22. Что необходимо сделать, чтобы перевести предложения естественного языка на язык логики? Является ли такой перевод адекватным?
23. Как можно построить аксиоматическую теорию для исчисления высказывания?
24. Какие преимущества процесс логического вывода и доказательства имеет перед табличным способом определения истинностного значения сложных высказываний?