назад
Постановлением Президиума Академии Наук СССР от 23 декабря 1947 г. была утверждена новая структура Института философии АН СССР, где среди 9 секторов утвержден также сектор логики (А.А. Чудов). С 1952 г. он перестал существовать как сектор логики и был преобразован в группу при секторе диалектического материализма. В 1961 г. группа была преобразована в сектор логики. Зав. сектором стал П.В. Таванец. В 1977 г. зав. сектором стал Д.П. Горский. В 1987 г. сектор возглавил В.А. Смирнов. С 1996 по 1999 гг. и.о. зав. сектором была Е.Д. Смирнова. С 2000 г. по 2017 г. сектор возглавлял А.С. Карпенко. С первых лет существования сектора логики в нем работал А.А. Зиновьев.
Сектором было подготовлено и издано более 30 коллективных монографий. Укажем только некоторые из них:
Настоящий расцвет и мировое признание сектор логики получил в 1987-1996 гг., когда им руководил доктор философских наук, профессор В.А. Смирнов. Он многие годы был и руководителем секторского научно-исследовательского семинара. Во многом благодаря его усилиям с 1982 г. стали издаваться труды этого семинара, а в 1993 г. впервые в нашей стране вышел в свет ежегодник «Логические исследования». C 2015 г. «Логические исследования» являются журналом. В этом издании публикуются наиболее важные и оригинальные результаты в области современной философской логики, включая также публикации иностранных авторов. Заведующие сектором логикиТАВАНЕЦ Петр Васильевич (11 июня 1911—21 ноября 1991) — советский логик и философ, профессор, доктор философских наук (1956), заведующий Сектором логики Института философии АН СССР. В 1936 г. окончил Институт философии и литературы. Исследует проблемы логики научного познания, теории логики, структуры и видов суждения, а также истории и методологии науки. Сочинения:
Источник: Кондаков Н.И. «Таванец Петр Васильевич» / Кондаков Н.И. Логический словарь-справочник. М: Наука, 1975. ГОРСКИЙ Дмитрий Павлович (31 декабря 1920, г. Рыбинск, Ярославской обл. – 16 августа 1994, Москва) – логик, философ, педагог. Окончил философский факультет Московского университета (1948); доктор философских наук (1962); профессор (1968); заслуженный деятель науки РФ (1981). Работал в Институте философии АН СССР (РАН), с 1969 возглавлял различные научные подразделения института, многие годы был заведующим сектором логики, руководил (1985–87) отделом диалектического материализма, в 1987–94 – главный научный сотрудник. С 1967 являлся также профессором кафедры логики философского факультета МГУ. В логике интересы Горского были связаны с проблемами абстракций. Он предложил теоретическое осмысление понятия идеализации, изучал виды и типы определений, исследовал специфику определений в различных теориях: физических и социальных, содержательных и формальных; проанализировал и систематизировал имеющиеся концепции значения знаковых выражений. Его собственная позиция сводилась к тому, что проблема значения таких выражений является проблемой их понимания и потому существенно важна выработка его критериев. В последние годы Горский занимался критическим анализом марксистской концепции общества и трудовой теории стоимости К.Маркса. Сочинения:
В.А.Смирновым был получен целый ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с ε-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временны́х, модально-временны́х, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений и, в частности, классификации импликативных логик. Смирнов привлек внимание мировой общественности к работам Н.А.Васильева и осуществил логическую реконструкцию его идей. Смирновым и рядом его учеников и коллег был получен ряд важных результатов в области силлогистики. Он оставил после себя учеников, работающих в разных разделах современной логики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т.д. На основе фундаментальных результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., дедуктивной эквивалентности элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов. Сочинения:
Область научных интересов: логическая семантика, логический анализ естественного языка, интенсиональная логика, теория познания, философские основания логики. Основные научные результаты: разработала теорию семантических категорий для языков с кванторами и операторами; на этой основе осуществила уточнение понятия логической формы; построена теория семантических категорий для языков с модальными операторами и интенсиональными предикатами; предложила новый подход к анализу интенсиональных контекстов; в рамках этого подхода построила первопорядковую интенсиональную логику; построила нестандартную семантику с не всюду определенным предикатом истинности и пресыщенными оценками, позволяющую с единых позиций обосновать широкий класс логических систем и выявить эпистемологические предпосылки, лежащие в их основе; исследовала проблему обоснования вводимых в научных теориях идеальных конструктов; в этой плоскости рассмотрела финитную установку Д.Гильберта и ее последующие модификации; предложила нестандартный подход к анализу логико-семантических идей Л.Витгенштейна; исследовала вопросы философских оснований логики (связь логики и мышления, концепции психологизма и антипсихологизма, теоретико-познавательные предпосылки различных типов семантик и др.); предложен нестандартный подход к анализу belief-контекстов. Сочинения:
Первые работы относятся к разработке семантики для многозначных логик, получившей название «фактор-семантика». Главный результат здесь состоит в том, что средствами двухэлементной булевой алгебры моделируется весьма широкий класс многозначных логик, а сами истинностные значения интерпретируются определенными подмножествами множества булевых векторов. Используя логические матрицы для доказательства независимости аксиом, были построены различные конечные булевы решетки импликативных и импликативно-негативных логик. Результатом явилось построение “максимальной” решетки, в которую в качестве элементов входят наиболее фундаментальные импликативные логики. Ряд работ посвящен принципиально новому взгляду на природу простых чисел и их логическим свойствам. Получен результат о структурализации простых чисел в виде корневых деревьев и представлен алгоритм, который по каждому простому числу строит его корневое дерево. Построен штрих Шеффера для простых чисел. Комбинирование различных алгебро-логических определений простого числа приводит к выявлению закона порождения классов простых чисел. Итогом исследований в области многозначных логик явилась монография «Развитие многозначной логики» (М., 2010), где прослежено развитие многозначной логики от Аристотеля до наших дней. Особое внимание уделено результатам российских логиков. Начиная с 2000 г. научные интересы стали приобретать новую направленность. Точно так же, как сто лет назад остро встал вопрос о философских основаниях математики, так и сейчас стоит вопрос о философских основаниях самой логики. Показано, что в конце XX века стал активно обсуждаться вопрос: «Что есть логика»? Уже сам этот вопрос говорит о кризисе в основаниях логики, который привел к полной переоценки статуса логики и её назначения. Кроме специальных логических исследований разрабатывалась такая тема, как различные фаталистические аргументы. Выяснилось, что феномен свободы воли связан со сложнейшей проблемой воздействия на прошлое. В последнее время были подвергнуты анализу теории, требующие реализации в актуальность всех физических возможностей, и более того – всего, что мыслится как возможное. Это знаменует переход от субстанционального мышления к модальному мышлению. Так появляется философская парадигма с совершенно новой проблематикой, поддержанная современным развитием космологии в виде различных концепций мультиверса. Под псевдонимом «А.С. Беловежский» разрабатывалась тема К-тоталитаризма. Под псевдонимом «Александр Чаха» публиковал стихи и рассказы. Сочинения:
Бывшие сотрудники сектора
|
|||||
|
 |
|
    |
|
СМИРНОВ Владимир Александрович (2 марта 1931, Москва –12 февраля 1996, Москва) – российский логик и философ, доктор философских наук, профессор. Окончил философский факультет МГУ (1954) и аспирантуру того же факультета по кафедре логики (1957). В 1957–1961 работал старшим преподавателем кафедры философии Томского политехнического института. С 1961 – в Институте философии АН СССР (ныне РАН), с 1988 – руководитель логического центра этого института, а с 1992 – заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г. по книге «Формальный вывод и логические исчисления» (1972). Основатель ежегодника «Логические исследования» и его главный редактор. В течение многих лет руководил научно-исследовательским семинаром сектора логики Института философии РАН и являлся ответственным редактором трудов этого семинара.
СМИРНОВА Елена Дмитриевна (28 апреля 1929, Киев – 17 февраля 2017, Москва), окончила философский факультет МГУ (1954), аспирантуру по кафедре логики того же факультета (1963). С 1963 года работала на этой кафедре. В 1986 году защитила докторскую диссертацию «Логическая семантика и философские основания логики. С 1996 по 1999 г. была заведующим сектором логики Института философии РАН.
