Journal of Symbolic Logic

Journal of Symbolic Logic — это рецензируемый научный журнал, посвящённый публикации оригинальных исследований в области математической логики, теории множеств, теории моделей, теории доказательств, алгебраической логики, а также истории и философии логики. Основан в 1936 году Ассоциацией символической логики (Association for Symbolic Logic). Является одним из старейших и наиболее авторитетных периодических изданий в своей области.

История

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

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

В 1960-е — 1970-е годы редакционная политика журнала расширилась, включив в себя разделы по истории логики и философским аспектам логических систем. В 1980-е годы, с развитием компьютерных наук, в журнале стали появляться статьи, связанные с логическими основами информатики, хотя основной фокус оставался на чистой математической логике.

С 1990-х годов журнал издаётся в печатном и электронном форматах. В настоящее время выходит четыре раза в год (март, июнь, сентябрь, декабрь). Доступ к электронным версиям статей предоставляется через платформу издательства Cambridge University Press, а также через архив JSTOR.

Содержание и тематика

Журнал публикует статьи по всем разделам математической логики, включая:

• Теория моделей: изучение свойств формальных языков и их интерпретаций, классификация моделей, теория стабильности.
• Теория доказательств: анализ формальных доказательств, структура выводов, теоремы о непротиворечивости, системы доказательств.
• Теория множеств: аксиоматические системы (ZFC, теория классов), проблемы континуума, большие кардиналы, форсинг.
• Теория рекурсии (вычислимости): степени неразрешимости, алгоритмическая сложность, теория вычислимости на порядковых числах.
• Алгебраическая логика: булевы алгебры, алгебры Линденбаума — Тарского, теория решёток, связь с универсальной алгеброй.
• История логики: исследования развития логических идей, биографии логиков, анализ классических трудов.
• Философские аспекты логики: вопросы оснований математики, природа логической истины, парадоксы, интуиционистская логика.

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

Редакционная коллегия

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

• Алонзо Чёрч (1936–1979)
• Герберт Эндертон (1980–1985)
• Уильям Тайт (1986–1991)
• Йохан ван Бентем (1992–1997)
• Александр Кехрис (1998–2003)
• Джон И. Бёрджесс (2004–2009)
• Саймон Томас (2010–2015)
• Джон С. Смит (2016–2021)
• Майкл Раттьен (с 2022)

Значение и влияние

Journal of Symbolic Logic входит в список ведущих журналов по математической логике (категория Q1 в Scopus и Web of Science). Его импакт-фактор традиционно высок для данной области. Многие фундаментальные результаты в логике XX и XXI века были впервые опубликованы именно на его страницах.

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

Критика и ограничения

Как и многие узкоспециализированные академические журналы, Journal of Symbolic Logic подвергается критике за высокий порог входа для начинающих исследователей и за сложность публикуемых материалов. Статьи часто требуют глубокого знания формальных методов и предварительной подготовки в области математической логики. Кроме того, журнал традиционно ориентирован на чистую логику, что может ограничивать публикацию работ, имеющих прикладное значение (например, в области формальной верификации или искусственного интеллекта), хотя такие работы иногда принимаются.

Доступность

Печатная версия журнала распространяется по подписке. Электронная версия доступна через Cambridge University Press и JSTOR. Для членов Ассоциации символической логики доступ к электронным версиям статей предоставляется бесплатно. Архив номеров, начиная с 1936 года, доступен в цифровом виде.

Источники

1. Association for Symbolic Logic. «Journal of Symbolic Logic». Официальный сайт.
2. Cambridge University Press. «Journal of Symbolic Logic». Страница журнала.
3. JSTOR. «Journal of Symbolic Logic». Архив номеров.
4. Scopus. «Journal of Symbolic Logic». Профиль журнала.
5. Web of Science. «Journal of Symbolic Logic». Профиль журнала.