Информация по курсу

В данном курсе предлагается краткое и доступное введение в неклассические логики. Традиционно логическая система называется «неклассической», если она отличается от систем классической логики. Существует огромное количество разнообразных неклассических логик, которые применяются в философии, основаниях математики, теоретической информатике, лингвистике и т.д. Поэтому представляется невозможным дать обзор большинства из них в одном курсе. По этой причине вместо того, чтобы пытаться рассмотреть настолько много логик, насколько возможно, мы сосредоточим наше внимание на определённых фундаментальных вопросах и методах, связанных с неклассическими логиками. Более того, хотя существуют различные виды семантики для неклассических логик, нас будет интересовать так называемая «семантика Крипке», также известная как «семантика возможных миров». Главной причиной этого выбора является то, что семантика Крипке адекватным образом отражает интуицию, стоящую за многими неклассическими логиками, если не за большинством из них.

Лекторы

Семинаристы