koob.ru

Смирнов В.А.. Книги онлайн

Смирнов В.А.

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

Окончил философский факультет МГУ (1954), куда поступил в 1949 году, и аспирантуру того же факультета по кафедре логики (1957), научный руководитель В. Ф. Асмус. Был принят в МГУ благодаря поддержке научного руководителя несмотря на то, что не являлся членом партии, и его отец был в плену.

В 1957–1961 годах старший преподаватель кафедры философии Томского политехнического института.

С 1961 г. в Институте философии АН СССР (ныне РАН), с 1988 г. руководитель его логического центра, а с 1992 г. заведующий отделом эпистемологии, логики и философии науки и техники. В течение многих лет руководил научно-исследовательским семинаром сектора логики и являлся ответственным редактором его трудов.

Преподавал в МГУ с 1970 года.

В 1991 году организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни.

Кандидатская диссертация «Дедуктивный метод и построение научной теории» (1962). Докторскую диссертацию защитил в 1973 году по книге «Формальный вывод и логические исчисления» (1972).

Основатель ежегодника «Логические исследования» и его главный редактор. Был членом редколлегии журнала «Вопросы философии».

Книги (3)

Семантика модальных и интенсиональных логик
Раздел библиотеки: Логика

Исследование модальных, временных, деонтических, эпистемических, релевантных логик и других интенсиональных логических систем — бурно растущая область современной логики. Предлагаемый вниманию читателей сборник состоит из основополагающих работ зарубежных ученых, посвященных семантике модальных и интенсиональных логик. Авторы публикуемых здесь статей являются крупными специалистами в области современной логики.

Хотя ни в одной из помещенных статей и не провозглашается принадлежность автора к той или иной философской школе, тем не менее следует иметь в виду, что они так или иначе разделяют различные философские убеждения. В свое время многие западные логики придерживались идей логического позитивизма. Другие ученые, разочарованные установками позитивизма, становятся на позиции «научного реализма».

Это относится прежде всего к логикам, группирующимся вокруг журналов «Философская логика» («Journal of philosophical logic») и «Теория» («Theoria») и Общества точной философии. К этому направлению принадлежит ряд авторов публикуемых в настоящем издании переводов. Некоторые из авторов активно сотрудничают с советскими логиками, и их работы опубликованы, например, в журналах «Вопросы философии» и «Философские науки» и в специальных научных изданиях.

Теория логического вывода
Раздел библиотеки: Логика

Сборник содержит основные труды выдающегося отечественного логика профессора В. А. Смирнова по теории логического вывода, в том числе основополагающую монографию «Формальный вывод и логические исчисления».

В приложении имеется полная библиография работ В. А. Смирнова.

Книга предназначена для логиков, философов и всех интересующихся проблемами логической науки.

Формальный вывод и логические исчисления
Раздел библиотеки: Логика

В монографии анализируются различные способы логического рассуждения: логистические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Показывается, как модификация понятия формального вывода влияет на класс доказуемых формул, условия, при которых имеет место теорема дедукции.

Дается достаточно естественная классификация логических систем. Вводится и подробно исследуется лежащее в основе классификации абсолютное исчисление предикатов.

Добавить отзыв
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться