Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

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

Обозначения Отношение — отношение между именем и его денотатом, т. е. объектом, к которому относится имя; то же, что и отношение именования.

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

Обоснование Оценок — приведение доводов (аргументов) в поддержку высказываемых оценок с намерением убедить аудиторию в их приемлемости.

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

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

Общее Понятие — см.: Понятие.

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

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

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

Объектный (Предметный) Язык — язык, выражения которого относятся к некоторой области объектов, их свойств и отношений.

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

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

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

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

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

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

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

Описательно-Оценочное Высказывание — см.: Высказывание дескриптивное, Оценочное высказывание.

Определение — (лат. definitio) — логическая операция, раскрывающая содержание понятия.

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

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

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

Определение Неявное — определение, не имеющее формы равенства двух понятий. К О. н. относятся определение контекстуальное, определение остенсивное, определение аксиоматическое и др. О. н. противопоставляется определению явному, приравнивающему, или отождествляющему, два понятия.

Определение Номинальное — определение, выражающее требование, как должно употребляться вводимое понятие, к каким объектам оно должно применяться.

Определение Операциональное — определение физических величин (длины, массы, силы и др.) через описание совокупности специфицирующих их экспериментально-измерительных операций.

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

Определение Реальное — определение, дающее описание каких-то объектов. О. р. противопоставляется определению номинальному, выражающему требование (предписание, норму), каким должны быть рассматриваемые объекты.

Определение Явное — определение, имеющее форму равенства двух понятий.

Опровержение — рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности или недосказанности.

Осмысленность — наличие смысла, в противоположность бессмысленности — отсутствию смысла.

Основание И Следствие — части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого.

Отношение Включения Класса в Класс — см.: Множеств теория.

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

Отношение Принадлежности Элемента Классу (Множеству) — см.: Множеств теория.

Отношение Рефлексивное — бинарное (двухместное) отношение R, определенное на некотором множестве и отличающееся тем, что для любого х некоторого множества элемент х находится в отношении R к самому себе, т. е. для любого элемента х этого множества имеет место xRx.

Отношение Симметричное — бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R(xRy), следует, что и у находится в том же отношении к х(у Rx).

Отношение Функциональное (Однозначное) — бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что каждому значению у отношения xRy соответствует лишь одноединственное значение х.

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

Отрицательное Высказывание — см.: Отрицание.

Оценка — см.: Оценочное высказывание.

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

Оценочная Модальность — см.: Аксиологическая модальность.

Оценочное Высказывание — высказывание, устанавливающее абсолютную или сравнительную ценность какого-то объекта, дающее ему оценку.

Ошибка Логическая — нарушения к.л. законов, правил и схем логики.