Какой принцип логики нарушает аргументация к личности. Логические основы теории аргументации

Курс формальной логики направлен на демонстрацию связи естественного языка и мышления, закономерности последнего с точки зрения его структурной организации, возможности построения логических исчислений. Строится на основе традиционной аристотелевской логики и логики высказываний, завершается теорией аргументации.

О курсе

Курс посвящен структурной, или формальной, стороне нашего мышления. Он является базовым, показывающим взаимосвязь мышления и языка, идеального содержания первого и его материальной организации посредством второго.

Этот курс про то, почему мы, приняв те или иные утверждения в качестве исходных и истинных, можем и должны прийти не к какому угодно, а к вполне определенному – единственно возможному – заключению.

Формат

Курс содержит 19 тем. Каждая тема содержит три раздела – лекция, практическое занятие, самостоятельная работа. Лекционный раздел включает видеоролик, презентацию, конспект, глоссарий, тест и список рекомендуемой литературы. Раздел «Практическое занятие» состоит из методических рекомендаций, примеров решения задач, собственно задач и списка литературы, к которой можно обратиться. Самостоятельная работа предполагает одно задание, направленное на решение нестандартных задач или на изучение материала по теме, не вошедшего в лекцию и практическое занятие.

Требования

Не требует специальной подготовки

Программа курса

Программа курса включает 19 тематических занятий, каждое из которых предполагает лекционные материал, практические задания и задание для самостоятельной работы учащегося:

Предмет и значение логики
Понятие как форма мышления
Логические операции с понятиями
Суждение как форма мышления
Логический анализ вопросов
Сложное суждение
Операции над сложными суждениями
Логический квадрат
Логический закон
Модальные суждения
Умозаключение как форма мышления
Непосредственные дедуктивные умозаключения
Простой категорический силлогизм
Сложные и сокращенные силлогизмы
Дедуктивные умозаключения из сложных посылок
Недедуктивные умозаключения
Проблема, гипотеза и теория и их место в научном познании
Доказательство и опровержение
Стратегия и тактика аргументации

Результаты обучения

Способность выделять логическую структуру естественного языкового мышления и манипулировать ею согласно правилам логики. Навык выстраивания аргументации разными способами. Навык обнаружения логических ошибок в рассуждениях.

Формируемые компетенции

ОК-5: способность к коммуникации в устной и письменной форме на русском и иностранных языках для решения задач межличностного и межкультурного взаимодействия;

ОК-7: способность к самоорганизации и самообразованию;

ОПК-4: способность осуществлять деловое общение и публичные выступления, вести переговоры, совещания, осуществлять деловую переписку и поддерживать электронные коммуникации

Логика и теория аргументации

Введение

Трудно переоценить значение логики и теории аргументации не только в развитии научного знания, но и в обыденной жизни. Для науки существенным моментом являются эффективные способы обработки информации и методы исследования, формы мысли и операции с ними, основы доказательства, правила построения гипотезы и теории. В общем, всё то, что составляет основу логики и теории аргументации. В обыденной жизни очень важно уметь отстаивать свою точку зрения, находить выход из сложной жизненной ситуации. Этому во многом способствует изучение логики и теории аргументации.

Данная дисциплина сформировалась на стыке нескольких наук – логики, риторики, психологии и т.д. Причём теория аргументации и логика могут изучаться как отдельные дисциплины, каждая из которых имеет свою область исследования: логика – формы мышления, их особенности и взаимодействие, законы мышления; теория аргументации – способы убеждения. Объединение логики и теории аргументации преследует цель формирования логической культуры студента, основываясь на теоретическом знании основ логики и практического применения этих основ в процессе аргументации.

Развитое логическое мышление является одним из признаков современного образованного человека. Способность чётко мыслить, быстро принимать правильное решение на основании анализа сложившейся ситуации обеспечивает человеку востребованность и успешность в профессиональной деятельности. Например, умение использовать весь арсенал логических знаний и способов убеждения пригодится в профессиональной деятельности, предполагающей взаимодействие с людьми, возможность повлиять на их мнение, вкусы, выбор того или иного товара. Поэтому людям, выбравшим такую сферу деятельности, как например, связи с общественностью, управление персоналом и т.п. необходимо изучение логики и теории аргументации.

Тема 1. Предмет логики

дать определение логики;

охарактеризовать этапы развития формальной логики;

указать особенности неклассической логики;

понять смысл построения логических формализованных систем;

назвать основные аспекты языка;

уяснить своеобразие логического подхода к изучению мышления по сравнению с другими науками.

Логика – это наука о формах, методах и средствах правильного мышления. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключениям к другим как следствиям из первых (правила рассуждений).

Формальная логика в своем развитии прошла два основных этапа. Начало первого этапа связано с работами древнегреческого философа Аристотеля, в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» логикой. Традиционная логика выделяет и описывает зафиксированные в языке некоторые простейшие формы рассуждений. Второй этап – это появление математической или символической логики. Впервые в истории идеи о построении логики на математической основе были высказаны немецким математиком Г. Лейбницем в конце XVII в. Первая реализация идеи Лейбница принадлежит английскому ученому Д. Булю (середина XIX в.). Он создал алгебру, в которой буквами обозначены высказывания. Благодаря введению символов в логику была получена основа для создания новой науки – математической логики. Применение математики к логике позволило представить логические теории в новой удобной форме и применить вычислительный аппарат к решению задач, малодоступных человеческому мышлению в виду их сложности.

Современная символическая логика представляет собою весьма разветвленную область знания. Символическая логика подразделяется на классическую и неклассическую. Неклассическая же логика подразделяется также на интуиционистскую логику, модальную логику, логику вопросов, релевантную логику и др. В основе неклассической логики лежит представление о неприменимости в некоторых случаях закона исключённого третьего, в частности, когда речь идёт о бесконечных множествах. Кроме того, в ряде направлений неклассической логики изначально двухзначная логика Аристотеля трансформируется в трёхзначную, четырёхзначную, а затем в многозначную.

Традиционная логика имела эмпирический характер. Она выделяла и описывала зафиксированные в языке повседневного обихода некоторые простейшие формы рассуждений из так называемых категорических суждений. Современная логика расширила круг рассматриваемых форм, введя в него рассуждения, специфичные для научного познания, в частности, – математического. Более того, современная логика определила принципы теоретического обоснования условий правильности выводов и доказательств, используя понятия: логический закон и логическое следование.

В отличие от других наук, изучающих мышление, логика изучает особенности, свойства форм мысли, отвлекаясь при этом от того конкретного содержания, которое могут нести эти формы мысли; она изучает их со стороны строения, структуры, т.е. внутренней закономерной связи составляющих форму мысли элементов.

Следует иметь в виду, что логические формы и законы носят всеобщий и объективный характер, то есть они не связаны с какими-либо психофизиологическими особенностями людей или с теми или иными культурно-историческими факторами.

Мышление тесно связано с языком, однако, это не тождественные понятия. Язык – это материальное образование, представляющее собой определенную знаковую систему, позволяющую выражать мысли, хранить их и передавать. Мышление же – система идеальная. Если основные элементы языка – буквы, слова, словосочетания и предложения, то элементами мышления выступают отдельные формы мысли (понятия, суждения, умозаключения) и их сочетания.

Естественный язык представляет собой систему знаков. При рассмотрении языка как системы знаков важно принимать во внимание три основных аспекта языка: синтаксис, семантику и прагматику .

Синтаксический аспект включает многообразие отношений знаков к другим знакам, имеющиеся в языке правила образования одних знаков из других и правила изменения знаков.

Семантический аспект составляет совокупность отношений знаков к объектам внеязыковой действительности, то есть к тому, что они обозначают.

Прагматический аспект включает все такие особенности языка, которые зависят от того, кем и в каких ситуациях он применяется.

Исходя из принципа объективности знания, в науке стремятся исключить при определении смысловых содержаний языковых выражений и при описании познавательных процедур всякие возможные влияния субъективных особенностей познающих людей. Не должно быть, например, неопределённостей, двусмысленностей в выражении мысли в языке. Этим требованиям удовлетворяют специально построенные логические формализованные языки.

Основная цель логики – выяснение условий истинности знания и выработка эффективных познавательных процедур. Знание логики повышает культуру мышления, способствует четкости, последовательности и доказательности рассуждения, усиливает эффективность и убедительность речи. Логическая культура – это не врожденное качество. Логическая культура формируется в результате внимательного изучения логики и накопления опыта в практическом применении логических знаний.

Большое значение логика имеет в развитие и организации информационного процесса. Несоблюдение логической формы и логического следования в информационных процессах чревато негативными последствиями в различных сферах жизни человека и общества.

Контрольные вопросы:

Дайте определение логики как науки.

В чём отличие между традиционной логикой и символической?

Кто является основателем логики?

Какие основные аспекты языка Вы знаете?

Какие принципы составляют основу неклассической логики?

Какое практическое значение имеет изучение логики?

Назовите основные формы мысли.

Тема 2. Понятие

Изучив материалы темы, Вы сможете:

уяснить логические приёмы образования понятий;

дать логическую характеристику любому понятию, опираясь на классификацию понятий;

определить отношения между понятиями по объёму;

понять суть таких логических действий над понятиями, как обобщение, ограничение, деление и определение;

назвать логические ошибки, возникающие при нарушении правил деления и определения.

уяснить смысл операций с классами.

Понятие есть форма мысли, отражающая общие, существенные и специфические признаки предметов, явлений, процессов.

Формирование понятие возможно путём применения таких логических приёмов, как анализ, синтез, абстрагирование, обобщение. Анализ – мысленное расчленение предметов на их составные части, мысленное выделение в них признаков (т. е. свойств и отношений). Синтез – мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа, которое осуществляется как в практической деятельности, так и в процессе познания. Абстрагирование – мысленное выделение, вычленение отдельных интересующих нас признаков, свойств, связей и отношений конкретного предмета или явления и мысленное отвлечение их от множества других признаков, свойств, связей и отношений этого предмета. Обобщение – мысленное выделение каких-нибудь свойств, принадлежащих некоторому классу предметов; переход от единичного к общему, от менее общего к более общему.

Знакомясь с учением о понятии, важно четко уяснить, что понятие как мысль не тождественно ни слову его выражающему, ни предмету, который оно отражает.

Понятие имеет только два элемента своей структуры - содержание и объем. Объем – это множество предметов мысли, объединенных в понятии. Содержание – множество признаков предметов, объединенных в понятии. Существует следующее отношение между объёмом и содержанием понятия: чем больше объём, тем меньше содержание; Чем меньше объём, тем больше содержание.

Выделение элементов структуры понятия и знакомство с их особенностями, свойствами дает возможность рассмотреть виды понятий, отношения между ними и, наконец, операции над понятиями.

По количеству понятия делятся на общие, единичные и «пустые». Общими называются понятия, объём которых содержит два и более элемента. Например, понятие «книга». Единичными называются понятия, объём которых содержит только один элемент. Например, понятие «Русский музей». По сути, все имена собственные являются единичными понятиями. Пустыми понятиями называются понятия, объём которых не содержит ни одного элемента. Например, понятие «кощей бессмертный» или понятие «квадратный круг».

По качеству понятия делятся на положительные, отрицательные, конкретные, абстрактные, соотносительные и безотносительные, сравнимые, несравнимые, собирательные и разделительные, регистрирующие, нерегистрирующие.

Положительные понятия – это понятия, которые указывают на наличие у предмета того или иного качества или отношения. Например, понятие «порядочность». Отрицательные понятия – это понятия, которые указывают на отсутствие у предмета некоторого качества или отношения. Например, понятие «бесполезность».

Конкретные понятия – это понятия, которые отражают предметы. Например, понятие «дом». Абстрактные понятия – это понятия, которые отражают свойства и отношения между предметами. Например, понятие «высота».

Собирательные понятия – это понятия, признаки которых относятся не к каждому элементу множества, а ко всему множеству в целом. Например, понятие «взвод». Разделительные понятия – это понятия, признаки которых относятся к каждому элементу множества предметов. Например, понятие «солдат».

