САНКТПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ 

Современная логика: 

проблемы теории, истории 

и применения в наук

е 

Десятая общероссийская научная конференция 

 

Кафедра логики факультета философии и политологии СПбГУ 

26–28 июня 2008 года 

 

 

 

• Программа конференции 

• Дополнительная информация    ОГЛАВЛЕНИЕ  Программа конференции Пленарные заседания …………………………………………………………….……………………... 3 Секция «История логики» …………………………………………………………………………........ 4 Секция «Символическая логика» ……………………………………………………………….…....... 5 Секция «Логика и философия» ……………………………………………………………

Секция «Логика и язык» ……………………………………………………...……………………........ Секция «Логика и теория аргументации» ……………………………………..…………

Секция «Логика и информатика» …………………………………………………………………......... Дополнительная информация Гостиница СПбГУ на ул. Кораблестроителей ……………………………………………………… Гостиница Центра Русского Языка на ул. Капитанской 3 ………………………………………….   2    ПРОГРАММА  10­Й КОНФЕРЕНЦИИ «СОВРЕМЕННАЯ ЛОГИКА: ПРОБЛЕМЫ ИСТОРИИ,  ТЕОРИИ И ПРИМЕНЕНИЯ В НАУКЕ»  САНКТ­ПЕТЕРБУРГ, 26­28 ИЮНЯ 2008 Г.  ПЛЕНАРНЫЕ ЗАСЕДАНИЯ (АУД. 25)  26 июня 2008 г. 11.00 – 13. Открытие конференции. Сообщение председателя оргкомитета (к.ф.н., доц. А.И. Мигунов).

Доклады:

1. Проф. Ю.Н. Солонин (Санкт-Петербургский университет, Россия) «Логика: ожидания и разочарования»

2. Проф. В.И.Кобзарь (Санкт-Петербургский университет, Россия) «Юбилейная конференция в Санкт-Петербурге и периодика истории логики в России. XX век»

3. Проф. Пауль Вейнгартнер (Paul Weingartner) (Universitt Salzburg, Austria) “The problem of contingent Future-Propositions (see-battle-problem) and the Concept of Omniscience” 27 июня 2008 г. 10.00 – 13. Доклады:

1. Проф. Франс ван Еемерен (Frans H. van Eemeren) (University of Amsterdam, Netherlands) “Fallacies in a pragma-dialectical perspective” 2. Проф. Е.Г. Драгалина-Черная (Государственный университет – Высшая школа экономики, Москва, Россия) «Границы логики: новые критерии демаркации»

3. Проф. Йохан ван Бентем (Johan van Benthem) (University of Amsterdam, Netherlands) “A Guided Tour of Dynamic Epistemic Logic”.

28 июня 2008 г. 10.00 – 14. Доклады:

1. Д.ф.н., доц. И.Б.Микиртумов (Санкт-Петербургский университет, Россия) «Эпистемическая динамика аргументативного процесса»

2. Проф. Даниель Вандервекен (Daniel Vanderveken) (University of Quebec, Canada) “Attitudes, Attempts and Actions Formulation of The Logic of Agency”.

3. Проф. Пер Мартин-Леф (Per Martin-Lf ) (Stockholm University, Sweden) “Assertion Made, Assertions, Assertoriс Contents and Propositions” Закрытие конференции.

Выступления руководителей секций.

СЕКЦИИ  26 и 27 июня 2008 г. 14.00 – 18. 1. История логики (ауд. 141) 4. Логика и язык (ауд. 132) 2. Символическая логика (ауд. 108) 5. Логика и теория аргументации (ауд. 142) 3. Логика и философия (ауд. 167) 6. Логика и информатика (ауд. 106)   3    ИСТОРИЯ ЛОГИКИ   Сопредседатели секции Проф. Ярослав Анатольевич Слинин Проф. Валентин Александрович Бажанов 26 июня 14.00 – 18.00 Ауд. 1. Кузичева З.А. О так называемых «чистых» доказательствах и «чистых» теориях в математике 2. Тоноян Л.Г. Классификация: история, теория и применение в науке 3. Прядко И.П. Логика и история науки XX века о соотношении эмпирического и теоретического в научном исследовании: от М. Шлика до Т. Куна 4. Антонова О.А. Трансформация понятия множества: от теории Кантора к теории типов 5. Базаров А.А. Тибетский логик Чаба Сенге и проблема определения 6. Лисанюк Е.Н. Логика норм в России (1958–2008) (к 50-летию первой публикации по логике норм на русском языке) 7. Крушинский А.А. Проблема древнекитайской логики 8. Севостьянова Н.Г. Логос и этос в русской метафизике всеединства 9. Бажанов В.А. Ч. Пирс, С.Петербург, Россия конца XIX – начала ХХ века 10. Абрамян Н.Л. О логике «Кратила»

