- логическая выводимость
- мат. logical deducibility, logical derivability
Большой англо-русский и русско-английский словарь. 2001.
логическая выводимость
Смотреть что такое "логическая выводимость" в других словарях:
символика логическая — система знаков (символов), используемая в логике для обозначения термов, предикатов, выска зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже… … Словарь терминов логики
теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… … Энциклопедия эпистемологии и философии науки
оценочное высказывание — высказывание, устанавливающее абсолютную или сравнительную ценность какого то объекта, дающее ему оценку. Логическая структура и логические связи О. в. изучаются оценок логикой, слагающейся из логики абсолютных оценок и предпочтений логики (см.:… … Словарь терминов логики
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия
ЭЙНШТЕЙН — (Einstein) Альберт (1879 1955) выдающийся мыслитель 20 в., создатель физической теории пространства, времени и гравитации, для которой исторически утвердилось название ‘теория относительности Э.’. Нобелевская премия по физике за заслуги в области … История Философии: Энциклопедия
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ОНТОЛОГИЯ — учение о бытии как таковом, раздел философии, изучающий фундаментальные принципы бытия. Иногда О. отождествляют с метафизикой, но чаще рассматривают как ее основополагающую часть, как метафизику бытия. Бытие последнее, о чем допустимо спрашивать … Философская энциклопедия
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ — (исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формализации процесса логич. вывода ], более… … Философская энциклопедия
