Философский словарь - поиск
ключевые слова (используйте * для поиска по части слова)

Разрешимая Теория

- теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Найти все значения выражения Разрешимая Теория:
Если Вы искали другое значение слова/фразы Разрешимая Теория, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Разрешимая Теория ищут определения этих слов:
Символы Собственные И Несобственные — - символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. с. имеют содержание даже в том случае, если взяты сами по себе. К ним относятся имена, обозначающие некоторые объекты,...
Семантика Логическая — - раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже...
Символика Логическая — - система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы...
Релевантная Импликация — см.: Релевантная логика.
Синтаксическая Категория — - класс однотипных выражений словаря формализованного языка. Этот словарь обычно включает: индивидные знаки - константы и переменные; предикатные выражения; знаки логических связок - отрицания, конъюнкции, дизъюнкции и т. п.; кванторы - общности и...
Силлогизм (от Греч. Sillogismos) Категорический — - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму ("Все S суть Р", "Ни одно S не есть Р", "Некоторые 5 суть Р", "Некоторые 5 не есть Р"), следует новое суждение (заключение), имеющее также...
Смысл — - в повседневной речи синоним значения. В логической семантике общее значение языковых выражений расщепляют на две части: предметное значение и С. Предметным значением, денотатом, объемом, экстенсионалом и т. п. некоторого выражения называют тот...
Свойство — - характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому предмету присуще бесчисленное количество свойств, которые делятся на существенные и несущественные, необходимые и случайные, общие и специфические и т....
Содержание Понятия — см.: Понятие.
Связка — - в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами "есть", "суть", "является" и т. п., напр.: "Узбеки являются жителями Средней Азии". В обыденной речи С. часто...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
Ссылка для форума (bb-код):
Код нашей кнопки:
Прямая ссылка (можно отправить по аське):
Словари
© 2000 — 2008 MirSlovarei.com: Мир словарей — Коллекция словарей и энциклопедий.
На главную - Размещение рекламы - Контакты