Описание — см.: Высказывание дескриптивное.

Ограничение Понятия —  - логическая операция перехода от понятия с большим объемом к понятию с меньшим объемом, от рода к виду. Этот переход осуществляется за счет добавления к содержанию исходного понятия дополнительных признаков, при­надлежащих лишь части предметов,...

Общее Суждение — см.: Суждение.

Определение Генетическое — (от греч. genesis - происхож­дение, источник)  — классическое, или родо-видовое, определе­ние, в котором спецификация определяемого предмета осуще­ствляется путем указания способа его образования, возникнове­ния, получения или построения. Напр.:...

Образец —  — поведение лица или группы лиц, которому надле­жит следовать. О. принципиально отличается от примера: пример говорит о том, что есть в действительности, и используется для поддержки описательных утверждений; О. говорит о том, что дол­жно быть, и...

Обозначения Отношение —  - отношение между именем и его денотатом, т. е. объектом, к которому относится имя; то же, что и отношение именования. О. о. является одним из фундамен­тальных отношений семантического анализа. Теория О. о. базиру­ется на следующих принципах: 1)...

Определение Аксиоматическое —  - неявное определение понятия путем указания множества аксиом, в которые оно вхо­дит наряду с другими понятиями. Аксиома представляет собой ут­верждение, принимаемое без доказательства. Совокупность акси­ом какой-то теории является одновременно и...

Оператор — (от лат. operator — действующий)  — одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные. Примером...

Норма — см.: Нормативное высказывание.

Определение Классическое — или: Определение через род и видовое отличие,  - определение, в котором пред­меты определяемого понятия вводятся в объем более широкого понятия и при этом с помощью отличительных признаков (видо­вое отличие) выделяются среди предметов этого более...