- •Завражин а.В. Логика Учебное пособие
- •СОдержание
- •§2. Предмет логики
- •§3. Понятие логической формы
- •§4. Логическое следование и логическая истинность
- •Тест для проверки знаний по теме « Предмет логики»
- •Глава II. Логика и язык
- •§1. Язык как знаковая система
- •§2. Смысл и значение знака. Виды знаков
- •§3. Естественные и искусственные языки
- •§4. Семантические принципы
- •§5. Язык логики высказываний
- •§6. Основные законы логики
- •§7. Логико-семантические парадоксы
- •Тесты для проверки знаний по теме « Логика и язык»
- •Глава III . Понятие
- •§1. Общая характеристика понятий. Виды понятий
- •1) Виды понятий по объему
- •2) Виды понятий по типу элементов объема
- •3) Виды понятий по содержанию
- •§2. Булевы операции над понятиями
- •§3. Отношения между понятиями по объему
- •§4. Обобщение и ограничение понятий
- •§5. Деление и классификация
- •Тесты для проверки знаний по теме «Понятие»
- •Глава IV. Определение
- •§1. Определение и приемы, сходные с ним
- •§2. Явные и неявные определения
- •§3. Реальные и номинальные определения
- •§4. Правила определения
- •Тест для проверки знаний по теме «Определение»
- •Глава V. Суждение
- •§1. Простые суждения и их виды
- •§2. Сложные суждения и их виды
- •§3. Отрицание суждения
- •§4. Отношения между суждениями
- •I субконтрарностьО
- •Тесты для проверки знаний по теме «Суждение»
- •Глава VI. Дедуктивные умозаключения
- •§1 Умозаключение. Основные способы умозаключений
- •В (отрицающе-утверждающий способ)
- •§2. Классическое исчисление высказываний
- •§3. Непосредственные умозаключения
- •§4. Простой категорический силлогизм
- •§5. Энтимемы и полисиллогизмы
- •Тесты для проверки знаний по теме «Дедуктивные умозаключения»
- •Глава VII. Индуктивные умозаключения
- •§1. Обобщающая индукция и ее виды
- •§2. Статистическая индукция
- •§3. Методы установления причинных зависимостей
- •§4. Умозаключение по аналогии
- •Тест для проверки знаний по теме «Индуктивные умозаключения»
- •Глава VIII. Логические основы аргументации
- •§1. Аргументация и доказательство
- •§2. Опровержение и критика
- •§ 3. Основные правила аргументации
- •Тест для проверки знаний по теме «Логические основы аргументации»
- •Словарь логических терминов
- •Литература
§6. Основные законы логики
Законом логики называется сложное логическое высказывание, истинность которого не зависит от составляющих его логических отношений. Они составляют основу мыслительного процесса и обусловливают правильность рассуждений. Правильно размышлять означает рассуждать в соответствии с законами логики.
В КЛВ понятие закона совпадает с понятием тождественно-истинной формулы. Наиболее часто в практике рассуждений используются следующие законы КЛВ:
Закон тождества
А А
Если высказывание истинно, то оно истинно. Например, «Все профессора есть профессора».
Закон непротиворечия
(А А)
Два противоречащих друг другу высказывания не могут быть одновременно истинными. Например, «Небо - голубое» и «Неверно, что небо голубое».
Закон исключенного третьего
А А
Из двух противоречащих друг другу высказываний по крайней мере одно истинно. Например, «Экзамен по логике можно сдать или не сдать». То есть третьего не дано.
Закон двойного отрицания
А А
Двойное отрицание высказывания равнозначно его утверждению.
Например, «Он не может не знать логику». Значит – он знает логику.
Закон достаточного основания
А есть потому, что есть В
Всякая мысль может быть признана истинной только тогда, когда
она имеет достаточное основание. Например, «Это вещество
является электропроводным, потому что оно – металл».
Закон утверждения консеквента
А (В А)
Заведомо истинное высказывание вытекает из чего угодно. Например, «Солнце всходит на востоке, а заходит на западе – так говорила мне бабушка».
Закон отрицания антецедента (или Закон Дунса Скота)
А (А В)
Из заведомо ложного высказывания вытекает что угодно.
Например, «Если он миллиардер, тогда я арабский шейх».
Законы Де Моргана
(А В) АВ
Отрицание конъюнкции равнозначно дизъюнкции двух отрицаний.
Например, «Неверно, что сегодня не холодно и не сыро» означает «Сегодня холодно или сыро».
(А В) А В
Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний.
Например, «Неверно, что идет дождь или идет снег» означает «Сегодня нет дождя и нет снега».
Закон контрапозиции
(A В) (В А)
Если из одного высказывания вытекает второе, то из отрицания второго вытекает отрицание первого. Например, «Если вода замерзла, то на улице – морозно» и «Если на улице не морозно, то и вода не замерзла».
Закон транзитивности импликации
((AВ) (ВС)) (АС)
Если из одного высказывания вытекает второе, а из него – третье, то и из первого высказывания вытекает третье. Например, «С наступлением весны днем становится солнечнее и теплей. Когда днем становится солнечнее и теплей тает снег. Следовательно, можно сказать, что с наступлением весны тает снег».
Законы дистрибутивности дизъюнкции относительно конъюнкции и наоборот
А (В С) (А В) (А c)
А & (В С) (А & В) (А & c)
Они позволяют пронести дизъюнкцию внутрь конъюнктивной формулы, а конъюнкцию – внутрь дизъюнктивной формулы, т.е. одну логическую связь относительно другой. Например, распределение дизъюнкции относительно конъюнкции: «Завтра тепло или послезавтра будет холодно и дождь, тогда и только тогда, когда завтра будет тепло или послезавтра будет холодно и завтра будет тепло или послезавтра будет дождь». При распределении конъюнкции относительно дизъюнкции: «Сегодня идет дождь и завтра тепло и послезавтра тепло в том и только в том случае, когда сегодня идет дождь и завтра тепло или сегодня идет дождь и послезавтра тепло».
Закон Клавия
(А A) A
Если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Например, необходимо доказать утверждение «Квадрат – это правильный четырехугольник, у которого все углы прямые». Отрицание этого утверждения: «Неверно, что квадрат – это правильный четырехугольник, у которого все углы прямые». Если из этого отрицания следует само утверждение, то это будет означать, что оно истинно.