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. Другие публикации

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