В книге рассказывается об идеях и проблемах современной логики и логического анализа научных знаний, а также о задачах формальной логики и ее отношении к диалектической логике, связи языка с мышлением и действительностью, о способах различных доказательств и опровержений.