ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК

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

ОБЪЯСНЕНИЕ

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

ОГРАНИЧЕНИЕ ПОНЯТИЯ

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

ОМОНИМИЯ (от греч. homos — одинаковый, опута — имя)

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

ОПЕРАТОР (от лат. operator — действующий)

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

Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как «тот х, ко­торый». Вместе с предикатом, скажем, «тяжелый» оно дает выра­жение «Тот х, который является тяжелым».

Особое значение среди О. имеют кванторы: «для всех х» - кван­тор общности и «существует х такой, что» - квантор существова­ния. Связывание кванторами переменных в предикате дает истин­ное или ложное высказывание.

Пусть в выражении «х > 5» переменная х представляет действи­тельные числа. Применив к этому выражению квантор общности, получаем ложное высказывание: «Для каждого такого числа вер­но, что оно больше пяти». Применив к этому же выражению кван­тор существования, получаем истинное высказывание: «Существу­ет такое действительное число, которое больше пяти».

ОПРЕДЕЛЕНИЕ (лат. definitio)— логическая операция, раскры­вающая содержание понятия. Напр., обычное О. термометра ука­зывает, что это, во-первых, прибор и, во-вторых, именно тот, с помощью которого измеряется температура. О. понятия «термин» говорит, что это слово или сочетание слов, имеющее точное зна­чение и применяемое в науке, технике или искусстве. Важность О. подчеркивал еще Сократ, говоривший, что он продолжает дело своей матери, акушерки, и помогает родиться истине в споре. Анализируя вместе со своими оппонентами различные случаи упот­ребления конкретного понятия, он стремился прийти в конце концов к его прояснению и О.

О. решает две задачи. Оно отличает и отграничивает определяемый предмет от всех иных: приведенное О. термометра позволяет однозначно отграничить термометры от всех предме­тов, не являющихся приборами, и отделить термометры по при­сущим только им признакам от всех иных приборов. Далее, О. раскрывает сущность определяемых предметов, указывает те основные признаки, без которых они не способны существо­вать и от которых в значительной мере зависят все иные их при­знаки.