Отношения между объемами понятий.

Определение понятий.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ (дефиниция) – логическая операция, раскрыв-я содержание понятия, т. е. выделить, отличить объект от других объектов.

Понятие, содержание которого надо раскрыть, называют определяемым (дефиниендум, Dfd); понятие, раскрывающее содержание определяемого понятия – определяющим (дефиниенс, Dfn).

ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ – определение, в ходе которого реальный или абстрактный предмет выделяется из группы других предметов по некоторым отличительным признакам.

ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ – определение, с помощью которого формулируется значение некоторого знакового выражения (термина).

ОПРЕДЕЛЕНИЕ ЯВНОЕ – определение, при котором устанавливается некоторое отношение равенства, тождественности между определяемым и определяющим понятиями (через ближайший род и видовое отличие, генетическое, операциональное).

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ БЛИЖАЙШИЙ РОД И ВИДОВОЕ ОТЛИЧИЕ – определение, при котором устанавливаются сначала признаки, позволяющие отнести тот или иной объект (класс объектов) к некоторому родовому понятию, а затем указать его специфические признаки (видовые отличия).

ОПРЕДЕЛЕНИЕ ГЕНЕТИЧЕСКОЕ – определение, где в качестве специфических отличительных признаков выступает способ происхождения или образования, конструирования предмета.

ОПЕРАЦИОНАЛЬНОЕ ОПРЕДЕЛЕНИЕ – определение, при котором предмет может выделяться с помощью указания каких-либо операций, дающих возможность отличить его от других предметов.

ОПРЕДЕЛЕНИЕ НЕЯВНОЕ – определение, где место определяющего понятия заменяет контекст (контекстуальное определение), набор аксиом (аксиоматическое определение) или где определяемый термин используется в выражении понятия, которое ему приписывается в качестве его же смысла (индуктивное определение).

ОПРЕДЕЛЕНИЕ ОСТЕНСИВНОЕ (ДЕМОНСТРАЦИЯ) – определение значения слов или словосочетаний, соответствующих тем или иным предметам, свойствам, отношениям, действиям и т. п. путем их непосредственного показа. Правила определения:

1. Определение должно быть соразмерным (Dfd = Dfn).

2. Определение не должно заключать в себе круг. Возможна ошибка: «круг в определении».

3. Определение должно быть ясным. Нарушение этого правила ведет к логической ошибке, которая называется «определение неизвестного через неизвестное».

СРАВНЕНИЕ – прием, состоящий в указании чего-то существенно общего у предметов, о которых идет речь, и у других предметов, которые берутся для сопоставления.

ОПИСАНИЕ – прием, с помощью которого путем перечисления внешних черт предмета отличают его от других предметов.

ХАРАКТЕРИСТИКА – прием, при котором перечисляются лишь некоторые внутренние, существенные черты человека, явления, предмета.

10.Правила определения понятий.

11.Ограничение понятий.

12.Обобщение понятий.

13.Операции с классами (объемами понятий).

14.Суждение как форма мышления.

15.Деление суждений по качеству и количеству.

16.Распределенность терминов в суждении.

17.Отношения между суждениями по истинности (логический квадрат).

Сложные суждения.

СЛОЖНОЕ СУЖДЕНИЕ – суждение, состоящее из двух или более простых суждений, соединенных с помощью логических союзов «и», «или», «если..., то...», и т.п. Различают следующие виды сложных суждений: конъюнкция, дизъюнкция(слабая, неисключающая и сильная, исключающая), импликация, эквиваленция.

СОЕДИНИТЕЛЬНОЕ СУЖДЕНИЕ (КОНЪЮНКЦИЯ) – сложное суждение, в котором простые суждения связаны между собой логическим союзом «и» (обозначается символом «Ù»), называемым конъюнкцией. Форма конъюнктивного суждения: р Ù q.

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ (ДИЗЪЮНКЦИЯ) – сложное суждение, в котором простые суждения связаны между собой логическим союзом «или», который допускает выбор хотя бы одного из двух (или более ) возможных вариантов (нестрогая дизъюнкция), или же союзом «либо..., либо...» («или..., или...»), допускающим лишь один вариант из двух (или более) возможных (строгая дизъюнкция). Форма нестрогой дизъюнкции: p Ú q, а форма строгой дизъюнкции: р Ú q.

УСЛОВНОЕ СУЖДЕНИЕ (ИМПЛИКАЦИЯ) – сложное суждение, в котором простые суждения связаны логическим союзом «если..., то...», обуславливающим наличие некоторой ситуации наличием другой. При этом суждение, стоящее после слова «если», называют основанием, а второе суждение называют следствием. Форма условного суждения: р → q.

СУЖДЕНИЕ ЭКВИВАЛЕНТНОСТИ – сложное суждение, где связь между простыми суждениями осуществляется с помощью логического союза «если и только если..., то...» («тогда и только тогда, когда...»). В этом суждении утверждается одновременное наличие или отсутствие двух ситуаций. Форма такого суждения: р ↔ q.

СУЖДЕНИЕ С ВНЕШНИМ ОТРИЦАНИЕМ – суждение, в котором указывается на отсутствие некоторой ситуации, о существовании которой могла идти речь раньше. Это суждение выражается предложением, начинающимся словами: «Неверно, что...». Форма такого суждения, например: ┐(р Ú р Ù q).

ТАБЛИЦА ИСТИННОСТИ – таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав.