Электронная библиотека. Логические исследования журнал

Логические исследования. 2015. Т. 21. № 1.

Содержание

От редколлегии

 

Наконец, это знаменательное событие произошло. Впервые в России с этого номера начал издаваться специализированный журнал по логике! И пусть пока только два номера в год — начало положено. Для всех, кто ждал этого момента, появилась реальная возможность погрузиться в удивительный мир логики, который в отличие от всех других наук, беспрестанно рефлексируя, ставит все с большим напряжением один и тот же вопрос: «Что есть логика?» Какая-то непостижимая тайна скрывается в недрах логического универсума, и эта тайна, проявляясь в различных эффектах, каждый раз указывает на нечто принципиально новое, требующее переосмысления статуса самой логики. Неудивительно, что Логика вызывает страстную привязанность и поклонение у ее приверженцев, горькое отторжение и порой глубокое разочарование у бывших адептов и мистический страх у остальных.

 

Путь к этому журналу был долгим и непростым. Только в 1993 г., благодаря усилиям выдающегося отечественного логика В.А. Смирнова (1931–1996), преодолев огромные трудности, удалось запустить ежегодник «Логические исследования». С 1993 по 2014 гг. было издано 20 выпусков, в которых также публиковались многие известные зарубежные логики. Выпуск 10 содержит библиографию изданных статей с 1 по 10 выпуск, а выпуск 20 — библиографию с 11 по 20 выпуск (на русском и английском языках).

Теперь в истории российской логики начата новая страница, и она несомненно приблизит нас к искомой тайне.

 

Традиционная логика

В статье рассматривается строение понятий, отличное от аристотелевской традиции, основанной на онтологии «вещь–свойства». Неаристотелевское строение понятий анализируется на примере процедурных понятий ДСМ-метода автоматического порождения гипотез. Для процедурных понятий предлагается уточнение и расширение треугольника Г. Фреге. Для процедурных понятий треугольник Г. Фреге, образованный интенсионалом (содержанием), экстенсионалом (объемом), дополняется процедурным выражением, преобразующим исходные данные посредством интенсионала в экстенсионал. В статье приводится пример нарушения так называемого «закона обратного соотношения» объема и содержания понятия для понятий ДСМ-метода автоматического порождения гипотез. Формулируются особенности неаристотелевского строения понятий как средств организации знаний, а не «формы мышления». На примере понятий, представляющих ДСМ-рассуждения, демонстрируется отличие их строения от понимания понятий в аристотелевской традиции. В статье обсуждается также проблема преобразования идей в точно характеризуемые понятия.

Ключевые слова: аристотелевская традиция понятий, экстенсионал (объем), интенсионал (содержание), индуктивные методы Д.С. Милля, ДСМ-рассуждения, процедурные понятия, треугольник Г. Фреге.

Для двух систем силлогистики (фундаментальной и традиционной) предлагаются нестандартные переводы в исчисление предикатов. Данные переводы позволяют трактовать эти силлогистические теории как логики антиобъемов субъектов и предикатов категорических высказываний. Согласно первому переводу, SaP означает, что антиобъем термина S включается в антиобъем термина P, SeP означает, что антиобъемы терминов S и P не содержат общих элементов, SiP означает, что пересечение антиобъемов S и P непусто, SoP означает, что антиобъем термина S не включается в антиобъем термина P. Второй перевод для любой силлогистической формулы A содержит дополнительную предпосылку о непустоте антиобъемов терминов, входящих в A. Доказано, что эти переводы погружают указанные силлогистики в классическое исчисление предикатов.

Ключевые слова: силлогистика, исчисление предикатов, погружающая операция, объемы и антиобъемы терминов.

В статье предложен новый вид моделей для категорических атрибутивных высказываний. Эти модели могут быть названы синтаксическими, поскольку субъекту и предикату высказываний сопоставляются не экстенсионалы, а синтаксические определения, посредством которых эти термины вводятся в употребление. Построенные модели свободны от онтологических допущений. Связь между субъектом и предикатом интерпретируется не в терминах теоретико-множественных отношений между экстенсионалами, а в терминах логических отношений между дефиниенсами определений. Доказаны теоремы непротиворечивости и полноты фундаментальной силлогистики относительно синтаксических моделей.

Ключевые слова: атрибутивное высказывание, силлогистика, определение, понятие, аналитичность, модель.

 

Неклассическая логика

Рассматривается класс пропозициональных нормальных модальных логик. Двумя основными понятиями, относящимися к этому классу и исследуемыми в статье, являются финитная аппроксимируемость и константные формулы. Пропозициональная нормальная модальная логика называется финитно аппроксимируемой, если ее можно задать как множество формул, истинных в конечных шкалах из некоторой совокупности. Все «естественные» нормальные модальные логики оказались финитно аппроксимируемыми. В 60-е годы было замечено, что в некоторых случаях при добавлении к аксиоматике константной аксиомы сохраняется полнота по Крипке и тем самым финитная аппроксимируемость. Заметим (фольклор), что с помощью теоремы о дедукции можно показать, что здесь в качестве логики можно взять минимальную нормальную модальную пропозициональную логику K. Под константной формулой понимается формула, при построении которой не используются переменные, то есть элементарной формулой является только константа ⊥ (ложь). (Заметим, что в случае отсутствия в языке константы можно считать константной формулой такую формулу, которая эквивалентна любому своему подстановочному примеру; такова, скажем, формула p∧&¬p.) Основным результатом статьи является определение финитно аппроксимируемой нормальной модальной пропозициональной логики L и константной формулы φ, таких что результат добавления к L аксиомы φ не является финитно аппроксимируемой логикой. Статья заканчивается кратким перечнем открытых проблем.

Ключевые слова: нормальная модальная логика, финитная аппроксимируемость,константная формула, теорема о дедукции

We study an expressive power of temporal operators used in such logics of branching time as computational tree logic or alternating-time temporal logic. To do this we investigate calculi in the first-order language enriched with the temporal operators used in such logics. We show that the resulting languages are so powerful that many ‘natural’ calculi in the languages are not Kripke complete; for example, if a calculus in such language is correct with respect to the class of all serial linear Kripke frames (even just with constant domains) then it is not Kripke complete. Some near questions are discussed.

Keywords: Kripke incompleteness, first-order logic, computational tree logic, alternating-time temporal logic, recursive enumerability.

В [4] В.И. Гливенко получил результат, который в настоящее время принято называть теоремой Гливенко и который устанавливает эквивалентность между утверждением о принадлежности формулы классической пропозициональной логике и утверждением о принадлежности двойного отрицания этой формулы интуиционистской пропозициональной логике. Теорема Гливенко является важным достижением в области исследований связей между логиками, проводимых с применением погружающих операций. Здесь предлагается обобщение теоремы Гливенко и описывается основанный на этом обобщении способ построения аналогов утверждения, являющегося некоторой специальной формой теоремы Гливенко. В статье использованы построенные автором подлогики классической пропозициональной логики, из которых главную роль играет логика Int (она является также подлогикой интуиционистской пропозициональной логики). Обращение к логике Int позволило провести такое обобщение теоремы Гливенко, которое распространяется нанекоторый обширный (континуальной мощности) класс подлогик интуиционистской пропозициональной логики.

Ключевые слова: теорема Гливенко, классическая пропозициональная логика, интуиционистская пропозициональная логика, язык L, L-логика, исчисление HInt, исчисление GInt, L-логика Int, гливенковская логика.

В статье рассматриваются четыре решетки четырехзначных модальных логик. В основе построения лежат различные алгебраические структуры, которые затем последовательно расширяются эндоморфизмами и константными функциями. В первом случае строится решетка расширений булевой алгебры B2, затем строится решетка расширений алгебры Де Моргана DM4. В обоих случаях возникают различные модальные логики, свойства которых описываются и сравниваются между собой. Отдельно рассматривается решетка, где появляется тетравалентная модальная логика TML. Наконец, первые две решетки «объединяются» и вычленяется класс основных модальных четырехзначных логик, состоящий из  Ł-модальной системы Лукасевича, логики Собочиньского V2 и логики истины фон Вригта T′′. Особого внимания заслуживает логика Tr, которая функционально эквивалентна логике V2, и занимает центральное место в последней решетке. Она единственная из всех рассмотренных четырехзначных модальных логик, которая обладает интерполяционным свойством Крейга, и кроме того, является прекрасным кандидатом на роль пропозициональнойлогики истины. В заключение в статье представлена ее аксиоматизация.

Keywords: модальные логики, решетки логик, булева алгебра, алгебра Де Моргана, эндоморфизмы, замкнутые классы функций, булевы каскады, логика Tr.

In [6] the definition of natural implication was introduced. One of the criteria for natural implication is the normality of logical matrix [2, p. 134], a condition sufficient for verification of modus ponens. In this paper two definitions of modus ponens are regarded: in the designation-preserving sense and in the tautologousness-preserving sense. These formulations are considered as applied to two-valued and three-valued cases. In two-valued case these formulations are equivalent. But in case of three-valued logic we have another situation: they are not equivalent, but the first formulation entails the second, the reverse is not the case. According to that fact, the definition of natural implication is transformed and truth tables for extended class of natural implications are presented.

Keywords: three-valued logic, natural implication, modus ponens principle 

Логика и язык

According to some philosophers we can distinguish two trends in dealing with (especially natural) language. One of them is older and uses explications that simplify the richness of the language, so that the result of its efforts is an artificial image of language not corresponding to its real shape. The more recent trend tries to capture all the richness of the language together with all its irregularities and is represented mainly by Quine’s and later Wittgenstein’s philosophy. The older trend (I call it analytic group, AG, here) is sometimes criticized as being somehow obsolete while the more recent trend (called here Q-W group, Q-W, here) is then evaluated as more promising (more ‘progressive’). I try to show that AG is incomparable with Q-W because both try to answer distinct questions, solve distinct problems. (A comparison could be realized on the higher level of evaluating the choice of problems itself, which is another topic.)

Keywords: sense, meaning, reference, denotation, explication, abstraction.

