The Situation in Logic - BARWISE, Jon (CSLI, 1989)