КРИПКЕ
101ВОЗМОЖНОСТЬ И ДЕЙСТВИТЕЛЬНОСТЬ — соотносительные филос. категории, характеризующие два основных этапа в изменении и развитии предметов, явлений, окружающего мира в целом. Действительность (Д.) есть такое состояние предмета или мира, которое реально, актуально существует в данный …
102ГЖЕГОРЧИК — (Grzegorczyk) Анджей (р. 1922) пол. логик и философ. В годы Второй мировой войны изучал философию и математику в тайном Варшавском ун те, в дальнейшем проф. Ин та математики, а затем Ин та философии и социологии Польской академии наук. Г.… …
103ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …
104НАУЧНЫЙ РЕАЛИЗМ — неоднородное течение в аналитической философии науки втор. пол. 20 в., для которого характерно признание реального существования абстрактных объектов, постулируемых научными теориями. Выражая характерное для зап. культуры с кон. 17 в.… …
105СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных …
106ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы …
107ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …
108ИНТЕРПРЕТАЦИЯ — задание значения (смысла) математич. выражений (символов, формул и т. д.). В математике такими значениями служат математич. объекты (множества, операции, выражения и т. д.). Сами эти значения также наз. И. соответствующих выражений. Примеры.… …
109ИНТУИЦИОНИСТСКАЯ ЛОГИКА — совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Это исчисление… …
110ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления… …