В статье предлагается новый подход к формализации рассуждений на основе публичных объявлений. В первой части описывается идея новой экспликации публичных объявлений на основе энтимемической импликации, подробно изложенной в [1]. Вторая часть посвящена обзору различных ситуаций рассуждений на основе публичных объявлений. Отталкиваясь от модифицированной версии диалога «Дети с грязными лицами», я выделяю четыре типа таких ситуаций. В третьей части вводится система PADME (Public Announcements Dialogue Modelling Engine — средство моделирования диалога с публичными объявлениями), представляющая собой разновидность системы субординатного вывода. В последней четвертой части рассматриваются дальнейшие направления развития исследований.

Ключевые слова: публичные объявления, энтимематическая импликация, субординатный вывод.

Leibniz set a problem of the Universal characteristic, but he is extremely focused on the mathematical explanation instead of metasymbolic consideration of the method. The symbols of a metascience are energy maximums and minimums. Creation of a block matrix (by means of the left tensor square) allowed to reveal macrolevel. The alphabet of educational metasymbols solves a problem of polystructural integration of knowledge naturally through their comparison. The genetic table has 4 blocks of the designated and anti-designated pairs of metasymbols which are based on the universal language. Universal language unites various sciences and eras, considering everything from the point of view of Eternity, allowing to expect new results.

Keywords: universal characteristic, maximums and minimums, metasymbols, Universal language.

 

Наши авторы

 

• Финн Виктор Константинович — Сектор интеллектуальных информационных систем, Отделение научных исследований по проблемам информатики, Всероссийский институт научной и технической информации РАН.
• Маркин Владимир Ильич — Кафедра логики, философский факультет, МГУ им. М.В. Ломоносова.
• Шалак Владимир Иванович — Сектор логики, Институт философии РАН.
• Чагров Александр Васильевич — Математический факультет, Тверской государственный университет.
• Котикова Екатерина Александровна — Математический факультет, Тверской государственный университет.
• Рыбаков Михаил Александрович — Математический факультет, Тверской государственный университет.
• Попов Владимир Михайлович — Кафедра логики, философский факультет, МГУ им. М.В. Ломоносова.
• Карпенко Александр Степанович — Сектор логики, Институт философии РАН.
• Томова Наталья Евгеньевна — Сектор логики, Институт философии РАН.
• Materna Pavel — Institute of Philosophy of Academy of Sciences, Czech Republic.
• Зайцев Дмитрий Владимирович — Кафедра логики, философский факультет, МГУ им. М.В. Ломоносова.
• Бахтияров Камиль Ибрагимович —Кафедра высшей математики, Московский государственный агроинженерный университет имени В. П. Горячкина.

 

К сведению авторов

iphras.ru

Электронная библиотека

Периодические издания ИФ РАН

 

Биоэтика и гуманитарная экспертиза: Проблемы геномики, психологии и виртуалистики. Вып. 1 / Отв. ред. Ф.Г. Майленова. – М.: ИФ РАН, 2007. (PDF)

Биоэтика и гуманитарная экспертиза. Вып. 2 / Отв. ред. Ф.Г. Майленова. – М.: ИФРАН, 2008. (PDF)

Биоэтика и гуманитарная экспертиза: комплексное изучение человека и виртуалистика. Вып. 3 / Отв. ред. Ф.Г. Майленова. – М.: ИФРАН, 2009. (PDF)

Биоэтика и гуманитарная экспертиза. Вып. 4 / Отв. ред. Ф.Г. Майленова. – М.: ИФРАН, 2010. (PDF)

Биоэтика и гуманитарная экспертиза. Вып. 5 / Отв. ред. Ф.Г. Майленова. – М.: ИФ РАН, 2011. (PDF)

Биоэтика и гуманитарная экспертиза. Вып. 6 / Отв. ред. Ф.Г. Майленова. – М.: ИФРАН, 2012. (PDF)

Биоэтика и гуманитарная экспертиза. Вып. 7. / Отв. ред. Ф.Г. Майленова. – М.: ИФРАН, 2013. (PDF)

 

Вопросы социальной теории: Научный альманах. 2007. Том I. Выпуск 1. Философские и научные основания современной социальной теории / Под ред. Ю.М. Резника. – М.: «Независимый институт гражданского общества», 2007. (PDF)

Вопросы социальной теории: Научный альманах. 2008. Том II. Выпуск 1 (2). Социальная реальность: концепции и методология исследований / Под ред. Ю.М. Резника. – М.: Институт философии РАН; Междисциплинарное общество социальной теории, 2008. (PDF)

Вопросы социальной теории: Научный альманах. 2009. Том III. Выпуск 1(3). Социальность и культура в изменяющемся мире / Под ред. Ю.М. Резника. – М.: Институт философии РАН; Ассоциация «Междисциплинарное общество социальной теории», 2009. (PDF)

Вопросы социальной теории: Научный альманах. 2010. Том IV. Человек в поисках идентичности / Под ред. Ю.М. Резника и М.В. Тлостановой. – М.: Ассоциация «Междисциплинарное общество социальной теории», 2010. (PDF)

Вопросы социальной теории: Научный альманах. 2011. Том V. Человек в изменяющемся мире: проблемы идентичности / Под редакцией Ю.М. Резника и М.В. Тлостановой. М.: Издательство Независимого института гражданского общества, 2011. (PDF)

