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