Соотносительное понятие – это понятие, содержание которого представляет собой наличие или отсутствие отношения мыслимого в нём предмета к некоему другому предмету. В соотносительном понятии мыслится предмет, обусловливающий существование другого предмета. Например, понятие «начальник» обусловливает существование понятия «подчинённый». Безотносительное понятие – это понятие, содержание которого не связано каким-либо отношением, где мыслимые предметы (признаки) существуют вполне самостоятельно, независимо от других предметов (свойств). Например, понятие «карандаш».

Сравнимые понятия – это понятия, связь по содержанию между которыми близка. Например, понятие «человек» и понятие «живое существо». Несравнимые понятия – это понятия, связь по содержанию между которыми далека. Например, понятия «картина» и «крот» – несравнимые понятия.

Регистрирующими называются понятия, в которых множество мыслимых в нем элементов поддается учету, регистрируется (во всяком случае, в принципе). Например, «герои Советского Союза», «месяц». Регистрирующие понятия имеют конечный объем. Нерегистрирующими называются понятия, относящиеся к неопределенному числу элементов. Так, в понятиях «машина», «бумага» множество мыслимых в них элементов не поддается учету: в них мыслятся все люди, все кошки. Нерегистрирующие понятия имеют бесконечный объем.

Отношения между понятиями есть отношения между видами понятий. Отношения между понятиями бывают совместимыми и несовместимыми .

Совместимые понятия – это понятия, объёмы которых частично или полностью совпадают. Отношения совместимости: тождество, подчинение, пересечение. Тождественные понятия – это понятия, объёмы которых полностью совпадают. Подчиненные понятия – это понятия, объёмы которых имеют такое отношение, что объём одного из понятий полностью входит в объём другого, но не совпадает с ним. Подчиненные понятия отражают родовидовые отношения. Перекрещивающиеся (находящиеся в отношении пересечения) понятия – это понятия, объёмы которых частично совпадают.

Несовместимые понятия – это понятия, объёмы которых не имеют общих элементов. Отношения несовместимости: противоречие, противоположность, соподчинение . Соподчинённые понятия – это понятия, объёмы которых исключают друг друга, но одновременно входят в объём некоторого более широкого (родового) понятия. Противоречащие понятия – это понятия, которые являются видами некоторого рода, признаки которых взаимоисключают друг друга, а сумма их объёмов исчерпывает объём родового понятия. Противоположные понятия – это понятия, входящие в объём некоторого родового понятия и объёмы которых исключают друг друга. Объёмы противоположных понятий в своей совокупности не исчерпывают объёма родового понятия.

Для лучшего запоминания и ориентации в этих отношениях принято изображать все виды отношений при помощи кругов Эйлера .

Министерство образования и науки Российской Федерации

Федеральное агентство по образованию

КОНТРОЛЬНАЯ РАБОТА

ПО ДИСЦИПЛИНЕ: ЛОГИКА

Логические основы теории аргументации

Контрольная работа студентки группы ИЮБ-11/ 3с:

Преподаватель:

1. /1.1 Понятие доказательства…………………………………………………3

1.2 Структура доказательства: тезис, аргументы, демонстрация…………5

1.3 Виды аргументов…………………………………………………………5

2. Прямое и непрямое (косвенное) доказательства……………………………6

3. Понятие опровержения……………………………………………………….9

3.1 Опровержение тезиса…………………………………………………….8

3.2 Критика аргументов……………………………………………………...10

3.3 Выявление несостоятельности демонстрации………………………….11

4. Правила доказательного рассуждения. Логические ошибки, встречающиеся в доказательствах и опровержениях…………………………………………...11

4.1 Правила по отношению к тезису………………………………………11

4.2 Ошибки относительно доказываемого тезиса………………………….12

4.3 Правила по отношению к аргументам………………………………….13

4.4 Ошибки в основаниях (аргументах) доказательства…………………..14

4.5 Правило по отношению формы обоснования тезиса (демонстрации)..14

4.6 Ошибки в форме доказательства………………………………………..14

5. Понятие о софизмах и логических парадоксах……………………………..16

5.1 Понятие о логических парадоксах………………………………………17

5.2 Парадоксы теории множеств…………………………………………….17

6. Искусство ведения дискуссии………………………………………………..18

Литература…...…………………………………………………………………..24

1. Понятие доказательства

1.1

Познание отдельных предметов, их свойств начинается с чувственных форм (ощущений и восприятий). Мы видим, что этот дом еще не достроен, ощущаем вкус горького лекарства и т.д. Открываемые этими формами ис-тины не подлежат особому доказательству, они очевидны. Однако во мно-гих случаях, например, на лекции, в сочинении, в научной работе, в докла-де, в ходе полемики, на судебных заседаниях, на защите диссертации и во многих других, нам приходится доказывать, обосновывать высказываемые нами суждения.

Доказательность - важное качество правильного мышления. Доказа-тельство связано с аргументацией, но они не тождественны.

Аргументация - способ рассуждения, включающий доказательство и опровержение, в процессе которого создается убеждение в истинности тезиса и ложности антитезиса как у самого доказывающего, так и у оппо-нентов; обосновывается целесообразность принятия тезиса с целью выра-ботки активной жизненной позиции и реализации определенных про-грамм действий, вытекающих из доказываемого положения. Понятие «ар-гументация» богаче по содержанию, чем понятие «доказательство»: целью доказательства является установление истинности тезиса, а целью аргумен-тации - еще и обоснование целесообразности принятия этого тезиса, по-каз его важного значения в данной жизненной ситуации и т.п. В теории ар-гументации «аргумент» также понимается шире, чем в теории доказатель-ства, ибо в первой имеются в виду не только аргументы, подтверждающие истинность тезиса, но и аргументы, обосновывающие целесообразность его принятия, демонстрирующие его преимущества по сравнению с други-ми подобными утверждениями (предложениями). Аргументы в процессе аргументации гораздо разнообразнее, чем в процессе доказательства.

Форма аргументации и форма доказательства также не совпадают полностью. Первая, как и последняя, включает в себя различные виды умозаключений (дедуктивные, индуктивные, по аналогии) или их цепь, но, кроме того, сочетая доказательство и опровержение, предусматривает обоснование. Форма аргументации чаще всего носит характер диалога, ибо аргументирующий не только доказывает свой тезис, но и опровергает антитезис оппонента, убеждая его и/или являющуюся свидетелем дискуссии аудиторию в правильности своего тезиса, стремится сделать их своими единомышленниками.

Диалог как наиболее аргументированная форма ведения беседы пришел
к нам из древности (так, Древняя Греция - родина диалогов Платона, техники спора в форме вопросов и ответов Сократа и т.п.). Но диалог - это
внешняя форма аргументации: оппонент может только мыслиться (что
особенно наглядно проявляется в письменной аргументации). Внутренняя
форма аргументации представляет собой цепь доказательств и опровержений аргументирующего в процессе доказательства им тезиса и осуществления убеждения. В процессе аргументации выработка убеждений у собеседника или аудитории часто связана с их переубеждением. Поэтому в аргументации велика роль риторики в ее традиционном понимании как искусства красноречия. В этом смысле до сих пор представляет интерес «Риторика» Аристотеля, в которой наука о красноречии рассматривается как теория
и практика убеждения в процессе доказательства истинности тезиса. «Слово есть великий властелин, который, обладая весьма малым и совершенно
незаметным телом, совершает чудеснейшие дела. Ибо оно может и страх
изгнать, и печаль уничтожить, и радость вселить, и сострадание пробудить», - писал древнегреческий ученый Горгий об искусстве аргументации. Не было периода в истории, когда бы люди не аргументировали.
Без аргументации высказываний невозможно интеллектуальное общение,
ибо она - необходимый инструмент познания истины.

Теория доказательства и опровержения является в современных условиях средством формирования научно обоснованных убеждений. В науке ученым приходится доказывать самые различные суждения, например, суждения о том, что существовало до нашей эры, к какому периоду относятся предметы, обнаруженные при археологических раскопках, об атмосфере планет Солнечной системы, о звездах и галактиках Вселенной, теоремы математики, суждения о направлениях развития элек-тронной техники, о возможности долгосрочных прогнозов погоды, о тайнах Мирового океана и космоса. Все эти суждения должны быть научно обоснованы.

Доказательство - это совокупность логических приемов обоснования истинности тезиса. Доказательство связано с убеждением, но не тождествен-но ему: доказательства должны основываться на данных науки и обществен-но-исторической практики, убеждения же могут быть основаны, например, на религиозной вере, на предрассудках, на неосведомленности людей в во-просах экономики и политики, на видимости доказательности, основанной на различного рода софизмах. Поэтому убедить - еще, не значит доказать.

1.2 Структура доказательства: тезис, аргументы, демонстрация

Тезис - это суждение, истинность которого надо доказать. Аргументы - это- те истинные суждения, которыми пользуются при доказательстве тезиса. Формой доказательства , или демонстрацией , называется способ логической связи между тезисом и аргументами.

Приведем пример доказательства. Поль С. Брэгг высказал такой тезис: «Купить здоровье нельзя, его можно только заработать своими собственны-ми постоянными усилиями». Этот тезис он обосновывает так: «Только упорная и настойчивая работа над собой позволит каждому сделать себя энергичным долгожителем, наслаждающимся бесконечным здоровьем. Я сам заработал здоровье своей жизнью. Я здоров 365 дней в году, у меня не бывает никаких болей, усталости, дряхлости тела. И вы можете добиться таких же результатов!»

1.3 Виды аргументов

Различают несколько видов аргументов:

1. Удостоверенные единичные факты. К такого рода аргументам относит-ся так называемый фактический материал, т.е. статистические данные о на-селении, территории государства, выполнении плана, количестве вооружения- , свидетельские показания, подписи на документах, научные данные, научные факты. Роль фактов в обосновании выдвинутых положений, в том числе научных, велика.

Факты - воздух ученого. Без них вы никогда не сможете взлететь. Без них ваши «теории» - пустые потуги.

2. Определения как аргументы доказательства. Определения понятий обычно даются в каждой науке. Правила определения и виды определений понятий были рассмотрены в теме «Понятие», и там же были приведены многочисленные примеры определений понятий различных наук: матема-тики, химии, биологии, географии и пр.

3. Аксиомы . В математике, механике, теоретической физике, математи-ческой логике и других науках, кроме определений, вводят аксиомы. Акси-омы - это суждения, которые принимаются в качестве аргументов без до-казательства.

4. Ранее доказанные законы науки и теоремы как аргументы доказательст-ва. В качестве аргументов доказательства могут выступать ранее доказан-ные законы физики, химии, биологии и других наук, теоремы математики (как классической, так и конструктивной). Юридические законы являются аргументами в ходе судебного доказательства.

В ходе доказательства какого-либо тезиса может использоваться не один, а несколько из перечисленных видов аргументов.

2. Прямое и непрямое (косвенное) доказательства

Доказательства по форме делятся на прямые и непрямые (косвенные) . Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргумента-ми. Схема этого доказательства такая: из данных аргументов (а, b, с, ...) не-обходимо следует доказываемый тезис q. По этому типу проводятся доказа-тельства в судебной практике, в науке, в полемике, в сочинениях школьни-ков, при изложении материала учителем и т.д.

Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях, в художественной и дру-гой литературе.

Учитель на уроке при прямом доказательстве тезиса «Народ - творец истории» показывает, во-первых, что народ является создателем матери-альных благ, во-вторых, обосновывает огромную роль народных масс в по-литике, разъясняет, как в современную эпоху народ ведет активную борьбу за мир и демократию, в-третьих, раскрывает его большую роль в создании духовной культуры.

В современном журнале мод «Бурда» тезис «Зависть - корень всех зол» обосновывается с помощью прямого доказательства следующими аргумента-ми: «Зависть не только отравляет людям повседневную жизнь, но может при-вести и к более серьезным последствиям, поэтому наряду с ревностью, злобой и ненавистью, несомненно, относится к самым плохим чертам характера.

Подкравшись незаметно, зависть ранит больно и глубоко. Человек зави-дует благополучию других, мучается от сознания того, что кому-то более повезло».

Непрямое (косвенное) доказательство - это доказательство, в котором истинность выдвинутого тезиса обосновывается путем доказательства лож-ности антитезиса. Если тезис обозначить буквой а , то его отрицание (a) бу-дет антитезисом, т.е. противоречащим тезису суждением.

Апагогическое косвенное доказательство (или доказательство «от против-ного») осуществляется путем установления ложности противоречащего те-зису суждения. Этот метод часто используется в математике.