Вопросы социальной теории: Научный альманах. 2012. Том VI. Человек между мирами (онтологические, эпистемологические, социокультурные и психологические проблемы пограничья) / Институт философии РАН, Российский институт культурологии, Ассоциация «Междисциплинарное общество социальной теории»; под редакцией Ю.М. Резника и М.В. Тлостановой. М.: Издательство Независимого института гражданского общества, 2012. – 304 с. (PDF)

Вопросы социальной теории: Научный альманах. 2013–2014. Том VII. Человек как субъект конструирования / Под редакцией Ю.М. Резника и М.В. Тлостановой. М.: Издательство Независимого института гражданского общества, 2015. (PDF)

 

Историко-философский ежегодник’2004 / Ин-т философии РАН. – М.: Наука, 2005. (PDF)

Историко-философский ежегодник’2005 / Ин-т философии РАН. – М.: Наука, 2005. (PDF)

Историко-философский ежегодник’2006 / Ин-т философии РАН. – М.: Наука, 2006. (PDF)

Историко-философский ежегодник’2010 / Ин-т философии РАН. – М.: Центр гуманитарных инициатив, 2011. (PDF)

Историко-философский ежегодник 2015 / Ин-т философии РАН. М.: Аквилон, 2015. (PDF)

 

История философии. № 1 / Ред. Г.М. Тавризян. – М.: ИФ РАН, 1997. (PDF)

История философии. № 2 / Ред.: М.Н. Громов, А.В. Панибратцев. – М.: ИФ РАН, 1998. (PDF)

История философии. № 3 / Ред. В.А. Жучков. – М.: ИФ РАН, 1998. (PDF)

История философии. № 4 / Отв. ред.: М.Н. Громов, А.В. Панибратцев. – М.: ИФ РАН, 1999. (PDF)

История философии. № 5 / Ред. И.А. Михайлов. – М.: ИФ РАН, 2000. (PDF)

История философии. № 6 / Ред. А.Н. Панибратцев. – М.: ИФ РАН, 2000. (PDF)

История философии. № 7 / Ред. В.Г. Лысенко. – М.: ИФ РАН, 2000. (PDF)

История философии. № 8 / Отв. ред.: А.М. Руткевич, И.А. Михайлов. – М.: ИФ РАН, 2001. (PDF)

История философии. № 9 / Отв. ред. С.И. Бажов. – М.: ИФ РАН, 2002. (PDF)

История философии. № 10 / Отв. ред. В.В. Старовойтов. – М.: ИФ РАН, 2003. (PDF)

История философии. № 11 / Отв. ред. В.Г. Лысенко. – М.: ИФ РАН, 2004. (PDF)

История философии. № 12 / Отв. ред. Т.А. Дмитриев. – М.: ИФ РАН, 2005. (PDF)

История философии. № 13 / Отв. ред. И.И. Блауберг. – М.: ИФРАН, 2008. (PDF)

История философии. № 14 / Отв. ред. А.В.Никитин. – М.: ИФ РАН, 2009. (PDF)

История философии. № 15 / Отв. ред.: И.И. Блауберг, О.В. Голова. – М.: ИФРАН, 2010. (PDF)

История философии. № 16 / Отв. ред.: И.И. Блауберг, С.И. Бажов. – М.: ИФ РАН, 2011. (PDF)

История философии. № 17 / Отв. ред. И.И. Блауберг. – М.: ИФРАН, 2012. (PDF)

История философии. № 18 / Отв. ред. Л.Б. Карелова. – М.: ИФРАН, 2013. (PDF)

История философии. 2014. № 19. (PDF)

История философии. 2015. Т. 20. № 1. (PDF)

История философии. 2015. Том 20. № 2. (PDF)

 

Ишрак: Ежегодник исламской философии. № 1; Ishraq: Islamic Phi­losophy Yearbook. № 1. – M: Языки славянских культур, 2010. (PDF 5 Mb)

Ишрак: ежегодник исламской философии: 2011. № 2; Ishraq: Islamic Philosophy Yearbook: 2011. № 2. – М.: Вост. лит., 2011. (PDF 7 Mb)

Ишрак: ежегодник исламской философии: 2012. № 3; Ishraq: Islamic Philosophy Yearbook: 2012. № 3. – М.: Вост. лит., 2012. (PDF 5 Mb)

Ишрак: ежегодник исламской философии: 2013. № 4; Ishraq: Islamic Philosophy Yearbook: 2013. № 4. – М.: Вост. лит., 2013. (PDF 5 Mb)

 

Коллаж: Социально-философский и философско-антропологический альманах / Ред. В.А. Кругликов. – М.: ИФ РАН, 1997. (PDF)

Коллаж-2: Социально-философский и философско-антропологический альманах / Отв. ред. В.А. Кругликов. – М.: ИФ РАН, 1999. (PDF)

Коллаж-3: Социально-философский и философско-антропологический альманах / Сост.: В.А. Кругликов, А.А. Сыродеева. – М.: ИФ РАН, 2000. (PDF)

