— теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Если Вы искали другое значение слова/фразы Разрешимая Теория, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Разрешимая Теория ищут определения этих слов:
Принцип Предметности — - один из трех основных принципов теории отношения именования (обозначения) Фреге — Рассела. Согласно П.п. всякое предложение говорит о денотатах входящих в него выражений. Напр., предложение «В России много крупных озер» говорит о нашей Родине и...
Разделительное Суждение — - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn — суждение (член дизъюнкции,...
Семантика Логическая — — раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже...
Референт — (от лат. refero — называть, обозначать) — объект, обозначаемый некоторым именем, то же, что и денотат. Напр., Р. выражения «первый космонавт» будет Юрий Гагарин (см.: Имя, Денотат).
Пропозициональная Связка — - операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. формулы (простые,...
Семантическая Категория — - класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением. Если, напр., в предложении «Волга впадает в Каспийское море» слово «Волга» мы заменим словом «Нева», то...
Причинности Логика — - раздел современной логики, занимающийся исследованием структуры и логических отношений высказываний о причинных связях явлений (каузальных высказы- ваний). Понятие причинности является одним из центральных как в науке, так и в философии науки....
Семантика Логическая — — раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже...
Противоположность Логическая — – вид отношения между противоположными понятиями или суждениями в традиционной логике. В отношении противоположности находятся такие несовместимые понятия, объемы которых включаются в объем более широкого, родового понятия, но не исчерпывают его...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
