Yes, there was an FOM discussion on this topic involving Bill Tait and myself, among others. There was a particularly helpful posting by Michael Detlefsen from May 11 2001 that you can find in the FOM archives under the heading "Kreisel: Objects and objectivity." Alasdair Urquhart