Пусть а - тезис или теорема, которую надо доказать. Предполагаем от противного, что а ложно, т.е. истинно не-а (или a ). Из допущения a выводим следствия, которые противоречат действительности или ранее доказанным теоремам. Имеем а V a , при этом a - ложно, значит, истинно его отрицание, т/е. a , которое по закону двузначной классической логики (a > а ) дает а . Значит, истинно а , что и требовалось доказать.

Следует заметить, что в конструктивной логике формула a > а не яв-ляется выводимой, поэтому в этой логике и в конструктивной математи-ке ею пользоваться в доказательствах нельзя. Закон исключенного тре-тьего здесь также «отвергается» (не является выводимой формулой), по-этому косвенные доказательства здесь не применяются. Примеров дока-зательства «от противного» очень много в школьном курсе математики. Так, например, доказывается теорема о том, что из точки, лежащей вне прямой, на эту прямую можно опустить лишь один перпендикуляр. Методом «от противного» доказывается и следующая теорема: «Если две прямые перпендикулярны к одной и той же плоскости, то они парал-лельны». Доказательство этой теоремы прямо начинается словами: «Предположим противное, т.е. что прямые АВ и CD не параллельны».

Разделительное доказательство (методом исключения). Антитезис являет-ся одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например:

Преступление мог совершить либо А , либо В , либо С .

Доказано, что не совершали преступление ни А , ни В .

Преступление совершил С.

Истинность тезиса устанавливается путем последовательного доказа-тельства ложности всех членов разделительного суждения, кроме одного.

Здесь применяется структура отрицающе-утверждающего модуса раздели-тельно-категорического силлогизма. Заключение будет истинным, если в раз-делительном суждении предусмотрены все возможные случаи (альтернати-вы), т.е. если оно является закрытым (полным) дизъюнктивным суждением:

Как отмечалось ранее, в этом модусе союз «или» может употребляться и как строгая дизъюнкция (), и как нестрогая дизъюнкция (v), поэтому ему отвечает также схема:

3. Понятие опровержения

Опровержение - логическая операция установления ложности или нео-боснованности ранее выдвинутого тезиса.

Опровержение должно показать, что: 1) неправильно построено само доказательство (аргументы или демонстрация); 2) выдвинутый тезис ложен или не доказан.

Суждение, которое надо опровергнуть, называется тезисом опроверже-ния . Суждения, с помощью которых опровергается тезис, называются аргу-ментами опровержения .

Существуют три способа опровержения: I) опровержение тезиса (прямое и косвенное); II) критика аргументов; Ш) выявление несостоятельности демонстрации.

3.1 Опровержение тезиса

Опровержение тезиса осуществляется с помощью следующих трех спо-собов (первый - прямой способ, второй и третий - косвенные способы).

1. Опровержение фактами - самый верный и успешный способ опровер-жения. Ранее говорилось о роли подбора фактов, о методике оперирования ими; все это должно учитываться и в процессе опровержения фактами, противоречащими тезису. Должны быть приведены действительные собы-тия, явления, статистические данные, которые противоречат тезису, т.е. оп-ровергаемому суждению. Например, чтобы опровергнуть тезис «На Венере возможна органическая жизнь», достаточно привести такие данные: темпе-ратура на поверхности Венеры 470-480°С, а давление - 95-97 атмосфер. Эти данные свидетельствуют о том, что жизнь на Венере невозможна.

2. Устанавливается ложность (или противоречивость) следствий, вытекаю-щих из тезиса . Доказывается, что из данного тезиса вытекают следствия, противоречащие истине. Этот прием называется «сведение к абсурду» (reductio ad absurdum). Поступают так: опровергаемый тезис временно при-знается истинным, но затем из него выводятся такие следствия, которые противоречат истине.

В классической двузначной логике (как уже отмечалось) метод «сведе-ния к абсурду» выражается в виде формулы:

a = а > F

где F - противоречие или ложь.

В более общей форме принцип «сведения (приведения) к абсурду» выра-жается такой формулой: (а > b ) > ((а > ) > a).

3. Опровержение тезиса через доказательство антитезиса. По отношению к опровергаемому тезису (суждению а) выдвигается противоречащее ему суждение (т.е. не-а ), и суждение не-а (антитезис) доказывается. Если антитезис ис-тинен, то тезис ложен, и третьего не дано по закону исключенного третьего.

Например, надо опровергнуть широко распространенный тезис «Все собаки лают» (суждение А , общеутвердительное). Для суждения А противо-речащим будет суждение О - частноотрицательное: «Некоторые собаки не лают». Для доказательства последнего достаточно привести несколько при-меров или хотя бы один пример: «Собаки у пигмеев никогда не лают». Итак, доказано суждение О . В силу закона исключенного третьего, если О - истинно, то А - ложно. Следовательно, тезис опровергнут.

3.2 Критика аргументов

Подвергаются критике аргументы, которые были выдвинуты оппонен-том в обоснование его тезиса. Доказывается ложность или несостоятель-ность этих аргументов.

Ложность аргументов не означает ложности тезиса: тезис может оставаться истинным.

Нельзя достоверно умозаключать от отрицания основания к отрицанию следствия, Но бывает достаточно показать, что тезис не доказан. Иногда бывает, что тезис истинен, но человек не может подобрать для его доказа-тельства истинные аргументы. Случается и так, что человек не виновен, но не имеет достаточных аргументов для доказательства этого. В ходе опро-вержения аргументов следует об этих случаях помнить.

3.3 Выявление несостоятельности демонстрации

Этот способ опровержения состоит в том, что показываются. ошибки
в форме доказательства. Наиболее распространенной ошибкой является та, что истинность опровергаемого тезиса не вытекает, не следует из аргументов, приведенных в подтверждение тезиса. Доказательство может быть неправильно построенным, если нарушено какое-либо правило дедуктивного умозаключения или сделано «поспешное обобщение», т.е. неправильное умозаключение от истинности суждения I к истинности суждения А (ана-логично, от истинности суждения О к истинности суждения Е ).

Но обнаружив ошибки в ходе демонстрации, мы опровергаем ее ход, но не опровергаем сам тезис. Задача же доказательства истинности тезиса лежит на том, кто его выдвинул.

Часто все перечисленные способы опровержения тезиса, аргументов, хода доказательства применяются не изолированно, а в сочетании друг с другом.

4. Правила доказательного рассуждения. Логические ошибки, встречающиеся в доказательствах и опровержениях

Если будет нарушено хотя бы одно из перечисленных ниже правил, то могут произойти ошибки относительно доказываемого тезиса, ошибки по отношению к аргументам и ошибки в форме доказательства.

4.1 Правила по отношению к тезису

1. Тезис должен быль логически определенным, ясным и точным. Иногда люди в своем выступлении, письменном заявлении, научной статье, докла-де, лекции не могут четко, ясно, однозначно сформулировать тезис. Так, выступающий на собрании не может четко сформулировать основные по-ложения своего выступления и потому веско аргументировать их перед слу-шателями. И слушатели недоумевают, зачем он выступал в прениях и что хотел им доказать.

2. Тезис должен оставаться тождественным , т.е. одним и тем же, на протя-жении всего доказательства или опровержения. Нарушение этого правила ведет к логической ошибке - «подмене тезиса».

4.2 Ошибки относительно доказываемого тезиса

l. «Подмена тезиса». Тезис должен быть ясно сформулирован и оставать-ся одним и тем же на протяжении всего доказательства или опроверже-ния - так гласят правила по отношению к тезису. При нарушении их воз-никает ошибка, называемая «подменой тезиса». Суть ее в том, что один тезис умышленно или неумышленно подменяют другим и начинают этот новый тезис доказывать или опровергать. Это часто случается во время спора, дискуссии, когда тезис оппонента сначала упрощают или расширяют его содержание, а затем начинают критиковать. Тогда тот, кого критикуют, заявляет, что оппонент «передергивает» его мысли (или слова), приписывает ему то, чего он не говорил. Ситуация эта весьма распространена, она встречается и при защите диссертаций, и при обсуждении опубликованных научных работ, и на различного рода собраниях и заседаниях, и при редактировании научных и литературных статей.

Здесь происходит нарушение закона тождества, так как нетождественные тезисы пытаются отождествлять, что и приводит к логической ошибке.

2. «Довод к человеку». Ошибка состоит в подмене доказательства самого тезиса ссылками на личные качества того, кто выдвинул этот тезис. Например, вместо того чтобы доказывать ценность и новизну диссертационной работы, говорят, что диссертант - заслуженный человек, он много потрудился над диссертацией и т.д. Разговор классного руководителя с учителем, например русского языка, об оценке, поставленной ученику, иногда сводится не к аргументации, что данный ученик заслужил эту оценку своими знаниями, а к ссылкам на личные качества ученика: добросовестен в учебе, много болел в этой четверти, по всем другим предметам он успевает и т.д.

В научных работах иногда вместо конкретного анализа материала, изучения современных научных данных и результатов практики в подтверждение приводят цитаты из высказываний крупных ученых, видных деятелей и этим ограничиваются, полагая, что одной ссылки на авторитет достаточно. Причем цитаты могут вырываться из контекста и иногда произвольно трактоваться. «Довод к человеку» часто представляет собой просто софистический прием, а не ошибку, допущенную непреднамеренно.

Разновидностью «довода к человеку» является ошибка, называемая «довод к публике», состоящая в попытке повлиять на чувства людей, чтобы те поверили в истинность выдвинутого тезиса, хотя его и нельзя доказать.

3. «Переход в другой род». Имеются две разновидности этой ошибки:
а) «кто слишком много доказывает, тот ничего не доказывает»; б) «кто
слишком мало доказывает, тот ничего не доказывает».

В первом случае ошибка возникает тогда, когда вместо одного истинного тезиса пытаются доказать другой, более сильный тезис, и при этом второй тезис может оказаться ложным. Если из а следует b , но из b не следует
а, то тезис а является более сильным, чем тезис b. Например, если вместо того чтобы доказывать, что этот человек не начинал первым драку, начина-ют доказывать, что он и не участвовал в драке, то этим ничего не смогут до-казать, если этот человек действительно дрался и это видели свидетели.

Ошибка «кто слишком мало доказывает, тот ничего не доказывает» воз-никает тогда, когда вместо тезиса а мы докажем более слабый тезис b. На-пример, если, пытаясь доказать, что это животное - зебра, мы доказыва-ем, что оно полосатое, то ничего не докажем, ибо и тигр - тоже полосатое животное.

4.3 Правила по отношению к аргументам

1) Аргументы, приводимые для доказательства тезиса, должны быть истинными и не противоречащими друг другу.

2) Аргументы должны быть достаточным основанием для доказа-тельства тезиса.

3) Аргументы должны быть суждениями, истинность которых дока-зана самостоятельно, независимо от тезиса.

4.4 Ошибки в основаниях (аргументах) доказательства

1. Ложность оснований («основное заблуждение»). Вкачестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные. Ошибка может быть непреднамеренной. Например, до Коперника ученые считали, что Солнце вращается вокруг Землии, ис-ходя из этого ложного аргумента, строили свои теории. Ошибка может быть и преднамеренной (софизмом) с целью запутать, ввести в заблужде-ние других людей (например, дача ложных показаний свидетелями или об-виняемыми в ходе судебного расследования, неправильное опознание ве-щей или людей и т.п., из чего затем делаются ложные заключения).

2. «Предвосхищение оснований». Аргументы не доказаны, а тезис опира-ется на них. Недоказанные аргументы только предвосхищают, но не дока-зывают тезис.

3. «Порочный круг». Ошибка состоит в том, что тезис обосновывается ар-гументами, а аргументы обосновываются этим же тезисом. Например, К. Маркс вскрыл эту ошибку в рассуждениях Д. Уэстона, одного из деятелей английского рабочего движения. Маркс пишет: «Итак, мы начинаем с за-явления, что стоимость товаров определяется стоимостью труда, а кончаем заявлением, что стоимость труда определяется стоимостью товаров. Таким образом, мы поистине вращаемся в порочном кругу и не приходим ни к какому выводу».

4.5 Правило по отношению формы обоснования тезиса (демонстрации)

Тезис должен быть заключением, логически следующим из аргументов по общим правилам умозаключений или полученным в соответствии с пра-вилами косвенного доказательства.

4.6 Ошибки в форме доказательства

1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называемая «не вытекает», «не следует». Люди иногда вместо правильного доказательства соединяют аргументы с тезисом посредством слов «следовательно», «итак», «таким образом», «в итоге имеем» и т.п., полагая, что они установили логическую связь между аргументами и тезисом. Эту логическую ошибку часто неосознанно допускает тот, кто не знаком с правилами логики и полагается только на свой здравый смысл и интуицию. В результате возникает словесная видимость доказательства.

2. От сказанного с условием к сказанному безусловно . Аргумент, истинный только с учетом определенного времени, отношения, меры, нельзя приво-дить в качестве безусловного, верного во всех случаях. Так, если кофе поле-зен в небольших дозах (для поднятия артериального давления, например), то в больших дозах он вреден. Аналогично, если мышьяк в небольших дозах добавляют в некоторые лекарства, то в больших дозах он - яд. Лекарства врачи должны подбирать для больных индивидуально. Педагогика требует индивидуального подхода к учащимся. Этика определяет нормы поведения людей, и в различных условиях они могут несколько варьироваться (напри-мер, правдивость - положительная черта человека, но если он выдаст тай-ну врагу, то это будет преступлением).

3. Нарушение правил умозаключений (дедуктивных, индуктивных, по аналогии):

а). Ошибки в дедуктивных умозаключениях. Например, в условно-категорическом умозаключении нельзя вывести заключение от утверждения следствия к утверждению основания. Так, из посылок «Если число оканчивается на 0, то оно делится на 5» и «Это число. делится на 5» не следует вывод: «Это число оканчивается на 0». Ошибки в дедуктивных умозаключениях были подробно освещены ранее.

б). Ошибки в индуктивных умозаключениях. «Поспешное обобщение», на-пример, утверждение, что «все свидетели дают необъективные показания». Другой ошибкой является «после этого - значит, по причине этого» (на-пример, пропажа вещи обнаружена после пребывания в доме этого челове-ка, значит, он ее унес).

в). Ошибки в умозаключениях по аналогии. Например, африканские пиг-меи неправомерно умозаключают по аналогии между чучелом слона и жи-вым слоном. Перед охотой на слона они устраивают ритуальные танцы, изображая эту охоту, копьями протыкают чучело слона, считая (по анало-гии), что и охота на живого слона будет удачной, т.е. что им удастся прон-зить его копьем.

5. Понятие о софизмах и логических парадоксах

Непреднамеренная ошибка, допущенная человеком в мышлении, назы-вается ларалогизмом. Паралогизмы допускают многие люди, Преднамерен-ная ошибка с целью запутать своего противника и выдать ложное суждение за истинное называется софизмом. Софистами называют людей, которые ложь пытаются выдать за истину путем различных ухищрений.

В математике имеются математические софизмы. В конце XIX - начале XX в. большой популярностью среди учащихся пользовалась книга В.И. Обреимова «Математические софизмы», в которой собраны многие софизмы. И в ряде современных книг собраны интересные математические софизмы. Например, Ф.Ф. Нагибин формулирует следующие математиче-ские софизмы:

4) «Все числа равны между собой»;

5) «Любое число равно половине eгo»;

6) «Отрицательное число равно положительному»;

7) «Любое число равно нулю»;

8) «Из точки на прямую можно опустить два перпендикуляра»;

9) «Прямой угол равен тупому»;

10) «Всякая окружность имеет два центра»;

11) «Длины всех окружностей равны» и многие другие.

2 2 = 5. Требуется найти ошибку в следующих рассуждениях. Имеем
числовое тождество: 4: 4 = 5: 5. Вынесем за скобки в каждой части этого
тождества общий множитель. Получим 4 (1: 1) = 5 (1: 1). Числа в скобках
равны. Поэтому 4=5, или 2 2=5.

5 = 1. Желая доказать, что 5 = 1, будем рассуждать так. Из чисел 5 и 1 по
отдельности вычтем одно и то же число 3. Получим числа 2 и - 2. При возведении в квадрат этих чисел получаются равные числа 4 и 4. Значит, должны быть равны и исходные числа 5 и 1. Где ошибка?

5.1 Понятие о логических парадоксах

Парадокс - это рассуждение, доказывающее как истинность, так и лож-ность некоторого суждения или (иными словами) доказывающее как это суждение, так и его отрицание. Парадоксы были известны еще в древнос-ти. Их примерами являются: «Куча», «Лысый», «Каталог всех нормальных каталогов», «Мэр города», «Генерал и брадобрей» и др. Рассмотрим некото-рые из них.

Парадокс «Куча». Разница между кучей и не-кучей - не в одной песчин-ке. Пусть у нас есть куча (например, песка). Начинаем из нее брать каждый раз по одной песчинке, и куча остается кучей. Продолжаем этот процесс. Если 100 песчинок - куча, то 99 - тоже куча и т.д. 10 песчинок - куча, 9- куча, ... 3 песчинки - куча, 2 песчинки - куча, 1 песчинка - куча. Итак, суть парадокса в том, что постепенные количественные изменения (убавле-ние на 1 песчинку) не приводят к качественным изменениям.

5.2 Парадоксы теории множеств

В письме Готтлобу Фреге от 16 июня 1902 г. Бертран Рассел сообщил о том, что он обнаружил парадокс множества всех нормальных множеств (нормальным множеством называется множество, не содержащее себя в качестве элемента).

Примерами таких парадоксов (противоречий) являются «Каталог всех нормальных каталогов», «Мэр города», «Генерал и брадобрей» и др.

Парадокс, называемый «Мэр города», состоит в следующем: каждый мэр города живет или в своем городе, или вне его. Был издан приказ о выделе-нии одного специального города, где жили бы только мэры, не живущие в своем городе. Где должен жить мэр этого специального города? а). Если он хочет жить в своем городе, то он не может этого сделать, так как там жи-вут только мэры, не живущие в своем городе, б). Если же он не хочет жить в, своем городе, то, как и все мэры, не живущие в своих городах, должен жить в отведенном городе„т.е. в своем. Итак, он не может жить ни в своем городе, ни вне его.

Таким образом, в логику входит категория времени, категория измене-ния: приходится рассматривать изменяющиеся объемы понятий. А рассмо-трение объема в процессе его изменения - это уже аспект диалектической логики. Трактовка парадоксов математической логики и теории множеств, связанных с нарушением требований диалектической логики, принадле-жит С.А. Яновской. В примере с каталогом удается избежать противоречия потому, что объем понятия «каталог всех нормальных каталогов» берется на какое-то определенное, точно фиксированное время, например, на 20 ию-ня 1998 г. Имеются и другие способы избежать противоречий такого рода.

6. Искусство ведения дискуссии

Роль доказательства в научном познании и дискуссиях сводится к подбо-ру достаточных оснований (аргументов) и к показу того, что из них с логи-ческой необходимостью следует тезис доказательства.

Правила ведения дискуссии можно показать на примере проведения диспута молодежи. Диспут позволяет рассматривать, анализировать про-блемные ситуации, развивать способность аргументированно отстаивать свои знания, свои убеждения.

Диспуты могут быть спланированы заранее или возникать экспромтом (в походе, после просмотра кинофильма и т.д.). В первом случае заранее можно прочитать литературу, подготовиться, во втором - преимущество в эмоциональности. Очень важно выбрать тему диспута, она должна звучать остро и проблематично.

В ходе диспута надо ставить 3-4 вопроса, но так, чтобы на них нельзя бы-ло дать однозначных ответов.

Существуют различные виды диалога: спор, полемика, дискуссия, дис-пут, беседа, дебаты, свара, прения и др. Искусство ведения спора называют эристикой (от греческого - спор), так же называется и раздел логики, изучающий приемы спора. Для того чтобы дискуссия, спор были плодотвор-ными, т.е. могли достигнуть своей цели, требуется соблюдение определен-ных условий. А.Л. Никифоров рекомендует помнить о соблюдении следу-ющих условий при проведении спора. Прежде всего должен существовать предмет спора - некоторая проблема, тема, к которой относятся утвержде-ния участников дискуссии. Если такой темы нет, спор оказывается бес-предметным, вырождается в бессодержательный разговор. Относительно предмета спора должна существовать реальная противоположность споря-щих сторон, т.е. стороны должны придерживаться противоположных убеж-дений относительно предмета спора. Если нет реального расхождения по-зиций, то спор вырождается в разговор о словах, т.е. оппоненты говорят об одном и том же, но используя при этом разные слова, что и создает види-мость расхождения. Необходима также некоторая общая основа спора, т.е. какие-то принципы, положения, убеждения, которые признаются обеими сторонами! Если нет ни одного положения, с которым согласились бы обе стороны, то спор оказывается невозможным. Требуется некоторое знание о предмете спора: бессмысленно вступать в спор о том, о чем ты не имеешь ни малейшего представления. К условиям плодотворного спора относятся также способность быть внимательным к своему противнику, умение вы-слушивать и желание понимать его рассуждения, готовность признать свою ошибку и правоту собеседника. Спор - это не только столкновение противоположных мнений, но и борьба характеров. Приемы, используемые в споре разделяются на до-пустимые и недопустимые (т.е. лояльные и нелояльные). Когда противники стремятся установить истину или достигнуть общего согласия, они использу-ют только лояльные приемы. Если же кто-то из оппонентов прибегает к не-лояльным приемам, то это свидетельствует о том, что его интересует только победа, добытая любыми средствами. С таким человеком не следует вступать в спор. Однако знание нелояльных приемов спора необходимо: оно помога-ет людям разоблачать их применение в конкретном споре. Иногда их ис-пользуют бессознательно или в запальчивости, в таких случаях указание на использование нелояльных приемов служит дополнительным аргументом, свидетельствующим о слабости позиции оппонента.

А.Л. Никифоров выделяет следующие лояльные (допустимые) приемы спора, которые просты и немногочисленны. Важно с самого начала захва-тить инициативу: предложить свою формулировку предмета спора, план обсуждения, направлять ход полемики в нужном для вас направлении. В споре важно не обороняться, а наступать. Предвидя возможные аргумен-ты оппонента, следует высказать их самому и тут же ответить на них. Важ-ное преимущество в споре получает тот, кому удается возложить бремя дока-зывания или опровержения на оппонента. И если он плохо владеет приема-ми доказательства, то может запутаться в своих рассуждениях и будет вы-нужден признать себя побежденным. Рекомендуется концентрировать вни-мание и действия на наиболее слабом звене в аргументации оппонента, а не стремиться к опровержению всех ее элементов. К лояльным приемам отно-сится также использование эффекта внезапности: например, наиболее важ-ные аргументы можно приберечь до конца дискуссии. Высказав их в конце, когда оппонент уже исчерпал свои аргументы, можно привести его в заме-шательство и одержать победу. К лояльным приемам относится и стремле-ние взять последнее слово в дискуссии: подводя итоги спора, можно предста-вить его результаты в выгодном для вас свете.

Некорректные, нелояльные приемы используются в тех случаях, когда нет уверенности в истинности защищаемой позиции или даже осознается ее ложность, но тем не менее есть желание одержать победу в споре. Для этого приходится ложь выдавать за истину, недостоверное - за проверенное и заслуживающее доверия.

Большая часть нелояльных приемов связана с сознательным нарушени-ем правил доказательства. Сюда относится подмена тезиса: вместо того чтобы доказывать или опровергать одно положение, доказывают или опро-вергают другое положение, лишь по видимости сходное с первым. В про-цессе спора часто стараются тезис противника сформулировать как можно более широко, а свой - максимально сузить. Более общее положение труд-нее доказать, чем положение меньшей степени общности.

Значительная часть нелояльных приемов и уловок в споре связана с ис-пользованием недопустимых аргументов. Аргументы, используемые в дис-куссии, в споре, могут быть разделены на два вида: аргументы ad rem (к де-лу, по существу дела) и аргументы ad hominem (к человеку). Аргументы пер-вого вида имеют отношение к обсуждаемому вопросу и направлены на обоснование истинности доказываемого положения. В качестве таких ар-гументов могут быть использованы суждения об удостоверенных единич-ных фактах; определения понятий, принятых в науке; ранее доказанные за-коны науки и теоремы. Если аргументы данного вида удовлетворяют требо-ваниям логики, то опирающееся на них доказательство будет корректным.

