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