Формальная философия

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

• Со-председатели семинара: д.ф.н. Е.Г.Драгалина-Черная и д.ф.н. В.Л.Васюков.
• Ответственный секретарь: к.ф.н. В.В.Долгоруков.
• Рабочие языки семинара: русский и английский.
• Семинар проходит с примерной периодичностью 1 заседание раз в 2 месяца. 
• Участие в семинаре открыто для всех желающих.  

Архив заседаний семинара «Формальная философия»:

• Заседание 1. Открытие семинара. Презентация монографии Е.Г.Драгалиной-Черной
• Заседание 2. В.В. Долгоруков, "Aнализ скалярных и количественных импликатур средствами теории игр и двусторонней теории оптимальности"
• Заседание 3. Е.Г. Драгалина-Черная, "Логика запрещенных цветов"
• Заседание 4. В.Л. Васюков, "Квантовые игры"
• Заседание 5. В.Л. Васюков, "Нефрегевские игры"
• Заседание 6. А.В. Родин, "Категорная логика и гегелевская диалектика "
• Заседание 7. А.М.Анисов, "Текстовые формы систематизации идей"
• Заседание 8. В.В. Долгоруков, "Критерии различия импликатур и пресуппозиций с точки зрения равновесной семантики"
• Заседание 9. Е.Г. Драгалина-Черная, "Catch-6.54"
• Заседание 10. В.Л. Васюков, "Онтология недостижимых миров или как возможна алетическая модальная логика"
• Заседание 11. А. А. Крушинский, "Логика Древнего Китая"
• Заседание 12. C.А. Павлов, "Понятие высказывания и формализация его определения"
• Заседание 13. Meghyn Bienvenu, "Ontologies in Computer Science and Description Logics"
• Заседание 14. Ирина Старикова, "Роль визуализации в формировании математических понятий"
• Заседание 15. В.В.Долгоруков, "Механизмы контекстуального обновления"
• Заседание 16. Е.Г.Драгалина-Черная, "Если бы лев заговорил, или кто боится логического пространства?"
• Заседание 17. В.Л.Васюков, "Категорная формальная эпистемология"
• Заседание 18. Андрей Бановац, "Топологический анализ импликации и правила вывода modus ponens"
• Заседание 19. Презентация монографии "Logica Ludicra: аспекты теоретико-игровой семантики и прагматики"
• Заседание 20. Fabien Schang, "Relative Charity"
• Заседание 21. Allard Tamminga, "Collective Obligations and Individualism"
• Заседание 22. Allard Tamminga, "Collective Obligations and Joint Plans"
• Заседание 23. Александра Павлова, "Истина и когнитивные презумпции"
• Заседание 24. Ethan Nowak, "Complex demonstratives are definite descriptions"
• Заседание 25. C.А.Павлов, "Логика символьных выражений для формальной философии"
• Заседание 26. В.Л.Васюков, "Динамика интенциональности и комбинации неклассических логик"
• Заседание 27. Е.Н.Лисанюк, "Обоснование и убеждение. Имеет ли аргументативный спор формальное решение?"
• Заседание 28. А.С.Боброва, " 'Кинофильмы мысли' Ч. Пирса. Логика или философия?"
• Заседание 29. Презентация монографии Е.Г. Драгалиной-Черной "Неформальные заметки о логической форме"
• Заседание 30. В.В.Долгоруков, "Я знаю, что ты знаешь, что я знаю: интерактивная рациональность и байесовская прагматика"
• Заседание 31. Fabien Schang, "Epistemic Disagreements"
• Заседание 32. В.В.Долгоруков, "Social Influence Within Dynamic Epistemic Logic: Plausibility Models"
• Заседание 33. В.В.Долгоруков, "Социальное влияние с точки зрения эпистемической логики: вероятностные модели"
• Заседание 34. Е.Г.Драгалина-Черная, " 'Правильное использование имен':  теоретико-игровая интерпретация"
• Заседание 35. Хорхе Мендес-Мартинес, "On what there is not, fictional objects and problems concerning logical models"
• Заседание 36. Paolo Valore, "A Critical Evaluation of the Standard Ontological Commitment: the Quantificational Paradigm Challenged"
• Заседание 37. Allard Tamminga, "Katz's revisability paradox dissolved"
• Заседание 38. М.А. Смирнов, "Онтология и логика событий"
• Заседние 39. Tudor Protopopescu, "A Hyperintensional Logical Framework for Deontic Reasons"
• Заседание 40. Frode Bjørdal, "All Properties are Divine or God exists"
• Заседание 41. Melvin Fitting, "On Modalities and Quantifiers"
• Заседание 42. В.Н. Крупский, "О моделировании уверенности и знания в социальных сетях"
• Заседание 43. Д.Н.Федянин, "Threshold and Network Generalizations of Muddy Faces Puzzle"
• Заседание 44. В.В.Долгоруков, "Онтологический квадрат и теоретико-типовая семантика"
• Заседание 45. В.Л.Васюков, "Кантианские мотивы в интуиционистской логике"
• Заседание 46. Irina Starikova, "Is there any “logic of discovery in pictures”: Where do scientific ideas come from?"
• Заседание 47. Е. В. Борисов, "К семантике предикативных определенных дескрипций"
• Заседание 48. А. В. Родин, "Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations"
• Заседание 49. Элиа Дзардини, "Unstable Knowledge"
• Заседание 50. Круглый стол "Формальная философия: основания и перспективы"
• Заседание 51. Gila Sher, "Non-Traditional Solution to the Liar Paradox"
• Заседание 52. Gila Sher, "Mathematical Truth"
• Заседание 53. Gila Sher, "The Foundational Role of Model-Theory"
• Заседание 54. Itala D’Ottaviano, "Translations between logics"
• Заседание 55. Itala D’Ottaviano, "Systemic Thinking"
• Заседание 56. Jan Hertrich-Woleński, "Tarski's Theory of Truth"
• Заседание 57. Jan Hertrich-Woleński, "Analytic Philosophy in Poland"
• Заседание 58. В. Л. Васюков, "Ситуации, события, факты: формальная феноменология ситуаций"
• Заседание 59. Е. Е. Золин, "Абстрактная теория определимости"
• Заседание 60. Е.Г. Драгалина-Чёрная, "Материальное следование"
• Заседание 61. В. Л. Васюков, "Логический плюрализм в Львовско-Варшавской школе"
• Заседание 62. А. М. Павлова, "От игр сравнения степеней истины до исчислений секвенций для логики Гёделя"
• Заседание 63. В. А. Петровский, "Логика правомерности: опыт построения алгебраической модели"
• Заседание 64. Презентация книги В. Долгорукова, Н. Зевахиной и Д. Поповой "Введение в лингвистическую прагматику"
• Заседание 65. J. Gomułka and A. Roman "Tractate 6 revised: Wittgenstein Compromise and S-operation"
• Заседание 66. J. Held, "Inference and Predication"
• Заседание 67. А. Н. Поддьяков, "Понимание нетранзитивности превосходства и объекты экспериментального интереса вразных областях и парадигмах"