Putting Logic In Its Place P by David Christensen