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

Порядок работы конференции

17 июня
11.00 - 14.00, 15.00 - 18.30 Пленарные заседания (ауд. А307)

18 июня
10.30 - 14.00, 15.00 - 18.30 Секционные заседания
Секция «Символическая логика» (ауд. Е335)
Секция «Философская логика» (ауд. Е359, Г510)
Секция «История логики» (ауд. Е349)
Секция «Логика научного познания» (ауд. Е355)

19 июня
10.30 - 14.00 Секционные заседания
Секция «Философская логика» (ауд. Е359, Г510)
Секция «История логики» (ауд. Е349)
Секция «Логика научного познания» (ауд. Е355)
15.00-15.45 Пленарное заседание (ауд. А307)
16.00 - 18.00 Круглый стол «Логическая семантика: перспективы для философии языка и эпистемологии» (ауд. А307)
18.00 - 18.30 Закрытие конференции (ауд. А307)


Регламент
Пленарные доклады – 30 минут
Секционные доклады – 15-20 минут

17 июня
11.00 – 14.00 (ауд. А307)
Председатель – д.ф.н. В.И. Маркин (Москва, МГУ)

В.В. Миронов. Вступительное слово
В.А. Лекторский. Вступительное слово
А.С. Карпенко. Проблема континуальности трехзначных логик
Jean-Yves Beziau. What is logic?
Е.Д. Смирнова. Основания теории семантических категорий


17 июня
15.00 – 18.30 (ауд. А307)
Председатель – д.ф.н. А.С. Карпенко (Москва, ИФ РАН)

Н.Н. Непейвода. Зависимость логики от главного ресурса и главной ценности
А.В. Чагров, Л.А. Чагрова. Алгоритмическая проблема окрестностей полноты нормальных модальных логик
В.Л. Васюков. Metalogical Pluralism
Я.В. Шрамко. Аргумент рогатки и нефрегевская логика
Walter Carnielli. Proofs as polynomials: how proving in classical an non-classical logics can be unified



19 июня
15.00 – 15.45 (ауд. А307)

Heinrich Wansing. Sequent Systems for SIXTEEN3




Секция «Символическая логика»

18 июня
10.30 – 14.00 (ауд. Е335)
Председатель – д.ф-м.н. Н.Н. Непейвода (Ижевск)

М. Рыбаков. Сложность фрагментов логики IPDL
В.М. Попов. Между Par и множеством всех формул
В.И. Пантелеев, Н.А. Перязев. Логика предикатов при обобщенной интерпретации
переменных
В.Х. Хаханян. Об одном свойстве универсумов в моделях реализуемости для
интуиционистской теории множеств
С.П. Одинцов. Belnap’s constants in Nelson’s logic
Я.А. Кохан. Языки и исчисления без индивидных обозначений
П.И. Быстров. “Paradoxes” of classical implication from proof-theoretical viewpoint



18 июня
15.00 – 18.30 (ауд. Е335)
Председатель – д.ф.н. В.Л. Васюков (Москва, ИФ РАН)

А.Е. Болотов. On the “Until Induction” in Natural Deduction for PLTL
И.А. Горбунов. Минимальная логика с импликацией представляющей отношение
выводимости
А.Н. Непейвода. О сюръективной импликации в реверсивной логике
Н.П. Козаченко. Doxastic Modal Logic and AGM
А.В. Титов. Построение классической и неклассической теорий алгебраической
системы выбором отношения эквивалентности на значениях оценки
В.А. Степанов. Четырехзначная модальная логика Лукасевича в семантике само-
референтных предложений
А.С. Кузичев. Ламбда-конверсия А. Черча и теория множеств Г. Кантора
(секвенциальный вариант)


Секция «Философская логика»

18 июня
10.30 – 14.00 (ауд. Е359)
Председатель – д.ф.н. Я.В. Шрамко (Кривой Рог, Украина)
А.М. Анисов. Индетерминированная вычислимость
Б.И. Федоров. Особенности формализации описательных вопросов
Е.Г. Драгалина-Черная. Interactive Compositionality. Constructive games for Abelar
and Eloise
Д.В. Зайцев. Intuitive ’Approximate’ Semantics for FDE
Arto Mutanen. A logic of action
Г.В. Гриненко. О некоторых философских предпосылках логических идей
В.И. Шалак. О белых пятнах в логике
В.И. Маркин. Нестандартные переводы позитивных силлогистик в исчисление
предикатов


