Конспект лекций по дисциплине Б1ВВ. 1 «Логика и теория аргументации» для студентов направления подготовки 42.03.01 Реклама и связи с общественностью 1. «Предмет логики. Законы логики» Логика – это наука о формах, законах и операциях правильного мышления. Необходимо отличать форму мысли от ее конкретного содержания. Форма мысли – устойчивый способ связи составных частей содержания конкретной мысли. Причем одна и та же форма может выражать бесконечное разнообразие мыслительного содержания. Например, содержание суждений «Все рыбы дышат жабрами» и «Все металлы электропроводны» относится к разным областям знания, но имеет одну и ту же форму, в которой утверждается наличие определенного признака (дышать жабрами или электропроводность) у целого класса однородных предметов (рыб или металлов). Логика как наука исследует формальную правильность мысли, то есть соответствие ее связей тем или иным законам и правилам логики. Нужно помнить, что правильными (или неправильными) могут быть лишь логические действия и операции мышления. Вместе с тем, нельзя путать формальную правильность мысли и ее истинность – адекватное отражение действительности познающим субъектом. Истинность (или ложность) относится лишь к конкретному содержанию мысли, в которой утверждается или отрицается что-либо непосредственно о предметах действительности, об их свойствах, связях и отношениях. Истинность является характеристикой содержания мысли, а не ее формы, и критерий истины той или иной мысли находится за рамками формальной логики. Вместе с тем, строгое соблюдение формальной правильности мысли имеет прямое отношение к истинности рассуждения, так как в противном случае связывая исходные правильные мысли можно прийти к неверному и даже абсурдному результату. Логический закон – это необходимая и существенная связь между мыслями в процессе рассуждения. Необходимо помнить, что логических законов огромное количество, однако из их числа традиционно выделяют четыре основных логических закона, которые выражают фундаментальные черты мышления. Требование определенности мышления выражает закон тождества, который гласит: «всякое понятие или суждение в процессе некоторого рассуждения должно оставаться тождественным самому себе». Иными словами, в процессе рассуждения нельзя произвольно изменять содержание того или иного термина или смысл некоторого высказывания. Закон тождества запрещает различать одну и ту же мысль или отождествлять разные мысли. Нарушение этого закона приводит к логической ошибке – подмене термина. Требование непротиворечивости мышления выражает закон противоречия, который гласит: «два противоположных высказывания об одном и том же предмете не могут быть одновременно истинными в одном и том же отношении или смысле». Необходимо помнить, что противоположные (или несовместимые) высказывания должны быть об одном и том же предмете, рассмотренном в одно и то же время в одном и том же отношении. При отсутствии одного из этих требований данный закон применяться не может. Требование последовательности мышления выражает закон исключенного третьего, согласно которому из двух противоречащих друг другу высказываний одно истинно, а второе — ложно. Третьего не дано. Последовательность мышления выражается в том, что при наличии противоречия нельзя уклоняться от признания истинным одного положения (и, соответственно, ложным другого, ему противоречащего), а не искать нечто третье. Следует также помнить, что закон работает в случае именно противоречия двух суждений и не дает ответ, какое из них истинно. Требование обоснованности мышления выражает закон достаточного основания, который требует, чтобы всякое истинное высказывание должно быть достаточно обосновано другими истинными же высказываниями. При этом следует различать необходимые и достаточные основания мысли. Необходимым является основание, без которого невозможно признание истинности рассматриваемого высказывания; достаточным же является основание, из которого с необходимостью следует истинность нужного положения. 2. «Понятие как форма мышления» Понятие – это мысль, в которой обобщаются такие признаки предмета, явления или некоторого их класса, которые позволяют выделить их из групп других предметов или явлений (классов предметов). Особое внимание следует уделить термину «предмет мысли», под которым в логике понимается все то, на что направлена мысль человека. Предмет мысли это не обязательно физические объекты, явления или события – то, что обозначают конкретные понятия. Мыслить можно так же и отдельные свойства или отношения между объектами (упругость, дружба), которые обозначают абстрактные понятия; и даже воображаемые, то есть не существующие в реальности объекты (идеальный газ, леший и т. п.). Следует помнить, что предмет мысли принадлежит нашему сознанию, в то время как объект – реальной действительности. Предмет выражает сумму информации об объекте, то есть наличие (положительные понятия) или отсутствие (отрицательные понятия) у него тех или иных признаков. Признаком называют все то, в чем предметы схожи между собой или отличаются друг от друга. Следует различать существенные признаки (без которых предмет помыслить невозможно) от несущественных (случайных в мыслимом предмете) и общие, имеющиеся и у других предметов, от отличительных, наличествующих только у мыслимого предмета. Совокупность существенных (или иных) признаков, отражаемых данным понятием называется его содержанием. Вторая основная характеристика понятия – его объем. Объемом понятия называется множество (класс) предметов (элементов), которым присущи признаки, относящиеся к содержанию понятия. По объему понятия делятся на единичные, объем которых состоит из одного элемента; общие, содержащие два и более элементов и пустые, не содержащие ни одного элемента. Причем следует различать фактически пустые понятия, предмет которых не имеет коррелята в физическом мире от логически пустых, предмет которых невозможно помыслить (круглый квадрат, честный жулик и т. п.) Две основные характеристики понятия – содержание и объем находятся в неразрывной связи: объем является функцией содержания: определенные признаки очерчивают определенный объем. Поэтому при изменении одной из характеристик неизбежно меняется и вторая. Подобная взаимосвязь регулируется законом обратного отношения между содержанием и объемом понятия, согласно которому расширение содержания некоторого понятия влечет за собой уменьшение его объема, а расширение объема понятия ведет к сужению его содержания. Следует помнить, что понятие – это инструмент мышления. Для тех или иных целей мыслимая реальность разбивается на определенные предметные области, составляющие объемы соответствующих понятий. При этом в ходе рассуждения необходимо знать, как эти объемы соотносятся между собой. Понятия могут быть сравнимые, если их содержание имеет общие признаки, и несравнимые, то есть не имеющие общих признаков. В свою очередь, среди сравнимых понятий выделяют совместимые, объемы которых полностью или частично совпадают; и несовместимые, не имеющие общих элементов. Для наглядности отношения между понятиями по объему обозначаются с помощью круговых схем Эйлера, где круг символизирует объем определенного понятия. Существует три вида отношения между совместимыми понятиями: равнозначность, при которой объемы понятий полностью совпадают (все А есть В и все В есть А) например, студент и человек обучающийся в ВУЗе; подчинение, где объем одного понятия полностью включается в объем другого, составляя его часть (все В есть А, некоторые А есть В и некоторые А не есть В) например, учащийся и студент. В отношении подчинения находятся родовое понятие (обладающее большим объемом) и видовое понятие (объем которого включен в объем родового понятия): в нашем примере родовым будет понятие «учащийся», а видовым – «студент». Пересечение, то есть частичное совпадение объемов понятий (некоторые А есть В, некоторые А не есть В; некоторые В есть А, некоторые В не есть А) например, студент и спортсмен. Между несовместимыми понятиями тоже существует три вида отношений: соподчинение – отношение между однопорядковыми видами какого-либо рода (отношение между понятиями В и С, где все В есть А, все С есть А, некоторые А есть В, некоторые А есть С, некоторые А не есть В, некоторые А не есть С и ни одно В не есть С) например, студент (В) и школьник (С) по отношению к понятию учащийся (А); противоположность – частный случай соподчинения, при котором видовые понятия противопоставляются по какому-либо признаку: например, младенец и старик; противоречие, при котором выделенные видовые понятия взаимоисключают друг друга, а сумма их объемов исчерпывает объем родового понятия: например, студент и нестудент. Логическое значение отношения между понятиями. Умение соотносить объемы понятий между собой поможет избежать ошибок, связанных с неверным оперированием понятиями. В ходе рассуждения часто требуется уточнять особенности содержания и объема понятий. Для этого необходимо уметь правильно производить операции с понятиями. Для точного использования понятий существует операция определения (дефиниции). Определение понятия это логическая операция, позволяющая установить содержание понятия, т. е. выделить, отличить некоторый объект от других объектов или установить значение какого-либо знакового выражения (термина). Нужно помнить четыре основных правила определения: 1) Определение должно быть соразмерным, то есть объем определяемого понятия должен быть равен объему, на который указывают перечисленные в определении признаки; 2) Определение не должно содержать в себе «круга», то есть не должно определяться через самого себя; 3) определение должно быть ясным и недвусмысленным: это правило запрещает использовать в определении метафоры, сравнения или неизвестные слова; 4) определение не должно быть отрицательным (кроме определения отрицательных понятий). Среди большего разнообразия видов и способов определения выделяют классическую дефиницию – определение, при котором устанавливаются сначала признаки, позволяющие отнести тот или иной объект (класс объектов) к некоторому родовому понятию, а затем указать его специфические признаки (видовые отличия): например, термометр – это прибор для измерения температуры, где измерительный прибор – родовой признак, а измерение температуры – видообразующий признак, позволяющий выделить термометр из совокупности измерительных приборов. Другой важной операцией является деление понятий – логическая операция, при которой объем некоторого понятия распределяется по группам (подмножествам), называемым членами деления, в зависимости от какого-либо признака — основания деления. Члены деления при этом являются соподчиненными понятиями. Умение правильно делить понятие необходимо при аналитических процедурах, систематизации и классификации. При делении понятий нужно соблюдать следующие правила: 1) Деление должно быть соразмерным, то есть сумма членов деления должна соответствовать объему делимого понятия; 2) деление должно производиться по одному основанию; 3) выделенные члены должны исключать друг друга; 4) выделенные члены должны быть однопорядковыми, то есть находиться друг с другом в отношении соподчинения. Иногда смешивают операцию деления понятия и мысленным членением целого на части, что является грубой логической ошибкой. Для различения этих операций нужно следить, применимы ли к выделенным видам родовые черты делимого понятия: например, среди людей различают мужчин и женщин – деление понятия человек, так как и мужчины, и женщины являются людьми; у человека различают голову, конечности и т. п. – мыслительное членение предмета понятия: ни голова, ни другие части тела сами по себе человеком не являются. Существуют также обобщение понятия – мыслительная операция, при которой осуществляется переход от понятия с меньшим объемом к понятию с большим объемом: этот переход проводится путем уменьшения содержания данного понятия; и обратная ей операция ограничения понятия, при которой переходят от понятия с большим объемом к понятию с меньшим объемом. При этом содержание понятия расширяется. Примером обобщения понятия студент является учащийся и далее человек; а ограничения – студент КубГТУ и далее – студент КубГТУ факультета СГФ. 3. «Суждение как форма мышления» Суждение это форма мышления, в которой что-либо утверждается или отрицается о предметах действительности, об их свойствах, отношениях, образе действия, взаимосвязях. Именно в суждениях выражается знание о предметах мысли, поэтому суждение может соответствовать или не соответствовать действительности (быть истинным или ложным). Истина или ложь – это логическое значение суждения, причем логическое значение применимо только к суждению: понятие, даже пустое, не может быть ни истинным, ни ложным. В языке суждение выражается повествовательным предложением и грамматическими формами с ним схожими (например, риторическим вопросом). Следует помнить, что вопросительные и побудительные предложения суждений не выражают. Различают простые и сложные суждения. Простым называется суждение, в котором нельзя выделить часть, являющуюся суждением, кроме самого этого целого. Суждение, состоящее из двух или более простых суждений, соединенных с помощью логических союзов называется сложным. Среди простых суждений различают атрибутивные, в которых указывается на наличие или отсутствие у предметов какихлибо признаков: например, некоторые студенты изучают логику. Атрибутивное суждение состроит из субъекта – понятия о предмете мысли: то, о чем говорится в данном суждении – обозначается символом S (в нашем примере это студенты); предиката – понятия о признаке предмета мысли: то, что говорится о предмете мысли – обозначается символом Р (в нашем примере это человек, изучающий логику); связки, которая выражает отношение между субъектом и предикатом (в нашем примере эту утверждение о студентах признака изучать логику); квантора, выражающего количественную характеристику субъекта (в нашем примере это некоторые). В естественных языках, особенно в русском, отдельные части суждения не всегда выражаются в предложениях, а лишь подразумеваются по контексту. Зачастую отсутствует связка (вряд ли кто скажет: студент есть человек обучающийся в ВУЗе). В некоторых случаях предложение представлено одним словом: например, «Иду», где скрыты и субъект, и связка, и квантор. Частным случаем атрибутивных являются экзистенциальные суждения, в которых утверждается или отрицается существование предмета мысли, например КубГТУ существует; третья разновидность простых суждений это суждения с отношениями, в которых говорится о каких-либо отношениях между суждениями: например, Земля вращается вокруг Солнца. Суждения с отношениями имеют структуру xRy, где x и y – члены отношения, а R – отношение между ними. Тем не менее такие суждения могут быть преобразованы в атрибутивные посредством постановки логического ударения: реконструкции вопроса, ответом на который может быть рассматриваемое суждение. При этом область неизвестного (именно она в суждении выделяется интонацией или ставится на ударную позицию) является предикатом. В традиционной логике категорическими называют суждения, в которых утверждение или отрицание выражается без формулирования каких-либо условий. Обычно к категорическим суждениям относят все атрибутивные суждения. Каждое категорическое суждение имеет количественную и качественную стороны. Качество суждений зависит от используемой связки; соответственно, категорические суждения делятся по качеству на утвердительные, в которых связка указывает на принадлежность признака у субъекта, и отрицательные, в которых отрицается такая принадлежность. Качество суждения зависит от того, насколько полно мыслится объем понятия, представленного субъектом. По количеству суждения делятся на единичные, в которых мыслится лишь один предмет; частные, в которых мыслится часть предметов какого-либо класса, и общие, в которых субъект выражает все предметы класса. В логике используется объединенная классификация суждений, в соответствие с которой выделяются четыре типа суждений: общеутвердительное — «Все S есть Р» (обозначается латинской буквой A); частноутвердительное — «Некоторые S есть Р» (обозначается буквой I); общеотрицательное — «Ни одно S не есть Р» (обозначается буквой E); частноотрицательное — «Некоторые S не есть Р (обозначается буквой О). Единичные суждения в объединенной классификации относят к общим суждениям. Для грамотного оперирования суждениями необходимо учитывать распределенность их терминов (субъекта и предиката). Термин считается распределенным, если он рассматривается в полном объеме. Распределенность терминов связана с отношением их объемов. Если объем термина (S или Р) целиком включен в объем другого термина (S или Р), то он считается распределенным. Таковым же он будет считаться и в случае его полного исключения из объема второго термина. В остальных случаях термин считается нераспределенным. Следует помнить, что субъект всегда распределен в общих суждениях, а предикат – в отрицательных. Сложным называется суждение, состоящее из двух или более простых суждений, соединенных с помощью логических союзов. Соответственно, структуру сложного суждения составляют простые суждения, взятые со своими логическими значениями. Эти суждения называются пропозициональными переменными, поскольку в тех или иных логических формах они могут иметь различное содержание. Устойчивость формам сложных суждений придают логические союзы – способы соединения простых суждений, при котором истинностное значение образованной структуры ставится в однозначную зависимость от составляющих его простых суждений. Следует помнить, что логический союз – это форма мышления, способ соединения суждений. Всего таких способов 5: соединение, разделение, условие, двойное условие, или эквиваленция и отрицание. В естественных языках логическим союзам соответствуют грамматические союзы, которых гораздо больше, и другие грамматические формы. Поэтому нужно уметь правильно определять, какой именно логический союз выражает та или иная грамматическая форма. Для определения истинностного значения сложного суждения используется процедура формализации и табличный метод. Формализация сложных суждений состоит из трех этапов: 1) выделяются простые суждения и обозначаются латинскими буквами p, q, r, …; 2) выделяются логические союзы (конъюнкция «», дизъюнкция «v», импликация « », эквиваленция «=» и отрицание «»); 3) при необходимости расставить технические знаки (левая и правая скобки). Сложные суждения имеют пять основных разновидностей названных по имени образующих их логических союзов. 1) Соединительное суждение (конъюнкция) – это сложное суждение, в котором простые суждения связаны между собой логическим союзом «и», называемым конъюнкцией. форма конъюнктивного суждения: р q. 2) Разделительное суждение (дизъюнкция) – это сложное суждение, в котором простые суждения связаны между собой логическим союзом «или», который допускает выбор хотя бы одного из двух (или более) возможных вариантов (нестрогая дизъюнкция), или же союзом «либо..., либо...», допускающим лишь один вариант из двух (или более) возможных (строгая дизъюнкция). Форма дизъюнкции: р v q. 3) условное суждение (импликация) – это сложное суждение, в котором простые суждения связаны логическим союзом «если..., то...», обуславливающим наличие некоторой ситуации наличием другой. При этом суждение, стоящее после слова «если», называют основанием, а второе суждение называют следствием. Форма условного суждения: р q. 4) эквиваленция – это сложное суждение, где связь между простыми суждениями осу- ществляется с помощью логического союза «если и только если..., то...» («тогда и только тогда, когда...»). В этом суждении утверждается одновременное наличие или отсутствие двух ситуаций. Форма такого суждения: р = q. 5) отрицание – это суждение, в котором указывается на отсутствие некоторой ситуации, о существовании которой могла идти речь раньше. Это суждение выражается предложением, начинающимся словами: «Неверно, что...». Форма такого суждения: р. Отрицание, как сложное суждение, нередко путают с простым отрицательным суждением, что является логической ошибкой: в простом отрицательном суждении отрицается наличие какого-либо признака у предмета, тогда как в суждении с отрицанием отрицается логическое суждение какого-либо суждения (в том числе и отрицательного: например, неверно, что никто из студентов не сдаст зачет по логике). В заключении приведем сводную таблицу истинности сложных суждений: Таблица 2 p q рq рvq рq pq и и и и и и и л л и л л л и л и и л л л л л и и 4. «Умозаключение как форма мышления» Умозаключение это мыслительный процесс, в котором из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое следствием или заключением: например, в умозаключении Все рыбы живут в воде, следовательно, среди обитателей воды есть рыбы «все рыбы живут в воде» это посылка, а «среди обитателей воды есть рыбы» – заключение. Различают дедуктивные и недедуктивные умозаключения. Дедуктивным называется умозаключение, в котором из истинных посылок с необходимостью следует истинный вывод. В основе дедуктивного умозаключения лежит отношение логического следования (подчинения) между посылками и заключением; поэтому здесь, как правило, посылки умозаключения по степени общности превосходят заключение. Среди дедуктивных выделяют непосредственные умозаключения, категорический силлогизм и его производные, условные, разделительные и условно-разделительные умозаключения. Непосредственными называются умозаключения, в которых вывод строится на основе лишь одной посылки. К таким умозаключениям относят превращение, обращение, противопоставление предикату, умозаключение по логическому квадрату. Превращение это преобразование категорического суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения: например, все студенты являются грамотными, следовательно, ни один студент не является неграмотным. Виды превращений: A – E; E – A; I – O; O – I. Обращение это преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикатсубъектом заключения: например, все студенты являются грамотными, следовательно, некоторые грамотные люди – студенты. При обращении необходимо учитывать распредиленность терминов: термин, не распределенный в посылке не может быть распределен в заключении. В нашем примере грамотные люди в посылке не распределены, поэтому в заключении получилось частное суждение. Виды обращений: A – I; E – E; I – I; O (частноотрицательное суждение) не обращается. Противопоставление предикату это преобразование суждения, результате которого субъектом становится понятие, противоречащее предикату, а предикатом – субъект исходного суждения: например, все студенты являются грамотными, следовательно, ни один неграмотный человек не является студентом. Виды противопоставлений предикату: A – E; E – I; O – I; I (частноутвердительное суждение) таким образом не преобразуется. Учитывая свойства отношений между категорическими суждениями можно строить выводы, устанавливая определенность логического значения с использованием логического квадрата. При этом отношения противоречия (A – O, E – I) дают следующие заключения: A O, A O, E I, E I; отношение частичной совместимости (O – I) – следующие: I O, O I; отношение подчинения (A – I, E – O) – следующие: A I, E O, I A, O E; отношение противоположности (A – E) – следующие: A E, E A. Непосредственные умозаключения при кажущейся банальности имеют большое познавательное значение: с их помощью мы можем получать скрытую, потенциально заложенную информацию какого-либо суждения. Простой категорический силлогизм это умозаключение, в котором из двух категорических суждений выводится третье категорическое суждение. Категорический силлогизм содержит три термина, два из которых (крайние термины) связаны определенным отношением с термином, общим для обеих посылок. Этот термин носит название среднего (обозначается буквой М). Субъект вывода называют меньшим термином (S), предикат вывода — большим термином (Р). При этом посылка, содержащая больший термин, называется большей, а посылка, содержащая меньший термин, — меньшей. Для получения достоверного заключения из истинных посылок необходимо соблюдать общие правила силлогизма. Выделяют две группы правил: правила терминов и правила посылок. Правила терминов: 1) терминов должно быть в силлогизме только три; 2) средний термин должен быть распределен хотя бы в одной из посылок; 3) термин, не распределенный в посылке, не может быть распределен в выводе. Правила посылок: 1) из двух отрицательных, равно как и частных посылок нельзя сделать никакого заключения; 2) если одна из посылок является отрицательным или частным суждением, то и заключение должно быть, соответственно, отрицательным или частным суждением. По месту, который занимает средний термин, различают четыре фигуры категорического силлогизма, каждая из которых имеет собственные правила и модусы, то есть разновидности в зависимости от количественной и качественной характеристик суждений, входящих в его состав. В первой фигуре средний термин является субъектом большей посылки и предикатом меньшей; во второй фигуре – предикат обеих посылок; в третьей фигуре – субъект обеих посылок; в четвертой фигуре – предикат большей и субъект меньшей посылок. В 1 фигуре большая посылка должна быть общей, а меньшая – утвердительной; соответственно, правильные модусы: AAA, EAE, AII, EIO. Во 2 фигуре большая посылка должна быть общей, а одна из посылок – отрицательной; правильные модусы: EAE, AEE, EIO, AOO. В 3 фигуре меньшая посылка должна быть утвердительным, а заключение – частным суждениями; правильные модусы – AAI, IAI, AII, EAO, OAO, EIO. В 4 фигуре если большая посылка – утвердительное суждение, то меньшая должна быть общим, а если одна из посылок – отрицательная, то большая посылка должна быть общей; правильные модусы: AAI, AEE, IAI, EAO, EIO. Среди дедуктивных умозаключений различают выводы, в которых одна или несколько посылок являются сложными суждениями. К таким умозаключениям относят 1) чисто условное умозаключение, посылки и заключение которого являются условными суждениями. При этом действует правило, согласно которому следствие следствия является следствием основания. 2) условно-категорическое умозаключение, одна из посылок которого условное, а вторая — категорическое суждение. Это умозаключение имеет два правильных модуса: утверждающий, при котором утверждение истинности основания импликации ведет к утверждению ее следствия; и отрицающий, при котором отрицание следствия импликации ведет к отрицанию ее основания. 3)разделительно-категорическое умозаключение, где одна из посылок — разделительное суждение, а вторая — категорическое. Оно имеет два модуса: утверждающе-отрицающий, где утверждение истинности какого-либо члена дизъюнкции ведет к отрицанию остальных ее членов. Этот модус является правильным только для строгой дизъюнкции. Второй модус — отрицающе-утверждающий, при котором отрицание какого-либо члена дизъюнкции ведет к утверждению истинности остальных ее членов. Этот модус является правильным как для строгой, так и для нестрогой дизъюнкций. 4) условно-разделительное умозаключение, в котором одна из посылок — разделительное суждение, а вторая является совокупностью условных суждений. Различают дилеммы, трилеммы и полилеммы. К недедуктивным (вероятностным) умозаключениям относят, прежде всего, индуктивные умозаключения, в которых заключение о свойствах каждого элемента некоторого множества делается на основании изучения свойств его отдельных элементов. Различают полную и неполную индукцию. Индукция полная — умозаключение, в котором общий вывод о свойствах элементов некоторого класса делается на основании изучения каждого элемента данного класса; индукция неполная — умозаключение, в котором заключение о том, что некоторое свойство принадлежит каждому элементу какого-либо множества, делается исходя из того, что установлен факт принадлежности этого свойства лишь некоторым элементам данного множества. Среди форм неполной индукции различают: индукцию через простое перечисление (популярную индукцию), при которой заключение о принадлежности некоторого свойства у всех предметах класса делается на основании принадлежности этого свойства у ряда произвольно взятых элементов этого класса. Популярная индукция наименее достоверная разновидность рассматриваемой формы умозаключений. На ненадежность такого рода выводов указывал основатель логики Аристотель. Вместе с тем, неполная индукция имеет огромное значение: без таких выводов невозможно получение знаний об эмпирическом мире и, соответственно, существование естественных наук. Поэтому на протяжении столетий мыслители пытались найти способы повышения вероятности неполной индукции. Совокупность таких способов получила название научной индукции. Среди них наиболее значимы: индукция через отбор, при которой вывод о принадлежности некоторого свойства у какого-либо класса делается на основании планомерно отобранных по существенным признакам элементах этого класса; индукция на основе установления причинно-следственных связей, которая, в свою очередь, опирается на методы установления причинных связей: метод сходства, метод различия, метод сопутствующих изменений и метод остатков. Другой разновидностью недедуктивных умозаключений являются выводы по аналогии, при которых на основе сходства двух объектов по какимлибо параметрам делается вывод об их сходстве по другим параметрам. Различают строгую аналогию, которая отличается тем, что в этом случае имеющиеся сходные признаки необходимо связаны с переносимым признаком и вывод обладает высокой степенью вероятности; и нестрогую аналогию, где связь между сходными и переносимыми признаками не является необходимой. Вывод в этом случае обладает низкой степенью вероятности. 5. «Диалог и логические основы аргументации» Диалог – это коммуникативный процесс, при котором люди взаимодействуют выраженными в словах смысловыми позициями. Продуктивность диалога требует от его участников особой культуры: навыков доказательного рассуждения, толерантности, умения слушать и быть услышанным. Диалогичность имеет три основных формы: беседу, где участники при схожем взгляде на обсуждаемый предмет, обмениваясь мнениями, развивают и дополняют свое понимание этого предмета; спор, где сталкиваются различные взгляды и при этом каждый участник стремится к победе своей точки зрения; дискуссия – четкое сопоставление точек зрения на какой-либо вопрос с целью нахождения путей его решения и установления общего согласия. Логической основой диалога является вопросно-ответный комплекс. Причем вопросу принадлежит ведущая роль: он задает направление диалогу и определенный смысл отдельным высказываниям, так как высказывание, даже если оно истинно, не имеет смысла, если не отвечает на какой-либо вопрос. Вопросом называется мысль, в которой выражается недостаток информации, неопределенность, неполнота знания и связанное с этим требование устранения такого рода ситуации. В языке, как правило, вопрос выражается с помощью вопросительного предложения. Вопросы бывают уточняющими, если они направлены на выявление истинности выраженного в них суждения: Нередко их называют «ЛИ-вопросами» и восполняющими, направленными на выявление новых свойств у исследуемого объекта, на получение новой информации. Грамматический признак — вопросительное слово типа «Кто?», «Что?», «Когда?», «Где?» и т. п. Такие вопросы называют «ЧТО-вопросами» или «К-вопросами»; корректными предпосылка которого является истинным и непротиворечивым знанием и некорректными предпосылки которого содержат ложные или противоречащие друг другу суждения, или суждения, смысл которых не определен; открытыми, на которые существует бесчисленное множество ответов и закрытыми на которые имеется конечное, чаще всего достаточно ограниченное количество ответов. Эти вопросы широко используются в социологических исследованиях, в судебной и следственной практике. Среди ответов различают полные, включающие информацию по всем элементам или составным частям вопроса и неполные, в которых содержится информация лишь относительно отдельных элементов или составных частей вопроса; прямые, которые берутся непосредственно из области поиска ответов, без дополнительных сведений или рассуждений и косвенные, которые берутся из более широкой области, нежели область поиска ответов. При этом предполагается возможность получения полного ответа из неполного путем какого-либо вывода или дополнительной информации. Аргументация – это рассуждение, в котором приводятся доводы (аргументы) в обоснование некоторого положения. В процедуре аргументации различают тезис – положение, которое необходимо обосновать или доказать; аргументы – совокупность суждений, с помощью которых обосновывается некоторое положение или доказывается истинность какого-либо положения. Способ логической связи тезиса и аргументов называется демонстрацией. Демонстрация – это структура аргументации, то есть последовательная совокупность входящих в нее умозаключений, посылками которых являются аргументы, а заключением – тезис. Основными видами аргументации являются доказательство и опровержение. Доказательство – это аргументация, в которой устанавливается истинность какого-либо положения с помощью приведения других положений, истинность которых установлена ранее. Различают прямое доказательство в котором истинность тезиса или его обоснованность непосредственно следует из истинности аргументов, т. е. в этом случае тезис является логическим следствием аргументов; и косвенное доказательство, при котором истинность тезиса устанавливается путем доказательства ложности положения, противоречащего тезису (антитезиса). Разновидностью косвенного доказательства является доказательство от противного, в котором при допущении истинности антитезиса приходят к выводам, противоречащим исходным данным или ранее известным фактам (теоремам), что является основанием для утверждения ложности антитезиса, а, следовательно, истинности тезиса; другая его разновидность – разделительное доказательство (метод исключения), косвенное доказательство, в котором истинность тезиса устанавливается путем последовательного доказательства ложности (путем последовательного исключения из рассмотрения) всех членов разделительного суждения, кроме одного, которое и является тезисом. Разделительная посылка при этом должна содержать все возможные альтернативы. Опровержение – это аргументация, которая направлена на установление и показ необоснованности или ложности некоторого положения. Различают опровержение тезиса, которое может проводиться путем приведения примеров, фактов, противоречащих тезису (опровержение фактами); путем установления ложности (или противоречивости) следствий, вытекающих из тезиса; а также путем доказательства истинности антитезиса; а также опровержение путем доказательства антитезиса. С процедурой опровержения ошибочно отождествляют возражение (или критику), целью которой является разрушение структуры определенного доказательства, а не его тезиса. Различают критику аргументов: рассуждение, в ходе которого показывается ложность или несостоятельность положений, взятых в качестве доказательства некоторого тезиса. Однако ни ложность, ни недостаточность аргументов не является основанием для вывода о ложности тезиса; и критику демонстрации: рассуждение, которое указывает на ту или иную ошибку в структуре доказательства. Причем установление какой-либо ошибки в форме доказательства не является основанием для вывода о ложности доказываемого тезиса. В логических построениях аргументации необходимо соблюдать определенные правила. Различают правила по отношению к тезису: 1) тезис должен быть логически определенным, точным и ясным; 2) тезис должен оставаться неизменным на всем протяжении аргументации или критики; правила по отношению к аргументам: 1) аргументы должны быть истинными суждениями, 2) истинность аргументов должна быть доказана независимо от истинности тезиса, 3) аргументы должны быть достаточными для обоснования тезиса или доказательства его истинности; правила по отношению к демонстрации: все правила, связанные с тем или иным умозаключением, использующимся в процессе аргументации или критики. Аргументация, особенно в таких ее социально-коммуникативных формах как спор и дискуссия неизбежно выходит за рамки одной только логики. Здесь необходим учет личностных особенностей спорящих, их очевидных норм и мировоззренческих ценностей, а также целей ведения споров. Различают виды споров по цели их ведения: споры для истины, участники которого стремятся обосновать истинность или ложность выдвигаемого тезиса; для убеждения, в которых одна из сторон стремится убедить другую или присутствующих в приемлемости или неприемлемости обсуждаемого положения; для победы, в котором участники стремятся видимость доказанности или опровергнутости некоторого положения, лишив противника контраргументов; причем истина или убеждение в этом случае не важны. В спорах для убеждения и особенно для победы зачастую применяют уловки: приемы, которые затрудняют ведение спора противнику или облегчают его ведение себе. Издавна известны уловки логического характера: софизмы: умышленные, преднамеренные логические ошибки, допущенные с целью ввести в заблуждение оппонента, обосновать ложное суждение и т. п. Софизмы не следует путать с паралогизмами: неумышленными, непреднамеренными логическими ошибками, которые указывают на низкую логическую подготовку спорящего. Помимо логических различают социально-психологические уловки, которые касаются не содержания обсуждаемых положений, а личностей тех, кто выдвигает эти положения; а также уловки организационно-процедурного характера, в которых используется административный ресурс: определение и соблюдение регламента, порядок выступления и т. п. Для того, чтобы не попадаться на уловки необходимо уметь их распознавать. Дальнейшие действия могут строиться в зависимости от природы самой уловки, подсказывающей, как ее можно нейтрализовать. Иногда уловки делят на допустимые и недопустимые, относя к первым определенные тактические приемы ведения дискуссии.
