- •Введение
- •Глава I предмет и значение логики
- •§ 1. Формы познания Формы чувственного познания
- •§ 2. Понятие логической формы и логического закона
- •§ 3. Логика и язык
- •Глава II понятие
- •§ 1. Понятие как форма мышления
- •§ 2. Отношения между понятиями
- •§ 3. Определение понятий
- •§ 4. Деление понятий. Классификация
- •§ 5. Ограничение и обобщение понятий
- •Глава III суждение
- •§ 1. Общая характеристика суждения
- •§ 2. Простое суждение
- •§ 3. Сложное суждение и его виды. Исчисление высказываний
- •§ 4. Выражение логических связок (логических постоянных) в естественном языке
- •§ 5. Отношения между суждениями по значениям истинности
- •§ 6. Деление суждений по модальности
- •Глава IV
- •§ 1. Понятие логического закона
- •§ 2. Законы логики и их роль в познании
- •§ 3. Использование формально-логических законов в процессе обучения
- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •§ 2. Дедуктивные умозаключения
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •§ 4. Простой категорический силлогизм.
- •I. Правила терминов
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Условные умозаключения
- •II. Отрицающий модус (modus tollens).
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •§ 10. Сокращенные условные, разделительные и условно-разделительные умозаключения
- •1. В умозаключении пропущено заключение
- •2. В умозаключении пропущена одна из посылок
- •§ 11. Непрямые (косвенные) выводы
- •1. Рассуждение по правилу введения импликации
- •§ 12. Индуктивные умозаключения и их виды Логическая природа индукции
- •2. Индукция через анализ и отбор фактов
- •3. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей
- •§ 14. Дедукция и индукция в учебном процессе
- •Глава VI логические основы теории аргументации
- •§ 1. Понятие доказательства
- •§ 2. Прямое и непрямое (косвенное) доказательства
- •§ 3. Понятие опровержения
- •I. Опровержение тезиса (прямое и косвенное)
- •II. Критика аргументов
- •III. Выявление несостоятельности демонстрации
- •§ 4. Правила доказательного рассуждения. Логические ошибки, встречающиеся в доказательствах и опровержениях
- •§ 5. Понятие о софизмах и логических парадоксах
- •§ 6. Искусство ведения дискуссии
- •III. В чем заключаются логические ошибки, допущенные в следующих софизмах?
- •Глава IX
- •Тема «Понятие» (4 часа) Основные вопросы
- •Тема «Суждение» (4 часа) Основные вопросы
- •Тема «Умозаключение» (4 часа) Основные вопросы
- •§ 2. Специфика методики преподавания логики
- •В средних педагогических учебных заведениях:
- •Педучилищах, педколледжах, педклассах (из опыта
- •Работы)
- •Тест айзенка
- •§ 3. Методика повышения логической культуры учащихся начальной и средней школы (из опыта работы)
- •1. Содержание работы
- •2. Требования к оформлению работы
- •Глава X
- •§ 2. Развитие логики в связи с проблемой обоснования математики
- •§ 3. Интуиционистская логика
- •§ 4. Конструктивные логики
- •§ 5. Многозначные логики
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 6. Законы исключенного третьего
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 7. Модальные логики
- •§ 8. Положительные логики
- •§ 9. Паранепротиворечивая логика
- •3. Суждение.
- •4. Умозаключение.
- •5. Логические основы теории аргументации.
§ 7. Модальные логики
В классической двузначной логике рассматривались простые и сложные ассерторические суждения, т.е. такие, в которых не установлен характер связи между субъектом и предикатом, например: «Морская вода соленая» или «Дождь то начинал хлестать теплыми крупными каплями, то переставал».
В модальных суждениях раскрывается характер связи между субъектом и предикатом или между отдельными простыми суждениями в сложном модальном суждении. Например: «Необходимо, что металлы — проводники электрического тока» или «Если будет дуть попутный ветер, то, возможно, мы приплывем в гавань до наступления темноты».
Модальными являются суждения, которые включают модальные операторы (модальные понятия), т.е. слова «необходимо», «возможно», «невозможно», «случайно», «запрещено», «хорошо» и многие другие (см. главу III, § 6 «Деление суждений по модальности»). Модальные суждения рассматриваются в специальном направлении современной формальной логики — в модальной логике.
Изучение модальных суждений имеет длительную и многогранную ис-, торию. Мы отметим лишь некоторые из ее аспектов. Модальности в логику были введены Аристотелем. Термин «возможность», по Аристотелю,, имеет различный смысл. Возможным он называет и то, что необходимо, и то, что не необходимо, и то, что возможно. Исходя из понимания модаль-, ности «возможность», Аристотель писал о неприменимости закона исключенного третьего к будущим единичным событиям.
Наряду с категорическим силлогизмом Аристотель исследует и модальный силлогизм, у которого одна или обе посылки и заключение являютсямодальными суждениями. Я.Лукасевич в книге «Аристотелевская силлоги стика с точки зрения современной формальной логики» две главы посвящает аристотелевской модальной логике предложений (гл. VI) и модальной силлогистике Аристотеля (гл. VIII)1. Аристотель рассматривает модальную силлогистику по образцу своей ассерторической силлогистики: силлогизмы подразделяются на фигуры и модусы, неправильные модусы отбрасываются с помощью их интерпретации на конкретных терминах.
Согласно Аристотелю, случайность есть то, что не необходимо и не невозможно, т.е. р — случайно означает то же самое, что и р — не необходимо и р — не невозможно, но Лукасевич отмечает, что аристотелевская теория случайных силлогизмов полна серьезных ошибок2. Итог исследований Лу-касевича такой: пропозициональная модальная логика Аристотеля имеет огромное значение для философии; в работах Аристотеля можно найти все элементы, необходимые для построения полной системы модальной логики; однако Аристотель исходил из двузначной логики3, в то время как модальная логика не может быть двузначной. К идее многозначной логики Аристотель подошел вплотную, рассуждая о «будущем морском сражении».Следуя Аристотелю, Лукасевич в 1920 г. построил первую многозначную (трехзначную) логику. Так осуществляется связь модальных и многозначных логик.
Значительное внимание разработке модальных категорий уделяли философы в Древней Греции и особенно Диодор Крон, рассматривавший модальности в связи с введенной им временной переменной. В средние века модальным категориям также уделялось большое внимание. В XIX в. категорию вероятности разрабатывали Дж.Буль и П.С.Порецкий.
Возникновение модальной логики как системы датируется 1918 г., когда американский логик и философ Кларенс Ирвинг Льюис (1883-1964) в работе «A Survey of Symbolic Logic» сформулировал модальное исчисление, названное им впоследствии S3.
В книге «Simbolic Logik», написанной им совместно с К.Лэнгфордом в 1932 г., он сформулировал еще пять модальных логических систем, связанных с S3 и между собой. Это — системы SI, S2, S4, S5, S6.
Приведем описание модальной системы S11. I. Исходные символы:
I.р, q, r и т.д. — пропозициональные переменные; 2.~р — отрицание/);
З.р-q — конъюнкция р и q,
4.p<q — строгая импликация льюисовской системы;
5.0 р — модальный оператор возможности (возможно р);
6.p = q — строгая эквивалентность, р - q равносильно (р < q) • (q < р).
II.Аксиомы системы S1: l)p-q<q-p;
2) p-q<p; 3)/?</?•/?;
(p-q)-r<p-(q-r);
Р<~~р;
(p<q)-(q<r)<(p<i);
p-(p<q)<q.
Аксиома 5 может быть выведена из остальных, как было показано позднее. Так как конъюнкция связывает «сильнее», чем импликация, то скобки можно опустить или заменить их точками, как это сделано у Льюиса.
III.Правила вывода S1:
Правило подстановки. Любые два эквивалентных друг другу выраже ния взаимозаменимы.
Любая правильно построенная формула может быть подставлена вместо р, или q, или г и т.д. в любом выражении.
Если выводимо/? и выводимо q, то выводимо/? • q .
Если выводимо /? и выводимо p<q,io выводимо q.
Льюис построил модальную пропозициональную логику S1 в виде расширения немодального (ассерторического) пропозиционального исчисления. При этом основные черты S1 и других его исчислений были скопированы с формализованной логической системы Principia Mathematica Рассела и Уайтхеда, сформулированы с помощью понятий, только терминологически отличающихся от понятий, использованных в Principia Mathematica. Кроме Рассела и Уайтхеда, идеи классической логики развивали многие современные математические логики, например, американский логик и ма-
тематик С.Клини1. Исчисления Льюиса построены аксиоматически по образцу Principia, и по аналогии с Principia Льюис доказывает ряд специфических теорем.
В классической двузначной логике логическое следование отождествляется с материальной импликацией и допускаются такие формы вывода:
(1)
т.е. истинное суждение следует из любого суждения («истина следует от-,куда угодно»),
/> -» 0 -» ?), (2)
т.е. из ложного суждения следует любое суждение («из лжи следует все, что угодно»). Это противоречит нашему содержательному, практическому пониманию логического следования, поэтому данные формулы, как и некоторые другие, и соответствующие им принципы логического следования называются парадоксами материальной импликации.
Льюис создал свои новые системы с целью избежать этих парадоксов и ввести новую импликацию, названную им «строгой импликацией», такую, чтобы логическое следование представлялось не чисто формально, а по смыслу (содержательно) и новая импликация была ближе к связке естественного языка «если, то». В строгой импликации Льюиса/) <q невозможно утверждать антецедент, т.е. р, и отрицать консеквент, т.е. q2.
В системах Льюиса были устранены парадоксы материальной импликации, т.е. формулы (1) и (2) стали невыводимыми, но появились парадоксы строгой импликации. К ним относятся, например, такие формулы:
(3) (4)
Итак, отождествлять строгую импликацию Льюиса со следованием нельзя.
С целью исключить парадоксы строгой импликации Льюиса немецкий математик и логик Ф.ВАккерман (1896-1962) построил свою систему модальной логики. Он ввел так называемую сильную импликацию, которая не тождественна строгой импликации Льюиса, и модальные операторы Аккермана и Льюиса также не являются тождественными. Аккерман все логические термины и модальные операторы определяет через сильную импликацию так: NA равносильной -» X, МА равносильно А-*К. Здесь А — любая правильно построенная формула системы Аккермана; N — оператор необходимости;М— оператор возможности;А — отрицание Л; -»обозначает сильную импликацию; А, — логическая постоянная, обозначающая «абсурдно». Эта постоянная в свою очередь определяется так: А & А -» А, где & обозначает конъюнкцию. И последняя формула читается так: из противоречия, т.е. А и не-А, следует абсурд. В системе Аккермана не выводятся формулы, структурно подобные парадоксам материальной или строгой импликации.
Системы Льюиса и Аккермана являются бесконечнозначными. В отличие от этих систем первоначально построенные системы Лукасевича являются конечнозначными: одна — трехзначная (1920), другая — четырехзначная (1953). В четырехзначной системе Лукасевича1 также обнаружены парадоксы. Главный из них состоит в том, что ни одно аподиктическое предложение не истинно, т.е. ни одно суждение вида La (где L обозначает необходимость, а a — любая формула) не является истинным. Это означало бы, что необходимых суждений нет, т.е. модальный оператор «необходимо» упраздняется. Лукасевич пишет: «Любое аподиктическое предложение должно быть отброшено»2. Сам Лукасевич считал это достоинством своей системы, а понятие «необходимость» — псевдопонятием. С такой точкой зрения, конечно, согласиться нельзя.
Интерпретации модальных логик различны. Известный австрийский философ и логик Р.Карнап (1891-1970) пытался интерпретировать модальные понятия (операторы) с помощью так называемой теории «возможныхмиров», в которой допускается наличие множества «миров», один из которых — действительный, реальный мир, а остальные — возможные миры.
Необходимым объявляется то, что существует во всех мирах, возможным — то, что существует хотя бы в одном.
Р.Карнап в 1946 г., используя понятие «описание состояния», предложил интерпретацию модальных операторов, в основе которой лежала идея различия возможного и действительного мира.
В ином направлении шел финский логик Я.Хинтикка. Критически переосмыслив введенное Карнапом понятие «описание состояния», он разработал технику «модальных множеств», т.е. миров (1957), — оригинальную семантическую концепцию возможных миров. Разработка семантики возможных миров для модальных логик продолжается.
Разнообразными проблемами модальной логики занимается американский логик Р. Фейс1.
В настоящее время разработаны многие виды модальностей, которые отражены в таблице, помещенной на с. 86 данного учебника.
Теорией модальных логик и построением новых модальных логических систем активно занимаются логики А.А.Ивин2, ЯАСлинин3, Б.С.Чендов4, О.Ф.Серебряников, В.Т.Павлов и др.