URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Смирнов В.А. Логико-философские труды В.А.Смирнова
Id: 108011
 
426 руб.

Логико-философские труды В.А.Смирнова

URSS. 2010. 592 с. Твердый переплет. ISBN 978-5-8360-0553-5.

 Аннотация

Ответственный редактор: Шалак В.И.

Вниманию читателя предлагается сборник работ известного логика, философа и методолога науки В.А.Смирнова (1931--1996), который был приурочен к 70-летию со дня рождения ученого. Сборник состоит из двух книг: "Логика" и "Логика и методология науки", каждая из которых разбита на разделы. В первой книге разделы снабжены комментариями; во второй книге содержится специальный раздел, посвященный воспоминаниям о В.А.Смирнове. Издание завершается полной библиографией трудов ученого.

Для логиков, методологов науки, философов и всех заинтересованных читателей.


 Об авторе

В.А.Смирнов родился 2 марта 1931 г. в Москве. Его предки, насколько это можно проследить, были вековыми москвичами. Он учился на философском факультете Московского государственного университета (1949-1954) и закончил аспирантуру этого же университета по кафедре логики в 1957 г. Руководителем его дипломной и кандидатской работы был известный российский философ и логик В.Ф.Асмус. Некоторые разделы логики В.А.Смирнов слушал у С.А.Яновской, а затем у выдающегося российского логика А.А.Маркова, первого заведующего кафедрой математической логики на математическом факультете Московского университета. В 1957--1961 гг. работал старшим преподавателем кафедры философии Томского политехнического института, где была опубликована его первая научная работа под названием "Является ли классическая логика универсальной?" (1958). В 1961 г., возвратившись в Москву, начал работать в Институте философии Академии наук СССР (ныне РАН), где и проработал до конца своих дней. В 1962 г. им была защищена кандидатская диссертация на тему "Дедуктивный метод и построение научной теории". С 1970 г. и до конца жизни В.А.Смирнов работал преподавателем, а затем с 1979 г. профессором кафедры логики философского факультета Московского университета, где читал наиболее сложные и важные специальные курсы по формальной логике.

Владимир Александрович Смирнов принадлежал к выдающемуся созвездию выпускников философского факультета Московского государственного университета в середине XX столетия. Это было поколение, которое возродило философию в России, создало новые школы и способствовало появлению новых направлений в логике, методологии и философии науки. Все важнейшие события, которые имели место в области логики в последние три десятилетия, были связаны с научной и организационной деятельностью В.А.Смирнова.


 Оглавление

Книга 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 века
Библиография научных трудов В.А.Смирнова
 
© URSS 2016.

Информация о Продавце