Определение понятий.
ОПРЕДЕЛЕНИЕ ПОНЯТИЯ (дефиниция) – логическая операция, раскрыв-я содержание понятия, т. е. выделить, отличить объект от других объектов.
Понятие, содержание которого надо раскрыть, называют определяемым (дефиниендум, Dfd); понятие, раскрывающее содержание определяемого понятия – определяющим (дефиниенс, Dfn).
ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ – определение, в ходе которого реальный или абстрактный предмет выделяется из группы других предметов по некоторым отличительным признакам.
ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ – определение, с помощью которого формулируется значение некоторого знакового выражения (термина).
ОПРЕДЕЛЕНИЕ ЯВНОЕ – определение, при котором устанавливается некоторое отношение равенства, тождественности между определяемым и определяющим понятиями (через ближайший род и видовое отличие, генетическое, операциональное).
ОПРЕДЕЛЕНИЕ ЧЕРЕЗ БЛИЖАЙШИЙ РОД И ВИДОВОЕ ОТЛИЧИЕ – определение, при котором устанавливаются сначала признаки, позволяющие отнести тот или иной объект (класс объектов) к некоторому родовому понятию, а затем указать его специфические признаки (видовые отличия).
ОПРЕДЕЛЕНИЕ ГЕНЕТИЧЕСКОЕ – определение, где в качестве специфических отличительных признаков выступает способ происхождения или образования, конструирования предмета.
ОПЕРАЦИОНАЛЬНОЕ ОПРЕДЕЛЕНИЕ – определение, при котором предмет может выделяться с помощью указания каких-либо операций, дающих возможность отличить его от других предметов.
ОПРЕДЕЛЕНИЕ НЕЯВНОЕ – определение, где место определяющего понятия заменяет контекст (контекстуальное определение), набор аксиом (аксиоматическое определение) или где определяемый термин используется в выражении понятия, которое ему приписывается в качестве его же смысла (индуктивное определение ).
ОПРЕДЕЛЕНИЕ ОСТЕНСИВНОЕ (ДЕМОНСТРАЦИЯ) – определение значения слов или словосочетаний, соответствующих тем или иным предметам, свойствам, отношениям, действиям и т. п. путем их непосредственного показа. Правила определения:
1. Определение должно быть соразмерным (Dfd = Dfn).
2. Определение не должно заключать в себе круг. Возможна ошибка: «круг в определении».
3. Определение должно быть ясным. Нарушение этого правила ведет к логической ошибке, которая называется «определение неизвестного через неизвестное».
СРАВНЕНИЕ – прием, состоящий в указании чего-то существенно общего у предметов, о которых идет речь, и у других предметов, которые берутся для сопоставления.
ОПИСАНИЕ – прием, с помощью которого путем перечисления внешних черт предмета отличают его от других предметов.
ХАРАКТЕРИСТИКА – прием, при котором перечисляются лишь некоторые внутренние, существенные черты человека, явления, предмета.
10.Правила определения понятий.
11.Ограничение понятий.
12.Обобщение понятий.
13.Операции с классами (объемами понятий).
14.Суждение как форма мышления.
15.Деление суждений по качеству и количеству.
16.Распределенность терминов в суждении.
17.Отношения между суждениями по истинности (логический квадрат).
Сложные суждения.
СЛОЖНОЕ СУЖДЕНИЕ – суждение, состоящее из двух или более простых суждений, соединенных с помощью логических союзов «и», «или», «если..., то...», и т.п. Различают следующие виды сложных суждений: конъюнкция, дизъюнкция(слабая, неисключающая и сильная, исключающая), импликация, эквиваленция.
СОЕДИНИТЕЛЬНОЕ СУЖДЕНИЕ (КОНЪЮНКЦИЯ) – сложное суждение, в котором простые суждения связаны между собой логическим союзом «и» (обозначается символом «Ù»), называемым конъюнкцией. Форма конъюнктивного суждения: р Ù q.
РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ (ДИЗЪЮНКЦИЯ) – сложное суждение, в котором простые суждения связаны между собой логическим союзом «или», который допускает выбор хотя бы одного из двух (или более) возможных вариантов (нестрогая дизъюнкция), или же союзом «либо..., либо...» («или..., или...»), допускающим лишь один вариант из двух (или более) возможных (строгая дизъюнкция). Форма нестрогой дизъюнкции: p Ú q, а форма строгой дизъюнкции: р Ú q.
УСЛОВНОЕ СУЖДЕНИЕ (ИМПЛИКАЦИЯ) – сложное суждение, в котором простые суждения связаны логическим союзом «если..., то...», обуславливающим наличие некоторой ситуации наличием другой. При этом суждение, стоящее после слова «если», называют основанием, а второе суждение называют следствием. Форма условного суждения: р → q.
СУЖДЕНИЕ ЭКВИВАЛЕНТНОСТИ – сложное суждение, где связь между простыми суждениями осуществляется с помощью логического союза «если и только если..., то...» («тогда и только тогда, когда...»). В этом суждении утверждается одновременное наличие или отсутствие двух ситуаций. Форма такого суждения: р ↔ q.
СУЖДЕНИЕ С ВНЕШНИМ ОТРИЦАНИЕМ – суждение, в котором указывается на отсутствие некоторой ситуации, о существовании которой могла идти речь раньше. Это суждение выражается предложением, начинающимся словами: «Неверно, что...». Форма такого суждения, например: ┐(р Ú р Ù q).
ТАБЛИЦА ИСТИННОСТИ – таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав.
