- ТЕОРЕМА ДЕДУКЦИИ
- ТЕОРЕМА ДЕДУКЦИИ
-
ТЕОРЕМА ДЕДУКЦИИ — см. Дедукции теорема.
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.
ТЕОРЕМА ДЕДУКЦИИ
Смотреть что такое "ТЕОРЕМА ДЕДУКЦИИ" в других словарях:
ДЕДУКЦИИ ТЕОРЕМА — ДЕДУКЦИИ ТЕОРЕМА метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ai, Ai, ..., А„ (символически: Αι … Философская энциклопедия
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… … Энциклопедия эпистемологии и философии науки
СИНТАКСИЧЕСКАЯ ТЕОРЕМА — теорема синтаксического языка, т. е. теорема о формализованной теории. Примеры С. т.: теорема дедукции для исчисления предикатов, теорема Гёделя о неполноте арифметики. Эти теоремы относятся к элементарному синтаксису. Примером неэлементарной С.… … Математическая энциклопедия
ДЕДУКЦИИ ТЕОРЕМА — общее название ряда теорем, позволяющих устанавливать доказуемость импликации в случае, когда дан логический вывод формулы Виз формулы А. В простейшем случае классического, интуиционистского и т. п. исчислений высказываний Д. т. утверждает: если… … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Сидоренко, Евгений Александрович — (р. 02.10.1940) спец. в обл. логики; д р филос. наук, проф. Род. в г. Балашиха Моск. обл. Окончил Новочеркасский геолого разведочный техникум (1960), филос. ф т МГУ (1968). С 1968 по наст. вр. работает в ИФ РАН. С 1986 вед. н.с, с 1999 гл. н.с, в … Большая биографическая энциклопедия
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