Коллаж-4: Социально-философский и философско-антропологический альманах / Сост. А.А. Сыродеева. – М.: ИФ РАН, 2003. (PDF)

Коллаж-5: Социально-философский и философско-антропологический альманах /Ред.-сост. А.А. Сыродеева. – М.: ИФ РАН, 2005. (PDF)

 

Логические исследования. Вып. 10. – М.: Наука, 2003.

Логические исследования. Вып. 11. – М.: Наука, 2004.

Логические исследования. Вып. 12. – М.: Наука, 2005.

Логические исследования. Вып. 13. – М.: Наука, 2006.

Логические исследования. Вып. 14. – М.: Наука, 2007.

Логические исследования. Вып. 15. – М.: Наука, 2009.

Логические исследования. Вып. 17. – М.-СПб: ЦГИ 2011.

Логические исследования. Вып. 16. – М.-СПб: ЦГИ 2010.

Логические исследования. Вып. 18. – М.-СПб: ЦГИ 2012.

Logical Investigations. Vol. 19 (Special Issue). M.­-Spb.: C.G.I., 2013.

Логические исследования. Вып. 20. – М.-СПб: ЦГИ 2014.

Логические исследования. 2015. Т. 21. № 1.

Логические исследования. 2015. Т. 21. № 2. (PDF)

 

Ориентиры... Вып. 1 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2001. (PDF)

Ориентиры... Вып. 2 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2003. (PDF)

Ориентиры... Вып. 3 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2006. (PDF)

Ориентиры... Вып. 4 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2007. (PDF)

Ориентиры… Вып. 5 / Отв. ред. Т.Б.Любимова. – М.: ИФ РАН, 2009. (PDF)

Ориентиры… Вып. 6 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2010. (PDF)

Ориентиры… Вып. 7 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2011. (PDF)

Ориентиры… Вып. 8 / Отв. ред. Т.Б. Любимова. – М.: ИФ РАН, 2013. (PDF)

 

Политико-философский ежегодник. Вып. 1 / Отв. ред. И.К. Пантин. – М.: ИФ РАН, 2008. (PDF)

Политико-философский ежегодник. Вып. 2 / Отв. ред. И.К. Пантин. – М.: ИФ РАН, 2009. (PDF)

Политико-философский ежегодник. Вып. 3 / Отв. ред. И.К. Пантин. – М.: ИФ РАН, 2010. (PDF)

Политико-философский ежегодник. Вып. 4 / Отв. ред. И.К. Пантин. – М.: ИФ РАН, 2011. (PDF)

Политико-философский ежегодник. Вып. 5 / Отв. ред. И.К. Пантин. – М.: ИФРАН, 2012. (PDF)

Политико-философский ежегодник. Вып. 6 / Отв. ред. И.И. Мюрберг. – М.: ИФРАН, 2013. (PDF)

 

Свободное слово: Интеллектуальная хроника. 1998–1999. – Альманах–1999 / Сост. и отв. ред. В.И.Толстых. – М.: ИФ РАН, 2000. (PDF)

Свободное слово. Интеллектуальная хроника: 1999-2000. – Альманах–2000 / Отв. ред. В.И.Толстых. – М.: ИФ РАН, 2001. (PDF)

Свободное слово. Интеллектуальная хроника: Альманах 2007/2008 / Сост. и отв. ред. В.И.Толстых. – М.: ИФ РАН, 2008. (PDF)

 

Спектр антропологических учений. Вып. 1 / Отв. ред. П.С. Гуревич. – М.: ИФ РАН, 2006. (PDF)

Спектр антропологических учений. Вып. 2 / Отв. ред. П.С. Гуревич. – М.: ИФ РАН, 2008. (PDF)

Спектр антропологических учений. Вып. 3 / Отв. ред. П.С. Гуревич. – М.: ИФ РАН, 2010. (PDF)

Спектр антропологических учений. Вып. 4 / Отв. ред. П.С. Гуревич. – М.: ИФРАН, 2012. (PDF)

Спектр антропологических учений. Вып. 5 / Отв. ред. П.С. Гуревич. – М.: ИФРАН, 2013. (PDF)

 

Труды научно-исследовательского семинара логического центра Института философии РАН. 1993 / Ред. В.А.Смирнов. – М.: ИФ РАН, 1994. (PDF)

Труды научно-исследовательского семинара Логического центра Института философии РАН. 1996 / Ред. Е.Д.Смирнова. – М.: ИФ РАН, 1997. (PDF)

Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVI / Отв. ред.: А.С.Карпенко. – М.: ИФ РАН, 2002. (PDF)

Труды научно-исследовательского семинара логического центра ИФ РАН. Вып. XVII / Отв. ред. А.С.Карпенко. – М.: ИФ РАН, 2004. (PDF)

 

Философия науки. Вып. 1. Проблемы рациональности / Ред. В.А. Смирнов. – М.: ИФ РАН, 1995. (PDF)

Философия науки. Вып. 2: Гносеологические и логико-методологические проблемы / Ред. В.А.Смирнов. – М.: ИФ РАН, 1996. (PDF)

Философия науки. Вып. 3 / Ред. М.А. Розов. – М.: ИФ РАН, 1997. (PDF)

