- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
Условия состоятельности аналогий
Две главных причины несостоятельности аналогий заключаются в:
1) несущественности признаков, служащих основанием аналогии;
2) отсутствии связи между признаками, служащими основанием аналогии и переносимым признаком.
В примере аналогии свойств, связанном с перенесением признака "писать замечательные сказки" с Клайва Льюиса на Джона Толкиена, признаки, входящие в основание аналогии, являются существенными для этих предметов. Однако все эти признакине имеют внутренней связи с признаком "писать замечательные сказки". Можно привести сколько угодно примеров, в которых предмет обладает признаками, входящими в мснование аналогии, и не обладает переносимым признаком.
Недостоверность этой аналогии связана также с тем, что в ее основании используются скорее родовые, или видовые признаки этих предметов. Действительно, оба писателя британцы, однако один ирландец, а другой - католик, оба они литературоведы, однако один - с оттенком морального писателя, а другой - специалист по средневековой литературе.
Конечно, приведенная аналогия несостоятельна, однако - и в этом парадокс аналогии - исходная интуиция нас не подвела, и наш субъект аналогии - Джон Толкиен - как раз обладает переносимым признаком, достаточно вспомнить его сказочную эпопею "Властелин кольца".
Ненадежность умозаключений по аналогии и малая пригодность их как средства обоснования суждений вызывает потребность в повышении степени обоснованности умозаключений по аналогии.
В связи с этим в логике разрабатываются методы повышения вероятности заключений аналогий.
Повышение вероятности заключений, полученных по аналогии, можно обеспечить, выполняя следующие требования:
1. Число общих для образца и субъекта аналогии признаков должно быть возможно большим.
2. Признаки, служащие основанием аналогии, должны быть существенными для сравниваемых предметов.
3. Общие признаки должны охватывать различные стороны сравниваемых предметов.
4. Переносимый признак Qдолжен принадлежать к тому же типу, что и признакиР1 , ..., Рn , составляющие основание аналогии, и быть связанным с ними.
Выполнение этих требований повышает вероятность заключения, полученного при помощи аналогии, хотя и не делает его достоверным.
Аналогия и моделирование
Умозаключения по аналогии - одна из основных составляющих распространенного в теоретической и прикладной науке метода моделирования. Метод моделирования заключается в том, что для изучения какого-либо объекта-оригинала конструируется другой объект, подобный оригиналу в некоторых существенных отношениях, и называемый моделью, модель исследуется, а затем результаты исследования этой модели переносятся на оригинал.
В методе моделирования модель играет роль образца аналогии, а оригинал - роль субъекта аналогии.
Распространенность метода моделирования связана с недоступностью многих объектов научных исследований непосредственному экспериментированию. Это связано с космическими объектами, микрообъектами, обществом и т.п. Большое распространение в ХХ веке приобрели знаковые модели исследуемых явлений. К этой области относится математическое моделирование объектов самой разной природы - от элементарных частиц до психических и общественных процессов и логическое моделирование рассуждений, модели мира, свойственные различным культурам, компьютерные модели разнообразных явлений.
В моделировании играют свою роль оба вида умозаключений по аналогии - аналогия свойств и аналогия отношений. Аналогия отношений по преимуществу используется на этапе конструирования модели, когда необходимо построить аналогичный оригиналу объект, часто используя материал совершенно иной природы. Аналогия отношений позволяет в данном случае построить модель, в которой основные соотношения между существенными для решаемой задачи параметрами тождественны или, по крайней мере, в значительной степени подобны отношениям, существующим в объекте-оригинале.
На этапе перенесения результатов исследования модели на оригинал главную роль играет аналогия свойств.
Метод моделирования, в силу использования умозаключений по аналогии, разделяет с ними основные познавательные характеристики, в частности, результаты моделирования всегда носят вероятностный характер.