Questions tagged [intuitionistic-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
44 views

Instinct driven decisions [closed]

I know there are many factors when making decisions such as emotion, logic and reason etc ... But my question is how significant is instinct or intuition driven decision making important when human ...
6
votes
1answer
345 views

Was Kant an Intuitionist about mathematical objects?

In regards to the ontology of mathematics, as far as I can understand, Kant believed that Mathematical objects existed only as features of our perception that influenced how we viewed things-in-...
2
votes
1answer
113 views

Reference Request for an introduction to constructive mathematics and intuitionistic logic

I have become deeply interested in intuitionist and constructivist logics after reading the well phrased answer of joberkmark here: Nondisprovable Claims And some of the works of Brouwer. I am ...
1
vote
1answer
120 views

Intuitionism and physics

Is there a conflict between Brouwer's intuitionism and the claim that the free will must not exist because nature is deterministic ? It seems to me that the act of mental construction of mathematical ...
2
votes
1answer
152 views

understanding intuitionistic logic

Just started a chapter on Intuitionism, and already I'm kinda confused on how to structure a proof in favor of intuitionistic logic. Here are the following definitions I am supposed to use: There ...