Reducing the world to pure logic