Программа II российско-французского коллоквиума «логика и её приложения» - www.umotnas.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Перекрестного года 1 52.86kb.
1. Наименование направления подготовки (специальности) 1 24.83kb.
Программа дисциплины «математическая логика» 1 237.01kb.
Программа дисциплины логика для специальности 080507. 65 1 100.8kb.
В четырех томах 10 4407.25kb.
Перечень докладов на I научно-практическую конференцию «Авдеевские... 1 57.27kb.
Программа XXII российско-американского семинара 1 61.04kb.
Рабочая программа, программа дисциплины история российско-китайских... 2 505.66kb.
Программа дисциплины Логика Карпенко И. А, к филос н. Москва, 2010... 1 110.98kb.
Учебная программа Дисциплины б5 «Математическая логика и теория алгоритмов» 1 127.27kb.
Программа-минимум кандидатского экзамена по специальности 01. 1 37.49kb.
Зав кафедрой доктор биологических наук профессор Л. А. Моисеева 1 344.07kb.
Викторина для любознательных: «Занимательная биология» 1 9.92kb.

Программа II российско-французского коллоквиума «логика и её приложения» - страница №1/1

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

Черноскутов Юрий Юрьевич, доцент кафедры логики СПбГУ



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

Слинин Ярослав Анатольевич, профессор кафедры логики СПбГУ

Лисанюк Елена Николаевна, доцент кафедры логики СПбГУ

Нечитайлов Юрий Вячеславович, доцент кафедры логики СПбГУ



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

E-mail: Yuri Chernoskutov <chernoskutov@mail.ru>