Journal of Symbolic Logic (с англ. «Журнал символической логики»), ведущий британский научный журнал в области символической логики, математики и компьютерного анализа. Выходит 4 раза в год. Издаётся с 1936 г. Кембриджским университетом и Ассоциацией символической логики. Выпускающий редактор журнала в 2021 г. – Б. Хуссаинов, профессор логики Оклендского университета.

Индексируется в наукометрических базах Scopus и Web of Science (Science Citation Index Expanded). Согласно рейтингу SCImago Journal & Country Rank, в 2020 г. входил в 1-й квартиль в категориях «Логика» и «Философия».

Впервые идея журнала возникла на встрече профессоров Брауновского университета К. Дж. Дюкасса и Ч. А. Бейлиса в начале 1934 г. Оба исследователя занимались символической логикой и были обеспокоены трудностями с публикациями статей по этой проблематике в философских журналах, главная из которых была связана с необходимостью типографически передавать специальные символы (Ducasse. 1962. P. 255). Дюкасс и Бейлис предложили в качестве выхода новую технику набора, основанную на фотокопии с авторских рукописей.

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

Первыми выпускающими редакторами журнала были А. Чёрч и К. Г. Лангфорд – ведущие специалисты в области математической логики.

В 1-м номере журнала были опубликованы тезисы первой встречи Ассоциации символической логики, прошедшей в Кембриджском университете (Массачусетс) в сентябре 1936 г. Четвёртый номер журнала представлял собой библиографию символической логики с 1666 по 1935 гг., составленную А. Чёрчем. В предисловии к номеру он обозначил задачу собрать полную библиографию символической логики и выделить эту дисциплину, с одной стороны – из математики, а с другой – из философии (Church. 1935. Р. 121). Этот материал фактически институционализировал символическую логику, решив тем самым проблемы с финансированием журнала (в публикации стали принимать участие Университет Брауна, Колумбийский и Гарвардский университеты и др.).

ISSN (печатное издание): 0022-4812, ISSN (интернет-издание): 1943-5886.

Наукометрические показатели журнала:

SCImago Journal & Country Rank.

Журнал на сайте издательства:

Journal of Symbolic Logic // Cambridge University Press.