
- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
Виды определений
Разнообразных определений больше, чем различных понятий, поскольку одному понятию можно обычно дать несколько определений. Но так же, как понятия, они могут быть объединены в некоторые группы по общим признакам. Эти группы и называются видами определений.
Все определения делятся на:
1) Номинальные и реальные.
2) Явные и неявные.
Рассмотрим эти виды определений по отдельности.
Номинальные и реальные определения.
Это деление определений связано с нашим отношением к тому понятию, которое определяется. Различие между номинальными и реальными определениями задается вопросмм: имеем ли мы заранее представление о объеме и содержании определяемого понятия или имени, выражающему понятие, впервые приписывается смысл и значение в ходе определения?
Номинальным называется определение, создающее основное содержание понятия, выражаемого вновь вводимым именем.
Таким образом, номинальным является определение, в котором мы пытаемся разъяснить себе или другим значение ранее незнакомого нам имени. Таким образом, в частности создаются многие научные термины.
Пример. Следующее определение из законодательства явно представляет собой номинальное определение: «Коллективные образования как субъекты гражданского права именуются юридическими лицами». Здесь впервые вводится смысл термина «юридическое лицо».
Реальным называется определение такого понятия, о содержании и объеме которого мы имеем представление до этого определения.
Большинство определений, с которыми мы имеем дело в гуманитарных дисциплинах и обыденной жизни, относятся к классу реальных определений. В нашей душе существует некоторое не вполне отчетливое представление об объеме и содержании данного понятия и мы пытаемся выразить это наше представление в более или менее точных терминах.
Пример. Реальное определение понятия «человек» дал Платон. Он, конечно, заранее имел представление о том, что такое человек, и попытался выразить это представление при помощи отчетливых признаков «двуногости» и «беспёрости», позволяющих четко отграничить объем понятия «человек» от всех остальных множеств.
Пример. Реальным было определение термина «понятие», поскольку мы в нем в точных выражениях пытались выразить представление уже имеющееся в нашей душе.
Роль реальных определений в мышлении – прояснить, уточнить уже имеющиеся у нас мысли об объектах.
Явные и неявные определения
Различение этих видов понятий отвечает на вопрос: может ли данное определение быть приведено к форме равенства двух понятий? Это важный вопрос, потому что самые ясные определения возникают тогда, когда мы можем приравнять новое для нас понятие к совокупности других, нам уже известных.
Явным называется определение, которое имеет форму равенства: A=dfB, или может быть приведено к ней.
Явное определение имеет следующую структуру.
а) Равенство в целом называется определением, или если вспомнить латынь, на которой в течение долгих веков описывались основные операции мышления, definitia. Слово «дефиниция» вы сможете встретить и в современных научных текстах. Теперь мы будем знать, что оно означает «определение».
б) Понятие, которому дается определение, называется определяемым понятием.
В данном случае это — понятие A. По-латыни определяемое понятие — definiendum.
в) Понятие, при помощи которого определяется другое понятие, называется определяющим.
В данном случае это — B. По-латыни — definiens.
Большая часть определений, которыми занимается логика, относятся к числу явных. Если вспомнить наше различение реальных и номинальных определений, то можно сказать, что логика в основном занимается реальными явными определениями.
Неявное определение — это определение, которое не имеет формы равенства A =df B, и не может быть приведено к ней.
Различаются два вида неявных определений: аксиоматические и контекстуальные.
Аксиоматическими называются определения, в которых содержание понятий задается системой аксиом, в которых это понятие встречается.
Пример. Содержание понятий «точка», «прямая», «плоскость» в евклидовой геометрии задается аксиомами этой системы геометрии. Правда, сам Евклид пытался определить эти понятия явно, однако эти определения оказались неудовлетворительными.
Контекстуайьным называется определение, в котором некоторый контекст использования определяемого понятия приравнивается к другому контексту, в который определяемое понятие не входит.
Пример. Операция возведения в квадрат в арифметике определяется контекстуально:
а2=аа.
Кроме определений, часто рассматриваются операции, сходные с определением. Из числа этих операций рассмотрим так называемые остенсивные определения.
Остенсивным определением называется прямое указание на предмет, входящий в объем данного понятия.
Название этих определений происходит от латинского слова ostensio — указываю. Остенсивные определения очень важны в нашей жизни. Мы овладеваем языком при помощи остенсивных определений. Значения наших первых слов мы усваиваем из действий старших, показывающих нам вещь и называющих нам ее имя. Согласно Библии Адам именно так давал имена предметам окружающего мира.
Недостаток остенсивных определений состоит в том, что они не фиксируют значения термина отчетливо. Если ребенок как-нибудь спросит нас, что такое лошадь, и мы в ответ покажем на улице лошадь, то вполне возможно, что встретив как-нибудь на улице или в зоопарке осла, ребенок скажет: «Это — лошадь!»
В дальнейшем мы в основном будем иметь дело с явными определениями, потому что именно для них в логике сформулированы ясные правила, да к тому же большинство определений, с которыми мы имеем дело в науке, ораторском искусстве и педагогической практике, относятся к числу явных.
Среди явных определений мы специально рассмотрим родовидовые определения.