Книга: Дмитрий Смелянский «Логика второй ступени Введение»
|
Производитель: "LAP Lambert Academic Publishing" Логика второго порядка остается в настоящее время далеко не изученным до конца разделом математической логики в силу ряда возникающих в ней трудностей, не имеющихместа в логике первого порядка. Тем не менее, она заслуживает внимания благодаря своим более широким, чем в логике первого порядка, выразительным возможностям. В общих чертах логика второго порядка может быть охарактеризована как такое расширение логики первого порядка, язык которой формализует понятия произвольного свойства и произвольного от- ношения . Таким образом, это логическое исчисление более полно отражает средства и способы наших естественных, неформальных рассуждений. Первые формально-логические системы, такие, как система Г. Фреге, были в каком-то системами логики второго порядка. Исследованиями в этой области занимались такие крупные математики-логики, как Хенкин, Черч, Такеути и др. В своей работе автор иссследует ограничения и иллюстрирует возможности выразимости в... ISBN:9783843317559 Издательство: "LAP Lambert Academic Publishing" (2011)
ISBN: 9783843317559 |
См. также в других словарях:
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА ДИАЛЕКТИЧЕСКАЯ — см. в ст. Диалектика. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИКА ДИАЛЕКТИЧЕСКАЯ … Философская энциклопедия
Гимназия — (от греч. γυμνάζω, gymnasion помещение для гимнастических упражнений, спортзал) государственное учебное заведение, термин также употреблялся в значении «место для упражнений». В первом значении гимназия встречается в древних городах… … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Дзэн — Cтатья является частью серии статей про Дзэн … Википедия
БАШЛЯР — (Bachelard) Гастон (1884 1962) французский философ, методолог, культуролог, психолог. Основоположник неореализма как направления (подхода) в философии науки. Сам Б. термином ‘неорационализм’ не пользовался, обозначая свою концепцию (в зависимости … История Философии: Энциклопедия
