Владимир Александрович Смирнов - История изменений

Oleg K. Abramov в 23:40, 4 июля 2022

2022-07-04T23:40:46Z

← Предыдущая версия		Версия от 06:40, 5 июля 2022
Строка 1:		Строка 1:
	'''~~Владимир Александрович Смирнов~~''' (2 марта 1931, {{w\|Москва}} — 12 февраля 1996, {{w\|Москва}}) – российский логик и философ, автор работ по символической логике, когнитологии и методологии науки, доктор философских наук, профессор.		'''Влади́мир Алекса́ндрович Смирно́в''' (2 марта 1931, {{w\|Москва}} — 12 февраля 1996, {{w\|Москва}}) — российский логик и философ, автор работ по символической логике, когнитологии и методологии науки, доктор философских наук, профессор.

	<br />		<br />

Oleg K. Abramov в 15:43, 14 января 2021

2021-01-14T15:43:23Z

← Предыдущая версия		Версия от 22:43, 14 января 2021
Строка 20:		Строка 20:
	{{DEFAULTSORT:Смирнов Владимир Александрович}}		{{DEFAULTSORT:Смирнов Владимир Александрович}}
	[[Категория:Томские учёные]]		[[Категория:Томские учёные]]
			[[Категория:Томские педагоги]]
	[[Категория:ТПУ]]		[[Категория:ТПУ]]
	[[Категория:Философия в Томске]]		[[Категория:Философия в Томске]]

Oleg K. Abramov в 12:11, 9 сентября 2019

2019-09-09T12:11:06Z

