- •Александр Ивин Логика Предисловие
- •Глава 1 Задачи логики
- •1. Правильное рассуждение
- •2. Логическая форма
- •3. Дедукция и индукция
- •4. Интуитивная логика
- •5. Некоторые схемы правильных рассуждений
- •6. Традиционная и современная логика
- •7. Современная логика и другие науки
- •Глава 2 Слова и вещи
- •1. Язык как знаковая система
- •2. Основные функции языка
- •3. Логическая грамматика
- •Глава 3 Имена
- •1. Виды имён
- •2. Отношения между именами
- •3. Определение
- •4. Деление
- •Глава 4 Высказывания
- •1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция
- •2. Условное высказывание, импликация, эквивалентность
- •3. Описательные и оценочные высказывания
- •4. Модальные высказывания
- •Глава 5 Ловушки языка
- •1. Тайная мудрость языка
- •2. Многозначность
- •3. Эгоцентрические слова
- •4. Неточные и неясные имена
- •5. Гипостазирование
- •6. Роли имён
- •Глава 6 о смысле бессмысленного
- •1. Осмысленное и бессмысленное
- •2. Абсурд
- •3. Синтаксические нарушения
- •4. Семантические нарушения
- •5. Крайние случаи бессмысленного
- •Бармаглот
- •6. Туманное и тёмное
- •Глава 7 Логика высказываний
- •1. Логический закон
- •2. Закон противоречия
- •3. Закон исключённого третьего
- •4. Логические законы тождества, двойного отрицания и другие Закон тожества
- •Закон двойного отрицания
- •Законы контрапозиции
- •Модус поненс
- •Модус толленс
- •Модус понендо толленс
- •Модус толлендо поненс
- •Законы де Моргана
- •Закон приведения к абсурду
- •Закон косвенного доказательства
- •Закон Клавия
- •Закон транзитивности
- •Законы ассоциативности и коммутативности
- •Закон Дунса Скотта
- •5. Логическое следование
- •6. Язык логики предикатов
- •Глава 8 Модальная логика
- •1. Логические модальности
- •2. Физические модальности
- •3. Логическое исследование ценностей
- •Глава 9 Логика категорических высказываний
- •1. Категорические высказывания
- •2. Логический квадрат
- •3. Категорический силлогизм
- •Глава 10 Доказательство и опровержение
- •1. Понятие доказательства и его структура
- •2. Прямое и косвенное доказательство
- •3. Виды косвенных доказательств
- •4. Опровержение
- •5. Ошибки в доказательстве
- •6. Софизмы
- •Глава 11 Индуктивные рассуждения
- •1. Индукция как вероятное рассуждение
- •2. Неполная индукция
- •3. Подтверждение следствий
- •4. Полная индукция и математическая индукция
- •5. Методы установления причинных связей
- •Единственное сходство
- •Единственное различие
- •Сходство и различие
- •Сопутствующие изменения
- •Остающаяся часть причины
- •6. Надёжность индукции
- •7. Аналогия
- •Аналогия свойств и аналогия отношений
- •Вероятный характер аналогии
- •Понимание по аналогии
- •Типичные ошибки
- •Глава 12 Проблема понимания
- •1. Структура понимания
- •2. Сильное понимание
- •3. Понимание поведения
- •4. Понимание природы
- •5. Понимание языковых выражений
- •6. Объяснение
- •Глава 13 Аргументация и логика
- •1. Теория аргументации
- •2. Обоснование
- •3. Эмпирическая аргументация
- •4. Факты как примеры и иллюстрации
- •5. Теоретическая аргументация
- •6. Контекстуальная аргументация
- •7. Обоснование и истина
- •8. Аргументация в поддержку оценок
- •Глава 14 Спор и его виды
- •1. Корректные и некорректные споры
- •2. Споры об истине и споры о ценностях
- •3. Четыре разновидности споров
- •4. Общие требования к спору
- •5. Победа в споре
- •Вместо заключения
- •Примечания
6. Роли имён
Слова, как и люди, могут играть разные роли. Смешение ролей, илиупотреблений, одного и того же слова может оказаться причиной его неясности и непонимания. На это обратили внимание ещё средневековые логики, использовавшие термин «суппозиция» для обозначения разных употреблений имени.
В обычном языке одно и то же имя может относиться к предметам разных типов.
Во-первых, оно может использоваться для обозначения любого отдельного предмета соответствующего класса.Употребление имени в его собственном, или обычном, смысле для обозначения произвольного объекта своего объёма называется формальным (или естественным) употреблением. Например, слово, «дерево» обычно является общим именем множества деревьев. Говоря, «Дерево – это растение», мы имеем в виду: «Каждое дерево – растение».
Во-вторых, имя может обозначать себя, т.е. использоваться в качестве своего собственного имени. Примерами такого употребления имени «человек» могут служить утверждения: «„Человек“ начинается с согласной буквы», «„Человек“ состоит из трех слогов», «„Человек“ – существительное с неправильным множественным числом».Употребление имени в качестве обозначения самого себя называется материальным употреблением.
В-третьих, имя, когда оно используется в определённом контексте, может оказаться именем единичного объекта того класса объектов, который обычно обозначается этим именем. Так, слово «человек» обозначает множество людей, но в конкретном случае оно может употребляться для обозначения отдельного человека: мы говорим «Идёт человек», подразумевая: «Идёт конкретный человек».Употребление общего имени для обозначения отдельного, конкретного объекта из числа всех входящих в его объём объектов называется персональным употреблением.
В-четвёртых,при так называемом простом употреблении имя используется для обозначения всего соответствующего класса объектов, взятого как целое. Слово «человек» обозначает при таком употреблении всех людей, рассматриваемых как некоторое единство: «Человек является одним из видов живых существ», «Человек со временем посетит все планеты Солнечной системы» и т.п.
Изучение употреблений имён важно для предотвращения логических ошибок.
– Знаешь, – говорит один мальчик другому, – я умею говорить по-китайски, по-японски и по-арабски. – Не может быть. – Если не веришь, давай поспорим. – Давай поспорим. Ну, начинай говорить по-китайски. – Пожалуйста: «по-китайски», «по-китайски»… Хватит? – Ничего не понимаю. – Ещё бы, я ведь говорю «по-китайски». А ты проиграл спор. Если хочешь, я буду говорить «по-арабски»…
В этом диалоге один из мальчиков использует имя «по-китайски» в его материальномупотреблении, т.е. как имя этого же самого слова. Он обещает произносить слово, обозначаемое данным именем и совпадающее с ним. Второй мальчик имеет в видуестественноеупотребление слова «по-китайски» и ожидает разговора на китайском языке. Очевидно, что затеянный ими спор неразрешим. Спорившие говорили о разных вещах: один – в своей способности повторять без конца слово «по-китайски», а другой – о разговоре на китайском языке.
В рассуждении «Поскольку человек – вид живых существ, а столяр – человек, то столяр – вид живых существ» явно смешиваются простоеиформальноеупотребления имени «человек».
В современной логике из многочисленных употреблений имён, выделявшихся средневековыми логиками, сохранило своё значение различение формальногоиматериальногоупотреблений. Все остальные употребления слишком неопределенны и неустойчивы, чтобы ими пользоваться. При построении искусственных (формализованных) языков логики, от которых требуется однозначность, употребление одного и того же имени в разных «ролях» способно привести к неопределённости и ошибкам.
Использование имени или иного выражения в материальном употреблении, т.е. в качестве имени самого себя, получило название автонимного употребления выражений. Оно широко распространено в логике и математике. Сохранение в одном языке двух «ролей» одних и тех же слов – их формального и материального употреблений – двусмысленно. Но эта двусмысленность часто бывает удобной. Например, вместо того, чтобы писать слова «знак сложения», мы можем писать «+», и этот крестик является именем самого себя.
В обычном языке возможность разных употреблений одних и тех же имён сохраняется. Однако не всегда ясно, какое именно употребление, скажем, имени «человек» имеется в виду в выражениях типа «Человек – это звучит гордо», «Человек человеку всегда придёт на помощь» и т.п.
Двусмысленностей и непонимания, связанных с путаницей между естественным употреблением имени и его употреблением как своего собственного имени, можно всегда избежать. Для этого используются либо дополнительные слова в формулировке утверждения, либо кавычки, либо курсив. Скажем, кто-то может написать: «Человек состоит из трех слогов». Но чтобы не возникло недоразумения, надо употребить какую-либо из следующих форм: «Слово „человек“ состоит из трех слогов». «„Человек“ состоит из трех слогов» или «Человексостоит из трех слогов».