Таванец П.В. (отв. ред.). Философские вопросы современной формальной логики

М.: Издательство Академии наук СССР, 1962, - 365 с.
Содержание:
П. В. Таванец. Формальная логика и философия.
Г. И. Рузавин и П. В. Таванец. Основные этапы развития формальной логики.
Д. П. Горский. Формальная логика и язык.
А. Л. Субботин. Смысл и ценность формализации в логике.
А. А. Зиновьев. Двузначная и многозначная логика.
П. В. Таванец. О семантическом определении истины.
И. С. Нарский. Понятие «существования», логической позитивизм и формальная логика.
A. И. Уемов. О достоверности выводов по аналогии.
B. Н. Садовский. Аксиоматический метод построения научного знания.
В. А. Смирнов. Генетический метод построения научной теории.
В. С. Швырев. Неопозитивистская концепция эмпирического значения и логический анализ научного знания.
Е. Д. Смирнова. К проблеме аналитического и синтетического.