- •Контрольная работа
- •История логики и формализация мышления. Язык исчисления предикатов
- •Упражнения:
- •Тема №2 "Логические формы мысли" План:
- •Основные формы абстрактного мышления
- •Упражнения:
- •Тема №3
- •Методы образования понятий: анализ, сравнение, синтез, абстрагирование, обобщение. Неологизмы и их роль в языке.
- •Упражнения:
- •Тема № 4 "Структура и виды понятий". План:
- •Упражнения:
- •Тема № 5 "Отношения между понятиями по объему и содержанию" План:
- •Упражнения:
- •Тема №6 "Обобщение и ограничение понятий" План:
- •Упражнения:
- •Тема № 7 "Явные определения понятий". План:
- •Структура и виды явных определений.
- •Правила и ошибки явных определений
- •Упражнения:
- •Тема №8
- •Описание как операция, сходная с определением.
- •Упражнения:
- •Тема №9 "Деление понятий". План:
- •Упражнения:
- •Тема №10 "Простые суждения" План:
- •Определение простого суждения и его структура. Суждение и понятие.
- •Классификация простых суждений по качеству и количеству.
- •1. Деление суждений по качеству
- •2. Деление суждений по количеству
- •Упражнения:
- •Тема №11 "Истинностные отношения простых суждений". План:
- •Распределенность терминов в простых суждениях.
- •Упражнения:
- •Тема №12 "Сложные суждения". План:
- •Образование сложных суждении.
- •Установление логического значения сложных суждений при помощи таблиц истинности.
- •Упражнения:
- •Тема № 13 "Логика вопросов и ответов". План:
- •Упражнения:
- •Законы логики и логическая культура мысли.
- •Упражнения:
- •Тема №15 "Умозаключение" План:
- •Деление умозаключений по числу посылок, по ходу мысли и достоверности вывода
- •Содержательные и формальные причины ложных выводов.
- •Упражнения:
- •Тема №16 "Непосредственное умозаключения". План:
- •1. Понятие непосредственного вывода. 2. Непосредственные умозаключения по логическому квадрату, умозаключения обращения, превращения и противопоставления.
- •Упражнения:
- •Тема № 17 "Простой категорический силлогизм". План:
- •1. Определение силлогизма как дедуктивного опосредованного вывода. 2. Структура и общие правила силлогизма. 3. Аксиома силлогизма.
- •Упражнения:
- •Тема №18
- •Образование модусов простого силлогизма и проверка их правильности.
- •Правильные модусы силлогизма
- •Упражнения:
- •Тема №19 "Разновидности простого категорического силлогизма" План:
- •1.Сокращенный силлогизм, или энтимема. 2.Сложный силлогизм, или полисиллогизм. 3.Сложно - сокращенные силлогизмы. Сорит и эпихейрема.
- •Структура энтимем:
- •Упражнения:
- •Тема №20 "Условно-категорические умозаключения". План:
- •1.Чисто условный силлогизм. 2. Достоверные и правдоподобные модусы условно-категорического силлогизма.
- •Правдоподобные модусы
- •Упражнения:
- •Тема № 21 "Разделительные силлогизмы". План:
- •Упражнения:
- •Тема № 22 "Условно-разделительные силлогизмы". План:
- •1.Образование условно-разделительных выводов. 2.Дилемма и её разновидности.
- •Упражнения:
- •Тема № 23 "Индуктивные умозаключения". План:
- •1. Понятие недедуктивного вывода. 2. Полная и неполная индукция. Схемы вывода и достоверность обобщения. 3. Основные ошибки индуктивных выводов.
- •Упражнения:
- •Тема № 24 "Научная индукция и ее виды". План:
- •1. Отличие научной индукции от популярной индукции. 2. Основные виды научной индукции.
- •Упражнения:
- •Ошибки и достоверность заключений по аналогии
- •Упражнения:
- •Тема № 26 "Доказательство как логическая основа аргументации". План:
- •1. Определение доказательства и его структура. 2. Виды доказательства. Правила и ошибки.
- •Упражнения:
- •Тема № 27 "Опровержение как вид аргументации". План:
- •1. Определение опровержения и его структура. 2. Виды опровержения. Правила и ошибки.
- •Структура опровержения
- •Упражнения:
- •Тема №28 "Логические ошибки и парадоксы". План:
- •1. Понятие логической ошибки и их виды. Содержательные и формальные ошибки. Софизмы и паралогизмы. 2. Что такое парадокс?
Правила и ошибки явных определений
В процессе определения необходимо соблюдать ряд правил. Нарушение правил называется «ошибкой определения». Тип ошибки согласуется с типом правил. Покажем эту взаимосвязь при помощи следующей таблицы:
Таблица правил и ошибок явного определения.
№ |
Правило |
Ошибка |
Правило1 |
Определение должно быть соразмерным, т. е. объём определяющей части должен быть равен объёму определяемой части. В логическом смысле соразмерное определение является достаточным.Формальное правило: Dfd = Dfn. Пример правильного определения: «Аудитор – ревизор, контролирующий финансовую деятельность компании». |
Ошибка 1 называется «несоразмерность определения», бывает двух видов: а) несоразмерное расширенное определение. Его Dfd < Dfn. Например: «Аудитор – это ревизор». В определяющей части не хватает видовых признаков. б) несоразмерное зауженное определение. Его Dfd > Dfn. Например: «Аудитор – это ревизор, контролирующий кредитную политику компании». Аудитор занимается не только кредитной деятельностью. Его функции не выявлены в полном объёме. Определения а) и б) ошибочны и недостаточны. |
Правило2 |
Определение не должно содержать в себе круга. «Круг» образуется, если Dfd определяется через Dfn, а Dfn, в свою очередь, через Dfd. Мысль замыкается на одном уровне знаний и прироста знаний, ожидаемого при определении, не происходит. Это правило запрещает «появление» Dfd в определяющей части. |
Ошибка 2 называется «круг в определении», «логический круг», «порочный круг». Dfd «проникает» в определяющую часть и получается «масло масляное». По латыни «idem per idem» («то же через то же»). Пример ошибочного определения: «Аудитор – это ревизор, занимающийся аудиторством, а аудиторство – это то, чем занимается аудитор».Частный случай «круга» - тавтология (от греч. то же самое). Например, «флот – это флотилия судов». |
Правило3 |
Определение должно быть ясным, т. е. в нём не должно быть признаков, которые сами нуждаются в определении. |
Ошибка 3 называется «неизвестное через неизвестное», «неясное через ещё более неясное». Например: «Бог – это демиург Вселенной» (само понятие «демиург» может нуждаться в определении). «Верификация документа есть его идентификация». |
Правило4 |
Определение не должно быть только отрицательным. Это правило рекомендательного характера. Отрицательные определения встречаются в науке («точка – это то, что не имеет частей», «информация – это не-материя»). Однако в нём нет признаков, содержащихся в данном понятии, а лишь отсутствующие. |
Ошибка 4 называется «только отрицательное определение». В нашем случае можно определить: «аудитор – это не-врач» и станет ясно, кем он не является. Но по-прежнему останется неясным, кто такой аудитор. |
Итак, правильное определение должно быть достаточным, не содержать в себе простого повтора слов, других неясных понятий, по возможности, положительным.
Науки, как правило, стремятся к изложению своего предмета при помощи явных определений. Однако это возможно не всегда. В том случае, когда это оказывается по каким-либо причинам невозможным или нецелесообразным, прибегают к неявным определениям. Их называют также «приёмами, заменяющими определение» или «приёмами, сходными с определением».