2009

2009 год

1. Важнейшие результаты

Найден оптимальный пропозициональный базис (логика высказываний) для построения неклассической теории истинности. (Карпенко А.С. Эндоморфизмы в качестве операторов истинности и модальная логика V2).

Проведен анализ развития логических форм представления рассуждений от силлогизмов Аристотеля до формальных систем современной логики (Быстров П.И. Развитие форм логического анализа рассуждений).

Описан ряд классов логических матриц с многоэлементным множеством-носителем, в которых множество логических законов совпадает с множеством законов классической пропозициональной логики, однако отношение логического следования не является классическим (Девяткин Л.Ю. N-значные матрицы для классической логики высказываний.

Установлены соотношения между модифицированной семантикой Фреге с единственным денотатом и рядом многозначных (2,3,4) интерпретаций сентенциальных логик (Павлов С.А. Модификация семантики Фреге и многозначные интерпретации).

Проведено исследование по поиску возможных оснований логики на уровне абстрактных знаковых систем. Построена протологика – система правил знаковых преобразований – аналогов логических умозаключений (Шалак В.И. Протологика).

2. Перечень опубликованных книг

Логические исследования. Вып.15 / Отв. ред. А.С. Карпенко). М.-СПб: ЦГИ, 2009. 320 с. (20 а.л.).
Труды научно-исследовательского семинара логического центра Института философии РАН. Вып. XIX / Отв. ред. А.С. Карпенко). М.: ИФРАН, 2009. 116 с. (6 а.л.).
Карпенко А.С. Логики Лукасевича и простые числа. М.: URSS, 2009 (3-е издание, испр.). – 256 с.

3. Другие публикации

Анисов А.М. Интерсубъективные методы построения теорий // Философия науки. Вып. 14: Онтология науки. М., 2009. С. 195–208.
Анисов А.М. Индетерминированная вычислимость // Шестые Смирновские чтения по логике (Материалы Междунар. научн. конф., Москва, 17–19 июня 2009 г.). М., 2009. С. 42–44.
Анисов А.М., Смирнов А.В. Логические основания философии времени мутазилитов // Философский журнал, 2009. № 2 (3). С. 132-163.
Анисов А.М. Исчисление цитат // Гуманитарное сознание: проблемы, поиски, перспективы. Том 1. Труды шестой Всероссийской и четвертой Международной научно-практической конференции "Гуманитарные проблемы современности" (8-9 апреля 2009 г., Москва). М., 2009. С. 85-92.
Девяткин Л.Ю. N-значные матрицы для классической логики высказываний // Логические исследования. Вып. 15. М., 2009. С. 94-105.
Быстров П.И. Развитие форм логического анализа рассуждений // Ученые записки Таврического национального университета им. В.И. Вернадского. Серия «Философия. Социология», Том 22 (61). 2009. №3.
Быстров П.И. “Paradoxes” of material implication: proof-theoretical approach // Шестые Смирновские чтения по логике (Материалы Междунар. научн. конф., Москва, 17–19 июня 2009 г.). М., 2009. С. 10-11.
Быстров П.И. Специфика творчества в глобализированном мире блогов // Грани культуры: актуальные проблемы истории и современности. Москва, 2009.
Карпенко А.С. Эндоморфизмы в качестве операторов истинности и модальная логика V2 // Труды научно-исследовательского семинара логического центра Института философии РАН. Вып. XIX. М.: ИФРАН, 2009. С. 54-63.
Карпенко А.С. Проблема континуальности трехзначных логик // Шестые Смирновские чтения по логике (Материалы Междунар. научн. конф., Москва, 17–19 июня 2009 г.). М., 2009. С. 13-18.
Карпенко А.С. Контрфактические высказывания, Логика, Логика высказываний, Логика многозначная, Логика символическая, Логические исследования в России и СССР (в соавторстве с В.А. Бажановым), Логическое следование, Ложь, Металогика, Неклассические логики, Немонотонные логики, Нечеткая логика, Философская логика, “Principia Mathematica” // Энциклопедия Эпистемологии и Философии Науки. М., 2009.
Павлов С.А. Интерсубъективность в логической семантике и в пространстве семиозиса // Философия науки.Выпуск 14. Онтология науки, М., 2009. С. 261-272.
Павлов С.А. Модификация семантики Фреге и многозначные интерпретации // Труды научно-исследовательского семинара логического центра Института философии РАН. Вып. XIX. М., 2009. С. 70-81.
Павлов С.А. Семантика с одним денотатом и многозначные интерпретации // Шестые Смирновские чтения по логике (Материалы Междунар. научн. конф., Москва, 17–19 июня 2009 г.). М., 2009. С. 83.
Павлов С.А. Логический анализ и понятие глобализации // Взаимодействие культур в условиях глобализации. М., 2009. С. 296-299.
Павлов С.А. Исходные положения теории истины с оператором истинности // Вестник РУДН. 2009. №3. С. 100-113.
Павлов С.А. Основные положения теории истины с оператором истинности // Труды членов РФО. Вып.16. 2009. С. 91-103.
Шалак В.И. М.И. Шейнфинкель и комбинаторная логика // Логические исследования. Вып.15. М., 2009. С. 247-265.
Шалак В.И. Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. М., 2009. С. 266-283.
Шалак В.И. Логика апорий // Полигнозис. 2009. № 1. С. 25-31.
Шалак В.И. Лингвистический априоризм // Труды научно-исследовательского семинара логического центра Института философии РАН. Вып. XIX. М., 2009. С. 104-114.
Шалак В.И. О белых пятнах в логике // Шестые Смирновские чтения по логике (Материалы Междунар. научн. конф., Москва, 17–19 июня 2009 г.). М., 2009. С. 110.
Шалак В.И. Логика прикладная // Энциклопедия Эпистемологии и Философии Науки. М., 2009. С. 439-440.
Шалак В.И. Логика в компьютерных науках // Энциклопедия Эпистемологии и Философии Науки. М., 2009. С. 428-429.
Шалак В.И. Протологика // Вестник ВятГГУ. 2009. № 1(1). С. 12-17.