Философия науки. Вып. 4 / Ред. А.М. Анисов. – М.: ИФ РАН, 1998. (PDF)

Философия науки. Вып. 5: Философия науки в поисках новых путей / Отв. ред.: И.Т. Касавин, В.Н. Порус. – М.: ИФ РАН, 1999. (PDF)

Философия науки. Вып. 6 / Отв. ред. А.П. Огурцов. – М.: ИФ РАН, 2000. (PDF)

Философия науки. Вып. 7: Формирование современной естественнонаучной парадигмы / Отв. ред.: Л.Б. Баженов, С.Н. Коняев. – М., 2001. (PDF)

Философия науки. Вып. 8: Синергетика человекомерной реальности / Отв. ред.: В.И. Аршинов, Л.П. Киященко, П.Д. Тищенко. – М.: ИФ РАН, 2002. (PDF)

Философия науки. Вып. 9: Эволюция творческого мышления / Отв. ред. А.С. Майданов. – М.: ИФ РАН, 2003. (PDF)

Философия науки. Вып. 10 / Отв. ред. М.А. Розов. – М.: ИФ РАН, 2004. (PDF)

Философия науки. Вып. 11: Этос науки на рубеже веков / Отв. ред. Л.П. Киященко. – М.: ИФ РАН, 2005. (PDF)

Философия науки. Вып. 12: Феномен сознания / Отв. ред. И.П. Меркулов. – М.: ИФ РАН, 2006. (PDF)

Философия науки. Вып. 13: Здоровье как проблема естественных и биомедицинских наук / Отв. ред.: И.К. Лисеев, Е.Н. Гнатик. – М.: ИФ РАН, 2008. (PDF)

Философия науки. Вып. 14: Онтология науки / Отв. ред. А.Н.Павленко. – М.: ИФ РАН, 2009. (PDF)

Философия науки. Вып. 15: Эпистемология: актуальные проблемы / Отв. ред. В.А. Лекторский. – М.: ИФ РАН, 2010. (PDF)

Философия науки. Вып. 16: Философия науки и техники / Отв. ред. В.И. Аршинов, В.Г. Горохов. – М.: ИФ РАН, 2011. (PDF)

Философия науки. Вып. 17: Эпистемологический анализ коммуникации / Отв. ред.: Г.Д. Левин, Е.О. Труфанова. – М.: ИФ РАН, 2012. (PDF)

Философия науки. Вып. 18: Философия науки в мире сложности / Отв. ред.: В.И. Аршинов, Я.И. Свирский. – М.: ИФ РАН, 2013. (PDF)

Философия науки. Вып. 19: Эпистемология в междисциплинарных исследованиях / Отв. ред. И.А. Герасимова. – М.: ИФ РАН, 2014. (PDF)

Философия науки и техники. 2015. Т. 20. № 1.  (PDF)

Философия науки и техники. 2015. Т. 20. № 2. (PDF)

 

Философская антропология. 2015. Т. 1. № 1. (PDF)

Философская антропология. 2015. Т. 1. № 2. (PDF)

 

Философский журнал. 2008. № 1. (PDF)

Философский журнал. 2009. № 1 (2). (PDF)

Философский журнал. 2009. № 2 (3). (PDF)

Философский журнал. 2010. № 1 (4). (PDF)

Философский журнал. 2010. № 2 (5). (PDF)

Философский журнал. 2011. № 1 (6). (PDF)

Философский журнал. 2011. № 2 (7). (PDF)

Философский журнал. 2012. № 1 (8). (PDF)

Философский журнал. 2012. № 2(9). (PDF)

Философский журнал. 2013. № 1 (10). (PDF)

Философский журнал. 2013. № 2 (11). (PDF)

Философский журнал. 2014. № 1 (12). (PDF) 

Философский журнал. 2014. № 2 (13). (PDF)

Философский журнал. 2015. Т. 8. № 1. (PDF)

Философский журнал. 2015. Т. 8. № 2. (PDF)

Философский журнал. 2015. Т. 8. № 3. (PDF)

 

Человек вчера и сегодня: междисциплинарные исследования. Вып. 1 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2008. (PDF)

Человек вчера и сегодня: междисциплинарные исследования. Вып. 2 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2008. (PDF)

Человек вчера и сегодня: междисциплинарные исследования. Вып. 3 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2009. (PDF)

Человек вчера и сегодня: междисциплинарные исследования. Вып. 4 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2010. (PDF)

Человек вчера и сегодня: междисциплинарные исследования. Вып. 5 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2011. (PDF)

Человек вчера и сегодня: междисциплинарные исследования. Вып. 6 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2012. (PDF)

Человек вчера и сегодня: междисциплинарные исследования. Вып. 7 / Отв. ред. М.С. Киселева. – М.: ИФРАН, 2013. (PDF)

 

Эпистемология и философия науки. 2013. Т. 36. № 2. (PDF)

Эпистемология и философия науки. 2013. Т. 37. № 3. (PDF)

Эпистемология и философия науки. 2013. Т. 38. № 4. (PDF)

Эпистемология и философия науки. 2014. Т. 39. № 1. (PDF)

