Московский государственный университет
имени М.В. Ломоносова
Философский факультет
Российская Академия Наук
Институт философии
АНО «Институт логики, когнитологии и развития личности»
Седьмые Смирновские чтения
по логике
Программа Международной научной конференции
(Москва, 22-24 июня 2011 г.)
Конференция проводится при поддержке Российского гуманитарного научного фонда (грант № 11-03-14101г) 2 Программный комитет Член-корр. РАН В.В. Миронов (председатель), академик РАН В.А. Лекторский (сопредседатель), д.ф.н. А.С. Карпенко (зам. председателя), д.ф.н. Е.Д. Смирнова (зам. председателя), д.ф.н. В.А. Бажанов (Ульяновск), проф. В. Горанко (Дания), проф. Г. Малиновский (Польша), д.ф.н. В.А. Бочаров, д.ф.н. В.Н. Брюшинкин (Калининград), д.ф.н. В.Л. Васюков, д.ф.н. И.А. Герасимова, д.ф.н. Ю.В. Ивлев, д.ф.н. И.Б. Микиртумов (Санкт-Петербург), проф. У. Шеффлер (Германия), д.ф-м.н. Н.Н. Непейвода (Ижевск), проф. Г. Санду (Хельсинки - Париж), д.т.н. В.К. Финн, д.ф-м.н. А.В. Чагров (Тверь), д.ф.н. Я.В. Шрамко (Кривой Рог, Украина) Организационный комитет д.ф.н. В.И. Маркин (председатель), к.ф.н. Д.В. Зайцев (зам. председателя), к.ф.н. В.И. Шалак (зам. председателя), к.ф.н. О.М. Григорьев (ученый секретарь), к.ф.н. Л. Ю. Девяткин, к.ф.н. А.П. Козырев, к.ф.н. А.А. Костикова, Б.Я. Кочетов, В.В. Куртов, к.ф.н. А.В. Смирнов,к.ф.н. В.О. Шангин Порядок работы конференции 22 июня 11.00 - 14.00, 15.00 - 18.30 Пленарные заседания (ауд. А307) 23 июня 10.30 - 13.30, 15.00 - 18.30 Секционные заседания Секция «Символическая логика» (ауд. Е335) Секция «Философская логика» (ауд. Е359) Секция «История логики» (ауд. Е349) Секция «Логика научного познания» (ауд. Е355) 15.00 - 18.30 Симпозиум «Доказательство в математике и логике: современное состояние дел» (ауд. Г307) 24 июня 10.30 - 14.00 Секционные заседания Секция «Символическая логика» (ауд. Е335) Секция «Философская логика» (ауд. Е359, Г307) Секция «История логики» (ауд. Е349) Секция «Логика научного познания» (ауд. Е355) 15.00 - 17.30 Круглый стол «Проблемы оснований логики» (ауд. А307) 17.30 - 18.00 Закрытие конференции (ауд. А307) Регламент Пленарные доклады – 30 минут Секционные доклады – 15-20 минут Пленарные заседания 22 июня 11.00 – 14.00 (ауд. А307) Председатель – д.ф.н. В.И. Маркин (Москва, МГУ) В.В. Миронов Вступительное слово В.А. Лекторский Вступительное слово G.Malinowski Multiplying Logical Values В.И. Шалак. Универсальность логических принципов M.Kracht Gnosticism or: How Logic Fits My Mind 22 июня 15.00 – 18.30 (ауд. А307) Председатель – д.ф.н. А.С. Карпенко (Москва, ИФ РАН) Н.Н. Непейвода. Уроки конструктивизма V. Goranko Logics for multi-agent systems: new challenges for philosophical logic V. L. Vasyukov Logical Pluralism and Non-Classical Category Theory U. Scheffler. Knowledge, Belief and Regret
"ПРОБЛЕМЫ ОСНОВАНИЙ ЛОГИКИ"
1. Является ли проблема оснований логики актуальной?2. Какова природа оснований логики?
3. Логика - самостоятельная наук
а или совокупность методов?
4. Какие понятия логики являются центральными?
5. Как соотносится логика и другие науки?
6. Что ждет логику в будущем?
S.P. Odintsov Negation in Logic Programming and Deductive Bases N. E. Tomova On Some Functional Properties of Natural p-logics V. Khakhanian To what extent contemporary mathematical science is reliable A. E. Bolotov, V. O. Shangin A proof searching algorithm for a paraconsistent logic PCont Y. V. Shramko Concept of Falsity in Intuitionistic Logic Председатель – д.ф.н. В.Л. Васюков (Москва, ИФ РАН) И. А. Горбунов Дизъюнкция в дедуктивных системах Н. А. Знаменская, В. М. Попов Об отсутствии интерполяционного свойства у логики В. М. Попов Об отсутствии интерполяционного свойства у логик I3,, I3,1 и всех логик В. И. Левин Логическая теория множеств В. А. Степанов Многозначная логика в динамической семантике атомарных самореферентных предложений Г. В. Штаксер Теоремы погружения для пропозициональных неклассических логик с кванторами по пропозициям и модели в эквивалентностях.
А. Д. Яшин, А. К. Кощеева Новые константы в суперинтуиционистской логике L А. Б. Конюхова, Ю. В. Нечитайлов Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением Я. А. Кохан Теоретико-модельный анализ предикатов V. O. Lobovikov A proof of a formal-axiological inconsistency of the formal arithmetic investigated by K. Godel (the proof essentially using own axioms of formal axiology) А. В. Титов О зависимости типа логического исчисления от структуры оценки V. A. Filippovksi Inference of denitional equivalence of two theories from their mutual Н. А. Знаменская О выразимости операций характеристической матрицы логики PCont Розоноэра через операции характеристической матрицы логики LPF Аврона А. В. Красненкова О проблеме доказательства непротиворечивости и полноты алгоритма поиска вывода для натуральных систем негативной силлогистики Председатель – д.ф.н. Е.Г. Драгалина-Черная (Москва, ГУ-ВШЭ) Б. И. Федоров К вопросу о «систематизации» логики Ю. В. Ивлев Функции и квазиоперации в неклассической логике А. Г. Кислов «Строгие» деонтические операторы в динамической логике А. И. Мигунов К прагматическому толкованию отношения следования Г. В. Гриненко Парадокс лжеца и проблема «правдеца»
Н. В. Зайцева Современная логика — время когнитивного поворота?
А. М. Анисов Вычислительная интерпретация концепции времени мутазилитов Председатель – д.ф.н. И.Б. Микиртумов (Санкт-Петербург) E.D. Smirnova Truth and Liar Paradox V. N. Bryushinkin Cognitive maps of argument sets E. Dragalina-Chernaya Logic and Phenomenology of Invariance P. I. Bystrov Logic of Unbelief D. V. Zaitsev How to Make Your Logic Relevant O. M. Grigoriev Bipartite truth and semi-negations Председатель – д.ф.н. Б.И. Фёдоров (Санкт-Петербург) A. S. Karpenko Philosophical Problems of Foundations of Logic И. Б. Микиртумов Что мы можем знать о значении предложения?
В. И. Маркин Альтернативы логическому квадрату в силлогистиках с нестандартными G. K. Olkhoviov A note on Ross’s paradox in deontic extensions of stit logic Н. И. Стешенко 3-хзначная логика изменения R В. И. Павлюкевич Симметричная минимизация базиса логических отношений в классической логике высказываний V.Dolgorukov Nash Equilibrium and Analysis of Ambiguity in Game Theoretic Pragmatics В. В. Горбатов «Рогатка» для Крипке А. А. Солощенков Аналитико-табличные аксиоматизации простых паранормальных логик S. A. Pavlov Logical Semantics with Only One Reference К.И. Бахтияров ПСИ-фрактальность Е. Е. Ледников Набросок динамической логической теории знания П. С. Куслий Двухмерная семантика и референция единичных терминов В. Е. Михайлов О возможности переинтерпретации и конкретизации общеизвестных «формул сведения» А. Р. Андерсона С. М. Жданов Парадокс познаваемости и интуиционистское отрицание А. Н.Журавлев О количестве аксиом в ассерторической силлогистике К. А. Павлов Логическая топология и процессы рассуждения "Доказательство в математике и логике: современное Организатор: Московский семинар по философии математики Участники: д.ф.н. А.Н. Кричевец, д.ф.н. В.Я. Перминов, к.ф.н. В.А. Шапошников, к.ф.н. С.Л. Катречко, к.ф.-м.н. Е.А. Зайцев, д.ф.-м.н. Л.И. Маневич, к.ф.-м.н., д.ф.н. С.Н. Бычков, д.ф.н. В.А. Бажанов, к.пс.н. И.Е. Берлянд, д.ф.н. Г.Б. Гутнер, к.ф.н. А.В. Чусов, к.ф.н. Е.В. Косилова, к.ф.-м.н., д.ф.н. З.А. Сокулер, к.ф.н. А.И. Белоусов, асп. А.Ю. Шварц.
В.А. Бажанов Логика в России и православная церковь В. А. Бочаров Павел Флоренский и логика И. А. Герасимова П. А. Флоренский о противоречии: логика, аргументация, риторика З. А. Кузичева Понятие «логическое следование» в трактовке С. А. Яновской А. Г. Пушкарский Синтетический подход к методологии истории логики и исследование типов рациональности, лежащих в основе генезиса различных логических А. Н. Голубниченко Классификация логических машин А.А. Крушинский. Китайская концепция логики человеческого действия Председатель – д.ф.н. В.А. Бажанов (Ульяновск) О. Ю. Гончарко Понятие темпоральной строгой импликации Диодора Кроноса Е. Г. Сидоренко Учение стоиков о языке В. В. Ляшов Средневековая диалектика как логическая практика и истина К. Д. Скрипник Логика в «Cursus philosophicus thomisticus» Д. Пуансо (Иоанна св. Фомы) Л. Г. Тоноян «Неправильные» модусы в логической теории Боэция Т. А. Шиян Иерархия благ у Боэция как математическая структура С. Ю. Уколов Софизм как основание логической теории Н. М. Кононова Суппозиция vs дескрипция М.А. Джаббехдари Определение в логическом учении Ибн-Сины Председатель – к.ф.н. Л.Г. Тоноян (Санкт-Петербург) I. Khomenko Logic in P. Yurkevich’s manuscripts Ю. Ю. Черноскутов О силлогистике Франца Брентано Н. Б. Вяткина Б. Рассел «Об обозначении»: эволюция идеи Е. В. Журавлева Сравнительный анализ логико-семантических концепций У. Оккама и N. N. Kravchuk Whitehead’s Universal Algebra and its application to symbolic logic С. М. Кускова Система категорий Ч. С. Пирса А.С. Труфанова Современные интерпретации неориторики Х. Перельмана М. А. И. Салем К истории арабской логики Председатель –д.ф.н. В.Н. Брюшинкин (Калининград) З. А. Сокулер «Знание как»: характерные черты Б. В. Бирюков, И. С. Верстин Происхождение «прелогического» мышления и дуальная организация первобытного общества как система, удобная для компьютерного моделирования Л. А. Демина Образ науки: фаллибилизм и интерсубъективность Н. Н. Жалдак Культура владения логическими средствами естественного языка Н. Ц. Жамбалдагбаев Пульсовая диагностика как система знаний О. С. Васильев Сопряженные семиотические квадраты как фундаментальные конструкты в Председатель – д.ф.н. И.А.Герасимова (Москва, ИФ РАН) Н. Г. Баранец, А. Б. Веревкин О становлении научных теорий Е. Б. Кузина Доказать – значит убедить: о понятии доказательства И. П. Прядко Оценка роли логики в гуманитарном познании на примере споров о русской К. А. Михайлов Индуктивные игры как моделирование научного поиска: новые горизонты В. А. Яковлев Познание как инновационный процесс O. O. Shapiro Logical analysis of conict: reconstruction of the past and forecasting of the future Г. В. Сорина, И.Н.Грифцова Проектная открытость в будущее и творчество В.А. Смирнова В. П. Мухачев, А. С.Полушин Решение обратных задач Смаллиана С. Л. Катречко Абстрактная природа логико-математического знания и приращение В. И. Моисеев О формулировке критерия логической демаркации А. Н. Павленко Следствия формального определения принципа наблюдаемости.
С. М. Антаков Трансцендентальная логика и категория нелинейности в установлении единства концепции дополнительности Бора и теоремы о неполноте Геделя