O knize: 1983 / Kniha pojednává o myšlenkách a problémech moderní logiky a logické analýze vědeckých poznatků, stejně jako o úkolech formální logika a její vztah k dialektické logice, spojení jazyka s myšlením a realitou, o metodách různých důkazů a vyvracení.