НАУЧНАЯ ПРОГРАММА

II РОССИЙСКО-ФРАНЦУЗСКОГО КОЛЛОКВИУМА

«ЛОГИКА И ЕЁ ПРИЛОЖЕНИЯ»

(Санкт-Петербург, 17-18 июня 2013)

II Российско-Французский коллоквиум "Логика и её приложения" служит продолжением дискуссии, начатой на I-м коллоквиуме, проводившемся в Тулузе, Франция, 6-7 апреля 2012 г. В ходе коллоквиума планируется обсудить широкий спектр проблем, связанных с приложениями аппарата современной логики в основаниях математики, представлении знаний и формализации естественных рассуждений, формальной онтологии. Отдельное внимание предполагается уделить сопоставлению особенностей методологических и теоретических подходов Российских и Французских исследователей к феноменам неклассичности и их прикладным аспектам.

Планируется заслушать и обсудить следующие пленарные доклады:

1. Антонова Ольга (Католический университет Тулузы). Современные концепции теории доказательства.

2. Кабанак Сильван (Университет Дени Дидро, Париж). Теория потенциальных структур Эресмана.

3. Марон Себастьен (Университет Поля Сабатье, Тулуза). Геометрия и категории: исследование о «Категориях и структурах» (1965) Шарля Эресмана.

4. Халими Брис (Университет Х округа, Париж). О возможностях приложений контактной геометрии в модальной логике.

5. Феро Луи и Соловьёв Сергей (Университет Поля Сабатье, Тулуза). Категорическая теория доказательства и её приложения в математике и информатике.

6. (СПбГУ). Деонтическая логика Малли, агентность и stit-структуры.

7. (СПбГУ). Предмет и модальность: история и перспективы

8. (СПбГУ). Эпистемическая логика для агентов с ограниченной рациональностью.

9. (СПбГУП) Семантика возможных миров между Крипке и Льюисом: перспективы модального реализма и антиэссенциализма.

10. (СПбГУ). О генезисе понятия абстрактного объекта в логике 19 века.

ОРГАНИЗАЦИОННЫЙ КОМИТЕТ

II РОССИЙСКО-ФРАНЦУЗСКОГО КОЛЛОКВИУМА

«ЛОГИКА И ЕЁ ПРИЛОЖЕНИЯ».

Председатель организационного комитета:

, доцент кафедры логики СПбГУ

Члены организационного комитета:

, профессор кафедры логики СПбГУ

, доцент кафедры логики СПбГУ

, доцент кафедры логики СПбГУ

Контактный телефон: (доб. 1844)

E-mail: Yuri Chernoskutov <*****@***ru>