18 июня
Подсекция 1.
15.00 – 18.30 (ауд. Е359)
Председатель – д.ф.н. Е.Д. Смирнова (Москва, МГУ)
Н.В. Зайцева. «Рогатка Черча» и онтологическое основание логики
С.А. Павлов. Семантика с одним денотатом и многозначные интерпретации
Н.В. Заикина. Учение о части и целом как основа для построения семантики
К.А. Пикалов. Семантическая замкнутость языка и возможность определения
предиката «истина»
В.В. Горбатов. Смена «поколений» в эпистемической логике
А.А. Побережный. Онтологические установки конструктивной логики
В.В. Ляшов. Метод экспликации и гносеологический статус семантических теорий
истинности
Ю.В. Горбатова. Бог и логика: горизонт логической проблемы

18 июня
Подсекция 2.
15.00 – 18.30 (ауд. Г510)
Председатель – д.ф.н. Б.И. Федоров (Санкт-Петербург)
Ю.В. Ивлев. Причины апорий и парадоксов
В.И. Левин. Логический подход к апориям Зенона
В.Г. Семенова. Высказывания идентификации и связанные с ними логические
парадоксы
Е.Е. Ледников. Интуитивные основания динамической логики знания
В.О. Лобовиков. Algebra of formal logic as a particular case of algebra of formal ethics
(Simulating moral-legal aspect of human conduct by operations of AI-robots)
Г.К. Ольховиков. First steps towards a new ontology of logic of action: analysis of L1
В.В. Долгоруков. Семейные сходства: попытка формальной экспликации
А.В. Беловол. Обощенная мультимодальная логика существования


19 июня
Подсекция 1.
10.30 – 14.00 (ауд. Е359)
Председатель – д.ф.н. Е.Г. Драгалина-Черная (Москва, ГУ-ВШЭ)

О.М. Григорьев. Натуральные исчисления с характеристиками зависимости для
нормальных систем модальной логики
Н.И. Стешенко. Секвенциональное исчисление логики направленности изменения
SR4
Н.Е. Томова. О расширениях логики Lisp
Н.А. Знаменская, В.М. Попов. Паранормальная логика PContPComp как
пересечение паранепротиворечивой логики PCont и параполной логики
PComp
В.О. Шангин. The short truth table method and its complexity
В.П. Мухачев, А.С. Полушин. Интуиционистская логика и индексный метод
А.А. Яйлеткан. К вопросу о проблеме разрешимости
А.А. Солощенков. Аналитико-табличная аксиоматизация релевантной логики
первопорядкового следования

19 июня
Подсекция 2.
10.30 – 14.00 (ауд. Г510)
Председатель – д.ф.н. Ю.В. Ивлев (Москва, МГУ)

В.И. Павлюкевич. Модальный статус логических отношений
Л.К. Непейвода. Размышления об определении понятий
В.А. Бочаров, М.А. Пещерова. Аксиома бесконечности и логика
М.А. Пещерова. Аксиома выбора как логический принцип
А.А. Иваненко, Вл.В. Попов. Некоторые аспекты исследования переходных
состояний логическими методами
В.В. Попов, Б.С. Щеглов. Оценка противоречивости переходных состояний в
логических системах Г. фон Вригта
Л.Г. Тоноян. Классификация и парадоксы теории множеств


Секция «История логики»

18 июня
10.30 – 14.00 (ауд. Е349)
Председатель – д.ф.н. И.В. Хоменко (Киев)

В.А. Бажанов. О методологическом аспекте историко-логических исследований
А.Г. Пушкарский. О некоторых проблемах методологии историко-логических
исследований
А.А. Крушинский. Китайская концепция логики человеческого действия
Е.Н. Лисанюк. Топ и стратегия в диалектике Аристотеля
Н.П. Брусенцов. Сущность отношения необходимого следования в силлогистике
Аристотеля
И.И. Иванова. Индуктивные рассуждения в логике эпикурейцев
В.А. Васильченко. Квази-силлогизм Секста Эмпирика и буддийская логика



18 июня
15.00 – 18.30 (ауд. Е349)
Председатель – д.ф.н. В.А. Бажанов (Ульяновск, УлГУ)

