A priori Logical propositions are such as can be known a priori without study of the actual world.
Bertrand Russell (2009). “The Basic Writings of Bertrand Russell”, p.155, Routledge

A priori Logical propositions are such as can be known a priori without study of the actual world.