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