Аргументы второго вида не относятся к существу дела, не направлены на обоснование истинности выдвинутого положения, а используются лишь для того, чтобы одержать победу в споре. Они затрагивают личность оппо-нента, его убеждения, апеллируют к мнениям аудитории и т.п. С точки зре-ния логики, все аргументы ad hominem некорректны и не могут быть ис-пользованы в дискуссии, участники которой стремятся к выяснению и обоснованию истины. Наиболее распространенными разновидностями аргументов ad hominem являются следующие:

1. Аргумент к личности - ссылка на личные особенности оппонента, его убеждения, вкусы, внешность, достоинства и недостатки. Использование этого аргумента ведет к тому, что предмет спора остается в стороне, а вмес-то него обсуждается личность оппонента, причем обычно в негативном ос-вещении. Разновидностью этого приема является «навешивание ярлыков на оппонента, на его утверждения, на его позицию. Встречается аргумент к личности и с противоположной направленностью, т.е. ссылающийся не на недостатки, а, напротив, на достоинства человека. Такой аргумент часто используется в юридической практике защитниками обвиняемых.

2. Apгумент к aвmopumemy - ссылка на высказывание или мнения вели-ких ученых, общественных деятелей, писателей и т.п. в поддержку своего тезиса. Аргумент к авторитету имеет множество разнообразных форм: ссылают-ся на авторитет общественного мнения, авторитет аудитории, авторитет оппонента и даже на собственный авторитет. Иногда изобретают вымыш-ленные авторитеты или приписывают реальным авторитетам такие сужде-ния, которых они никогда не высказывали.

3. Аргумент к публике - ссылка на мнения, настроения, чувства слуша-телей. Человек, пользующийся таким аргументом, обращается уже не к своему оппоненту, а к присутствующим или даже случайным слушателям, стремясь привлечь их на свою сторону и с их помощью оказать психологи-ческое давление на противника. Одна из наиболее эффективных разновид-ностей аргумента к публике - ссылка на материальные интересы присут-ствующих. Если одному из оппонентов удается показать, что отстаиваемый его противником тезис затрагивает материальное положение, доходы и т.п. присутствующих, то их сочувствие будет, несомненно, на стороне первого.

4. Аргумент к тщеславию - расточение неумеренных похвал оппоненту в надежде сделать его мягче и покладистей. Выражения вроде: «Я верю в глу-бокую эрудицию оппонента», «Оппонент - человек выдающихся досто-инств и т п. - можно считать завуалированными аргументами к тщеславию.

5. Аргумент к силе («к палке») - угроза неприятными последствиями, в частности угроза применения или прямое применение каких-либо средств принуждения. У всякого человека, наделенного властью, физичес-кой силой или вооруженного, всегда велико искушение прибегнуть к угро-зам в споре с интеллектуально превосходящим его противником. Однако следует помнить о том, что согласие, вырванное под угрозой насилия, ни-чего не стоит и ни к чему не обязывает согласившегося.

6. Аргумент к жалости - возбуждение в другой стороне жалости и сочув-ствия. Этот аргумент бессознательно используется многими людьми, кото-рые усвоили себе манеру постоянно жаловаться на тяготы жизни, труднос-ти, болезни, неудачи и т.п. в надежде пробудить в слушателях сочувствие и желание уступить, помочь в чем-то.

7. Аргумент к невежеству - использование таких фактов и положений, о которых оппонент ничего не знает, ссылка на сочинения, которых он, как заведомо известно, не читал. Люди часто боятся признаться в том, что они чего-то не знают, считая, что они якобы роняют свое достоинство. В споре с такими людьми аргумент к невежеству действует безотказно. Однако если не бояться признать, что чего-то не знаешь, и попросить противника рас-сказать подробнее о том, на что он ссылается, может выясниться, что его ссылка не имеет никакого отношения к предмету спора.

Контрольная работа по дисциплине: логика

1. Понятие доказательства

Аргументация - способ рассуждения, включающий доказательство и опровержение, в процессе которого создается убеждение в истинности тезиса и ложности антитезиса как у самого доказывающего, так и у оппо-нентов; обосновывается целесообразность принятия тезиса с целью выра-ботки активной жизненной позиции и реализации определенных про-грамм действий, вытекающих из доказываемого положения. Понятие «ар-гументация» богаче по содержанию, чем понятие «доказательство»: целью доказательства является установление истинности тезиса, а целью аргумен-тации - еще и обоснование целесообразности принятия этого тезиса, по-каз его важного значения в данной жизненной ситуации и т.п. В теории ар-гументации «аргумент» также понимается шире, чем в теории доказатель-ства, ибо в первой имеются в виду не только аргументы, подтверждающие истинность тезиса, но и аргументы, обосновывающие целесообразность его принятия, демонстрирующие его преимущества по сравнению с други-ми подобными утверждениями (предложениями). Аргументы в процессе аргументации гораздо разнообразнее, чем в процессе доказательства.

форма аргументации представляет собой цепь доказательств и опровержений аргументирующего в процессе доказательства им тезиса и осуществления убеждения. В процессе аргументации выработка убеждений у собеседника или аудитории часто связана с их переубеждением. Поэтому в аргументации велика роль риторики в ее традиционном понимании как искусства красноречия. В этом смысле до сих пор представляет интерес «Риторика» Аристотеля, в которой наука о красноречии рассматривается как теория и практика убеждения в процессе доказательства истинности тезиса. «Слово есть великий властелин, который, обладая весьма малым и совершенно незаметным телом, совершает чудеснейшие дела. Ибо оно может и страх изгнать, и печаль уничтожить, и радость вселить, и сострадание пробудить», - писал древнегреческий ученый Горгий об искусстве аргументации. Не было периода в истории, когда бы люди не аргументировали.

Без аргументации высказываний невозможно интеллектуальное общение, ибо она - необходимый инструмент познания истины.

Доказательство - это совокупность логических приемов обоснования истинности тезиса. Доказательство связано с убеждением, но не тождествен-но ему: доказательства должны основываться на данных науки и обществен-но-исторической практики, убеждения же могут быть основаны, например, на религиозной вере, на предрассудках, на неосведомленности людей в во-просах экономики и политики, на видимости доказательности, основанной на различного рода софизмах. Поэтому убедить - еще, не значит доказать.

1.2 Структура доказательства: тезис, аргументы, демонстрация

Тезис - это суждение, истинность которого надо доказать. Аргументы - это- те истинные суждения, которыми пользуются при доказательстве тезиса. Формой доказательства, или демонстрацией, называется способ логической связи между тезисом и аргументами.

1.3 Виды аргументов

Различают несколько видов аргументов:

1. Удостоверенные единичные факты. К такого рода аргументам относит-ся так называемый фактический материал, т.е. статистические данные о на-селении, территории государства, выполнении плана, количестве вооружения-, свидетельские показания, подписи на документах, научные данные, научные факты. Роль фактов в обосновании выдвинутых положений, в том числе научных, велика.

Факты - воздух ученого. Без них вы никогда не сможете взлететь. Без них ваши «теории» - пустые потуги.

2. Определения как аргументы доказательства. Определения понятий обычно даются в каждой науке. Правила определения и виды определений понятий были рассмотрены в теме «Понятие», и там же были приведены многочисленные примеры определений понятий различных наук: матема-тики, химии, биологии, географии и пр.

3. Аксиомы. В математике, механике, теоретической физике, математи-ческой логике и других науках, кроме определений, вводят аксиомы. Акси-омы - это суждения, которые принимаются в качестве аргументов без до-казательства.

4. Ранее доказанные законы науки и теоремы как аргументы доказательст-ва. В качестве аргументов доказательства могут выступать ранее доказан-ные законы физики, химии, биологии и других наук, теоремы математики (как классической, так и конструктивной). Юридические законы являются аргументами в ходе судебного доказательства.

2. Прямое и непрямое (косвенное) доказательства

Доказательства по форме делятся на прямые и непрямые (косвенные). Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргумента-ми. Схема этого доказательства такая: из данных аргументов (а, b, с, ...) не-обходимо следует доказываемый тезис q. По этому типу проводятся доказа-тельства в судебной практике, в науке, в полемике, в сочинениях школьни-ков, при изложении материала учителем и т.д.

Непрямое (косвенное) доказательство - это доказательство, в котором истинность выдвинутого тезиса обосновывается путем доказательства лож-ности антитезиса. Если тезис обозначить буквой а, то его отрицание (a) бу-дет антитезисом, т.е. противоречащим тезису суждением.

Апагогическое косвенное доказательство (или доказательство «от против-ного») осуществляется путем установления ложности противоречащего те-зису суждения. Этот метод часто используется в математике.

Пусть а - тезис или теорема, которую надо доказать. Предполагаем от противного, что а ложно, т.е. истинно не-а (или a). Из допущения a выводим следствия, которые противоречат действительности или ранее доказанным теоремам. Имеем а V a, при этом a - ложно, значит, истинно его отрицание, т/е. a, которое по закону двузначной классической логики (a > а) дает а. Значит, истинно а, что и требовалось доказать.

Следует заметить, что в конструктивной логике формула a > а не яв-ляется выводимой, поэтому в этой логике и в конструктивной математи-ке ею пользоваться в доказательствах нельзя. Закон исключенного тре-тьего здесь также «отвергается» (не является выводимой формулой), по-этому косвенные доказательства здесь не применяются. Примеров дока-зательства «от противного» очень много в школьном курсе математики. Так, например, доказывается теорема о том, что из точки, лежащей вне прямой, на эту прямую можно опустить лишь один перпендикуляр. Методом «от противного» доказывается и следующая теорема: «Если две прямые перпендикулярны к одной и той же плоскости, то они парал-лельны». Доказательство этой теоремы прямо начинается словами: «Предположим противное, т.е. что прямые АВ и CD не параллельны».

ФГБОУ ВПО «Воронежский государственный

технический университет»

Л.А. Белоглазова

ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ

Утверждено Редакционно-издательским советом

Воронеж 2012

ББК 87.3
Белоглазова Л.А. Логика и теория аргументации: учеб. пособие / Л.А. Белоглазова. Воронеж: ФГБОУ ВПО «Воронежский государственный технический университет», 2012. 141 с.

В учебном пособии изложены важнейшие проблемы классической дедуктивной логики, анализ логико-семиотических проблем, связанных с применением языка как средства познания мира и средства выражения мысли.

Издание соответствует требованиям Федерального государственного образовательного стандарта высшего профессионального образования по специальности 030602 «Связи с общественностью», дисциплине «Логика».

Учебное пособие подготовлено в электронном виде в текстовом редакторе Microsoft Word и содержится в файле Логика и теория аргументации уч. пособие.docx.
Ил. 7. Библиогр.: 16 назв.
Научный редактор канд. филос. наук, доц. В.В. Глотова
Рецензенты: кафедра онтологии и теории познания Воронежского государственного университета (зав. кафедрой д-р филос. наук, проф. А.С. Кравец);

канд. филос. наук, доц. Э.С. Комиссарова

«Воронежский государственный

технический университет», 2012

ВВЕДЕНИЕ

Предметом логики и теории аргументации, рассматриваемой в данном учебном пособии, являются формы дедуктивных рассуждений – выводов и доказательств, а также лежащие в их основе формально-логические законы. Особое внимание уделяется проблеме убеждения и аргументации как ключевым категориям человеческой жизни и деятельности. Курс логики и теории аргументации систематизирует и обобщает выводы и положения целого ряда наук, так или иначе затрагивающих вопросы мышления, методы и приемы, которые помогают влиять на убеждения аудитории.

В учебном пособии рассматриваются проблемы, связанные с определением предмета и значения логики как науки, освещаются её центральные категории, такие как «логическая форма», логическое содержание», «логический закон» и т.д. Также внимание уделяется формулированию основных правил, принципов и требований правильного мышления. Отдельные вопросы посвящены анализу логико-семиотических проблем, связанных с применением языка как средства познания мира и средства выражения мысли и основным формам мышления – понятию, суждению и умозаключению. Раздел теории аргументации рассматривает аргументацию с трех разных позиций, дополняющих руг друга: с точки зрения мышления , с точки зрения человека и общества, и, наконец, с точки зрения истории.

