- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
Глава 7
Определение
7.1.Определение и приемы, сходные
ñопределением
Определение
Определение, или дефиниция (от лат. definitio), — это логическая операция, заклю- чающаяся в придании точного смысла языковому выражению.
Цель определения — уточнить содержание используемых понятий. Задача определения — выделить систему признаков, общую и отличительную для предметов, обозначаемых термином.
Логическими элементами определения являются:
1)определяемое понятие (definiendum) — то, что определяется;
2)определяющее понятие (definiens) — то, посредством чего определяются существенные признаки определяемого понятия.
Приемы, сходные с определением
В тех случаях, когда полностью и однозначно задать смысл термина по тем или иным причинам невозможно, т.е. когда нельзя дать определение, пользуются приемами, сходными с определением. К этим приемам относятся указание (остенсивное определение), описание, характеристика, сравнение.
1.Остенсивное определение (от лат. ostensio — показывание) — это разъяснение слов или словосочетаний путем непосредственного указывания на предметы, явления или процессы, обозначаемые этими словами или словосочетаниями.
Посредством главным образом остенсивных определений происходит усвоение маленьким ребенком значений большинства терминов. Остенсивные определения широко используются в процессе обучения иностранным языкам.
2.Описание заключается в перечислении некоторых внешних признаков предметов, по которым эти предметы можно обнаружить и отличить. Этот прием применяется на эмпирическом уровне познания, когда выявляются свойства предметов, изучаемых наукой.
3.Характеристика – прием более близкий к настощему определению, чем описание. При характеристике указываются отличительные, существенные в ка- ком-либо отношении признаки, но не ставится цель отличить, отграничить характеризующий предмет от других предметов.
П р и м е р. «Серебро — драгоценный металл».
4.Сравнение состоит в указании некоторых общих черт предметов данного класса
ñдругими предметами и, возможно, указании отличия первых от последних. Сравнение является косвенной характеристикой, поскольку указывает на ка-
кие-то существенные черты предметов через уподобление их другим предметам, в которых эти черты наиболее ярко выражены.
П р и м е р. «Ирония — та щепотка соли, без которой всякое блюдо вообще несъедобно» (Гете).
90 |
II. Понятие |
|
|
7.2. Виды определений (номинальные и реальные определения)
Определения в зависимости от функции, которую они выполняют в познании, делятся на номинальные и реальные.
Определения
Номинальные
Это соглашение относительно смысла и способа употребления определяемого понятия (термина).
Номинальным (от лат. nominalis касающийся имени, именной) называется определение, объясняющее зна- чение слова, имени или термина, обозначающего конкретное понятие.
Иными словами, если определяется термин, обозначающий понятие, то такое определение будет номинальным.
П р и м е р. «Электролитами называются вещества, растворы которых проводят электрический ток».
Реальные
Это указание на существенные, отличительные признаки класса предметов, обозначаемого выражением языка.
Реальным (от лат. realis – вещественный, предмет, вещь) называется определение, раскрывающее сущность или отличительные особенности определяемого понятия. Иными словами, если определяется понятие, то такое определение будет реальным.
П р и м е р. «Правосудие есть деятельность суда, состоящая в разбирательстве и разрешении уголовных и гражданских дел».
Различие
Отличие между реальным и номинальным определением основывается на различии между описанием и предписанием.
Описать предмет — это значит указать на те признаки, которые ему присущи. Описание, адекватное предмету, будет истинным, не адекватное – ложным. Реальное определение является истинным или ложным, как и всякое описательное высказывание.
Иначе обстоит дело с предписанием. Если описание говорит о том, каким является предмет, то предписание указывает, каким он должен быть. Номинальное определение, как и всякое предписание, не имеет истинностного зна- чения. Однако те и другие определения могут быть правильными и неправильными. Это зависит от соблюдения правил определения П р и м е р. «Ведро наполнено водой» — описание, и оно может быть либо
истинным, либо ложным. «Наполните ведро водой» — предписание, и его нельзя отнести ни к истинным, ни к ложным.
7. Определение |
91 |
|
|
7.3. Явные и неявные определения
По форме определения делятся на явные и неявные.
Явные определения
Явными называются определения, которые имеют форму «А есть В» или «А, если и только если В», где А — определяемое выражение, а В — определяющее. Определяемое выражение называется дефиниендумом (от лат. definiendum, сокращенно: Dfd), а определяющее — дефиниенсом (от лат. definiens, сокращенно: Dfn).
Явные определения имеют вид:
Dfd = df Dfn,
где Dfd — определяемое;
df = — равенство по определению; Dfn — определяющее.
П р и м е р. В определении «Барометр — это прибор для измерения атмосферного давления» «барометр» — определяемое, «— это» – выражение, устанавливающее равенство по определению, все остальное – определяющее.
Виды явных определений. Среди явных определений прежде всего выделяют родо-видовые определения.
Родо-видовые определения — это такие определения, где определяющая часть начинается с указания родового признака определяемых предметов. Родовой признак присущ более широкому, чем определяемый признак, классу предметов.
Êродо-видовым относят определения:
• атрибутивные;
• генетические;
• операциональные.
Êдругим видам родо-видовых дефиниций относятся:
• определения через перечисление;
• определения через абстракцию.
Неявные определения
Неявные определения — это определения, которые не имеют формы равенства:
Dfd df Dfn.
В неявных определениях определяемое и определяющее не имеют четких различий, т.е. нельзя достаточно отчетливо выделить определяемую и определяющую части.
Виды неявных определений. Неявные определения делятся на следующие виды:
•контекстуальные;
•индуктивные;
•рекурсивные;
•аксиоматические.
92 |
II. Понятие |
|
|
7.4. Виды явных определений
Рассмотрим более подробно родо-видовые определения. К ним относятся все определения, которые строятся с использованием универсалий хР(х). Универсалия трактуется как выражение, указывающее на род и видовое отличие, — «предмет х из рода U, такой, что Р(х)».
То множество, из которого происходит выделение подмножества, называется родом, а выделяющие условия носят название видового отличия. Другими словами, видовым отличием называется признак Р(х), при помощи которого из данного рода выделяется некоторый его вид.
Родо-видовые определения по характеру видового отличия подразделяются на несколько типов.
1. Атрибутивно-реляционные определения. В них видовыми отличиями являются качества и свойства, присущие предметам самим по себе (атрибуты),
àтакже отношения предметов к другим предметам (реляции).
Ïр и м е р. Квадрат – это ромб с прямыми углами.
Ромб — родовой признак, прямоугольный — видовое отличие.
2. Генетические определения. Здесь в качестве видового отличия выступает
способ происхождения, образования предметов.
Ïр и м е р. Квадрат — это ромб, получаемый взаимно перпендикулярной
установкой его смежных сторон. Ромб — родовой признак, а видовое отличие указывает на процедуру построения квадрата из ромба.
3. Операциональные определения. В них признак Р(х) указывает на действие (операцию), с помощью которого можно распознать определяемый предмет из рода U. В отличие от генетических определений, они описывают операцию отли- чения предмета и не указывают на происхождение, способ создания предмета.
Ïр и м е р. Квадрат – это такой ромб, что если к любой из его сторон приложить основание транспортира, совместив точку << 0 >> с вершиной,
то примыкающая к ней сторона соединит точку << 0 >> и отметку на шкале
<< 90° >>.
Среди других разновидностей родо-видовых дефиниций выделяют следующие.
4. Определения через перечисление (перечислительные определения). В них в определяющей части просто перечисляются те предметы, которые подпадают под определяемое понятие.
Ïр и м е р. Соучастник преступления — это организатор, исполнитель, пособ-
ник и подстрекатель.
5. Определения через абстракцию. В них содержатся указания особого рода отношений (типа равенства). Такое равенство указывает на то, что предметы (будучи разными) обладают одинаковой величиной какой-то своей характеристики. Последняя представляет собой то общее у предметов, что делает их равными друг другу в конкретной (определенной) ситуации.
Ïр и м е р. Вес — это общее, что есть у всех материальных предметов, когда они уравновешивают чаши весов.
Форма — это то общее, что есть у всех материальных предметов.