Abstract
The aim of the present paper is to present a logical analysis of the concept of the free society. The symbolism used will be that of the Principia Mathematica—a few extra-logical symbols being explained when introduced. Regarding logical symbolism, it must be stressed, that the use of artificial symbols is not to be understood as a formalization. For formalization is a procedure by which one abstracts from the meaning of terms and operates on the shapes of the symbols alone—which will not be done here. The symbolism is rather used as a useful shorthand, without which it would be difficult to obtain statements of the desired precision.