Ассоциация символической логики

Ассоциа́ция символи́ческой ло́гики (англ. The Association for Symbolic Logic), международная организация, поддерживающая исследования в области логики. Базируется в США. Основана в 1936 г. В 2021 г. президент ассоциации – Дж. Найт, профессор университета Нотр-Дам-дю-Лак, специалист по логике и вычислительным системам.

Миссия ассоциации – создание форума для презентации, публикации и обсуждения научных работ в области логики, математики и компьютерных наук.

У истоков ассоциации были специалисты по символической логике из Брауновского университета: К. Дж. Дюкасс и Ч. А. Бейлис. На встрече в начале 1934 г. они выражали обеспокоенность в связи с трудностями публикаций статей по теме их исследований в философских журналах (Ducasse. 1962.^[1] P. 255). Задача создания специального журнала по символической логике объединила учёных, ставших впоследствии членами будущей ассоциации.

Организационный комитет сложился на встрече, проведённой К. Дж. Дюкассом в декабре 1934 г. В 1935 г. Дюкасс избран первым президентом ассоциации. Вице-президентом избран Х. Карри, выдающийся американский логик и математик, профессор Пенсильванского и Амстердамского университетов. Секретарём стал Ч. А. Бейлис, а редакторами будущего журнала А. Чёрч и К. Х. Лангфорд. В 1936 г. вышел 1-й номер The Journal of Symbolic Logic («Журнал символической логики»), издаётся и в 2020-е гг.

Первая встреча ассоциации прошла в Кембридже (Массачусетс) в сентябре 1936 г. в рамках сессии Американского математического общества (Ducasse. 1963.^[2] P. 258).

Ассоциация также издаёт журналы The Review of Symbolic Logic («Обзор символической логики») и The Bulletin of Symbolic Logic («Бюллетень символической логики»). Материалы изданий доступны на основе платной подписки.

Ассоциация выпускает 2 книжные серии: Lecture Notes in Logic («Конспекты лекций по логике») и Perspectives in Logic («Перспективы логики»). Цель первой из этих серий – способствовать распространению новых исследований в области логики. Помимо лекционных конспектов, в серии издаются монографии, сборники статей, репринты. В 1992–1999 гг. «Конспекты лекций по логике» публиковались издательством Springer, с 1999 по 2006 гг. – издательством A. K. Peters, с 2006 по 2021 гг. – издательством Кембриджского университета. В 2021 г. главным выпускающим редактором книжной серии был П. Ларсон, профессор Университета Майами, специалист по теории множеств.

В книжной серии «Перспективы логики» публикуются исследования, посвящённые различным аспектами современной логики. Серия – преемница серии «Перспективы математической логики», основанной в 1969 г. и с 1986 по 2001 гг. выпускавшейся издательством Springer под научной редакцией ассоциации. С 2001 г. серия выпускается издательством Кембриджского университета под своим нынешним названием. В 2021 г. выпускающим редактором серии «Перспективы логики» был А. Бекманн, профессор компьютерных наук Университета Свонси.

Ассоциация проводит 2 большие ежегодные встречи: североамериканскую ежегодную встречу (The North American Annual Meeting) весной и европейскую летнюю встречу (European Summer Meeting), или логический коллоквиум (Logical Colloquium), летом.

Ассоциация также спонсирует научные мероприятия и предоставляет студенческие трэвел-гранты. На сайте ассоциации представлена информация об открытых конкурсах, грантовых программах и научных мероприятиях.