О књизи: 1983 / Књига говори о идејама и проблемима савремене логике и логичке анализе научних сазнања, као и о задацима формална логика и њен однос према дијалектичкој логици, веза језика са мишљењем и стварношћу, о методама разних доказа и побијања.