ПРИЗНАНИЕ НАУЧНЫХ ЗАСЛУГ

Как стало известно, член-корреспондент РАН Сергей Гончаров, заведующий отделом математической логики Института математики СО РАН, избран в Совет Ассоциации символической логики.

В этот совет в разные годы входили такие известные математики, как А. Тарский, С. Клини, А. Робинсон, Л. Хенкин, В. Крейг, А. Мостовский, А. Гжегорчик, А. Лахлан, Дж. Шефердсон, Я. Московакис, Р. Шор, Дж. Булос, Дж. Барвайс, Г. Крайзель, А. Тьюринг, Р. Констайбл, Ч. Рыль-Нардзевский, Х. Расева и другие. Из отечественных ученых в совет избирались академики А. Колмогоров (в 1948 г.) и Ю.Ершов (в 1973 г.). Совет принимает ключевые решения по работе влиятельной международной организации математиков и логиков.

Ассоциация символической логики — это международная организация, поддерживающая исследования в области логики, ее истории и философских оснований. Главная цель деятельности — создание эффективного форума для презентации, публикации и критического обсуждения всей суммы исследований, проводимых в указанной области.

Логика — это весьма древняя дисциплина, претерпевшая поразительные изменения в начале прошлого века после введения в нее строгих формальных методов. Это стимулировалось проблемами оснований математики, главной области приложения современной логики в начальный период ее развития. Термин «символическая логика» охватывает всю совокупность логических исследований, выдержанных в духе современного формального подхода.

Ассоциация была основана в 1936 году, что совпало по времени с появлением выдающихся достижений в области символической логики. Первыми членами Ассоциации были главным образом математики и философы, видевшие в логике общую основу для своих исследований и стремившиеся расширить и укрепить ее. В последнее время исследования в таких областях, как информатика, лингвистика и когнитивная наука все в большей степени используют логические методы. Представительство в Ассоциации и ее деятельность в настоящее время отражают такое расширение области интересов.

Для достижения своих целей Ассоциация организует многочисленные конференции и летние школы по всему миру, активно занимается издательской деятельностью, присуждает премии за выдающиеся исследования и поддерживает контакты с родственными организациями. Одним из известнейших мероприятий такого рода является ежегодный Логический Коллоквиум, проходящий в летнее время в одной из европейских стран. Ассоциация издает «Journal of Symbolic Logic» и «Bulletin of Symbolic Logic», редактирует журнал «Journal of Philosphical Logic» издательства «Kluwer». C 1999 года ассоциация издает книжную серию «Lecture Notes in Logic» (ранее выходившую в издательстве «Springer»), и редактирует серию «Perspectives in Logic.» На сайте http://www.alsonline.org можно найти всю информацию о данной организации, ее мероприятиях и изданиях.

Соб. инф.

стр. 2