Текст книги "Логика и аргументация: Учебное пособие для вузов."
Автор книги: Георгий Рузавин
Жанр:
Философия
сообщить о нарушении
Текущая страница: 6 (всего у книги 24 страниц)
3 ГЛАВА. Логика высказываний
Под высказыванием (суждением) понимают форму мысли, которая выражает соответствие или несоответствие ее действительности. Так, еще великий античный философ Платон утверждал, что «тот, кто говорит о вещах в соответствии с тем, каковы они есть, говорит истину, тот же, кто говорит о них иначе – лжет».
В традиционной логике, которая ограничивалась изучением связи между вещами и их свойствами, общепринятым считался термин "суждение", в современной же логике предпочитают говорить скорее о высказываниях. Однако эти термины рассматриваются как синонимы, и поэтому в дальнейшем мы будем употреблять их как равнозначные.
Высказывания входят в качестве составной части в любое умозаключение либо как посылка, либо как результат рассуждения. Между посылками и заключением любого рассуждения существует определенная логическая связь. В дедуктивных умозаключениях, которые мы будем рассматривать в этой и последующих главах, эта связь имеет характер логического следования или вывода, в правдоподобных – характер вероятностного отношения, когда посылка лишь с той или иной степенью правдоподобия подтверждает заключение.
Современная дедуктивная логика начинает изучение высказываний, отвлекаясь от их внутренней структуры, и рассматривает их либо как истинные, либо как ложные. Как мы убедимся далее, именно такой подход служит основой для построения исчисления высказываний и позволяет обращаться с рассуждениями, как с вычислениями. В дальнейшем этот подход, ограниченный и слишком абстрактный, может быть преодолен путем снятия подобных ограничений. Именно в этих целях строится логика предикатов, в которой рассматривается логическая связь между предметами и характеризующими их предикатами. Однако в отличие от традиционной логики под предикатами сейчас подразумеваются не только свойства, но и различные отношения между предметами.
Хотя в высказываниях в качестве терминов включаются и понятия, но они в познании играют совсем иную роль. Как мы убедились ранее, понятия отделяют одни классы предметов от других по их отличительным признакам. В языке они выражаются одним именем, представляющим собой либо отдельное слово, либо сочетание слов. Высказывания же формулируются с помощью предложений.
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),
где (Ех) и (Еу) – кванторы существования.
В традиционной логике эти высказывания называют частными суждениями. Такие суждения оцениваются как истинные или ложные.
Таким образом, один из способов образования высказываний состоит в том, что сначала мы составляем пропозициональную функцию, где фигурируют соответствующие переменные, а затем связываем их кванторами общности и существования. Благодаря этому получаются общие и частные высказывания.
Принципиально другой путь образования сложных (составных) высказываний состоит в объединении двух или нескольких простых высказываний с помощью логических операторов или связок, которые выражаются терминами "и", "или", "если, то" и др. Этот способ напоминает грамматический прием образования сложных предложений путем использования сочинительных и подчинительных союзов. Так, в предложении "Заря сияла на востоке, и золотые ряды облаков, казалось, ожидали солнце", тоже употребляется союз "и", связывающий два простых предложения.
Однако логические связки отличаются от грамматических союзов тем, что они объединяют суждения не по их смыслу, а только по значению их истинности. В отличие от этого грамматические союзы соединяют предложения по их смыслу, придавая сложному предложению определенный целостный, единый смысл.
Таким образом, при логическом объединении высказываний абстрагируются от конкретного содержания и смысла высказываний. Поэтому с точки зрения обыденного сознания некоторые логические операции кажутся явно парадоксальными. Именно поэтому начинающие изучать логику здесь сталкиваются с наибольшими трудностями. Чтобы их преодолеть, необходимо с самого начала понять, что логический подход является более общим, и потому он не может учитывать все конкретные особенности употребления союзов в грамматике.
