Вы здесьВладимир Александрович Смирнов
Биография
СМИРНОВ Владимир Александрович (2 марта 1931, Москва –12 февраля 1996, Москва) – российский логик и философ, доктор философских наук, профессор. Окончил философский факультет МГУ (1954) и аспирантуру того же факультета по кафедре логики (1957). В 1957–1961 работал старшим преподавателем кафедры философии Томского политехнического института. С 1961 – в Институте философии АН СССР (ныне РАН), с 1988 – руководитель логического центра этого института, а с 1992 – заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г. по книге «Формальный вывод и логические исчисления» (1972). Основатель ежегодника «Логические исследования» и его главный редактор. В течение многих лет руководил научно-исследовательским семинаром сектора логики Института философии РАН и являлся ответственным редактором трудов этого семинара. В.А.Смирновым был получен целый ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с ε-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временны́х, модально-временны́х, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений и, в частности, классификации импликативных логик. Смирнов привлек внимание мировой общественности к работам Н.А.Васильева и осуществил логическую реконструкцию его идей. Смирновым и рядом его учеников и коллег был получен ряд важных результатов в области силлогистики. Он оставил после себя учеников, работающих в разных разделах современной логики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т.д. На основе фундаментальных результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., дедуктивной эквивалентности элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов. Сочинения: 1. Генетический метод построения научных теорий. – В кн.: Философские проблемы современной формальной логики. M., I962; 2. Формальный вывод и логические исчисления. М., 1972; 3. Логические методы анализа научного знания. М., 1987; 4. Доказательство и его поиск (монография). – В кн.: Логика и компьютер, вып. 3. М., 1996 (Соавт.: В.И.Маркин и др.); 5. Уровни знания и этапы процесса познания. – В кн.: Проблемы логики научного познания. М., 1964; 6. Логические идеи Н.А.Васильева. – В кн.: Труды по истории логики в России. М., 1962; 7. Теория логического вывода. М., 1999 (имеется полная библиография работ В.А.Смирнова). Сортировать по: Показывать: Редактор |
Вход на сайтПоиск по блогам и форумамUser menuПоследние комментарии
aidarfar RE:Подайте бедному копеечку на книжку с литреса... 1 час
nehug@cheaphub.net RE:Доступ 2 дня sibkron RE:«Македонский роман XXI века 3 дня sem14 RE:Рассказы Южных морей 6 дней weis RE:Прошу переформатировать, распознать, etc... 6 дней arkadybi RE:Абонемент 1 неделя babajga RE:Комната в башне 1 неделя Саша из Киева RE:Герои Израиля 1 неделя babajga RE:сиреневая звезда 1 неделя babajga RE:Сказки Папоротникового Леса 1 неделя sem14 RE:вопрос 1 неделя sem14 RE:Премия «Небьюла» (Nebula Award) 2 недели Isais RE:Maxima-library - переезд 2 недели Iron Man RE:Курьезы сканировщика 3 недели tvv RE:Абрахам Вергезе - The Covenant of Water 4 недели Larisa_F RE:Эрнесто и его кролики 1 месяц Саша из Киева RE:Горящие паруса 1 месяц Саша из Киева RE:Американская мозаика 1 месяц Впечатления о книгах
svengali про Туччи: Вкус. Кулинарные мемуары [litres] (Биографии и Мемуары, Публицистика, Кулинария, Кино)
01 07 Какой ещё "кассероле"? Переводчик никогда не слышал слово кастрюля? Кастрюля, а не "кассероле". Оценка: нечитаемо
polyn про Миронова: Под сенью омелы [litres] (Современные любовные романы, Любовные детективы)
30 06 И на этот раз у автора получилась незабываемая, необычная история с непредсказуемыми поворотами сюжета. Читала и наслаждалась. Это и детектив, поскольку тут речь идёт о нескольких убийствах. Это и мистика, связанная с ……… Оценка: отлично!
lukyanelena про Зинина: Эффект "Федора" [СИ] (Современные любовные романы, Самиздат, сетевая литература)
30 06 Отличная история созависимых отношений, жертва и абьюзер. И все это завернуто в фантик "любовь". Нет там никакой любви. Всегда она будет виновата, а он, так и быть, будет прощать. Очень опасно, когда девочки верят в такую туфту. Беэээээ Оценка: неплохо
mig2009 про Афанасьев: Охотники ночного города (Боевая фантастика)
28 06 Вполне читабельно. Да, недоумение присутствует, как алкоголик превращается в супермена за неделю-другую (алкашу после такого продолжительного запоя месяц надо, чтобы мозги хоть немного прочистить и панические атаки ушли, ………
Дей про Оборотный город
28 06 Весь так называемый юмор Белянина вертится вокруг секса, гомосексуализма и евреев. "— Пошёл вон, болтун бесстыжий! — в свою очередь сорвался дядюшка, замахиваясь на меня мокрым полотенцем. — Марш за цыганкой и не доводи ………
obivatel про Хорт: Катар 2 (Космическая фантастика, Попаданцы)
28 06 В общем, серия недописана, зависла в воздухе, и надо полагать, дописываться не будет. Оценка: неплохо
Г.Гуслия про Целитель магических животных
27 06 Очень симпатичная серия. Читал с удовольствием. Всем рекомендую.
Wik@Tor про Фибих: Двужильная Россия [litres] (Биографии и Мемуары)
27 06 Дурак, ты Nicout. Сталинская империя стояла на доносах, фанатиках от коммунизма и чекистах. Для тех, кто попадал под эти жернова, обратно хода не было. Чем строительство коммунизма закончилось любой идиот знает, но ты, похоже, ……… Оценка: отлично!
Nicout про Фибих: Двужильная Россия [litres] (Биографии и Мемуары)
27 06 Мемуары идиота вроде как еврейской национальности, хотя, среди них таковых было крайне мало, жизнь заставляла умнеть. Правильно посадили, поделом, раз сам себе дело сшил, грех такого отпускать. P.S. Как тяжело видеть анацефалов ……… Оценка: нечитаемо
obivatel про Кузнецов: На краю Содружества. Часть 1. Раб [СИ] (Боевая фантастика, Космическая фантастика, Научная фантастика, Самиздат, сетевая литература)
25 06 Серия", часть первая.... опять я попался: первая и единственная, и серии никакой нет. Тьфу ты! Оценка: неплохо
obivatel про Шаравар: Вернуть себя. Том 2 [AT] (Космическая фантастика, Попаданцы)
25 06 Читать дальше не стану, вообще неинтересно. Оценка: плохо |