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

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

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

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

Номологическое Высказывание — (от греч. nomos - за­кон, logos — учение, понятие)  — высказывание, выражающее за­кон природы. В логике научного познания проблема Н. в. связана с попытками сформулировать формально-логические критерии, позволяющие отличать Н.в. от случайно истинных...

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

Нормальное Множество — см.: Противоречие в явном определении.

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

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

Описание Состояния — (англ. state description)  — термин, вве­денный австрийским логиком Р. Карнапом для обозначения од­ного из возможных распределений истинностных значений ато­марных высказываний некоторого языка. Рассмотрим, напр., сложное конъюнктивное высказывание...