Résume  Probability quantifiers were studied by Keisler and Hoover in the 1980's,following earlier work of Carnap, Gaifmann, KraussScott. I will survey some basic results on pure probability logic, where only stochastic quantifiers are allowed. The interpretative powers of this logic are drastically more limited than that of firstorder logic. If the language consists of binary relations, one can interpret nothing more than spatial location (in a sense that will be explained; essentially on the KimPillay space.) Subtleties increase with higherorder relations.
