Cse@buffalo A Logic of Arbitrary and Indefinite Objects Stuart C. Shapiro Department of Computer Science and Engineering, and Center for Cognitive Science.