← Предыдущая версия		Версия от 19:11, 9 сентября 2019
Строка 1:		Строка 1:
	'''Владимир Александрович Смирнов''' (2 марта 1931, Москва ~~–12~~ февраля 1996, Москва) – российский логик и философ, автор работ по символической логике, когнитологии и методологии науки, доктор философских наук, профессор.		'''Владимир Александрович Смирнов''' (2 марта 1931, {{w\|Москва}} — 12 февраля 1996, {{w\|Москва}}) – российский логик и философ, автор работ по символической логике, когнитологии и методологии науки, доктор философских наук, профессор.

			<br />
			== Биография ==
	Основные направления исследования: релевантные логики; логики без правил сокращения; иерархия логических исчислений и их классификация; импликативные логики и их классификация; теория доказательств; определимость и логические отношения между теориями; модально-временные логики; комбинированные логики; многомерные логики; силлогистика; системы лесневского; паранепротиворечивые логики; совершенно свободные логики.		Основные направления исследования: релевантные логики; логики без правил сокращения; иерархия логических исчислений и их классификация; импликативные логики и их классификация; теория доказательств; определимость и логические отношения между теориями; модально-временные логики; комбинированные логики; многомерные логики; силлогистика; системы лесневского; паранепротиворечивые логики; совершенно свободные логики.

	Окончил философский факультет МГУ в 1954 г. В 1957–1961 работал старшим преподавателем кафедры философии [[ТПУ\|Томского политехнического института]] вместе с [[Альберт Николаевич Книгин\|Альбертом Николаевичем Книгиным]]. Здесь же в 1958 г. была опубликована его первая научная работа «Является ли классическая логика универсальной?» С 1961 работал в Институте философии АН СССР. Кандидатскую диссертацию «Дедуктивный метод и построение научной теории» защитил в 1962 г. под руководством В.Ф. Асмуса. С 1988 г. – руководитель логического центра Института философии, а с 1992 – заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г. по книге «Формальный вывод и логические исчисления» (1972). В этой монографии впервые в мировой литературе было положено начало исследованию логик без правил сокращения и рассмотрены методы доказательства разрешимости подобных логик, и впервые был поставлен и обсужден вопрос о классификации логических исчислений.		Окончил философский факультет {{w\|МГУ}} в 1954 году. В 1957–1961 гг. работал старшим преподавателем кафедры философии [[ТПУ\|Томского политехнического института]] вместе с [[Альберт Николаевич Книгин\|Альбертом Николаевичем Книгиным]]. Здесь же в 1958 г. была опубликована его первая научная работа «Является ли классическая логика универсальной?» С 1961 работал в Институте философии АН СССР. Кандидатскую диссертацию «Дедуктивный метод и построение научной теории» защитил в 1962 г. под руководством В.Ф. Асмуса. С 1988 г. – руководитель логического центра Института философии, а с 1992 – заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г. по книге «Формальный вывод и логические исчисления» (1972). В этой монографии впервые в мировой литературе было положено начало исследованию логик без правил сокращения и рассмотрены методы доказательства разрешимости подобных логик, и впервые был поставлен и обсужден вопрос о классификации логических исчислений.

	В 50-60 гг. Смирнову приходилось защищать подход к логике как самостоятельной дисциплине, обязательной для изучающих философию, от претензий сторонников диалектической логики на монопольное право изучать и преподавать логику как раздел марксистско-ленинской философии. В 70-80 гг. ему пришлось защищать логику от попыток свести ее только к одному из разделов методологии науки. В монографии «Логические методы анализа научного знания» (1987) Смирнов формулирует понятие несущественного расширения теории, переводимого расширения и анализирует с их помощью логические отношения между теориями, сформулированными в разных языках и на базе различных логик. Он рассматривает целый спектр различных типов отношений между теориями (погружающие операции, вложимость одной теории в другую, рекурсивную эквивалентность, относительную эквивалентность) и доказывает ряд теорем, описывающих их свойства. В дальнейшем Смирнов неоднократно использовал разработанные им методы в своих исследованиях взаимоотношения различных теорий. Одним из последних его результатов является доказательство эквивалентности онтологии Лесневского и оккамовской силлогистики.		В 50-60 гг. Смирнову приходилось защищать подход к логике как самостоятельной дисциплине, обязательной для изучающих философию, от претензий сторонников диалектической логики на монопольное право изучать и преподавать логику как раздел марксистско-ленинской философии. В 70-80 гг. ему пришлось защищать логику от попыток свести ее только к одному из разделов методологии науки. В монографии «Логические методы анализа научного знания» (1987) Смирнов формулирует понятие несущественного расширения теории, переводимого расширения и анализирует с их помощью логические отношения между теориями, сформулированными в разных языках и на базе различных логик. Он рассматривает целый спектр различных типов отношений между теориями (погружающие операции, вложимость одной теории в другую, рекурсивную эквивалентность, относительную эквивалентность) и доказывает ряд теорем, описывающих их свойства. В дальнейшем Смирнов неоднократно использовал разработанные им методы в своих исследованиях взаимоотношения различных теорий. Одним из последних его результатов является доказательство эквивалентности онтологии Лесневского и оккамовской силлогистики.
Строка 20:		Строка 22:
	[[Категория:ТПУ]]		[[Категория:ТПУ]]
	[[Категория:Философия в Томске]]		[[Категория:Философия в Томске]]
			[[Категория:Философы]]
	[[Категория:Деятели культуры]]		[[Категория:Деятели культуры]]
	[[Категория:Похороненные в Москве]]		[[Категория:Похороненные в Москве]]


	{{footer}}		{{footer}}

Oleg K. Abramov в 08:59, 25 августа 2016

2016-08-25T08:59:30Z

← Предыдущая версия		Версия от 15:59, 25 августа 2016
Строка 21:		Строка 21:
	[[Категория:Философия в Томске]]		[[Категория:Философия в Томске]]
	[[Категория:Деятели культуры]]		[[Категория:Деятели культуры]]
			[[Категория:Похороненные в Москве]]

	{{footer}}		{{footer}}

HawkMan: /* Основные труды */

2013-04-02T07:37:09Z

Основные труды

