On the Formalism of Stochastic Logic

Stochastic logic is a nonstandard logic that essentially takes interdependence and global connection into account. The present paper gives the basic operations and properties of this kind of nonstandard logic using the model provided by the stochastic sets defined by joint probability (or credibility) distributions. The Cantor sets are obtained when the joint distributions are degenerate.