В работе рассматриваются философские вопросы, возникающие в ходе развития важной отрасли современной формальной логики — логической семантики.
Изложены основные представления логической семантики в связи с философскими проблемами НТР; рассмотрены трудности теории абстракции и теории доказательства, анализируется использование идей логической семантики для анализа «естественного» языка и языка науки. Работа завершается анализом проблем теории абстракции и теории доказательства на материалах наук физико-математического цикла.
Монография рассчитана на читателей, интересующихся проблемами логики и методологии науки, философскими вопросами естествознания.
