- Научные организации в области логики
-
Научные организации в области логики — это философские и математические научные организации, область исследований которых относится к логике
Содержание
Организация логики в России
Научно-образовательные организации в области логики
Кафедры логики ВУЗов
- Кафедра логики Философского факультета МГУ им. М. В. Ломоносова была (вос)создана в 1947 г. (по другим данным — в 1943 г.) как первая кафедра логики в нашей стране. Заведующие: П. С. Попов (с 1947 по 1948 г.), В. И. Черкесов (с 1948 по 1957 г.), В. Ф. Асмус (с 1957 по 1958 г.), М. Н. Алексеев (с 1958 по 1965 г.), И. С. Нарский (с 1965 по 1966 г.), А. А. Зиновьев (с 1967 по 1968 г.), А. А. Старченко (с 1968 по 1982 г.), Ю. В. Ивлев (с 1982 по 2003 г.), В. И. Маркин (с 2003 г.).
- Кафедра математической логики и теории алгоритмов Механико-математического факультета МГУ им. М. В. Ломоносова История кафедры, курсы, персоналии, направления исследований. Заведующий Успенский В. А.
- Кафедра логики Философского факультета Санкт-Петербургского государственного университета. Кафедра начала свою деятельность в 1947/48 учебном году. Заведующий Мигунов А. И.
- Кафедра математической логики и высшей алгебры Факультета вычислительной математики и кибернетики Нижегородского государственного университета им. Н. И. Лобачевского была образована в 1963 году при создании факультета вычислительной математики и кибернетики. Первый заведующий — Ю. В. Глебский, нынешний — Шевченко В. Н.
- Кафедра философии и логики Исторического факультета Калининградского государственного универистета была создана в 1996 году в связи с открытием специальности «Философия».
- Кафедра математической логики и логического программирования Математического факультета Омского государственного университета. Заведующий Ремесленников В. Н.
Другие организации
Московский центр непрерывного математического образования
Научные организации в области логики
- Логика в России Сектор логики Института философии РАН, независимый Объединённый институт логики, когнитологии и развития личности.
Логические журналы
Электронный журнал «Логические Исследования» издается ОИЛКРЛ с 1997 г., статьи доступны в электронном виде.
Логические сайты
http://www.csa.ru/diclirus/: Логика в России в XX веке.
Зарубежные организации, журналы, библиографии, поисковые системы
- Электронная библиотека препринтов по математической логике Поддерживается факультетом математики Калифорнийского Университета.
- Библиография по компьютерным наукам Более 2 миллионов ссылок. Темы — от искусственного интеллекта и нейронных сетей до логического программирования и вычислительной математики.
- База данных по логике в интернете Поддерживается Группой математической логики Университета г. Вена, Австрия.
- Коллекция ссылок по многозначным логикам Поддерживается в Портландском Университете, США.
- LogicAL — ссылки по философии, логике и искусственной жизни.
- Zentrablatt — рецензии по математической логике. Зеркало сайта www.emis.de.
- Journal of Symbolic Logic — официальный журнал Ассоциации Символической Логики.
- The Bulletin of Symbolic Logic Статьи доступны в постскрипте.
- Nordic Journal of Philosophical Logic Доступны электронные версии статей. Новый журнал, но очень солидные авторы. Требуется регистрация для чтения статей (бесплатно).
- Electronic Journal of Analytic Philosophy Доступны электронные версии статей. Выходит ежегодно с 1993 г.
- Электронная библиотека по логике, математике и компьютерным наукам Обеспечивает создание индексов цитирования, поиск смежных и похожих документов, поиск в контексте цитирования.
- Подборка ссылок по логике, поддерживаемая в университете Уппсалы в Швеции Очень обстоятельная, хотя и местами устаревшая.
- Подборка ссылок на логические ресурсы Достаточно массивная.
Разное
- Фактазия — энциклопедия по логике, эпистемологии, философии науки
- Интернет-каталог ShareValue, раздел «Логика»
Категории:- Логика
- Философские организации
- Научные организации
Wikimedia Foundation. 2010.