Рассуждение – последовательность связанных по определенным правилам мыслей, процесс рождения новых мыслей или обоснования уже известных.
Логика – теория рассуждений и их элементов, которая отличает правильные рассуждения от неправильных на основании только их формы.
Понятие – мысль, которая обобщает объекты некоторого множества и выделяет это множество по отличительному для него признаку.
Множество – мыслимые вместе объекты.
Объект – это предмет, свойство или множество.
Предмет – то, что может иметь свойства или вступать в отношения, но само не является свойством или отношением.
Признак – наличие или отсутствие свойства или отношения. Признак является отличительным для данного множества, если он присущ только объектам данного множества и не присущ никаким другим объектам.
Объём понятия – множество объектов, выделяемых и обобщаемых в понятии.
Содержание понятия - признак, при помощи которого выделяются и обобщаются предметы интересующего нас множества.
Признак, достаточный для того, чтобы выделить интересующее нас множество объектов из всех остальных объектов, называется основным содержанием понятия.
Существенный признак – признак, без которого немыслимо данное понятие.
Отличительный признак – признак, присущий только объектам, входящим в объём данного понятия.
Равнозначными называют понятия, объёмы которых состоят из одних и тех же элементов.
Отношения между понятиями
Пересечение – логическая операция, позволяющая выделить множество элементов, которые одновременно входят в А и В
Объединение – логическая операция, позволяющая из исходных множеств образовывать новые.
Обобщение – логическая операция, состоящая в переходе от некоторого понятия А к другому понятию В, при этом объём понятия А оказывается частью объёма понятия В.
Правила определения понятий
1. Соразмерность. В правильном определении объёмы определяемого и определяющего понятий должны совпадать, т.е. определяемое и определяющее понятия должны быть равнозначными.
2. Запрет круга. Определение не должно содержать в себе круга.
3. Отсутствие отрицания.
4. Ясность.