Становление идей математической логики

М.: Наука. 1964. — 305 с.Есть два основных приема исследования в работах по истории логической мысли —филологический и «ретроспективно — логический». Первый означает, прежде всего, тщательную терминологическую обработку источников, сопоставление различных вариантов одних и тех же документов, выяснение связи логических фактов с данными науки. Второй сводится к анализу старых логических концепций с точки зрения формирования в них элементов современных нам логических точек зрения, современный же логический аппарат рассматривается как бы той нитью Ариадны, которой следует придерживаться, находясь в лаг биринте логических учений прошлого.Каждый из этих приемов наряду с несомненными достоинствами имеет и свои минусы. Авторы, применяющие филологический метод, рискуют свести дело к истории терминологических нововведений, а применение ретроспективно — логического метода таит опасность модернизации излагаемого материала. В настоящей работе сделана попытка синтеза обоих подходов, которая, быть может, позволит избежать нежелательных крайностей. При рассмотрении логических теорий прошлого автор будет учитывать их роль в подготовке соответствующих современных взглядов и в то же время уделять должное внимание текстологическим аспектам.