1. Кобзарь В.И. Периодика истории логики в России (ХХ век) 2. Солонин Ю.Н. Учение об индуктивной логике в философской школе Я.-Ф.Фриза 3. Черноскутов Ю.Ю. Теория предмета в австрийской логике XIX века 4. Бартун Н.П. Украинская логика: фигуры постмодерна 5. Галушко В.Г. Категории Аристотеля в использовании каппадокийцами и Августином 6. Гусева М.А. Учение Аристотеля в Византии: труды Иоанна Филопона 7. Лобастова В.А. Э. Гуссерль о структуре объективирующих актов сознания 8. Серкова В.А. Проблема логического обоснования гилетического в феноменологии 9. Пушкарский А.Г. Учебно-методический комплекс по спецкурсу «История логики»

10. Спивак В.И. Эволюция научного знания в учении Уильяма Уэвелла 11. Орлова А.Г. Модальности de re и de dicto, de sensu diviso и de sensu composito в логике 12. Слинин Я.А. Лейбниц об утвердительных и отрицательных тождественных истинах и их

СИМВОЛИЧЕСКАЯ ЛОГИКА 

Сопредседатели секции Проф. Эдуард Федорович Караваев Проф. Борис Иванович Федоров 1. Быстров П.И. Логические выводы и доказательства: вопрос о нормальной форме 2. Васюков В.Л. Потосы для паранепротиворечивой логики 3. Девяткин Л.Ю. Классическая логика высказываний и многозначные логические матрицы 4. Долгоруков В.В. Нормативные конфликты с точки зрения деонтической логики и теории 5. Карпенко А.С. P-логики 6. Маркин В.И. Вариант классического натурального исчисления высказываний с упрощенной процедурой поиска вывода 7. Стешенко Н.И. Аксиоматическое исчисление первопорядковой логики направленности 8. Хаханян В.Х. Арифметика Гейтинга с принципами Маркова и Р 1. Чагров А.В., Чагрова Л.А. О полиномиальной разрешимости вариантов логики А. Виссера, связанных с утверждениями о непротиворечивости, с ограничениями на число 2. Кулик Б.А. Математическое отношение как основная структура логики 3. Титов А.В. Математические структуры и классификация вариантов пропозициональной ЛОГИКА И ФИЛОСОФИЯ  Сопредседатели секции Проф. Владимир Иванович Кобзарь Проф. Ядвига Станиславовна Яскевич 1. Петруня О.Э. О предмете и статусе логики 2. Яскевич Я.С. Логика и методология науки: классика и современность 3. Голота Я.Я. Два типа объектов реального мира – два типа оппозиций – два типа логик 4. Беловол А.В. Наблюдение о связи модальной логики и метафизики 5. Белоус Т.Н. К проблеме методологии нормативного натурализма в исследовании 6. Бирюков Б.В., Верстин И.С., Рузевич С.М. Проблема прелогического мышления в трактовке Л.Леви-Брюля и результаты полевого психологического исследование 7. Кротков Е.А., Носова Т.В. Рассуждение как способ получения выводного знания 8. Горбатов В.В. Предпосылка единственности реального мира и ее роль в логической 9. Новохацкая Л.П., Шашкова Л.А. Бертран Рассел: логика науки и мистицизм религии 10. Малая Н.В. Эвристические процедуры обоснования научного знания: функциональный 11. Терентьева Л.Н. Логический квадрат в категориях двойственного системного 1. Прядко И.П. Аналогия как метод исследования социокультурной динамики 2. Титов В.Д. Принципы логики и максимы юриспруденции 3. Михайлов В.Е. Прагматический подход к проблеме истинной значимости научного 4. Фатиев Н.И. Теодицея, свобода воли и логический вывод 5. Ладушкин С.И. Монизм правильности или монополия на истину?

