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

  • отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории

  • ,эквивалентность - отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых з

  • отношение между понятиями, объемы которых совпадают. Напр., понятия "луна" и "естественный спутник Земли" совпадают по своему объему, в кото

  • ,эквивалентность - отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых з

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

  • умозаключение, в котором одна из посылок - разделительное суждение, а другая - категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-о

  • , см.: Дилемма

  • , см.: Разрешения проблема

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

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

  • теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теори

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

  • (лат. reductio ad absurdum), рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. противоречия. Если из вы

  • (от лат. recurso - возвращаюсь) метод определения арифметической функции ?(у) или предиката Р(у) через область значений этой функции или предика

  • см.: Релевантная логика

  • одна из наиболее известных неклассических теорий логического следования. В названии "Р. л." отражается стремление выделить и систематизир

  • (от лат. refero - называть, обозначать) объект, обозначаемый некоторым именем, то же, что и денотат. Напр., Р. выражения "первый космонавт" будет Ю

  • отношение между обозначаемым и обозначающим, между предметом и его именем. Отношение Р. изучается теорией референции - разделом логическо