The second type of philosophy, for our purpose, is intuitionalism.
Here then characteristically intuitionalism occupies a half-way house between empiricism, with its appeal to real given fact, and idealism, with its appeal to necessity.
But Intuitionalism has further arguments for the doubter.
Two regions become prominent in the working out of intuitionalism, if still more prominent in the widely differing philosophy of Kant - the regions of mathematics and of morals.
Great as is the difference when we pass from mathematics to morality, yet there are striking similarities, and here again intuitionalism claims to find much support.
