Changes

In common usage, intuitions lead us to believe things without being able to articulate evidence or reasons for those beliefs. In philosophy, the [[epistemology|epistemic]] credentials of various types of intuition may be investigated, or "intuition" may be used as a technical term to single out a particular type of mental state or propositional attitude.  Intuitions are distinguished from [[beliefs]], since we can hold beliefs which are not intuitive, or have intuitions for propositions that we know to be false.   

In common usage, intuitions lead us to believe things without being able to articulate evidence or reasons for those beliefs. In philosophy, the [[epistemology|epistemic]] credentials of various types of intuition may be investigated, or "intuition" may be used as a technical term to single out a particular type of mental state or propositional attitude.  Intuitions are distinguished from [[beliefs]], since we can hold beliefs which are not intuitive, or have intuitions for propositions that we know to be false.   

<center>For lessons on the [[topic]] of '''''Intuition''''', follow [http://nordan.daynal.org/wiki/index.php?title=Category:Intuition this link].</center>

<center>For lessons on the [[topic]] of '''''Intuition''''', follow [https://nordan.daynal.org/wiki/index.php?title=Category:Intuition this link].</center>

In the [[philosophy]] of [http://nordan.daynal.org/wiki/index.php?title=Modern_Philosophy Immanuel Kant], intuition is one of the basic [[cognitive]] faculties, equivalent to what might loosely be called [[perception]]. Kant held that our [[mind]] casts all of our external intuitions in the form of [[space]], and all of our internal intuitions ([[memory]], thought) in the form of time.   

In the [[philosophy]] of [https://nordan.daynal.org/wiki/index.php?title=Modern_Philosophy Immanuel Kant], intuition is one of the basic [[cognitive]] faculties, equivalent to what might loosely be called [[perception]]. Kant held that our [[mind]] casts all of our external intuitions in the form of [[space]], and all of our internal intuitions ([[memory]], thought) in the form of time.   

"Intuitionism" is a position advanced in [[philosophy of mathematics]] derived from Kant's claim that all [[mathematics|mathematical knowledge]] is knowledge of the pure forms of the intuition - that is, intuition that is not empirical (''Prolegomena, p.7''). Intuitistic logic was devised by Arend Heyting to accommodate this position (and has been adopted by other forms of [constructivism in general). It is characterized by rejecting the [[law of excluded middle]]: as a consequence it does not in general accept rules such as double negation elimination and the use of [[reductio ad absurdum]] to prove the existence of something.

"Intuitionism" is a position advanced in [[philosophy of mathematics]] derived from Kant's claim that all [[mathematics|mathematical knowledge]] is knowledge of the pure forms of the intuition - that is, intuition that is not empirical (''Prolegomena, p.7''). Intuitistic logic was devised by Arend Heyting to accommodate this position (and has been adopted by other forms of [constructivism in general). It is characterized by rejecting the [[law of excluded middle]]: as a consequence it does not in general accept rules such as double negation elimination and the use of [[reductio ad absurdum]] to prove the existence of something.