Вы здесьВладимир Александрович Смирнов
Биография
СМИРНОВ Владимир Александрович (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Последние комментарии
Larisa_F RE:Книжная серия "Жизнь в искусстве" издательство "Искусство"... 14 часов
нэнси RE:Подайте бедному копеечку на книжку с литреса... 1 день mig2009 RE:Багрепорт - 2 3 дня Isais RE:Издательство "Медуза" 4 дня Larisa_F RE:Серия «Интеллектуальный детектив» изд-ва АСТ 5 дней babajga RE:Народные сказки - Сказки народов Сибири = Fairy-Tales of... 2 недели Саша из Киева RE:Кто сможет раздобыть и оцифровать нужные мне книги? 2 недели Kiesza RE:Бушков умер. 2 недели sibkron RE:Серия "Библиотека французской литературы" (Макбел) 2 недели Isais RE:Игорь Северянин - Том 2. Поэзоантракт 3 недели sem14 RE:Современная корейская литература. Книжная серия... 3 недели sem14 RE:Семейственность в литературе 3 недели Isais RE:Детство, опаленное войной (Вторая мировая 1939-1945 и ВОВ) 1 месяц kopak RE:На 78-м году жизни скончался советский и российский... 1 месяц Саша из Киева RE:Подводное течение 1 месяц konst1 RE:Переименовать ник (имя учетки) 1 месяц Larisa_F RE:Таррин Фишер 2 месяца Aleks_Sim RE:Беженцы с Флибусты 2 месяца Впечатления о книгах
Анни-Мари про Панарин: Эволюционер из трущоб (Боевая фантастика, Фэнтези, Попаданцы, Самиздат, сетевая литература)
21 10 Мдя. Я все понимаю, взрослое сознание в теле младенца и вот это все, но физиологию куда дели?! Младенец, которому нет еще месяца, умудряется встать на ноги и стоять! О_о Автор детей новорожденных видел хоть раз? Хотя бы на картинке?
mysevra про Стругацкие: Обитаемый остров (Вариант 1971 года) (Космическая фантастика)
20 10 Одновременно и восхитительно, и запредельно бесчеловечно. Пробирает. Великолепная книга, которая читается взахлёб. Оценка: отлично!
mysevra про Дочинец: Многії літа. Благії літа [uk] (Современная проза)
20 10 Так гарно, душевно та мудро. Доки не згадується втеча, описана у інший книзі – «В’язень замку Паланок». Тоді вже всі слова автора сприймаються як лицемірство. Оценка: неплохо
mysevra про Лазарев: Кочевница (Боевая фантастика)
20 10 Мир далёк от канона, и события не такие уж яркие. Опять же, текст не правлен стилистически - тавтология почти на каждой странице. В принципе, история хороша, изложить бы её красиво. Продолжение читать желания нет, но отдельное «спасибо» за идею. Оценка: хорошо
mig2009 про Мур: Дурак [Fool ru] (Юмористическая проза)
20 10 Этакая интерпретация-пародия-видение автора (шута) на известную трагедию. Корделию он не умертвил, а так, в целом все по канве. Зашел глянуть, не появилась ли третья книга (в смысле перевод) из цикла, в 2020 издана, Shakespeare for Squirrels. Ан нет( Оценка: хорошо
Stager про Бохэннон: ЕВА. История эволюции женского тела. История человечества [litres] (История, Биология, Научпоп)
20 10 Почему американцы такие тупые? Оценка: нечитаемо
Oleg68 про Кобен: Скованные одной цепью [Live Wire ru] (Крутой детектив)
19 10 Как всегда-отлично. Это последняя книга в серии о Майроне Болитаре? Оценка: отлично!
Олег Макаров. про Путилов: Постовой [СИ] (Альтернативная история, Попаданцы, Самиздат, сетевая литература)
18 10 Феерически безграмотный текст. Просто невозможно читать Оценка: нечитаемо
lukyanelena про Сергей Васильевич Лукьяненко
18 10 Фантастический писатель Лукьяненко. Вроде и книги пишет с моралью, и метания главного героя всегда правильные высокоморальные... но как же бесит этот русский шовинизм, лезущий из всех щелей, просто ужас. И Украину обязательно ………
mixentiy про Ильичев: Ворожей Горин: зов крови [СИ] (Городское фэнтези, Мистика, Самиздат, сетевая литература)
18 10 Многословно. Тот случай, когда диалоги и размышлизмы должны быть проще. Забавненько. Немного утомляют медицинские познания автора, вываливаемые на читателя к месту и совсем не. Но "специалист подобен флюсу" - суть ………
Isais про Руж: Авалон (Исторический детектив)
17 10 Цирк одного шоумена. Весь вечер на манеже фокусник! Показывает фокусы на вербальном материале, или лексическом уровне, или, проще говоря, на словах. Он и так умеет, и сяк умеет, и знает, как ментов называли в 1920-е, и Булгакова ……… Оценка: плохо
Дей про РОС: Граф Рысев
17 10 Сначала шло туго, меня бесил наглый, самоуверенный и хамоватый ГГ. Да и события развивались ни шатко, ни валко. А дальше автор стал выдавать текст всё лучше и лучше, что большая редкость. Понравилось. |