Проект:Логика/Списки/Научные организации в области логики

Это служебный список статей, созданный для координации работ по развитию темы.

Данный шаблон не устанавливается на информационные списки и глоссарии.

Научные организации в области логики — это философские и математические научные организации, область исследований которых относится к логике

Организация логики в России

Научно-образовательные организации в области логики

Кафедры логики ВУЗов

Кафедра логики Философского факультета МГУ им. М. В. Ломоносова была (вос)создана в 1947 г. (по другим данным — в 1943 г.) как первая кафедра логики в нашей стране. Заведующие: П. С. Попов (с 1947 по 1948 г.), В. И. Черкесов (с 1948 по 1957 г.), В. Ф. Асмус (с 1957 по 1958 г.), М. Н. Алексеев (с 1958 по 1965 г.), И. С. Нарский (с 1965 по 1966 г.), А. А. Зиновьев (с 1967 по 1968 г.), А. А. Старченко (с 1968 по 1982 г.), Ю. В. Ивлев (с 1982 по 2003 г.), В. И. Маркин (с 2003 г.).
Кафедра математической логики и теории алгоритмов Механико-математического факультета МГУ им. М. В. Ломоносова История кафедры, курсы, персоналии, направления исследований. Заведующий Успенский В. А.
Кафедра логики Философского факультета Санкт-Петербургского государственного университета. Кафедра начала свою деятельность в 1947/48 учебном году. Заведующий Мигунов А. И.
Кафедра математической логики и высшей алгебры Факультета вычислительной математики и кибернетики Нижегородского государственного университета им. Н. И. Лобачевского была образована в 1963 году при создании факультета вычислительной математики и кибернетики. Первый заведующий — Ю. В. Глебский, нынешний — Шевченко В. Н.
Кафедра философии и логики Исторического факультета Калининградского государственного универистета была создана в 1996 году в связи с открытием специальности «Философия».
Кафедра математической логики и логического программирования Математического факультета Омского государственного университета. Заведующий Ремесленников В. Н.

Другие организации

Московский центр непрерывного математического образования

Научные организации в области логики

Логика в России Сектор логики Института философии РАН, независимый Объединённый институт логики, когнитологии и развития личности.
The Department of Mathematical Logic at the Steklov Mathematical Institute (недоступная ссылка с 13-05-2013 [4054 дня] — история)
Лаборатория логики Математического института им. Стеклова РАН, СПб.
Лаборатория математической логики Математического Института им. Соболева РАН, Новосибирск

Логические журналы

Электронный журнал «Логические Исследования» издается ОИЛКРЛ с 1997 г., статьи доступны в электронном виде.

Логические сайты

http://www.csa.ru/diclirus/: Логика в России в XX веке.

Зарубежные организации, журналы, библиографии, поисковые системы

Электронная библиотека препринтов по математической логике Поддерживается факультетом математики Калифорнийского Университета.
Библиография по компьютерным наукам Более 2 миллионов ссылок. Темы — от искусственного интеллекта и нейронных сетей до логического программирования и вычислительной математики.
База данных по логике в интернете Поддерживается Группой математической логики Университета г. Вена, Австрия.
Коллекция ссылок по многозначным логикам Поддерживается в Портландском Университете, США.
LogicAL — ссылки по философии, логике и искусственной жизни.
Библиография журнала Notre Dame Journal of Formal Logic
Избранная библиография по неклассическим логикам
Рецензии по математической логике Американского Математического Сообщества (недоступная ссылка с 13-05-2013 [4054 дня] — история)
Zentrablatt (недоступная ссылка с 13-05-2013 [4054 дня] — история) — рецензии по математической логике. Зеркало сайта www.emis.de.
Journal of Symbolic Logic — официальный журнал Ассоциации Символической Логики.
The Bulletin of Symbolic Logic (недоступная ссылка с 13-05-2013 [4054 дня] — история) Статьи доступны в постскрипте.
Журналы издательства Kluwer
JANCL — Journal of Applied Non-Classical Logic
Nordic Journal of Philosophical Logic (недоступная ссылка с 13-05-2013 [4054 дня] — история) Доступны электронные версии статей. Новый журнал, но очень солидные авторы. Требуется регистрация для чтения статей (бесплатно).
Журнал Modern Logic (недоступная ссылка с 13-05-2013 [4054 дня] — история)
Electronic Journal of Analytic Philosophy Доступны электронные версии статей. Выходит ежегодно с 1993 г.
Электронная библиотека по логике, математике и компьютерным наукам Обеспечивает создание индексов цитирования, поиск смежных и похожих документов, поиск в контексте цитирования.

Центр изучения языка и информации Стэнфордского университета, США (недоступная ссылка с 13-05-2013 [4054 дня])

Электронный журнал Logic and Philosophy of Science
Подборка ссылок по логике, поддерживаемая в университете Уппсалы в Швеции (недоступная ссылка с 13-05-2013 [4054 дня] — история) Очень обстоятельная, хотя и местами устаревшая.
Коллекция интернетовских ссылок
Подборка ссылок на логические ресурсы Достаточно массивная.