ЛОГИЧЕСКИЕ ОШИБКИ- ошибки, связанные с нарушением логической правильности рассуждений. Состоят в том, что утверждается истинность ложных суждений (либо ложность истинных суждений), или логически неправильные рассуждения рассматриваются как правильные (либо логически правильные рассуждения — как неправильные), или недоказанные суждения принимаются за доказанные (либо доказанные — за недоказанные), или, наконец, неверно оценивается осмысленность выражений (бессмысленные выражения принимаются за осмысленные, либо осмысленные — за бессмысленные). Эти аспекты познавательных ошибок могут различным образом сочетаться друг с другом (напр., принятие бессмысленного суждения за осмысленное обычно бывает связано с убеждением в его истинности). Логические ошибки изучались уже Аристотелем в соч. «Опровержение софистических аргументов». На этой основе в традиционной логике, начиная с трудов схоластов, было разработано подробное описание логических ошибок. В соответствии с выделяемыми в традиционной логике частями доказательства логические ошибки были подразделены на ошибки в отношении (1) оснований доказательства (посылок), (2) тезиса и (3) формы рассуждения (демонстрации, или аргументации). К числу ошибок типа ( 1 ) относится прежде всего ошибка ложного основания, когда в качестве посылки доказательства принимается ложное суждение (эта ошибка называется также основным заблуждением, ее лат. название — error fundamentalis). Поскольку из ложных суждений по законам и правилам логики могут быть выведены в одних случаях ложные, а в других — истинные следствия, постольку наличие в числе посылок ложного суждения оставляет открытым вопрос об истинности доказываемого тезиса. Частным случаем этой ошибки является такое использование (в качестве посылки доказательства) некоторого суждения, требующего для своей истинности определенных ограничительных условий, при котором это суждение рассматривается безотносительно к этим условиям, что приводит к определенной ложности. Другой случай этой же ошибки состоит в том, что вместо некоторой нужной для данного доказательства истинной посылки берется более сильное суждение, являющееся, однако, ложным (суждение А называется более сильным, чем суждение В, если из А в предположении его истинности следует В, но не наоборот). Весьма распространенным видом логической ошибки типа (1) является ошибка недоказанного основания; она состоит в том, что в качестве посылки используется недоказанное суждение, в силу чего недоказанным оказывается и тезис доказательства. К числу ошибок этого вида относится т. н. предвосхищение основания или «предрешение основания» (лат. название — petitio principi), суть которого состоит в том, что за основание доказательства принимается суждение, истинность которого предполагает истинность тезиса. Важным частным случаем petitio principi является круг в доказательстве. В традиционной логике все логические ошибки подразделяются на непреднамеренные — паралогизмы и преднамеренные — софизмы. Учение традиционной логики о логических ошибках охватывает все основные виды логических дефектов в содержательных рассуждениях людей. Средства современной формальной логики позволяют лишь уточнить характеристику многих из них. В связи с развитием математической логики понятие логической ошибки естественно распространяется на случаи ошибок, связанных с построением и использованием рассматриваемых в ней исчислений, в частности, всякая ошибка в применении правил образования или преобразования выражений исчисления может рассматриваться как логическая. Источникомошибоквмышленииявляютсяразличныепричи- ны психологического, языкового, логико-гносеологического и иного характера. Появлению логических ошибок способствует прежде всего то, что многие логически неправильные рассуждения внешне похожи на правильные. Немаловажную роль играет также и то, что в обычных рассуждениях не все их шаги — суждения и умозаключения, в них входящие, — обычно бывают выраженными в явной форме. Сокращенный характер рассуждений часто маскирует неявно подразумеваемые в нем ложные посылки или неправильные логические приемы. Важным источником логических ошибок является недостаточная логическая культура, сбивчивость мышления, нечеткое понимание того, что дано и что требуется доказать, в ходе рассуждения, неясность применяемых в нем понятий и суждений. Сбивчивость мышления бывает тесно связана с логическим несовершенством языковых средств, применяв-

438

ЛОГИЧЕСКИЕ СВЯЗКИ мых при формулировке тех или иных суждений и выводов. Источником логических ошибок может быть также эмоциональная неуравновешенность или возбужденность. Питательной средой для логических ошибок, особенно для ошибки ложного основания, являются те или иные предрассудки и суеверия, предвзятые мнения и ложные теории. В борьбе с логическими ошибками немаловажное значение имеет использование средств логики. Эти средства дают должный результат в тех областях, где фактический материал позволяет осуществить предписываемое формальной логикой уточнение формы рассуждений, выявление опущенных звеньев доказательств, развернутое словесное выражение выводов, четкое определение понятий. В этих областях применение логики является эффективным средством устранения сбивчивости, непоследовательности и бездоказательности мышления. Дальнейшее развитие средств логики — уже в рамках математической логики — привело к оформлению строгой теории дедуктивного вывода, к логической формализации целых разделов науки, к разработке искусственных (напр., т. н. информационно-логических) языков. Вместе с тем выяснилось, что чем сложнее область исследования, тем сильнее проявляется неизбежная ограниченность формальнологических средств. Средства логики сами по себе, как правило, не гарантируют правильности решения научных и практических вопросов; при всей их необходимости они дают должный эффект лишь в комплексе всей практической и познавательной деятельности человечества. Лит.: Асмус В. Ф. Учение логики о доказательстве и опровержении. М, 1954, гл. 6; УемовА. И. Логические ошибки. Как они мешают правильно мыслить. М., 1958. Б. В. Бирюков, В. Л. Васюков

