Словарь Логики

Определение Номинальное — определение, выражаю­щее требование, как должно употребляться вводимое понятие, к каким объектам оно должно применяться. О. н. противопостав­ляется определению реальному, представляющему собой описа­ние определяемых объектов. Различие между этими двумя типа­ми определений...
Определение Операциональное - определение физи­ческих величин (длины, массы, силы и др.) через описание совокупности специфицирующих их экспериментально-изме­рительных операций, напр.: «Сила есть физическая величина, пропорциональная растяжению пружины в пружинных весах». Иногда О. о. формулируются...
Определение Остенсивное(от лат. ostentus - показыва­ние, выставление напоказ)  — неявное определение, раскрываю­щее содержание понятия путем непосредственного показа, озна­комления обучаемого с предметами, действиями и ситуациями, обозначаемыми данным понятием. Напр., затрудняясь определить, что...
Определение Реальное — определение, дающее описание каких-то объектов. О. р. противопоставляется определению номиналь­ному, выражающему требование (предписание, норму), каким должны быть рассматриваемые объекты. Различие между О. р. и определением номинальным опирается на различие между опи­санием...
Определение Явное - определение, имеющее форму ра­венства двух понятий. Напр.: «Манометр - это прибор для изме­рения давления» или «Графомания — это болезненное пристрас­тие к писанию, к многословному, пустому, бесполезному сочи­нительству». В О. я. отождествляются, приравниваются друг к другу два...
Опровержение — рассуждение, направленное против выдви­нутого тезиса и имеющее своей целью установление его ложности или недосказанности. Наиболее распространенный прием О. — выведение из опровергаемого утверждения следствий, противо­речащих истине. Если хотя бы одно следствие какого-то положе­ния...
Осмысленность - наличие смысла, в противоположность бессмысленности — отсутствию смысла. Традиционно важной все­гда считалась дихотомия истина - ложь и основной пробле­мой — проблема отличения истинных предложений от ложных. Однако в начале XX в. на первый план выдвинулась еще более фундаментальная...
Основание И Следствие - части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Ус­ловное высказывание обычно формулируется с помощью связки «если..., то...». Высказывание, идущее после слова «если»,...
Отношение(в логике) отождествляется с многоместным предикатом.  Предикаты подразделяются на одноместные, соот­ветствующие свойствам предметов, и многоместные (двухмест­ные, трехместные и вообще п-местные, где п ≥ 2), соответству­ющие О. При этом предикаты записываются в виде пропозици­...
Отношение Включения Класса В Класссм.: Множеств теория.
Отношение Нерефлексивное(иррефлексивное)  - двух­местное отношение R, определенное на некотором множестве, такое, что для любого элемента х этого множества неверно, что оно находится в отношении R к самому себе (неверно, что xRx), т. е. возможен случай, что элемент множества не находится в отно­...
Отношение Принадлежности Элемента Классу (множе­ству)см.: Множеств теория.
Отношение Рефлексивное - бинарное (двухместное) от­ношение R, определенное на некотором множестве и отличаю­щееся тем, что для любого х некоторого множества элемент х на­ходится в отношении R к самому себе, т. е. для любого элемента х этого множества имеет место xRx. Примерами О. р. могут быть:...
Отношение Симметричное - бинарное (двухместное) отношение R, определенное на некотором множестве и характе­ризующееся тем, что для любых элементов х и у этого множества из того, что х находится к у в отношении R(xRy), следует, что и у находится в том же отношении к х(у Rx). Примером О. с. может...
Отношение Типа Равенства - двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме рефлексивности: xRx (предмет находится в отношении R к само­му себе) (см.: Отношение рефлексивное); 2) аксиоме симметрич­ности:...
Отношение Транзитивное - двухместное отношение R, оп­ределенное на некотором множестве, характеризующееся тем, что для любых х, у, z этого множества из xRy и yRz следует xRz (xRy &yRz->xRz). Примерами О.т. могут быть: «больше», «мень­ше», «равно», «подобно», «выше», «севернее» и др. Так, если х...
Отношение Функциональное (однозначное) - бинар­ное (двухместное) отношение R, определенное на некотором мно­жестве и характеризующееся тем, что каждому значению у отно­шения xRy соответствует лишь одно-единственное значение х. Примером О. ф. может быть отношение «х отец у», т. к. каждому значению у...
Отрицание — логическая операция, с помощью которой из данного высказывания получается новое высказывание; при этом если исходное высказывание истинно, его О. не является истинным, а если оно ложно, его О. не является ложным. Отрицательное высказывание состоит из исходного высказывания и поме­...
Отрицательное Высказываниесм.: Отрицание.
Оценкасм.: Оценочное высказывание.

Реклама