6. Жалдак Н.Н. Квалиметрический подход к оценке продукта логических исследований 7. Егоров С.Н. О парадоксе 8. Колычев П.М. Умозаключение как вычитание 9. Медведева Л.С. Вопрос в исследовательских эвристиках Платона и Фрейда 10. Афанасьев Р.К. Принципы практической логики как принципы экономического 11. Шенгерий Л.Н. Логико-аналитическая реконструкция линейной и сетевой схем рациональности 12. Павлюкевич В.И. Система логических отношений между высказываниями как аналоговый конструкт системы отношений между понятиями ЛОГИКА И ЯЗЫК   Сопредседатели секции Проф. Станислав Сергеевич Гусев Проф. Елена Дмитриевна Смирнова 1. Астапова-Вязьмина Е.И. К вопросу об особенностях языка Л. Кэрролла 2. Гриненко Г.В. Культурные пресуппозиции логических идей 3. Катречко С.Л. К вопросу о холистской логике смысла 4. Лобовиков В.О. Бинарное обобщение унарной невригтовской модели интуиции Г.В. Лейбница о формальной взаимосвязи аристотелевских и юридических модальностей 5. Митрошин В.Е. К истории и философии языка отношений 6. Попов В.В., Семенова В.Г. Семантика изменения с точки зрения логики и языка 7. Семенова В.Г. Логико-семантический подход к описанию ситуации 8. Смирнова Е.Д. Принципы построения систем семантических категорий различного типа 9. Денисова В.Г. Применение семантики возможных миров для исследования познавательных 1. Караваев Э.Ф. Логическая модель планирования и опытные данные о «Парадоксе 2. Тульчинский Г.Л. Г.Г. Шпет: перспектива логики содержания (смысла) 3. Нечитайлов Ю.В. Проблема моделирования мыслительного процесса посредством эксплицитной модели эпистемической логики 4. Шапчиц П.А. О проблеме разделяющего мгновения во временной логике 5. Романенко О.Ю. Временные и алетические модальности 6. Новиченков С.А. Предпосылки эмпирического критерия осмысленности 7. Сумарокова Л.Н. Прагматический аспект языков логики 8. Демина Л.А. S-смыслы и О-смыслы: аксиология и норма 9. Зайцева Н.В. «Бытие есть, небытия нет». Старая проблема в логико-семантическом 10. Светлов В. А. Истина как саморекурсия: определение и логические следствия ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ  Сопредседатели секции Проф. Ирина Викторовна Хоменко Доц. Анатолий Иванович Мигунов 1. Берков В.Ф. Дискуссия как средство социализации научных инноваций 2. Герасимова И.А. Является ли истина категорией теории аргументации?

3. Колотилова Н.А. Нормативные и дескриптивные аспекты риторики 4. Кузина Е.Б. Аргументационные и неаргументационные способы воздействия: убеждение и 5. Мигунов А.И. Мир как объект изучения логической прагматики 6. Микиртумов И.Б. Эпистемические и психологические установки в аргументативном 7. Сидоренко Е.Г. Невербальные аспекты аргументации 8. Уколов С.Ю. Логико-аргументационный анализ юридического дискурса: логика судебного 9. Хоменко И.В. Неформальный подход: направления развития аргументативной 1. Коротун О.А. Логический анализ рекламной аргументации 2. Навроцкий В.В. Аргументационный подход к модифицируемым рассуждениям 3. Шклярик Е.Н. Визуализация информации в процессе аргументации 4. Шульга Е.Н. «Теория аргументации» и проблема ее обоснования 5. Гусев С.С. Практический силлогизм и коммуникация 6. Карпов Г.В. Критика теории иллокутивных действий: иллокутивная сила как пустое 7. Щербина Е.Ю. Молчание как аргумент в правовой аргументации 8. Чуешов В.И. Возможна ли визуальная аргументация, или о роли образов в аргументационном дискурсе 9. Павлюкевич В.В. Социоэпистемические аспекты типологии аргументации ЛОГИКА И ИНФОРМАТИКА  Сопредседатели секции Проф. Виталий Ильич Левин Ст. преп. Юрий Вячеславович Нечитайлов 1. Федоров Б.И. Продуктивность вопроса как средства получения нового знания 2. Mutanen A. About Generalized Computation 3. Анисов А.М. Вычислимость в нестандартном универсуме 4. Емелин И.А. Введение специфических характеристик событий в формальную систему (на примере логики VEL) 5. Левин В.И. Непрерывная логика и комбинированные задачи информатики и управления 6. Рыбаков М.Н. Свойства логик знания при одновременном использовании оператора распределенного знания и оператора всеобщего знания 7. Шапиро О.А. Взаимодействие «вопрос–ответ» на демонстративной стадии развития 8. Болдырев А.С. Роль диалога в решении проблем искусственного интеллекта.

1. Кузичев А.С. Из истории секвенциальных логик 2. Левин В.И. История открытия логического моделирования дискретных устройств 3. Боровиков Г.А. Экспертная система для определения признаков наркозависимости и значимого изменения иммунитета на базе логики контрарных отношений 4. Зайцев Д.В. Еще одна полезная логика 5. Мухачев В.П. Возможен ли автоматический вывод для интуиционистской логики?

ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ 

Гостиница СПбГУ на ул. Кораблестроителей Схема проезда От Университетской набережной до ул. Кораблестроителей, д.20, корпуса 1,2, (для поселения обращаться в первый корпус) Маршрутное такси №№ 362, 147, 7.

Автобус №№7, http://www.campus.spbu.ru/vo/main.ru.html Гостиница Центра Русского Языка на ул. Капитанской Схема проезда От Университетской набережной до ул. Капитанской, д. Автобус №№7,