Теоретический семинар «Формальная философия»
Теоретический семинар «Формальная философия», действующий с 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"
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.