Intuitionistic logic

Intuitionistic logic, or constructivist logic, is the logic used in mathematical intuitionism and other forms of mathematical constructivism.

Related Topics:
Logic - Mathematical intuitionism - Mathematical constructivism

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Roughly speaking, "intuitionism" holds that logic and mathematics are "constructive" mental activities. That is, they are not analytic activities wherein deep properties of existence are revealed and applied. Instead, logic and mathematics are the application of internally consistent methods to realize more complex mental constructs (really, a kind of game). In a stricter sense, intuitionistic logic can be investigated as a very concrete and formal kind of mathematical logic. While it may be argued whether such a formal calculus really captures the philosophical aspects of intuitionism, it has properties which are also quite useful from a practical point of view.

Related Topics:
Mathematical logic - Calculus

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Both notions of the term will be considered below.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~