ЛОГИЧЕСКИЕ СВЯЗКИ- символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие логические связки, как конъюнкция (союз «и», символические обозначения: &, л и точка в виде знака умножения, которые часто опускают, записывая конъюнкцию А и В как AB), дизъюнкция (нестрогий союз «или», обозначается как «v»), импликация («если..., то», обозначается с помощью знака « z> » и различного рода стрелок), отрицание («неверно, что...», обозначается: -i, ~ или чертой над отрицаемым выражением). Из перечисленных отрицание является одноместной (унарной) связкой. Другие являются двухместными (бинарными). В принципе логические связки могут быть сколь угодно местными, но на практике более, чем бинарные, используются очень редко. В классической логике (Логика, Логика высказываний) любые многоместные логические связки выразимы через перечисленные. Некоторый практический смысл дает использование тернарной логической связки, называемой условной дизъюнкцией, связывающей три высказывания А, В и С и означающей, что «А в случае В, и С в случае не-Z?» или формально: (Яз A)&(-iBz) Q (Сидоренко Е. А. Пропозициональное исчисление с условной дизъюнкцией.— В кн.: Методы логического анализа. М., 1977). Классическая логика рассматривает логические связки экстенсионально (игнорируя содержательный смысл связываемых ими высказываний) как функции истинности, определяемые истинностными значениями связываемых ими высказываний. При двух имеющих место в этой логике истинностных значениях 1 (истинно) и 0 (ложно) высказываниям А и В могут иметь четыре возможных набора упорядоченных истинностных «значении: < 1,1 >, < 1,0>, <0,1 >, <0,0>. Пропозициональная истинностная функция ставит в соответствие каждому перечисленному набору одно из значений истинности — 1 или 0. Всего таких функции 16. Конъюнкция приписывает выражению А&В значение 1 только в случае, когда как А, так и В истинны, т.е. оба имеют значение 1, в остальных случаях значение А&В равно 0. Дизъюнкция А V В, напротив, ложна только в одном случае, когда ложны как А, так и В. Импликация A z> В является ложной только при истинном (антецеденте) А и ложном (консеквенте) В. В остальных случаях А 3 В принимает значение 1. Из четырех одноместных функций интерес представляет только отрицание, меняющее значение высказывания на противоположное: когда А — истинно, -А — ложно, и наоборот. Все другие унарные и бинарные классические функции могут быть выражены через представленные. Когда принятая в соответствующей семантике система логических связок позволяет дать определение всех остальных, ее называют функционально полной. К полным системам в классической логике относятся, в частности, конъюнкция и отрицание; дизъюнкция и отрицание; импликация и отрицание. Конъюнкция и дизъюнкция определимы друг через друга за счет эквива- лентностей (А&В) = -|(-Л v -iE) n(Av В) = -i(-i/4&-i В), именуемых законами де Моргана, а также: (Az> В) = (-Л v В), (А&В) = -^(Az^B), (Av B) = ((Az)B)z> A). Любая эквивалентность вида А = В имеет силу только тогда, когда общезначима (всегда истинна) конъюнкция (А => B)&.(Bz>A). Функции антидизъюнкция и антиконъюнкция, определимые соответственно как -i (A v В) и -. (А&В), также представляют каждая в отдельности функционально полную систему связок. Это последнее обстоятельство было известно уже Ч. Пирсу (неопубликованная при его жизни работа 1880 г.) и было переоткрыто X. Шеффером (H. M. Shefler). Используя антидизъюнкцию как единственную логическую связку, Шеффер в 1913 построил полное исчисление высказываний. Антидизъюнкцию обозначают А \ В и называют штрихом Шеффера, читая данное выражение, как «не-Л и не-В». Ж. Нико (J. G. P. Nicod) употребил то же обозначение для антиконъюнкции («Неверно, что одновременно А и В») и с помощью только этой связки в 1917 сформулировал полное исчисление высказываний с одной (всего!) аксиомой и одним правилом вывода. Т. о., штрихом Шеффера называют по сути саму вертикальную черту, которая у разных авторов может обозначать как антидизъюнкцию, так и антиконъюнкцию. Экстенсиональность логических связок придает им однозначность, упрощает проблему построения логических исчислений, дает возможность решать для последних метатео- ретические проблемы непротиворечивости, разрешимости, полноты (см. Металогика). Однако в некоторых случаях истинностно-функциональная трактовка связок приводит к значительному несоответствию с тем, как они понимаются в естественном языке. Так, указанная истинностная интерпретация импликации вынуждает признавать верными предложения вида «Если А, то В» даже в том случае, когда между высказываниями А и В (и, соответственно, событиями, о которых в них идет речь) нет никакой реальной связи. Достаточно, чтобы А было ложным или В — истинным. Поэтому из двух предложении: «Если А, то В» и «Если В, то А», по крайней мере одно приходится признавать верным, что плохо сообразуется с обычным употреблением условной связки. Импликацию в данном случае специально называют «материаль-