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