Полезные ссылки
Литература по формальной философии
- Литература по формальной философии на philpapers
- Литература по формальной эпистемологии на philpapers
- Formal Epistemology (SEP)
- Bayesian Epistemology (SEP)
- Formal Representations of Belief (SEP)
- Dynamic Epistemic Logic (SEP)
- Logic of Belief Revision (SEP)
- Justification Logic (SEP)
- Fitch's Paradox of Knowability (SEP)
- Сборник интервью «Formal Philosophy»
- Mainstream and Formal Epistemology
- Readings in Formal Epistemology
- http://philomatica.org/
- Материалы по формальным онтологиям
Исследовательские центры по логике и формальной философии
- Сектор логики ИФ РАН
- Кафедра логики МГУ
- Кафедра логики СПбГУ
- Кафедра математической логики и теории алгоритмов МГУ
- Institute for Logic, Language and Computation
- «Formal Philosophy Group» (Колумбийский университет)
- Center for Formal Epistemology
- Formal Epistemology Research Group
- Munich Center for Mathematical Philosophy (MCMP)
- Center for Logic, Language, and Cognition
- Tilburg Center for Logic, Ethics, and Philosophy of Science
- Centre for Logic and Analytic Philosophy (CLAW)
- Centre of Logic and Philosophy of Science
- Computational Epistemic Logic in LOrraine
- Computational Metaphysics
- Centre for Logic, Epistemology and History of Science (CLE)
- Tbilisi Centre for Language, Logic and Speech
- Formal Epistemology Ph.D. Programs
- Philosophical Logic PhD Programs
Регулярные конференции, семинары и др. события
- Международная конференция «Смирновские чтения по логике»
- Международная конференция «Современная логика: проблемы теории, истории и применения в науке»
- Семинар Логического центра ИФ РАН
- «Formal Epistemology Workshop»
- Advances in Modal Logic
- Logic and the Foundations of Game and Decision Theory
- International Conference on Logic, Rationality and Interaction
- Theoretical Aspects of Rationality and Knowledge
- Анонсы семинаров и конференций по философской логике
- Logic and Set Theory around the World
Журналы
- Журнал «Логические исследования»
- Журнал «Логико-философские штудии»
- Журналы по математической логике в SJR
- Журналы по философии (в т.ч. по философской логике) в SJR
Полезные курсы и летние школы
- Курс «Logic in Action»
- Общеуниверситетский факультатив «Современные проблемы математической логики»
- Курс «Логика» (майнор «Математические структуры»)
- Курс «Введение в метаматематику»
- Курс «Philosophy, Politics and Economics»
- Курс «Logical and Probabilistic Models of Belief Change»
- Курс «Individual and Group Decision Making»
- Материалы курсов Барбары Парти по формальной семантике
- Курс «Формальная семантика» (НИУ ВШЭ)
- Курс «Введение в формальную семантику» (С.Г.Татевосов, МГУ)
- Курс «Формальная прагматика» (НИУ ВШЭ)
- Летняя школа «The NY-St. Petersburg Institute of Linguistics, Cognition and Culture»
- European Summer School in Logic, Language, and Information
TeX и т.п.
- LaTeX For Logicians
- Курс «Документы и презентации в LaTeX» (Coursera)
- Сайт для распознавания кода символов в TeX'e
- Генератор таблиц
- DOI->Bib
- Шаблоны TikZ для графиков игр
- A Quick TikZ Guide for Modal Logicians
- Список логических символов
- Онлайновый редактор
- https://www.overleaf.com/
- https://www.mathcha.io/
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.