# Questions tagged [intuitionistic-logic]

The tag has no usage guidance.

13 questions
Filter by
Sorted by
Tagged with
41 views

### Technique that “de-trivialising” contradiction (systems)?

Gödel proved that some systems cannot prove their own consistency. As I see, what Gödel proved is no other than that mathematics is freedom, the adventure of a free mind (I.e. not afraid of being ...
47 views

### Moral constructivism and intuitionistic logic

What with all the times Rawls uses mathematics examples in AToJ, such as the guy who counts blades of grass for fun and survives by solving math problems for a fee, or π being transcendental, or the ...
4k views

### If you used intuitionistic logic in real life, would you not sound absurd?

Intuitionistic logic does not include the law of the excluded middle and double-negation elimination. I imagine a real-life conversation with an intuitionist might go like this: Amy said you didn't ...
40 views

### Intuitionistic derivation of ~~~A --> ~A

I need to give an intuitionistic derivation of ~~~A --> ~A by using natural deduction. I know that in intuitionistic terms ~~~A --> ~A converts to ~~~A → ~A i.e ⊦ ((A → ⊥)→ ⊥→ ⊥) → (A → ⊥). These ...
79 views

### Does intuitionistic negation of A mean that there does not exist a proof of A?

Section 13 of Kleene's Intoduction to Metamathematics introduces briefly Brouwer's informal intuitionistic school of thought. There he writes that the interpretation of not A is meant to be taken as ...
440 views

### What is the difference in logic between strong and weak negation?

My main concern is to separate different forms of logic. I am hoping to use negation as a way to do that. In the abstract to "Web Rules Need Two Kinds of Negation", Gerd Wagner writes ... there ...
239 views

### Is there a reference list of classic tautologies that are not intuitionistic tautologies for propositional logic?

An example of a classic tautology would be ¬¬A ↔ A. Since double negative elimination is not intuitionistically valid, this classic tautology would not be an intuitionisitic tautology since ¬¬A → A is ...
140 views

### How do proponents of finitism respond to the claim that their position is “dubiously coherent”?

Michael Dummett writes (page 349) Since primality is decidable, the statement that any particular natural number is prime must be determinately either true or false, since the decision procedure, ...
136 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 ...
450 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-...
138 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 ...