Веб-бібліотека - головна сторінка


СМЕШАННАЯ ЭКОНОМИЧЕСКАЯ СИСТЕМА - способ организации экономической жизни, при котором земля и капитал находятся в частной собственности, а распределение ограниченных ресу...
АНАКСАГОР (500-428 до н.э.) - древнегреческий (из Клазомен) философ, математик и астроном, около 30 лет прожил в Афинах, фактический основоположник афинской философ...
ИБН СИНА (ок. 980-1037) - среднеазиатский ученый, философ и врач. Жил в Бухаре и Иране. Оставаясь приверженцем ислама, он сыграл большую роль в распространении...
СИНЕРГОДИАГНОСТИКА - группа методов обследования синергокомплекса путем сопоставления полученных данных БФО с критериям и категориями классификторов. С. м...
ДЕЦЕНТРАЛИЗАЦИЯ - противоположность централизация, составляющая с ней дуальную оппозицию, полюса которой находятся друг с другом в состоянии амбивален...
МАТЕРИАЛИЗМ - Спонтанно замаскированная под реализм разновидность идеализма, основанная либо на онтологизации субъективных ощущений (I), либо на онтол...
МАТЕРИЯ - (лат. materia - вещество) - философская категория, которая в материалистической традиции обозначает субстанцию, обладающую статусом перв...

ОПЕРАТОР

(от лат. operator - действующий)
- одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные.
Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как "тот х, который". Вместе с предикатом, скажем, "тяжелый" оно дает выражение "Тот х, который является тяжелым".
Особое значение среди О. имеют кванторы: "для всех х" - квантор общности и "существует х такой, что" - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание.
Пусть в выражении "х > 5" переменная х представляет действительные числа. Применив к этому выражению квантор общности, получаем ложное высказывание: "Для каждого такого числа верно, что оно больше пяти". Применив к этому же выражению квантор существования, получаем истинное высказывание: "Существует такое действительное число, которое больше пяти".