Т.В. Гордова. Проблема искусственного языка в «Новом органоне» И.Г. Ламберта
А.Г. Орлова. Временные высказывания в модальной теории Оккама
Е.Г. Сидоренко. Ментальный язык в исторической ретроспективе: средневековье
К.В. Лемешевский. Правило Notae nota и сведение модусов в силлогистике Канта
И.Б. Микиртумов, Ю.Ю. Черноскутов. Готтлоб Фреге и Бенно Керри
Л.Б. Черноскутова, Ю.Ю. Черноскутов. «Элементы логики» Ричарда Уэтли и
особенности британской логической традиции



19 июня
Подсекция 2.
10.30 – 14.00 (ауд. Е349)
Председатель – д.ф.н. И.Б. Микиртумов (Санкт-Петербург, СПбГУ)

И.В. Хоменко. Logic in Kyiv Theoretical Academy (1819–1920)
Б.В. Бирюков, Л.Г. Бирюкова. П.А. Флоренский: попытка построения логической
теории антиномичности
Б.В. Бирюков, И.С. Верстин. Е.М. Мелетинский и С.А. Токарев о концепциях
Л. Леви-Брюля и К. Леви-Строса
И.П. Прядко. О логической «ошибке» П.А.Флоренского
З.А. Кузичева. Август Де Морган
В.Т. Мануйлов. Логика «немецкого конструктивизма»



Секция «Логика научного познания»


18 июня
10.30 – 14.00 (ауд. Е355)
Председатель – д.ф.н. В.Н. Брюшинкин (Калининград)

З.А. Сокулер. «Знание, что» и «знание, как» в современной философии науки
К.А. Михайлов. Рецепция гегелевского принципа самоприменимости в современной
науке и культуре
О.А. Борисова. Проблема «первобытного мышления»: Л.С. Выготский читает
Леви-Брюля
С.Л. Катречко. Логика как выражение метафизики языка
С.В. Воробьева. Когнитивное моделирование как проблема фрактальной логики
Н.В. Малая. Эвристика Д. Пойа как Концептуальная модель оптимизации
познавательных процедур
Н.Н. Жалдак. Табличная практическая логика научного познания
Н.Ц. Жамбалдагбаев. О некоторых особенностях Буддийского учения о дхарме
С.Ю. Уколов. О логической структуре правовой нормы
М.Н. Шматков. Logical Structure Analysis Method in Jurisprudence
Р.Н. Шматков. О методе математико-логического анализа доказательств в
уголовном праве



18 июня
15.00 – 18.30 (ауд. Е355)
Председатель – д.ф.н. А.И. Мигунов (Санкт-Петербург, СПбГУ)

В.Н. Брюшинкин. Роль логики в процессах аргументации
И.А. Герасимова. Вопрос о природе законов логики в контексте межкультурного
диалога
Е.Б. Кузина. Рациональность как конститутивная характеристика аргументации
Я.С. Яскевич. Динамика аргументации в современной науке: логические и коммуникативные аспекты
Н.Л. Абрамян. Риторика вчера, сегодня и…
В.И. Чуешов. Аргументология о правилах дискуссии
А.Е. Горчаков, В.О. Шангин. Об автоматизации контроля знаний по логике и
теории аргументации
О.Н. Павленко. Диалогические процедуры понимания в философии и
неформальной логике
В.В. Павлюкевич. Два полюса аргументации




19 июня
10.30 – 14.00 (ауд. Е355)
Председатель – д.ф.н. И.А. Герасимова (Москва, ИФРАН)

А.И. Мигунов. Прагматическая природа абсурда
Л.А. Демина. Перформативный смысл научного дискурса
А.Н. Павленко. Обоснование научных теорий: логическая основа проблемы
«существования»
К.И. Бахтияров. Матрица комплементарности для метагенетики
В.Ф. Берков. О понятии научности
В.И. Астафуров, М.И. Георгиева, Н.В. Вебб. Проблема четырехмерного
пространства-времени в современной теоретической физике и космологии
А.М. Маренный, В.И. Астафуров, М.И. Георгиева. Логико-математический подход
к моделированию физического вакуума и взаимосвязи фундаментальных
взаимодействий
Я.В. Тарароев. Логика и онтология в физическом знании: история и современность.
С.М. Кускова. Содержательный критерий сравнения эмпирических теорий



Круглый стол

«Логическая семантика: перспективы для философии языка и эпистемологии»

19 июня
16.00-18.00 (ауд. А307)
Председатели – д.ф.н. Е.Д. Смирнова, д.ф.н. Е.Г. Драгалина-Черная, д.ф.н. З.А. Сокулер (Москва)



Конференция проводится при поддержке
Российского гуманитарного научного фонда
(грант № 09-03-14069г)