Главная / Cловари / Словарь терминов по логике / Р

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

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

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

Равнозначность — (равносильность, эквивалентность) — отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения.

Равнообъемность — отношение между понятиями, объемы которых совпадают.

Разделительное Суждение — дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или».

Разделительно-Категорическое Умозаключение — умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое.

РазделительноУсловное Умозаключение — см.: Дилемма.

Разрешающая Процедура — см.: Разрешения проблема.

Разрешения Проблема — или: Разрешимости проблема, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет.

Разрешимая Теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема).

Рациональность — (от лат. ratio — разум) — относящееся к разуму, обоснованность разумом, доступное разумному пониманию, в противоположность иррациональности как чему-то неразумному, недоступному разумному пониманию.

Релевантная Импликация — см.: Релевантная логика.

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

Референт — (от лат. refero — называть, обозначать) — объект, обозначаемый некоторым именем, то же, что и денотат.

Референция — отношение между обозначаемым и обозначающим, между предметом и его именем.