- ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
- см. Интуиционистская логика.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
- см. Интуиционистская логика.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
ИСЧИСЛЕНИЕ ЗАДАЧ — интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуиционизма и вскрывала содержательный материалистич.… … Философская энциклопедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( … Философская энциклопедия
Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… … Большая советская энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Это исчисление… … Математическая энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия