Равенство
— отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей ... | Равнозначность
(равносильность, эквивалентность) - отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при ... |
Равнообъемность
- отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный спутник Земли» совпадают по своему объему, в ... | Разделительное Суждение
- дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической ... |
Разделительно-Категорическое Умозаключение
-умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) ... | Разделительно-Условное Умозаключение
см.: Дилемма. ... |
Разрешающая Процедура
см.: Разрешения проблема. ... | Разрешения Проблема
или: Разрешимости проблема, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное ... |
Разрешимая Теория
— теория, для которой существует эффективная процедура алгоритм( позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо ... | Рациональность
(от лат. ratio - разум) - относящееся к разуму, обоснованность разумом, доступное разумному пониманию, в противоположность иррациональности как ... |
Рекурсивное Определение
(от лат. recurso - возвращаюсь) — метод определения арифметической функции φ(у) или предиката Р(у) через область значений этой функции ... | Релевантная Импликация
см.: Релевантная логика. ... |
Релевантная Логика
- одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.» отражается стремление выделить и систематизировать только ... | Референт
(от лат. refero — называть, обозначать) — объект, обозначаемый некоторым именем, то же, что и денотат. Напр., Р. выражения ... |
Референция
— отношение между обозначаемым и обозначающим, между предметом и его именем. Отношение Р. изучается теорией референции — разделом логической ... |