2012

2012 год

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

Рассмотрены вопросы, связанные с проблемой разрешимости пропозициональных фрагментов систем, сформулированных в языке первопорядковой логики предикатов (Быстров П.И. The questions of decidability // Логика, язык и формальные модели. СПб., 2012. С. 189–193).

Разработана методология аргументации в гуманитарной экспертизе научно-технических проектов (Герасимова И.А. Неустранимость неопределенности в социальной оценке техники // Эпистемология и философия науки. 2012. № 2. С. 123–140).

Построен метод сравнения и классификации логических матриц по отношению логического следования, основанный на обобщении результатов Я.Калицкого (Девяткин Л.Ю. Четыре следования, три порядка, две матрицы, одна бирешетка) // Логические исследования. Вып. 18. М.–СПб., 2012. С. 127–131).

Осуществлено описание двух предполных функциональных классов трехзначной логики Лукасевича (Преловский Н.Н. О двух предполных классах трехзначной логики Лукасевича// Логические исследования. Вып. 18. М.–СПб., 2012. С. 197–210).

Представлена своеобразная классификация трехзначных логик посредством соответствующих решеток по функциональной вложимости: построены решетки импликативных расширений регулярных логик Клини, а также решетки р-логик. Эти структуры ясно демонстрируют взаимоотношения между различными трехзначными логиками (Томова Н.Е. Естественные трехзначные логики: функциональные свойства и отношения. М., 2012).

Дано строгое определение функционального следования и показано, что оно обладает необходимым набором свойств, чтобы считаться логическим (Шалак В.И. Логика функционального следования // Логические исследования. Вып. 18. М.–СПб., 2012. C. 234–238).

2. Книги

Лукасевич Ян. «О принципе противоречия у Аристотеля. Критическое исследование» (общая редакция, вступительная статья и примечания А.С. Карпенко). Книга выдающегося польского логика и философа Яна Лукасевича (1878-1956), опубликованная в 1910 г., уже к концу XX века привлекла к себе настолько большое внимание, что ее начали переводить на многие европейские языки. Теперь пришла очередь русского издания. В этой книге впервые в мире подвергнут обстоятельной критике принцип противоречия, защищаемый Аристотелем в «Метафизике». В данное издание включены четыре статьи Лукасевича, среди которых новый перевод знаменитой статьи «О детерминизме». Книга также снабжена биографией Яна Лукасевича и вступительной статьей, показывающей мучительную внутреннюю борьбу Лукасевича в связи с предлагаемой им революцией в логике.

Н.Е. Томова «Естественные трехзначные логики: функциональные свойства и отношения». Монография посвящена функциональным свойствам трехзначных логик. Предложен оригинальный подход к рассмотрению вопроса о взаимоотношении между различными трехзначными логиками, – различные классы трехзначных логик представлены в виде решеток относительно свойства функциональной вложимости. Построены решетки импликативных расширений регулярных логик Клини, а также решетки р-логик.

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

Быстров П.И. (Bystrov P.)The questions of decidability // Логика, язык и формальные модели. СПб.: Санкт-Петербургский гос. университет, 2012. С. 189–193.
Герасимова И.А. Логика для политологов // «Проблемы викладання логики та дисциплiн логiчного циклу–5»: материалы V Мiжн.наук.-прак.конф. (Киев, 3-4 мая 2012 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2012. С. 33–36.
Герасимова И.А. Космические и сокровенные произведения в книжности Руси // Труды семинара. Материалы научно-философского семинара «Проблемы космического мышления и Живой Этики». Т.2. Вып. 2/4. М., 2012. С. 32–42.
Герасимова И.А. Неустранимость неопределенности в социальной оценке техники // Эпист. и философия науки. 2012. № 2. С. 123–140.
Герасимова И.А. Человек и прибор // Эпист. и философия науки. 2012. № 3. С. 98–113.
Герасимова И.А. Философия химии: мнение эпистемолога // Эпист. и философия науки. 2012. № 4. С. 130–150.
Герасимова И.А. Рецензия на книгу: «Эпистемология: перспективы развития» // Вопр.философии. 2012. № 8. С. 183–188.
Герасимова И.А. П.А.Флоренский о противоречии (логико-методологический анализ) // Логические исследования. Вып. 18. М.-СПб.: ЦГИ, 2012. С.77–96.
Герасимова И.А. Принципы гармонии в творчестве Кирика Новгородца // Кирик Новгородец и древнерусская культура. Ч.1. Великий Новгород: НовГУ им. Ярослава Мудрого, 2012. С. 128–153.
Герасимова И.А. Проблема целостности мышления (эволюционно-эпистемологический анализ) // Эволюционная эпистемология . Антология / научн. ред., сост. Е.Н.Князева. М.: ЦГИ, 2012. С. 556–602.
Герасимова И.А. Ареопагитики: опыт синергетического прочтения // Философия в современном мире: диалог мировоззрений: Материалы VI Рос. филос. конгр. (Н.Новгород, 27–30 июня 2012 г.): В 3 т. Т. II. Н.Новгород, 2012. С. 336.
Герасимова И.А. Программа курса «Теория аргументации и философское исследование» // Программы учебных курсов для аспирантов философских и политических специальностей. М., 2012. С. 5–9.
Девяткин Л.Ю. Об одной проблеме специализации по логике и возможной роли многозначных логик в ее решении // «Проблемы викладання логики та дисциплiн логiчного циклу–5»: материалы V Мiжн.наук.-прак.конф. (Киев, 3-4 мая 2012 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2012. С. 50–51.
Девяткин Л.Ю. Четыре следования, три порядка, две матрицы, одна бирешетка // Логические исследования. Вып. 18. М.-СПб.: ЦГИ, 2012. С. 127–131.
Карпенко А.С. Аристотель и Лукасевич о законе противоречия: contra et pro (К публикации книги Яна Лукасевича «О принципе противоречия у Аристотеля. Критическое исследование») // Вопр. Философии. 2012. № 8. С. 154–165.
Карпенко А.С. Ян Лукасевич против Яна Лукасевича (вступительная статья, примечания) // Лукасевич Я. О принципе противоречия у Аристотеля. Критическое исследование. М.-СПб.: ЦГИ, 2012. С. 19–50, 238–253.
Карпенко А.С. Биография Яна Лукасевича // Лукасевич Я. О принципе противоречия у Аристотеля. Критическое исследование. М.-СПб.: ЦГИ, 2012. С. 5–17.
Карпенко А.С. Логика // Новая Российская Энциклопедия. М.: «Энциклопедия», «ИНФРА-М», 2012. С. 492–495.
Карпенко А.С. Логика в России // Там же, 2012. С. 498–500.
Карпенко А.С. Логика высказываний // Там же, 2012. С. 501.
Карпенко А.С. Ложь // Там же, 2012. С. 507.
Преловский Н.Н. О двух предполных классах трехзначной логики Лукасевича // Логические исследования. Вып. 18. М.-СПб.: ЦГИ, 2012. С. 197–210.
Преловский Н.Н. Свободная логика в Китае и в России // «Проблемы викладання логики та дисциплiн логiчного циклу–5»: материалы V Мiжн.наук.-прак.конф. (Киев, 3-4 мая 2012 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2012. С. 145–147.
Томова Н.Е. Проблема взаимоотношения трехзначных логик // «Проблемы викладання логики та дисциплiн логiчного циклу–5»: материалы V Мiжн.наук.-прак.конф. (Киев, 3-4 мая 2012 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2012. С. 173–174.
Томова Н.Е. (Tomova N. E.)A lattice of implicative extensions of regular Kleene's logics // Reports on mathematical logic. 2012. № 47. P. 173–182.
Шалак В.И. Логика функционального следования // Логические исследования. Вып.18. М.-СПб.: ЦГИ, 2012. C. 234–238.
Шалак В.И. (Shalack V.I.) Semiotic foundations of logic // Логика, язык и формальные модели. СПб.: Санкт-Петербургский гос. университет, 2012. С. 232–237.
ШалакВ.И. (Shalack V.I.) On relational and functional languages // Logic and Logical Philosophy. 2012. Vol. 21. №1. P. 25–32.