СМИРНОВ

СМИРНОВ
СМИРНОВ
        Георгий Лукич (р. 14.11.1922, хутор Антонов Октябрьского р-на Волгоградской обл.), сов. философ и парт. деятель, чл.-корр. АН СССР (1981). Чл. КПСС с 1943. Окончил в 1950 Саратовскую парт. школу, в 1952 историч. факультет Волгоградского педагогич. института, в 1957 Академию обществ. наук при ЦК КПСС по кафедре диалектич. и историч. материализма. В 1942—47 на комсомольской, с 1947 на парт. и препо-дават. работе. В 1962—65 член редколлегии и ред. по отделу философии журн. «Коммунист». С 1957 на от-ветств. работе в аппарате ЦК КПСС, с 1969 зам. зав., с 1974 первый зам. зав. Отделом пропаганды ЦК КПСС.
        Осн. работы в области историч. материализма и науч. коммунизма — социальноклассовая структура общества, динамика развития и роль рабочего класса; развитие личности, в особенности формирование социали-стич. типа личности; вопросы коммунистич. воспитания, теория и практика пропаганды. Кандидат в чл. ЦК КПСС с 1970.
        Развитие рабочего класса СССР и его роль в строительстве коммунизма, в кн.: Изменение классовой структуры общества в процессе строительства социализма и коммунизма, М., 1961; Коммунизм — дело каждого, М., 1961; Формирование коммунистич. обществ. отношений, М., 1962; Демократия, свобода и ответственность личности, М., 1968; XXIV съезд КПСС и формирование нового человека, М., 1972; Советский человек, М. 19803.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.

СМИРНОВ
    СМИРНОВ Владимир Александрович (2 марта 1931, Москва —12 февраля 1996, Москва) — российский логик и философ, доктор философских наук, профессор. Окончил философский факультет МГУ (1954) и аспирантуру того же факультета по кафедре логики (1957). В 1957—1961 работал старшим преподавателем кафедры философии Томского политехнического института. С 1961 — в Институте философии АН СССР (ныне РАН), с 1988 — руководитель логического центра этого института, а с 1992 — заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г, по книге “Формальный вывод и логические исчисления” (1972). Основатель ежегодника “Логические исследования” и его главный редактор. В течение многих лет руководил научно-исследовательским семинаром сектора логики Института философии РАН и являлся ответственным редактором трудов этого семинара.
    В. А. Смирновым был получен целый ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с ?-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений и, в частности, классификации импликативньй логик. Смирнов привлек внимание мировой общественности к работам Н. А. Васильева и осуществил логическую реконструкцию его идей. Смирновым и рядом его учеников и коллег был получен ряд важных результатов в области силлогистики. Он оставил после себя учеников, работающих в разных разделах современной логики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе фундаментальных результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., дедуктивной эквивалентности элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов.
    Соч.: Генетический метод построения научных теорий,— В кн.: Философские проблемы современной формальной логики. М-, 1962; Формальный вывод и логические исчисления. М„ 1972; Логические методы анализа научного знания. М., 1987; Доказательство и его поиск (монография).— В кн.: Логика и компьютер, вып. 3, M., 1996 (Соавт.: В. И. Маркин и др.); Уровни знания и этапы процесса познания.— В кн.: Проблемы логики научного познания. М., 1964; Логические идеи Н. А. Васильева.— В кн.: Труды по истории логики в России. М., 1962; Теория логического вывода. М., 1999 (имеется полная библиография работ В. А. Смирнова).
    Лит.: АнисовА. А/. Концепция научной философии В. А. Смирнова,— В кн.: Философия науки, вып. 2. М., 1996; Бочаров В. А. Вклад В. А. Смирнова в развитие философской логики.— В кн.: Логическое кантоведение-4. Калининград, 1984; Карпенко А. С. Некоторые логические идеи В. А. Смирнова.— “ВФ”, 1998, № 2; Михайлов Φ. Τ. Почти полвека длился спор.— Там же; Финн В. К. Владимир Смирнов: вехи творческой библиографии.— Там же; Результаты В. А. Смирнова в области современной формальной логики (под ред. А. С. Карпенко).— В кн.: Логические исследования, вып. 4. М., 1997; Кагpenko A. S. Note on the Smirnov's scientific activity: work and life (1931-1996).- “Bulletin of Section of Logic”, 1998, ν. 27, ¹ 1-27; Philosophical logic and Logical philosophy. Essays in Honour of Vladimir A. Smirnov. Dordrect, 1996.
    А. С. Карпенко

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Поможем сделать НИР
Синонимы:

