At the center of his work is a devotion to logic that refuses to be merely formal. For Petrović, logic is a social practice, a historical force that both shapes and is shaped by concrete conditions. He treats rules of inference not as abstract stipulations in ivory towers, but as instruments forged in struggle—tools for diagnosis, critique, and possible emancipation. His logika thus looks both ways: it peers inward at concepts for coherence and outward at the world for transformation.