Дескрипцио́нные ло́гики (англ. Description logics), часто называемые также дескриптивными логиками — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формально обоснованном виде. Изначально дескрипционные логики зародились как расширение фреймовой и сетевой моделей механизмами формальной логики.
Wikimedia Foundation. 2010.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ФОРМА ЛОГИЧЕСКАЯ — (форма в логике) – та сторона рассуждения (доказательства, вывода, аргументации и т.п.), к рая не зависит от содержания данного рассуждения; Ф. л. в языке фиксируется посредством логич. констант и образуемых с их помощью отд. фраз и их сочетаний… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЗИНОВЬЕВ Александр Александрович — (р. 1922) российский мыслитель социолог, логик, социальный философ, писатель. Знаковая и одна из наиболее противоречивых фигур как в российской, так и западной социальной мысли. В творчестве З. выделяются три разных периода: 1) до публикации… … Социология: Энциклопедия
форма логическая — ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… … Энциклопедия эпистемологии и философии науки
ТЕРМИН — (от лат. terminus граница, предел, конец), 1) имя с оттенком спец. (науч.) его значения, уточняемого в контексте к. л. теории или отрасли знания. 2) В антич. философии понятие, фиксирующее устойчивые и непреходящие аспекты … Философская энциклопедия
АНАЛИТИЧЕСКИЕ СУЖДЕНИЯ — АНАЛИТИЧЕСКИЕ СУЖДЕНИЯ класс суждений (утверждений, высказываний, предложений), истинность которых устанавливается путем чисто логического анализа составляющих их элементов (терминов, элементарных высказываний) без обращения к внелогической… … Философская энциклопедия
АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ — понятие, обозначающее многообразные концепции, школы и течения западной философии XX в., сложившиеся в рамках того, что можно назвать аналитическим стилем в философии. Этот стиль утвердился в Великобритании, США, Канаде, Австралии, получил… … Современная западная философия. Энциклопедический словарь
ЮМА ПРИНЦИП — принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем Д. Юма, указавшего, что этика постоянно совершает грубую ошибку, полагая, что из… … Философская энциклопедия
философия языка — Аналитическое движение в Кембридже и Оксфорде Аналитическая философия в Кембридже Философия языка развивалась в двух центрах Кембридже и Оксфорде, поэтому ее и называют «кембридж оксфордской философией». Она развивалась скорее как движение, а … Западная философия от истоков до наших дней
