Вы здесьВладимир Александрович Смирнов
Биография
СМИРНОВ Владимир Александрович (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Последние комментарии
DGOBLEK RE:Подайте бедному копеечку на книжку с литреса... 4 дня
babajga RE:Повесть о чудесном одуванчике 4 дня Саша из Киева RE:Ночной пассажир 6 дней larin RE:Оплатила,но абонемент не отображается 1 неделя tvnic RE:Maxima-library - новый адрес 1 неделя Саша из Киева RE:Хождение во власть. После путча 1 неделя weis RE:Прошу переформатировать, распознать, etc... 1 неделя babajga RE:Алиса в стране чудес 1 неделя tanyaguscha RE:Грушевое дерево 2 недели babajga RE:Ёжик, который хотел обнять Луну 2 недели babajga RE:Самый храбрый совёнок 2 недели babajga RE:Похититель домофонов 2 недели Саша из Киева RE:Неудавшийся священник 2 недели Саша из Киева RE:Хочу быть лётчиком 2 недели Саша из Киева RE:Бессмертен подвиг ваш 2 недели sem14 RE:Искатель жемчуга 2 недели Larisa_F RE:Жизнь не отменяется 2 недели Larisa_F RE:Из озера взметнулись молнии 2 недели Впечатления о книгах
Belomor.canal про Яковлева: Случай в Москве [Литрес] (Исторический детектив)
03 05 Самая короткая из 3-х повесть - на один вечер чтения! Это как бы начало расследований нашего гусара, то есть №3 идет перед №1, где ротмистр уже ранен и возвращается подлечится. Опять, надо не заморачиваться историческими не ……… Оценка: хорошо
Isais про Ло Гуаньчжун
01 05 Я скажу: 1) для обсуждения вопросов есть ФОРУМ, а не впечатления около книги; 2) за 17 лет существования Либрусека вопросы "где у авторов имя и куда что писать" были многократно урегулированы; 3) почему вам не ………
alexk про Ло Гуаньчжун
01 05 Не знаю, правильно ли это - записывать и имя и фамилию китайского автора в поле "фамилия" Что скажете, коллеги? 2 Isais. О, Ваш ответ, безусловно помог.
Isais про Эпосы, мифы, легенды и сказания: Серебряная дудочка Маккримонса [шотландские легенды] (Детские стихи, Мифы. Легенды. Эпос, Народные сказки)
01 05 Как человек, который вычитывал одни и те же шотландские легенды в двух разных переводах, имею право утверждать: перевод Мелитины Клягиной-Кондратьевой лучше -- атмосфернее, поэтичнее.
Isais про Горький: Дед Архип и Лёнька (Русская классическая проза, Детская проза)
01 05 Прочитав в соответствующем -- т.е. в младшем школьном возрасте -- этот рассказ, я искренне, от души, навсегда возненавидел Максима Горького.
tvnic про Селезнёв: Беспокоящий огонь (Публицистика, Спецслужбы)
01 05 Очередная пропагандистская хрень. Оценка: нечитаемо
gruin про Беличенко: Помещик. Книга 1 [СИ] (Альтернативная история, Самиздат, сетевая литература)
30 04 Дикая белиберда про стекло и чугун. Ни сюжета ни персонажей. Вонь Оценка: нечитаемо
iggy71 про Каллаган: Клятва Люка Болдуина (Природа и животные, Детские приключения)
30 04 Трогательная книга. Учит человечности. Оценка: отлично!
Skyns71 про Никитин: 2024-й (Социальная фантастика)
30 04 Только что увидел, еще не открыл... А там будет ковид, война, дебильная пропаганда, озверение... что там еще главного случилось?
Синявский про К. Дж. Сэнсом
29 04 Писатель Кристофер Джон Сэнсом, известный по историческим детективам, умер на 72-м году жизни, сообщило издание Pan Macmillan.
Дей про Вязовский: Столичный доктор. Том 2 [СИ] (Альтернативная история, Самиздат, сетевая литература)
29 04 Я долго думал, чем можно удивить аристократов. Совсем уж что-то типа супа том ям может не пройти. Мало ли — кинза кому не нравится, или вообще кисло-сладкий вкус. ... Сюрстрёмминг — заманчиво, но до завтра селедка не протухнет ……… |