- •Кафедра философии и методологии науки
- •Кафедра философии и методологии науки
- •Предмет и значение логики
- •Исторические этапы развития формальной логики
- •Значение логики
- •Понятие как форма мышления
- •Признаки предметов
- •Объем и содержание понятия
- •Логические операции с понятиями. Обобщение и ограничение понятий
- •Деление понятий. Классификация
- •Правила деления понятий
- •Классификация
- •Определение понятий (дефиниция)
- •Виды определений
- •Явные и неявные определения
- •Правила операции определения
- •Приемы, заменяющие определение
- •Отношения понятий
- •Отношения совместимых понятий
- •Пересечение
- •Отношение подчинения
- •Отношения несовместимых понятий
- •Отношения соподчинения
- •Отношение противоположности
- •Отношения противоречия
- •Суждение как форма мышления
- •Общая характеристика суждения.
- •Простое суждение, его структура. Виды простых суждений.
- •Классификация категорических суждений по количеству и качеству
- •Распределенность терминов в суждениях
- •Сложные суждения, их виды.
- •Модальные суждения
- •Умозаключение
- •Непосредственная дедукция
- •Превращение
- •Обращение
- •Противопоставление предикату.
- •Процедура проверки силлогизма
- •Доказательство и опровержение Аргументация и формирование убеждений
- •Общее понятие о доказательствах
- •Структура (строение) доказательства
- •Виды (способы) доказательства
- •Понятие опровержения
- •Требования к элементам доказательства
- •Требования к тезису
- •Требования к аргументам доказательства
- •Требования к демонстрации
- •Логическое доказательство и судебное доказывание
- •Специфика судебного доказывания
- •Логическое доказательство и судебное доказывание
- •Аргументы логического доказательства и судебного доказывания
- •Аксиомы, презумпции
- •Определения
- •Прямые и косвенные доказательства в уголовном процессе
- •Алгоритм анализа рассуждений в логике высказываний
- •Полемика: виды и правила
- •Виды полемики
- •Дискуссия, ее элементы
- •Некоторые технические приемы ведения дискуссий
- •Результаты спора
- •Условия плодотворности дискуссии
- •Уловки эристической полемики
- •Ответы к тестам
- •Упражнения для самоконтроля
- •Вариант 1
- •Вариант 2
- •Вариант 3
- •Вариант 4
- •Вариант 5
- •Вариант 6
- •Базовые понятия
- •Вопросы к зачету (экзамену)
- •Приложения
- •Правила вывода
- •Литература
- •Содержание
- •Основы логики Учебное пособие
Отношение противоположности
В отношении противоположности находятся понятия, признаки которых взаимоисключают друг друга, но совокупность их объемов не исчерпывает объем родового понятия. Противоположные понятия – полярные состояния предмета мысли, между ними располагаются элементы объема родового понятия как некие промежуточные, переходные, неопределенные видовые формы предметов мысли. В отношении противоположности находятся, например, понятия “наивный” и “подозрительный”, “хитрый” и “простодушный”, “высокий ” и “низкий” и т.д.
Круговая схема Эйлера отношений противоположных понятий такова:
А – “хитрый”
В – “простодушный”
Отношения противоречия
Если объемы понятий А и В полностью исчерпывают объем родового понятия С, то А и В находятся в отношении противоречия. Такие понятия, являясь видами одного рода, взаимоотрицают друг друга. Между противоречащими понятиями нет промежуточных, переходных, третьих состояний предметов мысли. Признак понятия А отрицает существенный признак, исключает любой другой признак не А, например, “высокий”- “невысокий”, “хитрый”- “бесхитростный”. Таким образом, объем родового понятия в круговой схеме Эйлера разделен на две части, обозначающие противоречащие понятия:
А – “высокий”
не - А – “невысо
кий”
Итак, в логике различают шесть отношений между понятиями. Любые два сравнимые понятия находятся в одном из этих шести отношений. Для удобства запоминания отношений понятий их обычно представляют таблицей.
Суждение как форма мышления
В предшествующей главе была рассмотрена наиболее простая, фундаментальная форма мысли – понятие, что позволяет дать характеристику более сложной форме – суждению. Функция суждения как форма мысли – выражать истину, которую мы ищем, которой руководствуемся в своей работе.
Общая характеристика суждения.
Суждение есть форма мысли, в которой что-либо утверждается или отрицается о существовании предметов, явлений, о их свойствах и отношениях, о связях между предметами. Понятия не оцениваются нами как истинные или ложные. Другое дело – суждение. Утверждение или отрицание – отличительная особенность суждения как формы мысли. Отсюда важный признак суждения: оно может быть истинным или ложным.
В языке суждения выражены повествовательными предложениями. вопросительные предложения не выражают суждение. Они ничего не утверждают и не отрицают. («Будут ли повышены акцизные сборы?»)
Риторические вопросы выражают в своеобразной форме суждения. («Где вы видели довольных задолжников?»).
Восклицательные могут содержать суждения («Я это сделала!») или не содержать («Не сыпь мне соль на раны!»).
Простое суждение, его структура. Виды простых суждений.
Простым называют суждение, отражающее связь двух понятий.
Различают три вида простых суждений:
1) атрибутивные (категорические)
2) релятивные (суждения с отношениями)
3) экзистенциальные (суждения существования)
Атрибутивное суждение утверждает или отрицает наличие у предмета мысли некоторых свойств, состояний, видов активности, т.е. наличие или отсутствие некоторого признака. Атрибутивное суждение состоит из 3-х элементов: субъекта (S), предиката (P) и связки.
Субъектом (S) суждения называют понятие о предмете мысли. S – есть то, о чем мы мыслим, судим.
Предикатом (P) называют понятие о признаке или состоянии, наличие которого отражается в суждении. P – есть то, что мы приписываем S, предмету нашей мысли. S и P называют терминами суждения. Таким образом, S и P – два понятия, входящие в состав суждения. Но для получения суждения их надо поставить в определенное отношение, их надо связать. Поэтому третьим необходимым элементом суждения является связка. В языке связка обычно выражена словами «суть», «является», «есть» («не есть») или их временными формами. В языке часть связки опускается.
В общем виде логическая структура простого атрибутивного суждения такова: «S есть P» или «S не есть P».
В логике принято представлять суждения в так называемой канонической форме, в которой явно присутствуют 3 элемента суждения. Так, например, суждение «Деньги не пахнут» имеет каноническую форму – «Деньги не есть пахнущее».
S и P суждение не совпадают с подлежащим и сказуемым предложения. Например, в суждении «Опытный налоговый инспектор неспешно задавал каверзные вопросы» субъектом является понятие «опытный налоговый инспектор», а предикатом является понятие «неспешно задающий каверзные вопросы». Связка опущена и выражена согласованием слов.
Релятивные суждения (суждения об отношениях) выражают отношения между предметами («Орел больше копчика»). Структура релятивного суждения отличается от структуры атрибутивного и выражается формулой: a R b, где a и b – названия предметов, членов отношения, R – отношения между предметами мысли.
Экзистенциальные суждения сообщают о существовании или несуществовании тех или иных предметов явлений, событий («В тайге существуют свои законы», «Не существует довольных задолжников»). Их структура совпадает со структурой атрибутивных суждений (S есть P).
