
- •Глава 1. История логики.
- •Глава 2. Предмет и значение теоретической логики.
- •Глава 3. Традиционная логика.
- •Глава 4. Символическая логика.
- •Глава 5. Неклассическая логика.
- •Глава 6. Логика и методология научного знания.
- •Глава 7. Практическая логика
- •Глава 1
- •1.1.1. Элементы логики у Парменида, Гераклита и Зенона
- •1.1.2. Логико-риторические проблемы у софистов
- •1.1.4. Логические идеи представителей мегарской школы
- •1.1.5. Логико-методологические идеи Платона
- •1.2.1. Методология Аристотеля
- •1.2.2. Учение о суждениях
- •1.2.3. Теория силлогизма
- •1.3.2. Логика эпикурейцев
- •1.3.3. Логика скептиков
- •1.4.1. Логические идеи Фомы Аквинского
- •1.4.2. Эпистемология Дунса Скота
- •1.4.3. Эпистемология и логика Уильяма Оккама
- •1.4.4. Основные средневековые типы логико-методологического мировоззрения
- •1.5.1. Логические идеи Пьера Рамэ
- •1.6.1. Принципы формально-логического рационализма
- •1.6.2. Новая философия Лейбница
- •1.6.3. Универсальная характеристика
- •1.6.4. Концепция о ясных и отчетливых понятиях
- •1.6.5. Определение понятия тождества и достаточного основания
- •1.7.1. Теория познания Канта
- •1.7.2. Аналитическое и синтетическое знание
- •1.7.3. Трансцендентальная логика
- •1.7.4. Чистые категории рассудка
- •1.8.1. Философская система Гегеля
- •1.8.2. Диалектическая логика Гегеля
- •Глава 2
- •2.1.1. Опыт и рассуждение в науке
- •2.1.2. Мышление как предмет изучения теоретической логики
- •2.1.3. Язык и мышление. Естественный и искусственный языки
- •2.2.1. Роль языка в мыслительных и речевых актах
- •2.2.2. Речевые акты и фреймы знания
- •2.2.3. Суждение, рассуждение, умозаключение
- •2.2.4. Структура рассуждения
- •2.3.1. Понятие закона мышления
- •2.3.2. Закон тождества
- •2.3.3. Закон противоречия
- •2.3.4. Формы противоречий
- •2.3.5. Закон исключенного третьего
- •2.3.6. Закон достаточного основания
- •2.4.1. Исторический метод
- •2.4.2. Аксиоматический метод
- •2.4.3. Метод формализации
- •2.4.4. Логический синтаксис и логическая семантика
- •2.4.5. Логические исчисления
- •Глава 3
- •3.1.1. Знак: смысл и значение
- •3.1.2. Дескриптивные и логические термины
- •3.1.3. Понятие как форма мышления
- •3.1.4. Объем и содержание понятия
- •3.1.5. Образование понятий
- •3.1.6. Виды понятий
- •3.1.7. Отношения понятий по объему
- •3.1.8. Отношения между понятиями по содержанию
- •3.2.1. Логическая структура суждения
- •3.2.2. Суждение и вопрос
- •3.2.3. Качественные и количественные характеристики суждений
- •3.2.4. Совместимые и несовместимые суждения. Логический квадрат
- •3.3.1. Определение как логическая операция
- •3.3.2. Виды определений
- •3.3.3. Правила корректных определений
- •3.3.4. Приемы, сходные с определением
- •3.3.5. Деление понятий
- •3.3.6. Виды и правила деления понятий
- •3.4.1. Природа и виды умозаключений
- •3.4.2. Умозаключение по логическому квадрату
- •3.4.3. Простой категорический силлогизм
- •3.4.4. Аксиома силлогизма
- •3.4.5. Правила силлогизма
- •3.4.6. Общая характеристика фигур силлогизма
- •3.4.7. Модусы фигур силлогизма
- •3.5.1. Непосредственное и опосредованное доказательство
- •3.5.2. Значение доказательств в науке
- •3.5.3. Строение и структура доказательства
- •3.5.4. Виды доказательств
- •3.5.5. Опровержение
- •3.5.6. Условия и правила, обеспечивающие эффективность доказательства. Основные ошибки
- •3.6.1. Природа индуктивного умозаключения
- •3.6.2. Понятие аналогии
- •3.6.4. Основные виды индукции и индуктивных умозаключений
- •3.6.5. Популярная и научная индукция
- •3.7.1. Специфика гипотезы
- •3.7.2. Виды гипотез
- •3.7.3. Основные этапы разработки гипотезы
- •3.7.4. Проверка гипотезы
- •Глава 4
- •4.1.1. Логические союзы
- •4.1.2. Язык логики высказываний
- •4.1.3. Понятие правильно построенного высказывания (ппв) определяется таким образом:
- •4.1.4. Понятие формулы логики высказываний
- •4.2.1. Семантическая таблица отрицания
- •4.2.2. Семантическая таблица конъюнкции
- •4.2.3. Семантическая таблица дизъюнкции
- •4.2.4. Семантическая таблица импликации
- •4.2.5. Семантическая таблица эквивалентности
- •4.3.1. Порядок логических действий
- •4.3.2. Табличный способ исчисления истинностных значений
- •4.4.1. Закон двойственности
- •4.4.2. Понятие самодвойственной формулы
- •4.4.3. Равносильные формулы
- •4.4.4. Свойства равносильности
- •4.5.1. Понятие тождественно-истинной формулы
- •4.5.2. Понятие тождественно-ложной формулы
- •4.5.3. Некоторые свойства тождественно-истинных формул:
- •4.6.1. Понятие нормальной формы
- •4.6.2. Процедура приведения к нормальной форме
- •4.6.3. Проблема разрешимости
- •4.8.1. Понятие логического вывода
- •4.8.2. Правила вывода
- •4.8.3. Правило построения прямого доказательства
- •4.8.4. Косвенное доказательство
- •4.8.5. Сильное (классическое) косвенное доказательство
- •4.8.6. Аксиоматическое представление логики высказываний
- •4.8.7. Полнота классического исчисления высказываний
- •4.9.2. Исчисление предикатов. Общезначимость
- •4.9.3. Тождественно-истинные формулы логики предикатов
- •4.9.4. Логическое следование
- •4.9.5. Естественный вывод в логике предикатов
- •4,9.6, Специфические законы логики предикатов
- •4.9.8. Свойства теорий первого порядка
- •4.9.9. Секвенции
- •Глава 5
- •5.1.1. Элементы модальной логики в античности
- •5.1.2. Понятия необходимости и возможности
- •5.1.3. Алетические модальные исчисления
- •5.1.4. Естественный вывод в алетических исчислениях
- •5.2.1. Анализ норм
- •5»2.2. Деонтические исчисления
- •5.3.1. Деонтическая система «Deontic»
- •5.3.2. Деонтическая система р
- •5.3.3. Деонтическая система sdl
- •5.3.4. Деонтическая система dt
- •5.3.5. Семейство деонтических систем 01 1— 01 4
- •5.4.1. Понятие деонтически возможного мира
- •5.4.3. Условия истинности деонтических формул
- •5.5.1. Оценки и нормы
- •5.5.2. Проблема истинности оценок
- •5.5.3. Логика оценок
- •Глава 6
- •6.1.1. Логико-математические методы
- •6.1.1. Логико-математические методы
- •6.1.2. Виды познания
- •6.1.3. Структура познавательного процесса
- •6.1.4. Общенаучные методы познания
- •6.1.5. Общенаучные подходы к построению научного знания
- •6.1.6. Методология научного познания
- •6.1.7. Проблема истины в познании
- •6.2.1. Эмпирическая интерпретация
- •6.2.2. Конструктивные объекты
- •6.2.3. Логический язык эмпирической интерпретации
- •6.3.1. Структура математических теорий
- •6.3.2. Структура теорий опытных (эмпирических) наук
- •6.3.3. Научная теория как обобщенное идеальное отображение мира
- •6.4.1. Логическое уточнение понятия теории
- •6.4.2. Логические отношения между теориями
- •6.4.3. Сравнение теорий с помощью определений
- •6.5.1. Дедуктивно-номологическое объяснение
- •6.5.2. Рациональное объяснение
- •6.5.3. Интенциональное объяснение. Практический силлогизм
- •Глава 7
- •7.5.1. Тактика аргументации
- •7.5.2. Уловки и приемы аргументации
- •7.5.3. Моральный кодекс спора
3.6.1. Природа индуктивного умозаключения
Индуктивное умозаключение — это такое умозаключение, в котором из истинных посылок определенной структуры заключение может получаться то истинное, то ложное (что зависит от конкретного содержания посылок). Для определения того, является ли полученное индуктивным путем заключение истинным или ложным, приходится прибегать к дополнительному исследованию. .
Умозаключения неполной и полной индукции
Неполная индукция — это такая индукция, где делается заключение о том, что всем представителям изучаемого множества принадлежит свойство Р на том основании, что некоторым представителям этого множества принадлежит свойство Р.
Примером такого умозаключения может быть следующее:
Иванов родился в Москве. Петров родился в Москве. Соколов родился в Москве. Сидоров родился в Москве.
Иванов, Петров, Соколов, Сидоров являются студентами нашей группы. Следовательно, все студенты этой группы родились в Москве.
Заключение здесь не следует с необходимостью из посылок. Проверив место рождения только четырех студентов из определенной группы, нельзя с необходимостью заключить, что и все остальные студенты этой группы родились в Москве. Чем больше учащихся этой группы мы опросим и при этом убедимся в том, что они родились в Москве, тем достовернее будет полученное заключение. Перечислив всех студентов группы и убедившись в том, что каждый из них родился в Москве, мы можем рассматривать заключение как истинное, следующее с необходимостью из посылок.
В том случае, если перечислены все представители данного множества предметов и если каждому из них принадлежит определенное свойство Р, можно с необходимостью заключить, что и всем представителям данного множества принадлежит свойство Р. Здесь неполная индукция переходит в полную, которая является, как было выяснено раньше, дедуктивным умозаключением.
Но не всякая неполная «индукция» может перейти в полную. В полную индукцию может перейти лишь такая неполная индукция, которая относится к ограниченному числу предметов или фактов, существующих приблизительно в одно и то же время. Например, сделав заключение посредством неполной индукции о том, что «все колхозы нашего района электрифицированы», мы, проверив каждый колхоз нашего района, можем получить то же самое заключение при помощи полной индукции. Если же исследуемые предметы постоянно возникают вновь (это означает, что число их практически безгранично), то неполная индукция не может перейти в полную. Так, заключение о том, что «все папоротники размножаются спорами», полученное посредством неполной индукции, не может быть получено при помощи полной индукции, поскольку папоротники существовали в далеком прошлом, существуют в настоящее время и будут существовать в будущем, а потому практически число их безгранично.
3.6.2. Понятие аналогии
К индуктивным умозаключениям относится также аналогия. Аналогией называется такое умозаключение, где от сходства двух предметов в нескольких признаках делается заключение о сходстве этих предметов в других признаках.
Если предмет А имеет признаки abed, а предмет В имеет признаки аЬс, то делается предположительное заключение, что предмет В имеет признак d.
Схематически структуру данного умозаключения можно представить в следующем виде.
А имеет признаки abed. В имеет признаки аЬс. Следовательно, В имеет признак d.
Само собой понятно, что заключение в умозаключениях по аналогии не следует с необходимостью из посылок, поскольку сравниваемые предметы, как бы они сходны ни были, имеют всегда признаки, по которым они различаются (иначе эти предметы не были бы двумя различными предметами, а одним и тем же предметом).
Признак d, присущий предмету А, может оказаться как раз таким признаком, который отличает предмет А от предмета В и потому не принадлежит предмету В. В этом случае заключение «В имеет признак d» окажется ложным.
Перечислим условия, которые повышают достоверность выводов по аналогии.
1. Нужно стремиться, чтобы было установлено как можно больЩе общих признаков сравниваемых предметов.
2. Необходимо, чтобы общие признаки сравниваемых предметов были наиболее типичными для этих предметов. Другими словами, общие признаки сравниваемых предметов должны быть как можно теснее связаны с другими свойствами рассматриваемых предметов.
3. Необходимо, чтобы установленные общие признаки сравниваемых предметов были как можно более однотипными с признаком, переносимым с одного предмета на другой, т.е.
с признаком, присущность которого тому или иному предмету устанавливается в заключении по аналогии. 4. Необходимо стремиться к тому, чтобы общие признаки сравниваемых предметов были для них специфическими, отличительными (во всяком случае, такими, чтобы они принадлежали возможно меньшему кругу предметов). Итак, общим признаком для всех индуктивных умозаключений является то, что знание истинности и определенной структуры посылок не обеспечивает во всех случаях истинности заключения (при одной и той же структуре истинных посылок заключение может оказаться как истинным, так и ложным). Однако в некоторых индуктивных умозаключениях (как, например, в полной и неполной индукции) ход мысли идет от единичного к общему: в результате анализа единичных фактов мы приходим к обобщениям, от единичных, частных посылок приходим к общему заключению. Такие индуктивные умозаключения называются обобщающими. В других же индуктивных умозаключениях (как, например, в аналогии) ход мысли идет от единичного к единичному: из единичных посылок мы получаем единичное суждение в заключении. Такие индуктивные умозаключения называются необобщающими.
З.б.З. Общая характеристика процесса индукции как метода познания
Характеризуя дедукцию как метод познания, мы указывали, что дедукция есть выведение следствий из посылок по правилам дедуктивных умозаключений. Охарактеризуем теперь индукцию как метод познания, т. е. как средство, способ получения нового знания.
В индуктивных умозаключениях заключение не может быть суждением меньшей общности, чем посылки. Более того, во многих случаях индуктивных умозаключений посылки представляют собой единичные суждения, полученные в результате изучения отдельных, единичных фактов, а заключение представляет собой обобщение этих фактов. Поэтому процесс индукции как метод получения нового знания часто определяют
как процесс получения общих положений на основе изучения частных и единичных фактов.
Все научное знание, отражаемое в общих понятиях, могло возникнуть в результате изучения отдельных, единичных предметов и явлений действительности. Самые абстрактные, отвлеченные научные понятия являются результатом сложного опосредствованного отражения окружающей действительности. Ни одно научное понятие в опытных науках не могло бы возникнуть, если бы не были предварительно изучены отдельные предметы и явления.
Изучение отдельного, единичного всегда предшествует в процессе познания образованию общего (общих понятий, суждений, отражающих законы действительности, ее различные существенные свойства и отношения предметов и явлений). В процессе восхождения от отдельного, единичного к общему мы постоянно пользуемся индуктивными умозаключениями. Поэтому индуктивные умозаключения играют большую роль в процессе познания человеком окружающего нас мира.
Задача логики и состоит в изучении структуры и видов индуктивных умозаключений. Все другие вопросы, связанные с процессом индукции как с методом познания действительности, выходят за пределы задач формальной логики и являются задачей изучения логики диалектической (например, вопрос о соотношении индукции и других методов научного исследования, вопрос о роли индукции в образовании абстракций, вопрос о соотношении индукции и практики и многие другие). Излагая вопросы индукции, мы будем кратко касаться и вопросов, относящихся к логике диалектической.