- •Е.А. Кротков логика
- •Содержание
- •Обращение к студенту
- •Содержание разделов дисциплины Тема 1. Роль науки логики в познании
- •Тема 2. Понятие
- •Тема 3. Суждение
- •Тема 4. Умозаключение
- •Тема 5. Рассуждение
- •Тема 1. Роль науки логики в познании
- •1.1. Логика и мышление
- •1.2. Основные логические законы и принципы мышления
- •1.3. Из истории логики как науки
- •Практикум
- •1.4. Язык, действительность и коммуникация
- •1.5. Значение, смысл и логические категории языковых выражений
- •* * *
- •Практикум
- •Тема 2. Понятие
- •2.1. Понятие как форма мышления
- •2.2. Виды понятий
- •2.3. Логические отношения между понятиями
- •2.3.1. Виды совместимости понятий
- •Примеры: «студент» (s) и «спортсмен» (p); «роман» (s) и «поэма» (p). Схематически:
- •2.3.2. Виды несовместимости понятий
- •2.4. Закон обратного отношения между объемами и содержаниями понятий
- •2.5. Обобщение и ограничение понятий
- •2.6. Деление понятий
- •2.7. Дефиниция (определение)
- •Тема 3. Суждение
- •3.1. Суждение как форма мышления
- •3.2. Структура и виды простых суждений
- •Практикум
- •3.3. Логические отношения между простыми суждениями
- •3.4.Логическая форма и виды сложных суждений
- •3.5. Связь между утверждением и отрицанием
- •3.6. Модальные суждения и логические отношения между ними
- •Практикум
- •Тема 4. Умозаключение
- •4.1. Назначение, структура и основные виды умозаключений
- •Практикум
- •4.2. Дедуктивные умозаключения
- •4.2.1. Правила вывода из сложных суждений
- •Если х, тоY; х
- •Если х, тоY; не- y не-х
- •X или y; не- X y
- •Х либо y; y не-X
- •Неверно, что не-х х
- •Из г и не-в выводимо х и не-х Из г выводимоВ
- •4.2.2. Основные разновидности схем выводов из сложных суждений
- •4.2.2.1. Условно-категорические умозаключения
- •4.2.2.2. Разделительно-категорические умозаключения
- •4.2.2.3. Чисто-условные умозаключения
- •4.2.3. Дедуктивные выводы из категорических суждений
- •4.2.3.1. Выводы по логическому «квадрату»
- •4.2.3.2. Обращение
- •4.2.3.3. Превращение
- •Практикум
- •4.2.4. Простой категорический силлогизм
- •4.2.4.1. Структура простого категорического силлогизма
- •4.2.4.2. Фигуры и модусы простого категорического силлогизма
- •4.2.4.3. Методы логического анализа простого категорического силлогизма
- •Правила посылок
- •Правила терминов
- •4.2.4.4. Сокращенный категорический силлогизм. Полисиллогизм
- •Практикум
- •4.3. Индуктивные выводы
- •4.3.1. Редуктивные умозаключения
- •ЕслиX, то y; y
- •4.3.2. Обобщающая индукция
- •4.3.3. Статистические умозаключения
- •4.3.4. Умозаключения по аналогии
- •4.3.5.Умозаключения, используемые при выявлении причинных зависимостей
- •Практикум
- •Тема 5. Рассуждение
- •5.1. Логичность вопросно-ответного мышления
- •5.1.1. Вопрос как форма мышления
- •5.1.2. Виды вопросов
- •5.1.3. Условия правильности вопросов
- •5.1.4. Условия правильности ответов
- •5.2. Рассуждение как метод мыслительной деятельности
- •5.3. Аргументация
- •5.3.1. Доказывание
- •5.3.2. Опровержение
- •Если х, тоY; не- y не-х
- •Из г и в выводимо противоречие (х и не-х) Из г выводимоне-в
- •5.3.3. Подтверждение
- •Если X, тоY; y
- •5.3.4. Критика
- •5.4. Объяснение
- •5.4.1. Номологическое объяснение
- •X или y; не- X y
- •Телеологическое объяснение
- •Практикум
- •5.5. Квалифицирование
- •5.6. Идентифицирование
- •Практикум
- •Глоссарий
- •Дополнительная литература
- •Таблицы, схемы и логические правила Модальные суждения: эквивалентности
- •Категорические суждения
- •Дедуктивные правила вывода из сложных суждений
- •Общие правила простого категорического силлогизма
- •Логические принципы индуктивных умозаключений
Практикум
1. Определите вид модальности (выделите модальное понятие) следующих суждений; представьте логические формы этих суждений:
1) Невозможно без весел плыть против течения. 2) Проблематично, что существует творящее Мир начало. 3) Любой гражданин обязан соблюдать законы государства. 4) Доказано, что Земля вращается вокруг Солнца. 5) Необходимо, что Земля вращается вокруг своей оси.
*Выполним задание в отношении суждения Не доказано и не опровергнуто, что Бог существует. Это суждение относится к эпистемическим модальным суждениям, поскольку в нем фигурируют модальные функторы доказано и опровергнуто. Основу этого суждения составляет ассерторическое суждение Бог существует, которое мы заменяем параметром х. Строим формулу этого суждения: Не доказано, что х, и не опровергнуто, что х
2. Следующие деонтические модальные суждения выразите в символической форме:
1) Запрещается изменение стоимости утвержденных проектов за счет исключения планируемых мероприятий по охране окружающей среды.
2) Строительство зданий должно осуществляться по утвержденным проектам, имеющим положительные заключения государственной экологической экспертизы.
3) Деятельность, осуществляемая с нарушением природоохранных требований, может быть прекращена в порядке, установленном законодательством Российской Федерации.
4) При осуществлении строительства зданий принимаются меры по охране окружающей среды в соответствии с законодательством Российской Федерации.
5) Проекты, по которым не имеются положительные заключения государственной экологической экспертизы, утверждению не подлежат.
3. Сформулируйте суждения, эквивалентные приведенным в упр. 2., заменяя модальные функторы в соответствии с зависимостями: Запрещено, что x равнозначно Обязательно, что не-x; Обязательно, что x равнозначно Неверно, что разрешено не-x; Разрешено x равнозначно Неверно, что запрещено x.
*Выполним задание в отношении суждения Государственные инспектора в области охраны окружающей среды обязаны соблюдать требования законодательства. Заменим параметромхутверждениеГосударственные инспектора в области охраны окружающей среды соблюдают требования законодательства. Тогда анализируемое суждение в логической символике примет вид формулыОбязательно, что х. ПосколькуОбязательно, что xравнозначноНеверно, что разрешено не-x, получаем:Неверно, что государственным инспекторам разрешено не считаться с требованиями законодательства.
4. Сформулируйте на основе суждений, приведенных в упр.2., противоречащие им суждения.
*Выполним задание в отношении суждения Все граждане обязаны бережно относиться к природе, логической формой которого является выражение Обязательно, что х. В соответствии с формулой закона противоречия Неверно, что обязательно x и разрешено не- x противоречить данному суждению будет суждение Разрешено некоторым гражданам не относиться рачительно к природе.
5.Имея в виду зависимости 1.-5. между эпистемическими модальностями, ответьте на следующие вопросы:
1) Равнозначны ли суждения Доказано, что инспектор N. нарушил законодательство и Суждение о том, что инспектор N. нарушил законодательство – истинно? 2) Равнозначны ли суждения Опровергнуто, что инспектор N. нарушил законодательство и То, что инспектор N. нарушил законодательство – ложно? 3) Следует ли из того факта, что Инспектор N. нарушил законодательство, утверждение Доказано, что инспектор N. нарушил законодательство? 4) Равнозначны ли суждения Доказано, что инспектор N. нарушил законодательство и Неверно, что суждение «Инспектор N. не нарушил законодательства» проблематично?