ОБОЗНАЧЕНИЯ ОТНОШЕНИЕ

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

1) однозначности: каждое имя обозначает только один объект;

2) предметности: пред­ложение говорит о предметах, обозначенных входящими в пред­ложение именами;

3) взаимозаменимости: если два имени обозначают один и тот же предмет, то истинностное значение пред­ложения не изменится, если одно из этих имен заменить другим.

Казалось бы, эти принципы являются совершенно естествен­ными, однако их последовательное проведение встречает значи­тельные трудности. Во-первых, в неэкстенсиональных кон­текстах нарушается принцип взаимозаменимости, напр. предло­жение «Н. не знал, что Пушкин был автором «Евгения Онегина»» может быть истинным, но едва ли его можно заменить предложе­нием «Н. не знал, что Пушкин был Пушкиным». Во-вторых, воз­никают проблемы, связанные с использованием пустых имен, таких, как «Пегас», «Зевс» и т. п. Напр., два предложения «Круг­лый квадрат кругл» и «Круглый квадрат не кругл» являются ис­тинными, хотя и противоречат друг другу, следовательно, нару­шается закон противоречия. В-третьих, встают проблемы, свя­занные с использованием единичных отрицательных высказываний существования, напр.: «Не существует простого числа между 7 и 11». Из утвердительного единичного высказывания следует выс­казывание существования, напр. из высказывания «Дунай — евро­пейская река» следует «Существует такой х, что х — европейская река». Однако если мы возьмем высказывание «Пегас не суще­ствует», то из него будет следовать «Существует такой х, который не существует». И наконец, четвертая группа проблем, возника­ющая в связи с принципами О.о., относится к анализу утвержде­ний тождества: как отличить высказывания «а = а» и «а=b»?

Решение перечисленных проблем дает мощный стимул разви­тию логической семантики.

ОБОСНОВАНИЕ — процедура проведения тех убедительных ар­гументов, или доводов, в силу которых следует принять к.-л. ут­верждение или концепцию. О. является, как правило, сложным процессом, не сводимым к построению отдельного умозаключения или проведению одноактной эмпирической проверки. О. обыч­но включает целую серию мыслительных действий, касающихся не только рассматриваемого положения, но и той системы утвер­ждений, той теории, составным элементом которой оно является.

ОБРАЩЕНИЕ (лат. conversio)

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

S есть Р.

Р есть S.

Напр., из суждения «Птицы есть позвоночные» мы путем О. полу­чаем вывод «Позвоночные есть птицы». Общеутвердительные суж­дения «Все S есть Р» (типа A) обращаются в частноутвердительные «Некоторые Р есть S» (типа I), напр., суждение «Все рыбы дышат жабрами» обращается в суждение «Некоторые дышащие жабрами есть рыбы»; общеотрицательные суждения «Ни одно S не есть Р» (типа Е) обращаются в общеотрицательные «Ни одно Р не есть S» (типа Е), напр., суждение «Ни один кит не является рыбой» обращается в суждение «Ни одна рыба не есть кит»; частноутвердительные суждения «Некоторые S есть P» (типа I) обра­щаются в частноутвердительные «Некоторые Р есть S», напр., суждение «Некоторые металлы — жидкости» обращается в сужде­ние «Некоторые жидкости — металлы»; наконец, из частноотрицательного суждения нельзя сделать вывод путем О.

ОБЪЕДИНЕНИЕ (СЛОЖЕНИЕ) КЛАССОВ (МНОЖЕСТВ)

- логи­ческая операция, позволяющая из исходных классов образовы­вать новый класс (множество), в который войдут все элементы каждого из исходных классов. Так, в результате О. к. спортсменов (А) и класса студентов (В) мы получим класс людей, состоящий

из студентов, не являющихся спортсменами, из спортсменов, не являющихся студентами, и из тех людей, которые одновременно являются и студентами, и спортсменами. Вся заштрихованная по­верхность рисунка будет представлять собой О. к. студентов и спорт­сменов. Символически полученный результат объединения запи­сывают в виде выражения A ¥ В (см.: Круги Эйлера).

ОБЪЕКТИВНОСТЬ — независимость от человеческого сознания, от воли и желаний людей, от их субъективных вкусов и пристрастий. Свойством О. обладает внешний по отношению к сознанию мир, который является причиной самого себя и развивается в силу при­сущих ему законов, порождая на определенной ступени своего развития человека и человеческое сознание, представляющее со­бой отображение объективного мира.

Не нашли, что искали? Воспользуйтесь поиском: