автордың кітабынан сөз тіркестері  Логика

А.И. Мигунов, Б.И. Федоров, И.Б. Микиртумов

Аристотель показал, что единичным предметам нельзя дать определения

Форма классического определения такова:

А есть ВС или А = ВС,

где А — определяемое понятие; В — ближайшее родовое понятие; С — видовой признак. Например

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

Определение — логическая операция, раскрывающая содержание понятия путем перечисления его родового и видовых признаков. Такое

Закон обратного соотношения между объемом и содержанием понятий гласит: увеличение объема приводит к уменьшению содержания, и наоборот

Сравнимыми назовем понятия, имеющие хотя бы один общий признак, например «студент» и «школьник». Несравнимые понятия — это те, которые такого общего признака не имеют, например «студент» и «треугольность»

Но собирательные понятия не могут быть включены в силлогистическое доказательство, поскольку их использование одновременно с разделительным употреблением понятия приведет к ошибке, например: Советский народ выиграл Великую Отечественную войну. Я — представитель советского народа. Следовательно, я выиграл Великую Отечественную войну

В разделительных понятиях признак относится к каждому элементу множества предметов: дом, театр, справедливость, число

Разделительное понятие всегда общее, собирательное понятие всегда единичное по объему. Например

Предложение А есть А утверждает, что сущность предмета есть именно его сущность. Предложение А есть В означает, что сущность предмета А есть то, что он В (Человек — разумное существо), либо А обладает свойством В (Сократ — грек).