В силу сугубо учебно-методической задачи данного пособия в нем широко представлены материалы уже опубликованных отечественных учебников по логике, которые студенты могут использовать при подготовке к практическим занятиям: «Основы логики» В.А. Бочаров и В.И. Маркин (М., Космополис, 1994); «Логика как часть теории познания и научной методологии» Е.К. Войшвилло и М.Г. Дегтярёв (М.: Наука, 1994); «Логика и теория аргументации» Е.М. Киреев (Воронеж, ВГТУ, 2005), «Основы теории аргументации» Ивин А.А. (М.: ВЛАДОС», 1997).

Тема 1. ЛОГИКА, МЫШЛЕНИЕ, ЯЗЫК

.
Уровни и формы познания.
Логика, мышление, язык. Основные функции языка.

Понятие логики. Круг проблем, изучаемых логикой

Слово логика происходит от греческого слова Logos – речь, мысль, разум, слово. “Логика” употребляется нами довольно часто, но в разных значениях. Нередко говорят о логике событий, логике характера и т.д. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков. “Быть может, он безумец, - говорит один из героев рассказа английского писателя Г.К.Честертона, - но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума”. Здесь “логика” как раз означает наличие в мыслях определенной общей линии, от которой человек не в силах отойти .

Слово “логика” употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду его определенность, последовательность, доказательность и т.п.

Кроме того, логика - особая наука о мышлении. Она возникла еще в IV в. до н.э., основателем ее считается древнегреческий философ Аристотель. Позднее она стала называться формальной логикой.

В настоящее время термин «логика» употребляется в трех основных значениях . Во-первых, этим словом обозначают всякую необходимую закономерность во взаимосвязи объективных явлений. Выражения «логика фактов», «логика вещей», «логика исторического развития» - вот типичные примеры употребления слова в таком значении.

Во-вторых, словом «логика» обозначают закономерности в связях и развитии мыслей . Типичными здесь выражениями являются такие, как «логика рассуждения», «логика мышления». И, наконец, «логикой» называют науку – определенную систему знаний, рассматривающую логику мышления. При этом логикой называют не только всю эту науку, но и отдельные ее разделы – модальную логику, неклассическую логику и т.д.

В качестве иллюстрации указанных способов употребления слова «логика», можно привести следующий пример. Мы знаем, что существует явление объективной действительности – отклонение кометы Галлея от заранее рассчитанной траектории. Очевидно, что это событие имеет свою объективную логику. Существует астроном, который рассуждает о причинах и последствиях этого отклонения. Его рассуждения по этому поводу составляют логику мышления. Логику же как науку может интересовать само это рассуждения с точки зрения того, какие логические операции использует астроном, т. е. как именно он рассуждает, когда изучает отклонение кометы Галлея.

Это и есть третье значение слова логика – логика как определенная наука . При этом вопрос «как?» подразумевает главный логический компонент: правильно ли рассуждает? Проблемами и условиями правильности мышления как раз и занимает наука логика.

Логика является одной из древнейших наук. Ее история уходи своими корнями в мудрость Древнего Востока , в философские школы Древней Индии и Китая. Однако как стройная система знаний логика сформировалась в IV веке до нашей эры в трудах выдающего древнегреческого философа Аристотеля. В его исследованиях наметился основной круг проблем, изучаемых логикой. Во-первых, мыслитель сформулировал проблему построения правильных (дедуктивных) рассуждений, позволяющих из истинных высказываний гарантированно получать истинных следствия. Аристотель является создателем исторически первой дедуктивной системы – силлогистики.

Во-вторых, логика, занимается логико-семиотическим проблемами – проблемами, связанными с употреблением языка как средства познания мира и выражения мысли. К их числу относятся проблемы выделения категорий языковых выражений в зависимости от типов их значений, а также установления смыслов и условий истинности и ложности высказываний различных видов.

В-третьих, можно обозначить группу логико-методологических проблем, посвященных правилам осуществления таких познавательных процедур, как определение, классификация, объяснение, полемика, аналогия и др., а также способам организации систем знаний, например, научных теорий.

Таким образом, логику можно определить как нормативную науку о формах мыслительной познавательной деятельности, осуществляемой с помощью языка. Для большего понимания данного определения следует разъяснить вопросы о сущности, ступенях и формах процесса познания.

Уровни и формы познания

Познание – это процесс отражения действительности в человеческом мозге, целью которого является получение адекватных знаний о мире. В процессе познания выделяют два уров ня: чувственный (опытный) и рациональный (логический). Чувственное познание осуществляется с помощью органов внешних чувств и осуществляется в трех формах: ощущения- это результат внешнего воздействия на органы чувств человека, передающие отдельные свойства предмета (цвет, вкус, запах, форму, звучание); восприятия - это совокупность ощущений, создающих целостный образ предмета; представления- образы, возникающие в памяти человека на основе прошлых ощущений и восприятий. Представления являются высшей ступенью чувственного познания и возникают в отсутствие предмета. Все эти формы являются чувственными образами конкретных предметов реального мира, результатами воздействия их на наши органы чувств.

Благодаря чувственному познанию человек составляет впечатление лишь о внешних свойствах предмета. Постижение сущности вещей и явлений происходит на уровне рационального познания. Рациональное познание - это процесс абстрактного мышления, который осуществляется в трех формахпонятие - элементарная единица рационального мышления, отражающее общие признаки предметов и выражающееся с помощью слов и словосочетаний; суждение- это совокупность понятий, отражающая отношения и связи между предметами и их свойствами и выражающаяся в форме повествовательных предложений; умозаключение- это высшая форма абстрактного мышления, представляющая собой процесс получения из одного или нескольких суждений нового суждения на основе законов логики.

Рациональное познание обладает рядом характеристик, отличающих его от чувственного. Особенностями рационального познания являются его обобщенность (на данной ступени познания мы познаем общее у разнородных предметов, законы, которым они подчиняются), абстрактность (человеческое мышление не только отражает мир, но и творит собственных мир – мир абстрактных объектов), активный и целенаправленный характер. Но главная отличительная особенность рационального познания состоит в том, что его инструментом служит язык. Поэтому рациональное познание также называют языковым.

Логика, мышление, язык. Основные функции языка

Принципиальное отличие мышления от чувственного познания состоит в том, что оно неразрывно связано с языком. Познание на этой ступени представляет собой отражение (воспроизведение) действительности с помощью языка. С помощью языка происходит и формирование мысли, в языковых формах выражаются результаты познания. Поэтому логика, имея дело с мышлением, уделяет существенное внимание исследованию некоторых аспектов языка.

Сферу интересов логики представляет язык как средство познания мира. Язык – это знаковая система , предназначенная для фиксации, хранения, переработки, передачи информации. Различают естественные и искусственные языки. Естественные языки возникали исторически стихийно прежде всего как средство общения между людьми. Их формирование и развитие представляет собой длительный исторический процесс. Искусственные языки сознательно создаются человеком для решения определенных задач. К числу естественных относятся разговорные языки – русский, английский, греческий и т.п. примерами искусственных языков являются языки химических формул, язык дифференциального и интегрального исчисления в математике и т.д.

Язык при использовании его в практической деятельности человека выполняет множество различных функций. Язык – средство повседневного общения людей, общения в научной и практической деятельности. Он позволяет передавать и получать знания, умения, жизненный опыт от поколения к поколению. Посредством языка ведется обучение и воспитание. Важны и такие функции языка: хранение информации, быть средством выражения эмоций, гносеологическая функция. С точки зрения логики наибольший интерес представляет познавательная функция языка. Основная задача логического анализа языка состоит в том, чтобы выяснить, как, каким образом язык может выполнять познавательную функцию. В самом общем виде ответ на этот вопрос состоит в том, что слова и словосочетания языка соотносятся каким-то образом с предметами, свойствами, отношениями действительности, т.е. являются представителями их в нашем сознании, выполняют роль их знаков. Задачи логики – выяснить способы и характер связи выражений (элементов языка) с объектами действительности . Результатом же логического анализа естественного языка является построение формализованного языка, который служит основным средством уточнения многих понятий логики и описания ряда ее методов.

Язык является знаковой информационной системой. Информация передается с помощью знаков (слов) языка. Знак – это материальный объект , который для некоторого интерпретатора (субъекта) выступает в качестве представителя какого-то другого предмета. Основная функция знака в таком случае, состоит в том, что он репрезентирует (представляет) какой-то предмет для некоторого интерпретатора. Таким образом, ситуация употребления знака включат в себя три элемента: сам знак; предмет, репрезентируемый знаком; интерпретатор, использующий знак.

В повседневной жизни мы сталкиваемся с большим многообразием знаков. Можно выделить три основных вида знаков:

Знаки-индексы – связаны с представляемыми ими предметами некоторым причинным образом. Например: следы на снегу, положение флюгера, дым из трубы. В языке к этому виду знаков относятся некоторые выражения, возникающие как реакция на внешние воздействия на человека – междометия.

Знаки–образы – являются в какой-то мере изображениями обозначаемых предметов (картины, чертежи, фото, схемы). К числу знаков этого вида в языке относятся слова, которые по своему звучанию воспроизводят какие-то звуковые образы обозначаемых ими процессов, вызывают определенные звуковые образы обозначаемых ими предметов, например: «треск», «звон», «жужжание».

Знаки-символы физически никак не связаны с обозначаемыми ими предметами. Это большинство слов, имен естественного языка. Их связь с обозначаемыми предметами устанавливается либо по соглашения, либо стихийно при формировании языка и практического его усвоения отдельным человеком. В языке решающую роль играют именно знаки-символы. При рассмотрении языка как системы знаков нужно принимать во внимание три основных аспекта языка: синтаксис, семантику и прагматику языка. Синтаксический аспект составляет многообразие отношений между знаками, имеющиеся в языке правила образования одних знаков из других и правила изменения знаков (склонение, спряжение и.т.д.).при синтаксическом подходе исследуются отношения между самими знаками, при этом отвлекаются о того, кто использует эти знаки и какие предметы они репрезентируют. Задачами синтаксического анализа языка являются выделение простейших, элементарных знаков, правил образования сложных знаков и перехода от одних совокупностей знаков к другим.

Семантический аспект составляет совокупность отношений знаков к объектам внеязыковой действительности, т.е. к тому, что они обозначают. Например, «Москва» обозначает определённый город, столицу РФ, «Волга» - реку, «зеленый» - свойство некоторого объекта, «севернее», «старше» - на определенные отношения между объектами в действительности. Семантический аспект предполагает исследование отношений между знаками и репрезентируемыми ими предметами. При этом решается задача выделения различных категорий языковых знаков в зависимости от типов их значений, а также от типов выражаемых этими знаками смыслов.

Прагматический аспект включает в себя такие особенности языка, которые зависят от того, кем и в каких ситуациях он применяется. Так, известно, что одно и то же выражение в зависимости, например, от интонации, может иметь разные смысловые оттенки, а иногда даже и противоположные значения. Прагматический анализ языка состоит в исследовании отношений между знаками и интерпретаторами, использующими эти знаки. Важнейшая задача, решаемая при данном подходе, - установление зависимости значения и смысла знака от тех или иных особенностей интерпретатора, и, более широко, от особенностей внеязыкового контекста, сопутствующего употреблению данного знака

При рассмотрении языка как средства познания, формирования и выражения мысли, мы отвлекаемся от всех прагматических характеристик, сосредотачиваясь на языке как средстве воспроизведения связей и отношений действительности.

Существует особая наука – семиотика , которая является общей теорией знаков. Разновидностями знаков являются языковые знаки, одной из функций которых является обозначение ими предметов, свойств и отношений. Для обозначения предметов служат имена.

Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет здесь понимается весьма в широком смысле: это вещи, свойства, отношения, процессы, явления и т.п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.

