Если Вы искали другое значение слова/фразы Разрешающая Процедура, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
|
Разрешения Проблема, Или: Разрешимости Проблема — - проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой... Разделительно-категорическое Умозаключение — -умозаключение, в котором одна из посылок - разделительное суждение, а другая - категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или P2... Разрешения Проблема, Или: Разрешимости Проблема — - проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой... Принцип Взаимозаменимости — - один из трех основных принципов теории отношения именования (обозначения) Фреге - Рассела. Согласно П. в., если два выражения имеют один и тот же денотат, то одно из них можно заменять другим, причем предложение, в котором производится такая... Равенство — - отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно высказать и о другом, и наоборот, и при этом получать истинные высказывания.... Причинная Связь — - физически необходимая связь между явлениями, при которой за одним из них всякий раз следует другое. Первое явление называется причиной, второе - действием или следствием. Понятие "П. с." - одно из тех понятий, без ссылки на которое обходится... Предложение — - соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль. Логика заимствует этот термин из грамматики и использует при определении высказывания как грамматически правильного П., взятого вместе с его содержанием. Термин... Принцип Однозначности — - один из трех основных принципов теории отношения именования (обозначения). Согласно П.о. всякое выражение (имя) должно иметь только один денотат, т. е. обозначать только один предмет, класс предметов или свойство. П.о. исключает омонимию, т. е.... Противоречие — - два высказывания, из которых одно является отрицанием другого. Напр.: "Латунь - химический элемент" и "Латунь не является химическим элементом", "2 - простое число" и "2 не является простым числом". В одном из противоречащих высказываний что-то... Противоречие — - два высказывания, из которых одно является отрицанием другого. Напр.: "Латунь - химический элемент" и "Латунь не является химическим элементом", "2 - простое число" и "2 не является простым числом". В одном из противоречащих высказываний что-то...
|
