- •Лекция № 1: Предмет и значение логики
- •I. Основные понятия, предмет и структура логики
- •II. Этапы формирования и развития логики
- •II. Приложения логики:
- •III. Мышление как предмет изучения логики
- •IV. Теоретическое и практическое значение логики
- •V. Логический анализ языка
- •V.1. Язык, знак, имя
- •V.2. Разновидности семантических категорий
- •Лекция № 2. Понятие как форма мышления
- •I. Общая характеристика понятия
- •II. Логическая структура и основные способы образования понятий.
- •III. Виды понятий и их характеристика
- •IV. Виды отношений между понятиями
- •Типы совместимости: равнозначность (тождество), перекрещивание, подчинение (отношение рода и вида)
- •Типы несовместимости: соподчинение, противоположность, противоречие
- •Лекция № 3: Логические операции с понятиями. Определение как прием познания
- •I. Отношение рода и вида
- •II. Обобщение и ограничение понятий
- •III. Деление понятий: виды и правила деления, возможные ошибки в делении деление понятий
- •Таксономическое деление правила деления и возможные ошибки
- •Нарушение этого правила ведет к ошибкам двух видов:
- •При нарушении правила возникают ошибки:
- •При нарушении этого правила возникают ошибки:
- •IV. Классификация
- •V. Определение: структура, виды, правила и возможные ошибки в определениях
- •Определения
- •I. Явные
- •Виды явных определений
- •II. Неявные
- •Виды неявных определений
- •Чтобы определение было правильным, надо соблюдать следующие правила:
- •VI. Приемы, сходные с определением
- •Лекция № 4. Суждение как форма мышления. Законы логики и принципы правильного мышления
- •I. Общая характеристика суждения. Простые суждения
- •Виды простых суждений
- •1. Суждения свойства (атрибутивные):
- •2. Суждения с отношениями:
- •3. Суждения существования (экзистенциальные):
- •Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •II. Виды и логическая вероятность сложных суждений
- •III. Отрицание суждений
- •IV. Отношение между суждениями
- •Логический квадрат
- •Отношения между сложными суждениями
- •V. Модальность суждений
- •Модальные простые суждения
- •Модальные сложные суждения
- •VI. Понятие логического закона
- •Лекция № 5. Умозаключение как форма мышления
- •Общая характеристика и структура умозаключений
- •Дедуктивные умозаключения
- •I. Общая характеристика и структура умозаключений
- •II. Дедуктивные умозаключения
- •Умозаключения из сложных суждений
- •Непрямые умозаключения из сложных суждений (см. Хрестоматию)
- •I. Умозаключения, построенные по логическому квадрату.
- •II. Умозаключения, построенные посредством преобразования структуры посылки.
- •S есть р s не есть не-р
- •S есть р р есть s
- •S есть р
- •Умозаключения из суждений с отношениями
- •Лекция № 6. Выводы из категорических суждений: простой категорический силлогизм
- •I. Простой категорический силлогизм: структура, модусы, фигуры
- •Состав категорического силлогизма:
- •2) Меньшая посылка – утвердительное суждение
- •2) Одна из посылок – отрицательное суждение
- •2) Заключение – частное суждение.
- •Если большая посылка утвердительная, то меньшая должна быть общей.
- •Если одна из посылок отрицательная, то большая посылка должна быть общей;
- •Если меньшая посылка утвердительная, то заключение должно быть частным.
- •II.Правила логического вывода фигур категорического силлогизма
- •I. Общие правила
- •II. Специальные правила
- •III. Алгоритм анализа силлогизма
- •IV. Условия правильности и неправильности умозаключения
- •V. Сокращенные, сложные и сложносокращенные силлогизмы
- •Механизм восстановления силлогизма:
- •Лекция № 7. Правдоподобные умозаключения
- •I. Общая характеристика индуктивных умозаключений
- •II. Основные виды индуктивных выводов
- •III. Индуктивные методы установления причинных связей
- •Методы установления причинной связи:
- •Ошибки, встречающиеся при обнаружении причинных связей
- •IV. Умозаключения по аналогии
- •Структура аналогии
- •Лекция № 8: Логика в процессе развития научного знания
- •I. Общая характеристика и структурные элементы научного познания
- •II. Вопрос и его роль в познании
- •III. Феномен проблемы в научном познании
- •IV. Гипотеза как форма развития знания
- •V. Теория как форма и система знания
Модальные простые суждения
Простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий)
Структура: М (S есть Р) или М (S не есть Р), где М – модальный оператор (модальное понятие)
Пример: Из немодального высказывания (Ртуть – металл» можно образовать модальные высказывания «Возможно, что ртуть – металл», «немыслимо, чтобы ртуть была металлом», «Доказано, что ртуть – металл» и т.д.
Модальные сложные суждения
Сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий)
Структура: М (p&q); M (p ν q); M (p É q); M (p º q).
Пример: Из сложного высказывания «Если температура выше 100 градусов, то вода превращается в пар» можно получить модальное высказывание «Физически необходимо, что если температура выше 100 градусов, то вода превращается в пар».
VI. Понятие логического закона
Правильное мышление должно отвечать следующим требованиям: быть определенным, последовательным, непротиворечивым и обоснованным. Определенное мышление – точное и строгое, свободное от всякой сбивчивости. Последовательное мышление – свободное от внутренних противоречий, разрушающих необходимые связи между мыслями. Непротиворечивость связана с недопущением взаимоисключающих, как одинаково приемлемых, в том или ином отношении мыслей. Обоснованное мышление – не просто формулирующее истину, но вместе с тем указывающее те основания, по которым она должна быть признана истиной.
Так как черты определенности, последовательности, непротиворечивости и обоснованности являются необходимыми свойствами всякого мышления, то они имеют над мышлением силу законов. Там, где мышление оказывается правильным, оно во всех своих действиях и операциях повинуется определенным логическим законам.
Как уже отмечалось, логической формой мысли является строение мысли, то есть способ связи ее составных частей. Так, между мыслями, логические формы которых представлены выражениями «Все S есть Р» и «все Р есть S» имеется связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от конкретного содержания этих мыслей. Связи между мыслями, при которых истинность одних с необходимостью обусловливают истинность других, определяют формально-логические законы, или законы логики.
-
ЗАКОНЫ ЛОГИКИ – это такие выражения, которые являются истинными только в силу своей логической формы, то есть только на основании связи их составляющих. Другими словами, логическим законом является сама логическая форма, гарантирующая истинность выражения при любом содержании.
-
ЗАКОН ЛОГИКИ – это выражение, содержащее только константы и переменные и являющееся истинным в любой (непустой) предметной области (так, любой закон логики высказываний или логики предикатов является примером логического закона). Это так называемые законы связи между мыслями. Логические законы принято называть также тавтологиями.
-
ЛОГИЧЕСКАЯ ТАВТОЛОГИЯ – это «всегда истинное выражение», то есть остающееся истинным независимо от того, о какой области объектов идет речь. Любой закон логики является логической тавтологией.
-
Особую роль играют так называемые законы (принципы), определяющие необходимые общие условия, которым должны удовлетворять наши мысли и логические операции с мыслями. В традиционной логике в качестве таковых рассматриваются:
-
закон тождества
-
закон непротиворечия
-
закон исключенного третьего
-
закон достаточного основания
-
1. Закон тождества: В процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе.
В математической логике закон тождества выражается следующими формулами:
аºа (в логике высказываний) и АºА (в логике классов, в которой классы отождествляются с объемами понятий).
Тождество есть равенство, сходство предметов в каком-либо отношении. Например, все жидкости тождественны в том, что они теплопроводны, упруги. Каждый предмет тождествен самому себе. Но реально тождество существует в связи с различием. Нет и не может быть двух абсолютно тождественных вещей (например, двух листочков дерева, близнецов и т.д.). Вещь вчера и сегодня и тождественна, и различна. Например, внешность человека изменяется с течением времени, но мы его узнаем и считаем одним и тем же человеком. Абстрактного, абсолютного тождества в действительности не существует, но в определенных границах мы можем отвлечься от существующих различий и фиксировать свое внимание на одном только тождестве предметов или их свойств.
В мышлении закон тождества выступает в качестве нормативного правила (принципа). Он означает, что нельзя в процессе рассуждения подменять одну мысль другой, одно понятие – другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные.
Например, тождественными по объему будут три такие понятия: «ученый, по инициативе которого был основан Московский университет»; «ученый, сформулировавший принцип сохранения материи и движения»; «ученый, ставший с 1745 г. первым русским академиком Петербургской академии» – все они обозначают одного и того же человека (М.В. Ломоносова), но дают различную информацию о нем.
Нарушение закона тождества приводит к двусмысленностям, что можно видеть, например, в следующих рассуждениях: «Ноздрев был в некотором отношении исторический человек. Ни на одном собрании, где он был, не обходилось без истории» (Н. В. Гоголь). «Стремись уплатить свой долг, и ты достигнешь двоякой цели, ибо тем самым его исполнишь» (Козьма Прутков). Игра слов в этих примерах построена на употреблении омонимов.
В мышлении нарушение закона тождества проявляется тогда, когда человек выступает не по обсуждаемой теме, произвольно подменяет один предмет обсуждения другим, употребляет термины и понятия в другом смысле, чем принято, не предупреждая об этом.
Отождествление (или идентификация) широко используется в следственной практике, например, при опознании предметов, людей, отождествлении почерков, документов, подписей на документе, отождествлении отпечатков пальцев.
2. Закон непротиворечия: Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его. Если же человек, утверждая что-либо, отрицает то же самое или утверждает нечто несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия – это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира.
Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама – приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой – автор романа «Воскресение» и «Лев Толстой не является автором романа «Воскресение».
Противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении. Противоречия не будет, если мы скажем: «Осенью дождь полезен для грибов» и «Осенью дождь не полезен для уборки урожая». Суждения «Этот букет роз свежий» и «Этот букет роз не является свежим» также не противоречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время.
Не могут быть одновременно истинными следующие четыре типа простых суждений:
1. «Данное S есть Р» и «Данное S не есть Р».
2. «Ни одно S не есть Р» и «Все S есть Р».
3. «Все S есть Р» и «Некоторые S не есть Р».
4. «Ни одно S не есть Р» и «Некоторые S есть Р».
При этом вторая пара суждений такова, что оба суждения могут быть ложными, например: «Ни один студент не является спортсменом» и «Все студенты являются спортсменами».
В исчислении высказываний классической двузначной логики закон непротиворечия записывается следующей формулой: а∧ā. Закон непротиворечия читается так: «Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том отношении». К противоположным суждениям относятся: 1) противные (контрарные) суждения А и Е, которые оба могут быть ложными, поэтому не являются отрицающими друг друга, и их нельзя обозначить как а и ā; 2) противоречащие (контрадикторные) суждения А и О, Е и I, а также единичные суждения «Это S есть P» и «Это S не есть Р», которые являются отрицающими, так как если одно из них истинно, то другое обязательно ложно, поэтому их обозначают а и ā.
Формула закона непротиворечия в двузначной классической логике а ∧ ā отражает лишь часть содержательного аристотелевского закона непротиворечия, так как она относится только к противоречащим суждениям (а и не-а) и не распространяется на противные (контрарные суждения). Поэтому формула а∧ā неадекватно, не полностью представляет содержательный закон непротиворечия. Следуя традиции, мы за формулой а∧ ā сохраняем название «закон непротиворечия», хотя оно значительно шире, чем данная формула.
Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, отрицается и считается ложным. Поэтому в полемике при опровержении мнения оппонента широко используется метод «приведения к абсурду».
3. Закон исключенного третьего: Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Если одно из противоречащих суждений обозначить переменной а, то другое следует обозначить ā. Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного – суждения не может быть.
Отрицающими являются следующие пары суждений:
1) «Это S есть Р» и «Это S не есть Р» (единичные суждения).
2) «Все S есть Р» и «Некоторые S не есть Р» (суждения А и О).
3) «Ни одно S не есть Р» и «Некоторые S есть Р» (суждения Е и I).
В отношении противоречащих (контрадикторных) суждений (А и О, Е и I) действует как закон исключенного третьего, так и закон непротиворечия – в этом одно из сходств данных законов.
Различие в областях определения (т.е. применения) этих законов в том, что по отношению противных (контрарных) суждений А и Е (например: «Все грибы – съедобны» и «Ни один гриб не является съедобным»), которые оба не могут быть истинными, но оба могут быть ложными, распространяется действие лишь закона непротиворечия и не распространяется действие закона исключенного третьего. Итак, сфера действия содержательного закона непротиворечия шире (это контрарные и контрадикторные суждения), чем сфера действия содержательного закона исключенного третьего (лишь контрадикторные, т.е. суждения типа а и не-а). Действительно, истинно одно из двух суждений: «Все дома в данной деревне электрифицированы» или «Некоторые дома в данной деревне не являются электрифицированными» и третьего не дано.
Закон исключенного третьего и в содержательном, и в формализованном виде охватывает один и тот же круг суждений – противоречащие, т.е. отрицающие друг друга. Формула закона исключенного третьего: А vù А
В мышлении закон исключенного третьего предполагает четкий выбор одной из двух взаимоисключающих альтернатив. Для корректного ведения дискуссии выполнение этого требования обязательно.
4. Закон достаточного основания: Всякая истинная мысль должна быть достаточно обоснованной. Речь идет об обосновании только истинных мыслей: ложные мысли обосновать нельзя, и нечего пытаться «обосновать» ложь, хотя нередко отдельные люди пытаются это сделать. Есть хорошая латинская пословица: «Ошибаться свойственно всем людям, но настаивать на своих ошибках свойственно лишь глупцам».
Формула для этого закона выглядит следующим образом: А(ВА).