Имена делятся на: простые («стол», «ветер», «студент») и сложные, или описательные («самая большая река в Европе», «самая высокая в мире горная вершина»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются: собственные, т.е. имена отдельных людей, предметов, событий («А.С. Пушкин», «Волга») и общие (название класса однородных предметов), например «здание», «гейзер».

Каждое имя имеет предметное значение и смысл. Значением имени является обозначаемый им предмет (денотат), тот предмет, свойство или отношение, на который оно указывает. Предметным значением знаков могут быть предметы, все, что может быть предметом мысли вообще, все, о чем можно что-либо утверждать или отрицать. Также значением могут быть сами характеристики предметов. В качестве значений могут выступать воображаемые предметы. Например, «вечный двигатель», «русалка», «кентавр» - это знаки-фикции. Они фиктивны, т.е. лишены предметных значений, когда они претендуют на обозначение реально существующих предметов (когда употребляются в контексте описания реальной действительности). Но они перестают быть фиктивными, если используются в контексте описания фантастических миров – в сказках, мифах, легендах, романах.

Смысл (концепт) имени – это такая связанная с ним характеристика обозначаемого объекта, которая позволяет однозначно выделить этот объект из множества других объектов, т е. некоторая совокупность признаков, которая является отличительной для данного объекта. Иными словами, это некоторая существенная информация о предмете, которая содержится в имени. Поясним это на примере. Один и тот же предмет может иметь множество различных имен (синонимов). Так, например, знаковые выражения «великий русский поэт Александр Сергеевич Пушкин (1799-1837) », «автор романа в стихах «Евгений Онегин», «поэт смертельно раненый на дуэли с Ж. Дантесом», имеют одно и тоже значение (или обозначают поэта А.С. Пушкина), но различные смыслы.

Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории. Семантическая категория - это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа. К основным семантически категориям относятся: а) предложения (суждения): повествовательные, побудительные, вопросительные; б) выражения, играющие определенную роль в составе предложений: дескриптивные (описательные) и логические термины (логические постоянные или логические константы.)

К дескриптивным терминам относятся:

1) Имена предметов – слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы (Платон, первый космонавт) или классы однородных предметов («портфель», «парта», «саранча»);

2) Предикаторы – выражения языка (слова или словосочетания), предметными значениями которых являются свойства («твердый», «жидкий», «умный») и отношения («столица», «причина», «следствие», «брат», «южнее»). При этом имеются в виду свойства и отношения, которые употребляются как характеристики предметов познания, то есть как то, наличие или отсутствие чего у предметов мы утверждаем в наших высказываниях;

3) Функциональные знаки – выражения, обозначающие предметные функции, операции («+», «V»);

В языке, кроме выше изложенного, встречаются так называемые логические термины или логические константы, которые представлены двумя основными видами:

Логические связки - «если..., то...», «и» (иногда вместо этого союза употребляется союз «а»), «или», «не».
Операторы - кванторные слова («всякий», «некоторые»; есть другие варианты: для «всякий» - «любой», «каждый», для «некоторые» - «существует»), оператор определенной дескрипции («тот, который»), оператор неопределенной дескрипции («некий из»). Они выражают логические операции и отношения.

Тема 2. ПОНЯТИЕ О ЛОГИЧЕСКОЙ ФОРМЕ

И ЛОГИЧЕСКОМ ЗАКОНЕ
2.1.Логическая форма и логическое содержание суждений.

2.2. Логическая форма умозаключений и критерий их правильности. Отношение логического следования.

2.3.Основные логические законы.
2.1. Логическая форма и логическое содержание суждений
Любое суждение (высказывание) выражается в языке в виде повествовательных предложений и имеет определённую знаковую (языковую) форму. Напомним, что суждение – это форма мысли, в которой утверждается наличие или отсутствие какой-либо ситуации. Например, «2- простое число»; «Волга впадает в Каспийское море». Это примеры простых суждений.

Можно выделить и сложные суждения, в которых содержатся такие логические характеристики как «некоторые», «всякий», «ни один», «все» и т.д. Например, «Все металлы электропроводны»; «Некоторые студенты отличники». Все эти суждения выражены определенным образом в языке, то есть имеют определённую знаковую, языковую форму.

Рассмотрим суждение «Все металлы электропроводны». Его языковая форма очевидна. Это суждение выражено в знаках (буквах) русского языка. Также из этого суждения мы может почерпнуть определённую информацию о конкретном предмете и его свойствах, то есть мы может выделить языковое содержание этого суждения. Оно заключается в следующем: всякий предмет, имеющий свойство металличности, также обладает и свойством проводить электрический ток.

Но с точки зрения задач логики как науки выражения естественного языка имеют ряд особенностей, которые затрудняют процедуру точного выражения логических форм.

Например, сравним два высказывания «Москва находится между Киевом и Нижним Новгородом» и «Москва находится южнее Мурманска и Архангельска». На первый взгляд эти высказывания по свое структуре одинаковы. И это так. Но только в отношении их грамматической структуры (они сходны). Но, по сути, в первом речь идёт о наличии какого-то отношения между тремя городами, то есть оно является простым. А во втором мы имеем дело со сложным суждением, состоящим из двух простых: «Москва южнее Мурманска» и «Москва южнее Архангельска».

Кроме того, выражения естественного языка многозначны и допускают различные трактовки одной и той же языковой формы. Например: сравним союзы «если…то» в высказываниях «Если вода нагрета до 100, то она кипит» и «Если Волга впадает в Каспийское море, то Днепр – в Чёрное». В первом случае союз «если…то» выражает условную связь (при условии наличия одного свойства у предмета , обязательно появляется и другое свойство), то во втором случае этой условной связи нет.

В связи с этим, логика отвлекается от конкретной языковой формы и языкового содержаний высказываний и выделяет их логическую форму и логическое содержание. Чтобы выявить логическую форму и логическое содержание суждения, нужно отвлечься от тех конкретных предметов, свойств или отношений, о которых говорится в суждении. Например, найдем логическую форму и логическое содержание суждения «Все металлы электропроводны».

Отвлекаясь от того, что речь идет о металлах, обозначим их просто переменной S, а свойство электропроводности – переменной P. Так, мы получили две переменные – S и Р. Теперь нам надо восстановить между ними ту связь, которая у нас была в исходном суждении. Это исходное суждение утверждало, что у всех металлов есть конкретное свойство проводить ток. Эта связь выражается следующим образом: Все S есть Р. Таким образом вместо конкретного суждения о конкретных предметах и свойствах мы имеем логическую форму «Все S есть Р».

Это выражение несет в себе определенное содержание. В нем утверждается, что всякий предмет, обладающий свойством S , обладает также и свойством Р. Это и есть логическое содержание высказывания.

Рассмотрим ещё один пример. «Если вода нагрета до 100 , то она закипает». Найдем логическую форму и логическое содержание данного высказывания. Для этого мы снова отвлекаемся от того, что речь идет о конкретном предмете – воде. Результатом этого отвлечения будет введение некоторой переменной для обозначения этого предмета, например, А. Отвлекаясь так же от конкретных свойств (а их у нас два – нагретость до 100, и закипание), заменим их переменными S и Р. В итоге получим: Если А есть S, то А есть Р. Логическое содержание здесь состоит в указании на связь между наличием у одного предмета свойства S и наличием другого – Р.

Таким образом, мы можем определить логическую форму как способ связи основных частей мысли, строение мысли, её структурные связи. Иными словами, логическая форма – это структура мысли. Логическое содержание – это содержание , которое представляет логическая форма высказывания.

При анализе высказываний необходимо выделять в них дескриптивные и логические термины. Дескриптивные термины – это термины, обозначающие предметы, свойства, отношения. Именно они составляют конкретное содержание мысли, от которого мы отвлекаемся при выделении логической формы.

Логические термины (константы) – это такие знаковые выражения как «все», «некоторые», «если…то», «и» и т.д. логические термины обозначают наличие логических операций и отношений и характеризуют специфику в нашем мышлении действительности.
2.2. Логическая форма умозаключений и критерий их правильности. Отношение логического следования.

Существуют ситуации, когда из истинных посылок мы получаем ложное заключение. Более того, есть ряд случаев, когда в умозаключении каждая из посылок и заключение являются истинными. Однако лишь на этом основании нельзя утверждать, что умозаключение правильно. Например:

Д.И. Менделеев занимался химией, или он сочинял музыку.

Д.И. Менделеев сочинял музыку, или он писал детективные романы.

Неверно, что Д.И. Менделеев писал детективные романы.

Д.И. Менделеев занимался химией.

Как мы видим, посылки и заключение в этом случае истинны. Однако в отношении всего умозаключения этого нельзя утверждать. В отношении великого русского химика Д.И. Менделеева, мы заранее обладаем знанием о роде его деятельности. Но если бы речь шла о неизвестном нам человеке, то вопрос о правильности или неправильности умозаключения данного типа оставался бы открытым.

Рассмотрим ситуацию, когда посылки умозаключения истинны, а заключение ложно. Нас интересует вопрос, можно ли определить, является ли правильным следующее умозаключение, установив значения его посылок и заключения?

М.Ю. Лермонтов жил в 18 веке, или он жил в 19 веке.

М.Ю. Лермонтов жил в 19 веке, или он жил в 20 веке.

Неверно, что М.Ю. Лермонтов жил в 20 веке.

М.Ю. Лермонтов жил в 18 веке.

Все три посылки здесь истинны, а заключение ложно. Значит, приведённое умозаключение заведомо неправильно.

Возникает вопрос, каким же образом можно определить, являются ли правильными умозаключениями при различных значениях посылок или заключения. Сравним приведённые умозаключения. Очевидно, что они имеют разное содержание, предмет мысли у них различный. Но можно заметить, что способ рассуждения в обоих случаях одинаков, структура этих умозаключений совпадает. Это можно продемонстрировать следующим образом.

Заменим простые высказывания в составе этих умозаключений малыми буквами латинского алфавита. Например: высказывание «Д.И. Менделеев занимался химией» обозначим буквой р; «Д.И. Менделеев сочинял музыку» - q; «Д.И. Менделеев писал детективные романы» - r. В результате мы получим конфигурацию

р или q
q или r
Неверно, что r

Точно такую же конфигурацию мы имеем и во втором умозаключении, так как они имеют одинаковую структуру, одинаковую логическую форму. Применяя умозаключение такой формы, мы не имеем гарантии получения из истинных посылок обязательного истинного заключения. Иными словами, мы с одинаковой долей вероятности может получить как истинное, так и ложное следствие, то данный способ рассуждения нельзя считать надежным. Мы не может утверждать, что его посылки действительно обосновывают заключение. Поэтому умозаключение такой логической формы в логике квалифицируют как неправильное, независимо от того, ложны или истинны его посылки и умозаключение.

Даже если в умозаключении такой логической формы и посылки и заключение истинны (как это мы видим в первом умозаключении), но умозаключение является неправильным. Дело в том, что истинность его заключения не обусловлена истинностью посылок, или, из его посылок не следует логически заключение.

Таким образом, чтобы показать, что некоторое умозаключение неправильно, достаточно найти по крайней мере одно умозаключение той же логической формы, все посылки которого истинны, а заключение ложно. Тем самым мы выделим критерий неправильности умозаключения:

Умозаключение является неправильным, если и только если его логическая форма не гарантирует, что при истинных посылках мы обязательно получим истинное заключение, то есть существует умозаключение данной логической формы с истинными посылками и ложным заключением.
Сформулирует критерий правильности умозаключения:

Умозаключение является правильным, если и только если его логическая форма гарантирует, что при истинности посылок мы обязательно получим истинное заключение, то есть не существует умозаключения данной формы и истинными посылками и ложным заключением.

При выполнении указанного условия между посылками и заключением имеет место отношение логического следования, иными словами, заключение логически следует из посылок.

2.3. Основные логические законы
В представлении традиционной логики существуют четыре формально-логических закона. Имеются в виду три закона – закон тождества, противоречия и исключенного третьего, сформулированные Аристотелем, а также закон достаточного основания , введенный в логику Г. Лейбницем. Что же представляют собой логические законы?

Как уже говорилось выше, любое высказывание может быть оценено как истинное или ложное. Однако способы установления истинности или ложности высказываний разных типов могут существенно отличаться. В некоторых случаях значения высказываний устанавливаются путем обращения к действительности. Возможна оценка высказываний в рамках конкретных теорий (например, при установлении значения высказывания «Две прямые, параллельные третьей, параллельны между собой»).

Однако есть ряд высказываний, значение которых может быть установлено исключительно с использованием логических средств, на основе анализа их логических форм .

Например, как возможно установить в классической логике значение высказывания:

Идет дождь, или неверно, что идет дождь.

Заменим простое высказывание «идет дождь» - параметром р и получим логическую форму высказывания:

р или неверно, что р.

