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