- •СОдержание
- •§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. Основные правила аргументации
- •Тест для проверки знаний по теме «Логические основы аргументации»
- •Словарь логических терминов
- •Литература
- •Программное обеспечение и интернет - ресурсы
§2. Сложные суждения и их виды
Суждения называются сложными, если в них можно выделить правильные части, которые в свою очередь являются суждениями. Сложные суждения образуются как из простых, так и из других сложных суждений при помощи логических связок «если…то…», «или», «и».
Сложные суждения делятся на виды: соединительные, разделительные, условные суждения, суждения эквивалентности, суждения с внешним отрицанием.
Соединительные суждения – это такие суждения, в которых утверждается о наличии одновременно двух ситуаций. Например, «Космический корабль готовится к старту и космонавты поднимаются по трапу корабля».
Разделительные – это такие суждения, в которых утверждается наличие одной из возможных ситуаций. Например, «Гидрометцентр сообщил, что ночью похолодает и может пойти дождь или снег».
Условные - это суждения, в которых утверждается, что наличие одной ситуации детерминирует наличие другой. Обозначается выражением «если…то». Например, «Если грохочет гром, то значит скоро пойдет дождь».
Суждения эквивалентности – это суждения, которые утверждают одновременное наличие или отсутствие двух ситуаций. Обозначается выражением « если, и только если…, то…». Пример, «Если, и только если, студент успешно сдаст сессию, то его отпустят на каникулы и он поедет домой».
Суждения с внешним отрицанием – это суждения, в которых содержится информация об отсутствии какой-либо ситуации. Такие суждения представлены выражением «неверно, что…». Например, «Неверно, что он учится на «отлично».
§3. Отрицание суждения
Отрицание суждения – это логическая операция, при которой истинное суждение меняется на ложное, и наоборот. При этом, при отрицании атрибутивного суждения одновременно меняются как его качество, так и количество.
Так, при отрицании общего суждения получается частное и наоборот; при отрицании утвердительного суждения получается отрицательное и наоборот; при отрицании общеутвердительного суждения получается частноотрицательное и наоборот; при отрицании частноутвердительного суждения получается общеотрицательное и наоборот. Например, результатом отрицания общеутвердительного суждения «Все студенты нашей группы занимаются в научных кружках» будет частноотрицательное суждение «Некоторые студенты нашей группы не занимаются в научных кружках». Результатом отрицания общеотрицательного суждения «Ни один студент нашей группы не живет в общежитии» будет частноутвердительное суждение «Некоторые студенты нашей группы живут в общежитии».
В результате отрицания суждений об отношениях их качество и количество также меняются на противоположные: общее на частное, утвердительное на отрицательное и т.д.
Необходимо соблюдать правила при отрицании сложных суждений:
1. При отрицании конъюнктивного суждения образуется дизъюнктивное суждение, в котором простые суждения, составляющие его, являются в свою очередь отрицаниями суждений, которые составляют отрицаемое конъюнктивное суждение. Например, «Все студенты-экономисты изучают логику и все студенты-юристы изучают логику». Результатом его отрицания является суждение «Некоторые студенты-экономисты не изучают логику или некоторые студенты-юристы не изучают логику».
2. В случае отрицания дизъюнктивного суждения образуется конъюнктивное суждение, в котором составляющие его суждения, являются в свою очередь отрицаниями суждений, которые составляют отрицаемое дизъюнктивное суждение. Например, в результате отрицания суждения «Расцвела сирень или наступила весна» образуется суждение «Сирень не расцвела и весна не наступила».
3. При отрицании импликативного суждения образуется конъюнктивное суждение, в котором одним из составляющих его простых суждений является антецедент исходного импликативного суждения. Вторым простым суждением выступает отрицание консеквента исходного импликативного суждения. Например, в результате отрицания суждения «Если наступит тепло, в лесу появятся подснежники» образуется суждение «Тепло наступит, и в лесу не появятся подснежники».
Упражнение. Произведите отрицание данных суждений.
1. Некоторые студенты ходят на дискотеку.
2. Все студенты работают в Кампусе.
3. Ни один студент не знает китайского языка.
4. Каждый профессор имеет ученую степень.
5. Все аспиранты сдают кандидатские экзамены.
6. Он хороший ученый или хороший преподаватель.
7. Озеро Байкал находится в Европе.