Оноприенко Анастасия //Интуиционистская логика

НИС "Современные проблемы математической логики" в ВШЭ Докладчик: Оноприенко Анастасия Название: Интуиционистская логика Аннотация: На рубеже IXX-XX веков в теории множеств возникло большое число парадоксов. Так как теория множеств мыслилась как попытка формализовать всю имеющуюся математику, это привело к кризису оснований математики. Брауэр видел в качестве возможного варианта разрешения этой проблемы пересмотр смысла логических связок и кванторов и отказ от рассмотрения абстрактных объектов, существующих лишь в нашей, порой противоречивой, фантазии. В докладе будет рассмотрена семантика Крипке интуиционистской логики, некоторые следствия из теоремы о полноте (не конечнозначность интуиционистской логики, теорема Гливенко), а также перевод интуиционистской логики высказываний в модальную логику S4.