Книга посвящена основам современной логики и онтологии. Логика понимается как онтологическая дисциплина, изучающая идеальную сторону бытия. Идеальный тип существования характеризуется отсутствием пространственных и темпоральных предикатов. Поэтому логические объекты и отношения между ними не располагаются в пространстве и не изменяются во времени. Такой подход заставляет отказаться от устаревших представлений о логике как науке о мышлении. Предлагается новое понимание сути логики как науки. Логика занимается предельно общим изучением того, что может быть, что возможно, и тем, что не может быть, что невозможно ни при каких обстоятельствах.

В книге кратко прослеживается эволюция логической идеи доказательства от истоков до появления традиционной логики, и затем до современного уровня, изучению которого фактически посвящено основное содержание работы. Относящийся к современной логике материал, включающий пропозициональную логику и логику предикатов, изложен «с нуля» и более подробно, чем это обычно делается, что позволит читателю обрести столь востребованную самостоятельность в деле освоения современной логики.

Книга предназначена всем интересующимся логико-онтологическими проблемами научной философии.