| Книга I. Логика |
| А.С.Карпенко. Владимир Александрович Смирнов: вехи биографии и научная деятельность |
| I Силлогисти ка |
| К теории категорического силлогизма |
| Замечания по поводу системы силлогистики и общей теории дедукции |
| | 1. Правила вывода, не зависящие от аксиоматики |
| | 2. Система силлогистики, не предполагающая исчисления высказываний |
| | 3. |
| Вступительная статья к книге Д.Г.Х.Инголлса "Введение в индийскую логику навья-ньяя" |
| Топологическая интерпретация модальной силлогистики |
| Дефинициальная эквивалентность элементарной онтологии и обобщенной силлогистики оккамовского типа |
| Дефинициальная эквивалентность систем силлогистики |
| II Теория до казательств |
| Логические системы с формулами – аналогами записей о выводимости |
| | 1. Формулировка обобщенного исчисления высказываний (U0) |
| | 2.Некоторые теоремы U0, модальности в U0 |
| | 3. Обобщенное и конструктивное исчисление высказываний |
| | 4. Обобщенное исчисление высказываний и системы строгой импликации Льюиса |
| | 5. Отношение U0 к классическому исчислению высказываний и исчислениям заключений |
| Так называемые парадоксы материальной импликации и логические системы с понятием сильного вывода |
| On Decidebility of Decision Problem for Sequential Calculus of Predicates Without Contractions |
| Теорема об устранимости сечения для абсолютного исчисления и LK Генцена без утончений |
| Секвенциальная формулировка логики Даммета |
| Theory of Quantification and E -Calculi |
| В.М.Попов. Работы В.А.Смирнова по теории доказательств |
| III Логика В асильева |
| Логические взгляды Н.А.Васильева |
| Логические идеи Н.А.Васильева и современная логика |
| | 1. Логика и металогика |
| | 2. Ассерторическая силлогистика. Силлогистика Н.А.Васильева с законом исключенного четвертого и трактовка частных суждений |
| | 3. Можно ли построить силлогистику без пропозициональной логики? |
| | 4. Фактические суждения и суждения о понятиях |
| | 5. Логика без закона противоречия |
| | 6. Логики n измерений |
| В.И.Маркин. Комментарии к работам В.А.Смирнова, посвященным логическому наследию Н.А.Васильева |
| IV Модально- временные логики |
| Логики с модальными временными операторами |
| Временные логики с нестандартными условиями сопряженности будущего и прошлого |
| Определение модальных операторов через временные |
| Логические системы с модальными временными операторами |
| А.С. Карпенко. В.А. Смирнов о модально-временных логиках |
| V Многомерны е и комбинированные логики |
| Internal and external logic |
| Комбинированные исчисления предложений и событий и логика истины фон Вригта |
| | 1. Идея комбинированных исчислений высказываний и событий |
| | 2. Логика истинности фон Вригта и ее секвенциальное представление |
| | 3. Обобщенная комбинированная логика предложений и событий |
| | 4. Дополнительные внутренние операции |
| Утверждение и предикация. Комбинированные исчисления высказываний и событий |
| О многомерных логиках и их отношении к логикам многозначным |
| Многомерные логики |
| В.Л.Васюков. Работы В.А.Смирнова по многомерным и комбинированным логикам |
| Книга II. Логика и методология науки |
| В.А.Бочаров. Предисловие |
| I Современны е тенденции в развитии логики и методологии науки |
| Проблема рациональности |
| Значение аксиоматизации научных теорий для разработки методологии науки |
| Является ли классическая формальная логика универсальной? |
| К.Поппер прав: диалектическая логика невозможна |
| Точки роста логической науки |
| II Логически е проблемы теории познания |
| Символическая логика и теория познания |
| Уровни знания и этапы процесса познания |
| | 1. Различие проблем "чувство–мышление" и "эмпирическое–теоретическое" |
| | 2. Основания подразделения предложений языка науки на уровни |
| | 3. Семантическая система, допустимые объекты мысли и способы выражения |
| | 4. Эмпирические и теоретические объекты науки |
| | 5. Предложения, фиксирующие факт, и предложения, формулирующие закон |
| | 6. Этапы процесса познания |
| | 7. Виды объяснения эмпирических зависимостей |
| | 8. Этапы процесса познания II |
| Роль символизации и формализации в научном познании |
| III Модели м ира и логические языки |
| О достоинствах и ошибках одной логико-философской концепции (критические заметки по поводу теории языковых каркасов Р.Карнапа) |
| Моделирование мира в структуре логических языков |
| Модели языка и модели мира |
| IV Логически й анализ отношений между теориями |
| Logical Relations Between Theories |
| | 1. Introduction |
| | 2. Logical relations between theories formulated in the same language |
| | 3. Comparison of theories with the help of definitions |
| | 4. Inessential extension of theories |
| | 5. Immersion operations, recursive embedding, recursive equivalence and mutual immersion of theories |
| Логический анализ научных теорий и отношений между ними |
| | 1. Логическое уточнение понятия теории |
| | 2. Логические отношения между теориями, сформулированными на одном и том же языке |
| | 3. Сравнение теорий с помощью определений |
| | 4. Несущественные расширения теорий |
| | 5. Погружающие операции, рекурсивная вложимость, рекурсивная эквивалентность и взаимопогружаемость теорий |
| | 6. Функциональная эквивалентность теорий. Результаты Рамсея и Крейга |
| | 7. Эмпирическая интерпретация и применение теорий |
| V Теория алг оритмов и генетический метод построения научной теории |
| Алгоритмы и логические схемы алгоритмов |
| Генетический метод построения научной теории |
| VI Логика тв орчества |
| Творчество, открытие и логические методы поиска доказательства |
| VII Проблемы истории логики и философии |
| Значение метода логической реконструкции для истории логики и философии |
| За профессионализм в философии |
| Воспоминания о В.Ф.Асмусе |
| О перспективах анализа учения И.Канта о праве и морали средствами современной логики |
| Иммануил Кант и современная логика |
| Вклад Г.X.фон Вригта в логику и философию науки |
| Актуальное философское исследование |
| VIII Методол огические вопросы специальных наук |
| Логико-методологическая модель диагноза |
| | 1. Способы описания состояния пациента. Наблюдение, тестирование, измерение |
| | 2. Абстрактная модель диагноза |
| | 3. Недедуктивная модель диагноза |
| | 4. Изменение абстрактной модели диагноза |
| | 5. Симптом и синдром |
| | 6. Типология болезней и диагностика |
| Способы представления квантовой механики и логической семантики |
| К вопросу об определимости предикатов, вводимых двухсторонними редукционными предложениями |
| О возможности общей теории систем |
| IX Воспомина ния о В.А.Смирнове |
| Ф.Т.Михайлов. Почти полвека длился спор... |
| В.А.Бочаров. "Дело есть дело!" |
| А.С.Карпенко. Учитель |
| В.К.Финн. В.А.Смирнов как создатель направлений исследований в логике и методологии науки в СССР и России |
| В.Н.Садовский. В.А.Смирнов и логико-философское сообщество второй половины XX века |
| Библиография научных трудов В.А.Смирнова |
В.А.Смирнов родился 2 марта 1931 г. в Москве. Его предки,
насколько это можно проследить, были вековыми москвичами. Он
учился на философском факультете Московского государственного
университета (1949-1954) и закончил аспирантуру этого же
университета по кафедре логики в 1957 г. Руководителем его
дипломной и кандидатской работы был известный российский философ
и логик В.Ф.Асмус. Некоторые разделы логики В.А.Смирнов слушал
у С.А.Яновской, а затем у выдающегося российского логика
А.А.Маркова, первого заведующего кафедрой математической логики
на математическом факультете Московского университета. В 1957–1961 гг. работал старшим преподавателем кафедры философии
Томского политехнического института, где была опубликована его
первая научная работа под названием "Является ли классическая
логика универсальной?" (1958). В 1961 г., возвратившись
в Москву, начал работать в Институте философии Академии наук СССР
(ныне РАН), где и проработал до конца своих дней. В 1962 г. им
была защищена кандидатская диссертация на тему "Дедуктивный
метод и построение научной теории". С 1970 г. и до конца жизни
В.А.Смирнов работал преподавателем, а затем с 1979 г. профессором кафедры логики философского факультета
Московского университета, где читал наиболее сложные и важные
специальные курсы по формальной логике.
Владимир Александрович Смирнов принадлежал к выдающемуся
созвездию выпускников философского факультета Московского
государственного университета в середине XX столетия. Это было
поколение, которое возродило философию в России, создало новые
школы и способствовало появлению новых направлений в логике,
методологии и философии науки. Все важнейшие события, которые
имели место в области логики в последние три десятилетия, были
связаны с научной и организационной деятельностью В.А.Смирнова.