← Предыдущая версия		Версия от 14:37, 2 апреля 2013
Строка 20:		Строка 20:
	[[Категория:ТПУ]]		[[Категория:ТПУ]]
	[[Категория:Философия в Томске]]		[[Категория:Философия в Томске]]
			[[Категория:Деятели культуры]]


	{{footer}}		{{footer}}

213.210.87.87: Новая: '''Владимир Александрович Смирнов''' (2 марта 1931, Москва –12 февраля 1996, Москва) – российский логик и фило...

2008-04-14T13:17:15Z

Новая: '''Владимир Александрович Смирнов''' (2 марта 1931, Москва –12 февраля 1996, Москва) – российский логик и фило...

Новая страница

'''Владимир Александрович Смирнов''' (2 марта 1931, Москва –12 февраля 1996, Москва) – российский логик и философ, автор работ по символической логике, когнитологии и методологии науки, доктор философских наук, профессор.

Основные направления исследования: релевантные логики; логики без правил сокращения; иерархия логических исчислений и их классификация; импликативные логики и их классификация; теория доказательств; определимость и логические отношения между теориями; модально-временные логики; комбинированные логики; многомерные логики; силлогистика; системы лесневского; паранепротиворечивые логики; совершенно свободные логики.

Окончил философский факультет МГУ в 1954 г. В 1957–1961 работал старшим преподавателем кафедры философии [[ТПУ|Томского политехнического института]] вместе с [[Альберт Николаевич Книгин|Альбертом Николаевичем Книгиным]]. Здесь же в 1958 г. была опубликована его первая научная работа «Является ли классическая логика универсальной?» С 1961 работал в Институте философии АН СССР. Кандидатскую диссертацию «Дедуктивный метод и построение научной теории» защитил в 1962 г. под руководством В.Ф. Асмуса. С 1988 г. – руководитель логического центра Института философии, а с 1992 – заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г. по книге «Формальный вывод и логические исчисления» (1972). В этой монографии впервые в мировой литературе было положено начало исследованию логик без правил сокращения и рассмотрены методы доказательства разрешимости подобных логик, и впервые был поставлен и обсужден вопрос о классификации логических исчислений.

В 50-60 гг. Смирнову приходилось защищать подход к логике как самостоятельной дисциплине, обязательной для изучающих философию, от претензий сторонников диалектической логики на монопольное право изучать и преподавать логику как раздел марксистско-ленинской философии. В 70-80 гг. ему пришлось защищать логику от попыток свести ее только к одному из разделов методологии науки. В монографии «Логические методы анализа научного знания» (1987) Смирнов формулирует понятие несущественного расширения теории, переводимого расширения и анализирует с их помощью логические отношения между теориями, сформулированными в разных языках и на базе различных логик. Он рассматривает целый спектр различных типов отношений между теориями (погружающие операции, вложимость одной теории в другую, рекурсивную эквивалентность, относительную эквивалентность) и доказывает ряд теорем, описывающих их свойства. В дальнейшем Смирнов неоднократно использовал разработанные им методы в своих исследованиях взаимоотношения различных теорий. Одним из последних его результатов является доказательство эквивалентности онтологии Лесневского и оккамовской силлогистики.

== Основные труды ==
* Генетический метод построения научных теорий // Философские проблемы современной формальной логики – М., 1962.
* Формальный вывод и логические исчисления – М., 1972.
* Логические методы анализа научного знания. М., 1987.
* Доказательство и его поиск // Логика и компьютер. Вып. 3. – М., 1996. (Соавт. В. И. Маркин и др.)
* Уровни знания и этапы процесса познания // Проблемы логики научного познания – М., 1964.
* Логические идеи Н. А. Васильева // Труды по истории логики в России – М., 1962.
* Теория логического вывода – М., 1999.

{{DEFAULTSORT:Смирнов Владимир Александрович}}
[[Категория:Томские учёные]]
[[Категория:ТПУ]]
[[Категория:Философия в Томске]]

{{footer}}