Эпистемология и философия науки. 2014. Т. 40. № 2. (PDF)

Эпистемология и философия науки. 2014. Т. 41. № 3. (PDF)

Эпистемология и философия науки. 2014. Т. 42. № 4. (PDF)

Эпистемология и философия науки. 2015. Т. 43. № 1. (PDF)

Эпистемология и философия науки. 2015. Т. 44. № 2. (PDF)

Эпистемология и философия науки. 2015. Т. 45. № 3. (PDF)

Эпистемология и философия науки. 2015. Т. 46. № 4. (PDF)

 

Эстетика: Вчера. Сегодня. Всегда. Вып. 1 / Отв. ред.: В.В. Бычков, Н.Б. Маньковская. – М.: ИФ РАН, 2005. (PDF)

Эстетика: Вчера. Сегодня. Всегда. Вып. 2 / Отв. ред.: В.В. Бычков, Н.Б. Маньковская. – М.: ИФ РАН, 2006. (PDF)

Эстетика: Вчера. Сегодня. Всегда. Вып. 3 / Отв. ред.: В.В. Бычков, Н.Б. Маньковская. – М.: ИФ РАН, 2008. (PDF)

Эстетика: Вчера. Сегодня. Всегда. Вып. 4 / Отв. ред.: В.В. Бычков, Н.Б. Маньковская. – М.: ИФ РАН, 2010. (PDF)

Эстетика: Вчера. Сегодня. Всегда. Вып. 5 / Отв. ред.: В.В. Бычков, Н.Б. Маньковская. – М.: ИФ РАН, 2012. (PDF)

Эстетика: Вчера. Сегодня. Всегда. Вып. 6 / Отв. ред.: В.В. Бычков, Н.Б. Маньковская. – М.: ИФ РАН, 2013. (PDF)

 

Этическая мысль. Вып. 1 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2000. (PDF)

Этическая мысль. Вып. 2 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2001. (PDF)

Этическая мысль. Вып. 3 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2002. (PDF)

Этическая мысль. Вып. 4 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2003. (PDF)

Этическая мысль. Вып. 5 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2004. (PDF)

Этическая мысль. Вып. 6 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2005. (PDF)

Этическая мысль. Вып. 7 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2006. (PDF)

Этическая мысль. Вып. 8 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2008. (PDF)

Этическая мысль. Вып. 9 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2009. (PDF)

Этическая мысль. Вып. 10 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2010. (PDF)

Этическая мысль. Вып. 11 / Отв. ред. А.А. Гусейнов. – М.: ИФ РАН, 2011. (PDF)

Этическая мысль. Вып. 12 / Отв. ред. А.А. Гусейнов. – М.: ИФРАН, 2012. (PDF)

Этическая мысль. Вып. 13 / Отв. ред. А.А. Гусейнов. – М.: ИФРАН, 2013. (PDF)

Этическая мысль. Вып. 14 / Отв. ред. А.А. Гусейнов. – М.: ИФРАН, 2014. (PDF)

Этическая мысль. 2015. Т. 15. № 1. (PDF)

Этическая мысль. 2015. Том 15. № 2. (PDF)

iphras.ru

Сектор логики ИФ РАН

Руководитель сектора – доктор философских наук, ведущий научный сотрудник Владимир Иванович Шалак.

 

Постановлением Президиума Академии Наук СССР от 23 декабря 1947 г. была утверждена новая структура Института философии АН СССР, где среди 9 секторов утвержден также сектор логики (А.А. Чудов).

С 1952 г. он перестал существовать как сектор логики и был преобразован в группу при секторе диалектического материализма.

В 1961 г. группа была преобразована в сектор логики. Зав. сектором стал П.В. Таванец.

В 1977 г. зав. сектором стал Д.П. Горский.

В 1987 г. сектор возглавил В.А. Смирнов.

С 1996 по 1999 гг. и.о. зав. сектором была Е.Д. Смирнова.

С 2000 г. по 2017 г. сектор возглавлял А.С. Карпенко.

С первых лет существования сектора логики в нем работал А.А. Зиновьев.

 

За  60 лет сектором было подготовлено и издано более 30 коллективных монографий. Укажем только некоторые из них:

• Применение логики в науке и технике / Отв. ред. П.В. Таванец. М.: Наука, 1960.
• Философские вопросы современной формальной логики / Отв. ред. П.В. Таванец. М.: Издательство Академии Наук СССР, 1962.
• Логическая семантика и модальная логика / Отв. ред. П.В. Таванец. М.: Наука, 1967.
• Исследование логических систем / Отв. ред. П.В. Таванец. М.: Наука, 1970.
• Неклассическая логика / Отв. ред. П.В. Таванец. М.: Наука, 1970.
• Теория логического вывода / Отв. ред. П.В. Таванец. М.: Наука, 1973.
• Философия и логика / Отв. ред. П.В. Таванец, В.А. Смирнов. М.: Наука, 1974.
• Методы логического анализа / Отв. ред. П.В. Таванец. М.: Наука, 1977.
• Логический вывод / Отв. ред. В.А. Смирнов. М.: Наука, 1979.
• Семантика модальных и интенсиональных логик / Отв. ред. В.А. Смирнов. М.: Прогресс, 1981. (Перевод с англ.)
• Модальные и интенсиональные логики и их применение к проблемам методологии науки / Отв. ред. В.А. Смирнов. М.: Наука, 1984.
• Логика научного познания (Актуальные проблемы) / Отв. ред. Д.П. Горский. М.: Наука, 1987.
• Синтаксические и семантические исследования неэкстенсиональных логик / Отв. ред. В.А. Смирнов. М.: Наука, 1989.
• Исследования по неклассическим логикам / Отв. ред. В.А. Смирнов. М.: Наука, 1989.
• Журнал "Логические исследования" (Отв. ред. А.С. Карпенко).
• Труды научно-исследовательского семинара Логического центра Института философии РАН (Отв. ред. А.С. Карпенко).

