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

Паранепротиворечивая Логика —  - логика, не позволяю­щая выводить из противоречия произвольное предложение. В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно...

Определение Явное —  - определение, имеющее форму ра­венства двух понятий. Напр.: «Манометр - это прибор для изме­рения давления» или «Графомания — это болезненное пристрас­тие к писанию, к многословному, пустому, бесполезному сочи­нительству». В О. я. отождествляются,...

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

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

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

Отношение Типа Равенства —  - двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме рефлексивности: xRx (предмет находится в отношении R к само­му себе) (см.: Отношение рефлексивное); 2)...

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

Отношение Транзитивное —  - двухместное отношение R, оп­ределенное на некотором множестве, характеризующееся тем, что для любых х, у, z этого множества из xRy и yRz следует xRz (xRy &yRz->xRz). Примерами О.т. могут быть: «больше», «мень­ше», «равно», «подобно»,...

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