Сектор логики ИФРАН

Смирновские чтения 2003

Пятая Международная конференция "Смирновские чтения по логике". Москва, Институт философии РАН, 20-22 июня 2007 г.

Регистрация: 19 июня с 12 до 18 (Волхонка 14, комн. 421), 20 июня с 9:30 до 10:30 (холл 2-го этажа). Открытие конференции 20 июня в 10:30.

Участникам, подававшим заявки на проживание, по вопросам поселения обращаться на кафедру логики МГУ: метро "Университет", 1-й корпус гуманитарных факультетов МГУ, 11 этаж, аудитория 1142, тел. 939 18 46, 19 июня с 10 до 21, 20 июня с 9 до 11.

О КОНФЕРЕНЦИИ

Смирновские чтения - это двухгодичная конференция, посвящённая памяти выдающегося российского логика и философа Владимира Александровича Смирнова (1931-1996). Многие постоянные участники конференции являются его учениками или соратниками. Цель конференции - создание единого пространства, в котором могли бы плодотворно общаться специалисты из различных областей науки, интересующиеся логикой и её приложениями. Этой цели Владимир Александрович посвятил свою жизнь.

Предыдущие конференции прошли в 1997, 1999, 2001 и 2003 гг. в Институте философии РАН. Работа конференции проходит по двум большим секциям: 1) символическая логика и 2) философская логика. Также проводится семинар по философии и методологии науки.

ТЕМАТИКА СЕКЦИЙ

1. Символическая логика:
   • синтаксическое и семантическое построение формальных логических систем;
   • логические исчисления: аксиоматические, секвенциальные, табличные, натуральные...;
   • логические семантики: таблично-истинностные, реляционные, окрестностные, алгебраические, теоретико-категорные...;
   • неклассические логики: интуиционистские, модальные, паранепротиворечивые, релевантные, многозначные, подструктурные...;
   • свойства логик: аксиоматизируемость, разрешимость, алгоритмическая сложность...;
   • систематизация и классификация логических формальных систем.
2. Философская логика:
   • содержательная интерпретация логических формальных систем;
   • философские проблемы неклассических логик;
   • логические семантики;
   • логические парадоксы и их роль в науке;
   • проблемы обоснования математики;
   • силлогистика;
   • теория аргументации;
   • приложения логики к анализу естественного языка;
   • вопросы истории логики;
   • место логики в системе наук.

Приведённая тематика не исчерпывает всего возможного круга проблем, которые достойны обсуждения в ходе конференции. Следует заметить, что деление по секциям проводится нежёстко. Главное различие между ними заключается в составе аудитории: в секции символической логики докадчик может рассчитывать найти известных специалистов по логике из среды математиков и философов, в секции философской логики также будет много философов-логиков, при этом специалистов по математической логике будет меньше, чем в первой секции.

ВАЖНЫЕ ДАТЫ

• Окончание срока принятия тезисов: 1 марта 2007 г.
• Проведение конференции: 20-22 июня 2007 г.

ТРЕБОВАНИЯ К ТЕЗИСАМ

Тезисы докладов должны быть написаны в формате Word 6.0/95. Подробности относительно оформления смотрите в письме оргкомитета. Ту часть письма, в которой дан примерный вариант набора, можно использовать в качестве шаблона для написания своих тезисов.

РЕГИСТРАЦИЯ

Чтобы зарегистрироваться в качестве участника, нужно послать заполненную анкету на контактный адрес конференции.

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

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

ТЕМЫ ПЛЕНАРНЫХ ДОКЛАДОВ

КОНТАКТНАЯ ИНФОРМАЦИЯ