Это выражение содержит информацию, которая утверждает, что в действительности имеет место какое-то из двух положений дел: ситуация, описанная в р и отсутствие такой ситуации. Данная информация основана на смысле логических терминов «или», и «неверно, что» и представляет собой общую часть содержаний высказываний формы.

Очевидно, что при любой интерпретации параметров, это высказывание в целом является истинным. Оно истинно независимо от того, что в действительности происходит, идет дождь или нет. Истинность этого высказывания обусловлена его логической формой. Высказывания, истинные в силу своей логической формы, называют логически истинными. Сами же логические формы таких высказываний называют логическими законами .

Логический закон – это такая логическая формы высказывания, которая принимает значение «истина» при любой интерпретации параметров, входящих в ее состав.

Основные законы логики – закон тождества, противоречия и исключенного третьего были сформулированы в античности философом Аристотелем. Эти законы родились в процессе критики современных Аристотелю философских течений. Согласно взглядам философов-релятивистов (Кратил и др.) в мире все относительно и вообще нет ничего определенного, а потому невозможно никакое истинное знание. На это Аристотель возражает: «Если мы имеем два противоречащих высказывания, то есть таких, в одном из которых (А) что-либо утверждается, а в другом то же самое отрицание (не-А), то, по крайней мере, одно из них истинно». Иначе говоря, противоречащие высказывания не могут быть оба ложными. Это и есть один из законов логики – закон исключенного третьего.

Конечно, закон исключенного третьего не может указать, какое именно из двух суждений истинно. Этот вопрос решается при помощи практики, устанавливающей соответствие или несоответствие суждения объективной действительности. Закон лишь требует ясных и определённых ответов, указывает на невозможность отвечать на один и тот же вопрос в одном и том же смысле и "да", и "нет".

Закон исключенного третьего обосновывает требование: выбирай одно из двух противоречащих высказываний - одно из них есть искомая истина, и больше не существует никакого третьего промежуточного положения, которое оказалось бы истинным. Например, нет, и не может быть середины между осуждением или не осуждением второй мировой войны, признанием или не признанием перестройки, как не может быть середины между жизнью и смертью.

Основанием закона исключенного третьего служит свойство объектов реальной действительности, состоящее в том, что у них не могут одновременно присутствовать противоречащие признаки, что наличие одного из них означает отсутствие другого и утверждать их одновременно - значит допускать логическую непоследовательность.

Философы-софисты (Протагор, Горгий) утверждали, что все, что мы говорим, является истинным. «И как кому кажется, так оно и есть», «Человек есть мера всех вещей», - провозглашали софисты. На это Аристотель отвечал; «Из двух противоречащих высказываний Аи не-А, по крайней мере, одно является ложным, или, противоречащие друг другу высказывания не могут быть оба истинными». Это закон противоречия (или закон логической непротиворечивости).

Закон логической непротиворечивости заключается в недопустимости, логического противоречия во всяком истинном мышлении. Символически суть закона выражают следующим образом: неверно, что А и не А - одновременно истинны.

Это требование выражает объективные свойства самих вещей. Качественная определенность любого предмета означает, что присущие ему свойства, равно как и его существование, не могут быть и не быть, принадлежать и не принадлежать ему в одно и то же время, в одном и том же отношении. В противном случае предмет не был бы самим собою, потерял бы свою определенность. Например, не являются одновременно истинными суждения: "эта война справедлива" и "эта война несправедлива"; "этот человек храбр" и "этот человек труслив"; "агрессор есть преступник" и "агрессор не есть преступник"; "ракетно-ядерная война перестала быть продолжением политики" и "ракетно-ядерная война не перестала быть продолжением политики” и т.д.

Аристотель отмечал, что различия в понимании высказываний связаны с неправильным употреблением языка, с неопределенностью значений употребляемых слов и языковых выражений вообще. В процессе мышления каждый человек вкладывает в слова собственные представления. Но для того, чтобы возможно было рассуждение вообще, необходимо выяснение смысла, который люди вкладывают в то или иное слово. Как пишет Аристотель: «Если же у слов нет определенных значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности и с самим собой, ибо невозможно ничего мыслить, если не мыслишь каждый раз что-нибудь одно…». Это выражено в законе тождества.

Закон тождества формируется следующим образом: каждая мысль, которая встречается в данном рассуждении, должна оставаться той же самой, т.е. должна иметь одно и то же устойчивое содержание, сколько бы раз она не повторялась. Или другими словами: каждая мысль о предмете должна оставаться тождественной, равной самой себе, неизменной в течение всего рассуждения об этом предмете.

Символически данный закон изображают так: А есть А, или А =А.

Мышление не может привести к положительному результату, если мы в процессе рассуждения о каком-либо предмете будем вкладывать в понятие об этом предмете то одно, то другое содержание.

Рассмотрим, например, такой силлогизм: "Все металлы - простые тела. Бронза - металл. Следовательно, бронза - простое тело" Это умозаключение по форме правильно в том смысле, что здесь внешне выполнены правила построения силлогизма, но по содержанию, по своему выводу -оноложно. Ложность вывода обусловлена тем, что в ходе рассуждения, нарушен закон тождества: в первой посылке металлы рассматриваются как простые химические элементы, а во второй посылке металл мыслится как сложное соединение (сплав меди с оловом, свинцом, алюминием, бором, кадмием, хромом и другими металлами). В результате получилось учетверение терминов, что недопустимо в подобных умозаключениях. Вместо трех терминов в данном силлогизме фактически фигурирует четыре, ибо термин "металл" в первой и второй посылках имеет разное содержание,

Закон тождества как раз и предостерегает от подобных ошибок. Его требования очевидны, однако нередки случаи, когда они нарушаются, допускается либо отождествление различных мыслей, либо различение тождественных мыслей.

Есть ряд причин нарушения закона тождества. Прежде всего, они связанны с особенностями языкового выражения мысли. Одну и ту же мысль можно выразить в различной языковой форме, что нередко ведет к изменению первоначального смысла понятия, к подмене одной мысли другой. Особенно внимательным надо быть при использовании в рассуждении синонимов и омонимов. Употребление слов, которые являются омонимами, в одном значении характеризует отождествление различных понятий. И наоборот, употребление слов, которые являются синонимами, в разных значениях свидетельствует о различении тождественных понятий. В первом и во втором случаях требование закона тождества будет нарушено.

Одой из причин нарушения закона тождества является также воздействие профессионального, жизненного опыта, который влияет на смысл,вкладываемый в понятия. Например, в научном понимании "капитал" есть экономическая категория, характеризующая отношения эксплуатации наемных рабочих капиталистами: стоимость, порождающая прибавочную стоимость, а на уровне обыденного сознания "капитал" - это деньги. Или понятие "клевета", которое для юриста означает уголовное преступление, а для человека, не связанного с юридической практикой, всякую неправду.

При нарушении закона тожества допускаются логические ошибки , наиболее распространенными из которых являются подмена понятия, подмена тезиса, довод к человеку и довод к публике .

Подмена понятия означает, что в ходе рассуждения вместо данного понятия и под видом данного понятия употребляют другое понятие. Рассуждение в этом случае будет относиться к разным предметам, хотя они ошибочно и будут приниматься за один предмет. Например: "два и три - четное и нечетное число. Два и три-пять. Следовательно, пять есть четное и нечетное число", в данном случае дедуктивное умозаключение, в котором обе посылки сами по себе истинны, формально построено правильно. Однако вывод получился абсурдный, потому что связка "и" употреблена в разных значениях: в первой посылке она означает соединительный союз, а во второй посылке - математическое действие сложение.

Подмена тезиса означает, что в рассуждении вместо выдвинутого положения (тезиса) доказывается или опровергается другое положение, которое принимается за выдвинутое. С такой ситуацией каждому в своей жизни приходилось встречаться не раз, когда человеку говоришь одно, а он, словно не слушая тебя, говорит другое, нередко это случается в споре, когда у одной из сторон не хватает аргументов, чтобы опровергнуть своего оппонента. Народная мудрость отразила подобную ситуации в многочисленных поговорках: "Ты ему про Фому, а он тебе про Ерему", "В огороде бузина, а в Киеве дядька" и т.д.

Довод к человеку означает, что обоснование истинности или ложности выдвинутого положения подменяется положительной или отрицательной оценкой лица. Эта логическая ошибка является весьма распространенной, когда нередко высшим аргументом в доказательстве является ссылка на авторитет: "Данный тезис является истинным, потому что его выдвинул видный политический деятель (ученый), а он не мог ошибиться". Или наоборот: "Этот тезис, не может быть истинным, так как его выдвинул человек, не заслуживающий доверия" и т.п.

Довод к публике означает, что вместо обоснования истинности или ложности выдвинутого тезиса пытаются повлиять на чувства людей с таким расчетом, чтобы те поверили в истинность или ложность без доказательства по существу. Например, во время Нюрнбергского процесса, когда фашистским главарям было предъявлено обвинение о страшных преступлениях против человечества, они пытались повлиять на чувства присутствующих на процессе заявлением: мол, как солдаты, они выполняли волю своего фюрера и иначе в условиях фашистского режима поступить не могли.

Ошибки, связанные с нарушением закона тождества, могут иметь непреднамеренный и преднамеренный характер. Непреднамеренная ошибка (паралогизм) допускается вследствие незнания предмета рассуждения или незнания законов логики. Преднамеренная ошибка (софизм) допускается сознательно, чтобы путем умышленного нарушения требований логики подвести собеседника к ложному выводу. Классический пример софистики обычно демонстрируют на таком силлогизме: "Ты имеешь то, чего не потерял. Ты не потерял рогов. Следовательно, ты их имеешь". Абсурдный вывод получен вследствие того, что термины "иметь" и "не терять" употреблены в одном значении, в то время , как в действительности их нельзя отождествлять.

Появление в логике четвертого закона связано с именем математика Г. Лейбница. Этот закон требует принимать за истину то или иное суждение только на достаточном основании. Поэтому закон и получил название «закон достаточного основания» . Однако вопрос о том, что считать достаточным основанием истинности высказывания долгое время оставался открытым. В 20 веке польский логик А. Тарский сформулировал: достаточным основанием истинности высказывания является наличие в действительности той ситуации, которую оно описывает и наличие которой утверждает. Однако не всегда бывает просто установить такое соответствие. Поэтому требование Лейбница чаще всего приходится понимать как стремление к максимальному обоснованию.

Закон достаточного основания гласит, что всякая законченная мысль считается истинной только в том случае, если приведены достаточные основания в подтверждение ее истинности. Символически суть закона может быть выражена следующим образом: если из истинности суждения А следует истинность суждения В, то А будет достаточным основанием для В, а В - логическим следствием этого основания.

В формальной логике речь идет о логической обоснованности доказательности наших мыслей, без чего совершенно не может быть не только ни одной научной теории, но и просто обмена мыслями. Если первые три закона в своей совокупности обеспечивают определенность мышления, то четвертый закон логики утверждает, что логически стройная мысль должна не просто декларировать истинность известного положения, но всегда выдвигать достаточное основание.

Основными ошибками, вытекающими из нарушения данного закона являются: основное заблуждение (или ложное основание), предвосхищение основания, круг в доказательстве, от сказанного с условием к сказанному безусловно.

Основное заблуждение , или ложное основание состоит в том, что тезис обосновывается ложными основаниями, аргументами.

Предвосхищение основания состоит в том, что в качестве основания, подвергающего или опровергающего тезис, берутся положения, нуждающихся в соответственном доказательстве (непроверенные факты, недостаточно убедительные показания свидетелей, недобросовестные оценки, выводы, заключения проверяющих и т. п.).

Круг в доказательстве состоит в том, что тезис обосновывается посредством аргументов, а аргументы - посредством тезиса. Еще недавно в нашей литературе нередко приходилось встречать рассуждения такого характера: «общий кризис капитализма продолжает углубляться потому, что капиталистический способ производства не может развиваться бескризисно».

От сказанного с условием к сказанному безусловно. Данная логическая ошибка допускается тогда, когда в качестве аргумента берется суждение, которое является истинным только для определенных условий. Но в конкретном случае оно рассматривается как истинное для всех условий. При этом забывается или сознательно игнорируется положение диалектической логики о том, что истинное в одних условиях является ложным в других, полезное в одних условиях является вредным в других.