The Chief Characteristics of a System of Logic based upon Intuitivism in Epistemology and Ideal-Realism in Metaphysics