- •Глава I. Предмет и значение логики
- •§ 1. Мышление как предмет изучения логики
- •§ 2. Понятие о логической форме и логическом законе.
- •§ 3. Логика и язык
- •Глава II понятие
- •§ 1. Понятие как форма мышления
- •§ 2. Содержание и объем понятия
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •§ 5. Определение понятий
- •§ 6. Деление понятий. Классификация
- •§ 7. Ограничение и обобщение понятий
- •§ 8. Операции с классами (объемами понятий)
- •Глава III суждение
- •§ 1. Общая характеристика суждения
- •§ 2. Простое суждение
- •§ 3. Сложное суждение и его виды
- •§ 4. Выражение логических связок (логических постоянных) в естественном языке
- •§ 5. Отношения между суждениями по значениям истинности
- •§ 6. Деление суждений по модальности
- •Глава IV основные законы (принципы) правильного мышления
- •§ 1. Понятие о логическом законе
- •§ 2. Законы логики и их материалистическое понимание
- •§ 3. Использование формально-логических законов в обучении
- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •§ 2. Дедуктивные умозаключения
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •§ 4. Простой категорический силлогизм1
- •I. Правила терминов
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Условные умозаключения
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •§ 10. Непрямые (косвенные) выводы
- •§ 11. Индуктивные умозаключения и их виды
- •§ 12. Виды неполной индукции
- •I вид. Индукция через простое перечисление (популярная индукция)
- •II вид. Индукция через анализ и отбор фактов
- •III вид. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей
- •§ 14. Дедукция и индукция в учебном процессе
- •§ 15. Умозаключение по аналогии и его виды. Использование аналогий в процессе обучения
- •Глава VI логические основы теории аргументации
- •§ 1. Понятие доказательства
- •§ 2. Прямое и непрямое (косвенное) доказательство
- •§ 3. Понятие опровержения
- •I. Опровержение тезиса (прямое и косвенное)
- •II. Критика аргументов
- •III. Выявление несостоятельности демонстрации
- •§ 4. Правила доказательного рассуждения.
- •II. Правила по отношению к аргументам
- •III. Правила к форме обоснования тезиса (демонстрации) и ошибки в форме доказательства
- •§ 5. Понятие о софизмах и логических парадоксах
- •§ 6. Доказательство и дискуссия
- •Глава VII гипотеза
- •§ 1. Гипотеза как форма развития знаний
- •§ 2. Построение гипотезы и этапы ее развития
- •§ 3. Способы подтверждения гипотез
- •§ 4. Опровержение гипотез
- •§ 5. Примеры гипотез, применяющихся на уроках в школе
- •Глава VIII роль логики в процессе обучения
- •§ 1. Логическая структура вопроса
- •§ 2. К. Д. Ушинский и в. А. Сухомлинский о роли логики в процессе обучения
- •§ 3. Развитие логического мышления младших школьников
- •§ 4. Развитие логического мышления учащихся в средних и старших классах на уроках литературы, математики, истории и других предметов
- •Глава IX этапы развития логики как науки и основные направления современной символической логики
- •§ 1. Краткие сведения из истории классической и неклассической логик
- •§ 2. Развитие логики в связи с проблемой обоснования математики
- •§ 3. Многозначные логики
- •§ 4. Интуиционистская логика
- •§ 5. Конструктивные логики
- •§ 6. Модальные логики
- •§ 7. Положительные логики
- •§ 8. Паранепротиворечивая логика
§ 4. Интуиционистская логика
Интуиционистская логика построена в связи с развитием интуиционистской математики. Интуиционистская школа основана в 1907 г. голландским математиком и логиком Л. Брауэром (1881—1966)35, но некоторые ее идеи выдвигались и ранее.
Интуиционизм — философское направление в математике и логике, отказывающееся от использования абстракции актуальной бесконечности, отвергающее логику как науку, предшествующую математике, и рассматривающее интуитивную ясность и убедительность («интуицию») как последнюю основу математики и логики. Интуиционисты свою интуиционистскую математику строят с помощью финитных (конечных) средств на основе системы натуральных чисел, которая считается известной из интуиции. Интуиционизм включает в себя две стороны — философскую и математическую.
Математическое содержание интуиционизма изложено в ряде работ математиков. Ведущие представители отечественной школы конструктивной математики отмечают положительное значение некоторых математических идей интуиционистов.
В целом конструктивная математика существевно отличается от интуиционистской. Советский математик-конструктивист А. А. Марков (1903—1979) пишет о том, что конструктивное направление имеет точки соприкосновения с так называемой интуиционистской математикой. Конструктивисты сходятся с интуиционистами в понимании дизъюнкции и в силу этого признают правильной данную Брауэром критику закона исключенного третьего. Вместе с тем конструктивисты считают неприемлемыми методологические основы интуиционизма.
В этом высказывании ясно разделены две стороны интуиционизма — математическая и философская. Если первая сторона имеет рациональную часть (в этой связи предпочтительнее говорить об интуиционистской математике или интуиционистской логике, а не об интуиционизме), то вторая сторона интуиционизма (его методологические, идеалистические, философские основы) совершенно неприемлема.
Брауэр считал, что чистая математика представляет собой свободное творение разума и не имеет никакого отношения к опытным фактам. У интуиционистов единственным источником математики оказывается интуиция, а критерием приемлемости математических понятий и выводов является «интуитивная ясность». Но интуиционист Гейтинг вынужден признаться в том, что понятие интуитивной ясности в математике само не является интуитивно ясным; можно даже построить нисходящую шкалу степеней очевидности.
Основой происхождения математики в конечном итоге является не какая-то «интуитивная ясность» — продукт сознания человека, а отражение пространственных форм и количественных отношений действительного мира. Гейтинг, как и Брауэр, в гносеологии тоже субъективный идеалист. Он утверждает, что для математической мысли характерно, что она не выражает истину о внешнем мире, а связана исключительно с умственными построениями36.
Еще в 1936 г. советский математик А. Н. Колмогоров подверг критике субъективно-идеалистические основы интуиционизма, заявив, что невозможно согласиться с интуиционистами, когда они говорят, что математические объекты являются продуктом конструктивной деятельности нашего духа, ибо математические объекты являются абстракциями реально существующих форм независимой от нашего духа действительности. Интуиционисты не признают человеческую практику и опыт источником формирования математических понятий, методов математических построений и методов доказательств.
Особенности интуиционистской логики вытекают из характерных признаков интуиционистской математики.
В современной классической математике часто прибегают к косвенным доказательствам. Но их почти невозможно ввести в интуиционистской математике и логике, так как там не признаются закон исключенного третьего и законкоторые участвуют в косвенных доказательствах.
Закон исключенного третьего для бесконечных множеств в интуиционистской логике не проходит потому, чтознак отрицания) требует общего метода для решения любой проблемы или, более явно, общего метода, который по произвольному высказываниюр позволил бы получать либо доказательство р, либо доказательство отрицания р. Гейтинг считает, что так как интуиционисты не располагают таким методом, то они и не вправе утверждать принцип исключенного третьего. Покажем это на таком примере. Возьмем утверждение: «Всякое целое число, большее единицы, либо простое, либо сумма двух простых, либо сумма трех простых». Неизвестно, так это или нет, хотя в рассмотренных случаях, которых конечное число, это так. Существует ли число, которое не удовлетворяет этому требованию? Мы не можем указать такое число и не можем вывести противоречие из допущения его существования.»
Эта знаменитая проблема Гольдбаха (X. Гольдбах — математик) была поставлена им в 1742 г. и не поддавалась решению около 200 лет. Гольдбах высказал предположение, что всякое целое число, большее или равное шести, может быть представлено в виде суммы трех простых чисел. Для нечетных чисел она была положительно решена только в 1937 г. советским математиком — академиком И. М. Виноградовым; все достаточно большие нечетные числа представимы в виде суммы трех простых чисел. Это одно из крупнейших достижений современной математики. Но закон непротиворечия представители как интуиционистской, так и конструктивной логик считают неограниченно применимым.
Брауэр первый наметил контуры новой логики. Идеи Брауэра формализовал Гейтинг, в 1930 г. построивший интуиционистское исчисление предложений с использованием импликации, конъюнкции, дизъюнкции и отрицания на основе 11 аксиом и двух правил вывода — модуса поненс (modus ponens) и правила подстановки. Гейтинг утверждает, что, хотя основные различия между классической и интуиционистской логиками касаются свойств отрицания, эти логики не совсем совпадают и в формулах без отрицания. Гейтинг отличает математическое отрицание от фактического: первое выражается в форме конструктивного построения (выполнения) определенного действия, а второе говорит о невыполнении действия (а «невыполнение» чего-либо не является конструктивным действием). Интуиционистская логика имеет дело только с математическими суждениями и лишь с математическим отрицанием, которое определяется через понятие противоречия, а понятие противоречия интуиционисты считают первоначальным, выражающимся или приводящимся в форме 1 = 2, Фактическое отрицание не связано с понятием противоречия.
Проблемами интуиционистской логики в нашей стране занимаются К. Н. Суханов, М. И. Панов, А. Л, Никифоров и др.