Настоящий расцвет и мировое признание сектор логики получил в 1987-1996 гг., когда им руководил доктор философских наук, профессор В.А. Смирнов. Он многие годы был и руководителем секторского научно-исследовательского семинара. Во многом благодаря его усилиям с 1982 г. стали издаваться труды этого семинара, а в 1993 г. впервые в нашей стране вышел в свет ежегодник «Логические исследования». В этом издании публикуются наиболее важные и оригинальные результаты в области современной философской логики, включая также публикации иностранных авторов.

 

Основные направления исследований – философская и символическая логика. В трудах, подготовленных сотрудниками сектора, фундаментальное развитие получили неклассические логики, в частности, такие разделы, как релевантные логики, многозначные логики, алетические, эпистемические, деонтические, временные и другие модальные логики, а также применение логики к проблемам методологии и философии науки. Тематика неклассических логик остается центральной и сейчас. В последнее время большое внимание уделяется логическому анализу парадоксов, а также применению логики в компьютерных науках и в теории аргументации.

Тема сектора по плану НИР и государственному заданию на 2014-2017 гг.: "Новые приложения неклассических логик" (Hег. № 01201273989).

 

Сотрудники

• Шалак Владимир Иванович, доктор философских наук, ведущий научный сотрудник, руководитель сектора
• Девяткин Леонид Юрьевич, кандидат философских наук, старший научный сотрудник
• Преловский Николай Николаевич, кандидат философских наук, старший научный сотрудник
• Томова Наталья Евгеньевна, кандидат философских наук, старший научный сотрудник
• Рогозин Даниил Дмитриевич, старший лаборант
• Хорькова Юлия Владимировна, лаборант

 

Книги

• Герасимова Ирина Алексеевна. Формальная грамматика и интенсиональная логика – М.: ИФ РАН, 2000.
• Карпенко Александр Степанович. Логики Лукасевича и простые числа – М.: Наука, 2000.
• Шалак Владимир Иванович. Логический анализ сети Интернет – М.: ИФ РАН, 2005.
• Шалак Владимир Иванович. О понятии логического следования – М.: ИФ РАН, 2007.
• Карпенко Александр Степанович. Фатализм и случайность будущего: логический анализ – Изд. 2-е испр. – М.: Издательство ЛКИ, 2008.
• Противоположности и парадоксы / отв. редактор Герасимова И.А. – М.: "Канон+", РООИ "Реабилитация", 2008.
• Карпенко Александр Степанович. Развитие многозначной логики. – М.: Издательство ЛКИ, 2010.
• Девяткин Леонид Юрьевич. Трехзначные семантики для классической логики высказываний — М.: ИФ РАН, 2011.
• Лукасевич Ян. О принципе противоречия у Аристотеля. Критическое исследование / Пер. с польск. (общая редакция, вступительная статья и примечания А.С. Карпенко).
• Томова Наталья Евгеньевна. Естественные трехзначные логики: функциональные свойства и отношения — М.: ИФ РАН, 2012.
• Преловский Николай Николаевич. Бивалентные семантики: логико-философский анализ — М.: ИФ РАН, 2013.
• Введение в логику для философов / Н.Е. Томова, В.И. Шалак ; Рос. акад. наук, Ин-т философии. – М. : ИФРАН, 2014.

Конференции, семинары

Раз в два года сектор логики и кафедра логики философского факультета МГУ организуют международные конференции, посвящённые памяти профессора Владимира Александровича Смирнова.

Сектор логики ИФ РАН проводит Семинар Логического центра ИФ РАН.

 

Дополнительная информация

Адрес: 109240, г. Москва, ул. Гончарная, д. 12, стр. 1. к. 308.

Телефон: (8495) 697-96-65

E-Mail: department.logic @ gmail.com

Электронный журнал «Logical Studies» (архив номеров).

Логика в Интернете.

iphras.ru

---

Смотрите также

• 
  Кот обормот журнал
• 
  Белорусская гитара журнал
• 
  Hr менеджер журнал
• 
  Журнал чемпион донецк
• 
  Иерусалимский журнал 56
• 
  Википедия журнал каламбур
• 
  Журнал демеркуризации термометров
• 
  Упрощенная бухгалтерия журнал
• 
  Польские юмористические журналы
• 
  Педагогический калейдоскоп журнал
• 
  Журнал ярославский бронепоезд