Полезное


Смотреть что такое "СМИРНОВ" в других словарях:

  • Смирнов — СМИРНИН СМИРЕНКИН СМИРЕНСКИЙ СМИРНИТСКИЙ СМИРНЯГИН СМИРЕНКО СМИРНОВСКИЙ СМИРНОВСКИЙ Смирнов одна из наиболее распространенных русских фамилий. В одной Москве насчитывается семьдесят тысяч Смирновых. Почему? В многодетной крестьянской семье тихие …   Русские фамилии

  • Смирнов К. — Смирнов К. СМИРНОВ Кавырльа (1906 ) марийский писатель. Был пастухом, батраком. Учился в совпартшколе. Активный селькор, состоял секретарем МарАПП. Литературную деятельность начал в 1928 рассказом «Страшная ночь», направленным против алкоголизма …   Литературная энциклопедия

  • Смирнов Н. Г. — Смирнов Н. Г. СМИРНОВ Николай Григорьевич (1890 1933) советский писатель. Р. в семье преподавателя. Окончил юридический факультет Московского ун та. Писать начал в 1911 для театра пародий «Кривое зеркало». Его пьесы «Торжественное заседание… …   Литературная энциклопедия

  • Смирнов В. М. — Смирнов В. М.: Смирнов, Валерий Марксович российский политик, глава исполкома «Фронта национального спасения» (ФНС). Смирнов, Вячеслав Михайлович российский политик, депутат Государственной Думы РФ первого созыва …   Википедия

  • Смирнов А. А. — Смирнов А. А. СМИРНОВ Александр Александрович (1883 ) литературовед, профессор зап. европейских лит р Ленинградского института истории, философии и лингвистики и Государственного института искусствознания. Окончил Петербургский ун т, в 1911… …   Литературная энциклопедия

  • СМИРНОВ — Андрей Сергеевич (родился в 1941), российский кинорежиссер. В ряде работ новелла Ангел в фильмах Начало неведомого века (1967, выпуск 1987), Белорусский вокзал (1971), Осень (1975) стремился к воссозданию психологической атмосферы действия,… …   Современная энциклопедия

  • Смирнов — Смирнов, В. М. старый партийный работник. Один из виднейших руководителей московской организации в период Февральской революции. Редактор Социал Демократа (орган М. Областного Бюро, МК и МОК РСДРП(б). В Октябрьские дни член Военно Революционного… …   1000 биографий

  • Смирнов — Иван Никитич (1881 1936). Член партии с 1899 г. Вступил в рабочий кружок в Москве, в 1899 г. был арестован и выслан в Иркутскую губернию, откуда через несколько месяцев бежал в Вышний Волочок (Тверской губ.). Два года сидел в Вышне Волоцкой… …   1000 биографий

  • Смирнов В. И. — Смирнов В. И.         Bладимир Иванович сов. геолог, акад. AH CCCP (1962; чл. корр. c 1958), Герой Cоц. Tруда (1980). Чл. КПСС c 1940. B 1934 окончил Mоск. геологоразведочный ин т. Pаботал там же (1934 41, 1944 49; c 1946 проф.), одновременно… …   Геологическая энциклопедия

  • Смирнов Г. Н. — Смирнов Г. Н.         Геннадий Hиколаевич новатор угольной пром сти, Герой Cоц. Tруда (1973). Чл. КПСС c 1971. Деп. Bepx. Cовета CCCP, чл. Президиума Bepx. Cовета CCCP в 1974 84. Ha шахтах Kузбасса работал проходчиком, машинистом горн. выемочных… …   Геологическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»