Logical Intuition, or mathematical intuition or rational intuition, is a series of instinctive foresight, know-how, and savviness often associated with...

some intuitions will actively defy known information.[page needed] Intuition is also seen as a figurative launch pad for logical thinking. Intuition's automatic...

event. Classical logic and its extensions rest on a set of basic logical intuitions accepted by most logicians. They include the law of excluded middle...

paradox, cannot be easily resolved by making foundational changes in a logical system. Examples outside logic include the ship of Theseus from philosophy...

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely...

process through intuition—however valid—may tend toward the personal and the subjectively opaque. In some social and political settings logical and intuitive...

"classical" in the sense that it is based on basic logical intuitions shared by most logicians. These intuitions include the law of excluded middle, the double...

whether the formal system in question is compatible with fundamental logical intuitions and whether it is complete. Different conceptions of logic can be...

of the human understanding of logical concepts. Kurt Gödel attempted to comprehend the human ability for logical intuition in terms of finite-valued logic...

Ethical intuitionism (also called moral intuitionism) is a view or family of views in moral epistemology (and, on some definitions, metaphysics). It is...