The Journal of Symbolic Logic
Journal of Symbolic Logic (с англ. «Журнал символической логики»), ведущий британский научный журнал в области символической логики, математики и компьютерного анализа. Выходит 4 раза в год. Издаётся с 1936 г. Кембриджским университетом и Ассоциацией символической логики. Выпускающий редактор журнала в 2021 г. – Б. Хуссаинов, профессор логики Оклендского университета.
Индексируется в наукометрических базах Scopus и Web of Science (Science Citation Index Expanded). Согласно рейтингу SCImago Journal & Country Rank, в 2020 г. входил в 1-й квартиль в категориях «Логика» и «Философия».
Впервые идея журнала возникла на встрече профессоров Брауновского университета К. Дж. Дюкасса и Ч. А. Бейлиса в начале 1934 г. Оба исследователя занимались символической логикой и были обеспокоены трудностями с публикациями статей по этой проблематике в философских журналах, главная из которых была связана с необходимостью типографически передавать специальные символы (Ducasse. 1962.[1] P. 255). Дюкасс и Бейлис предложили в качестве выхода новую технику набора, основанную на фотокопии с авторских рукописей.
При участии других исследователей символической логики были разработаны принципы нового журнала: распечатка, а не типографский набор текста; выход журнала ежеквартально, объёмом не меньше 48 страниц; журнал также позиционировался как официальное издание будущей Ассоциации символической логики.
Первыми выпускающими редакторами журнала были А. Чёрч и К. Г. Лангфорд – ведущие специалисты в области математической логики.
В 1-м номере журнала были опубликованы тезисы первой встречи Ассоциации символической логики, прошедшей в Кембриджском университете (Массачусетс) в сентябре 1936 г. Четвёртый номер журнала представлял собой библиографию символической логики с 1666 по 1935 гг., составленную А. Чёрчем. В предисловии к номеру он обозначил задачу собрать полную библиографию символической логики и выделить эту дисциплину, с одной стороны – из математики, а с другой – из философии (Church. 1935.[2] Р. 121). Этот материал фактически институционализировал символическую логику, решив тем самым проблемы с финансированием журнала (в публикации стали принимать участие Университет Брауна, Колумбийский и Гарвардский университеты и др.).
ISSN (печатное издание): 0022-4812, ISSN (интернет-издание): 1943-5886.
Наукометрические показатели журнала:
SCImago Journal & Country Rank.
Журнал на сайте издательства:
Примечания
Литература
- Church A. A bibliography of Symbolic Logic // The Journal of Symbolic Logic. – 1936. – Vol. 1, № 4. – P. 121–216.
- Ducasse C. J. Early history of the Association for Symbolic Logic / C. J. Ducasse, H. B. Curry // The Journal of Symbolic Logic. – 1962. – Vol. 27, № 3. – P. 255–258.