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