MHB What is the meaning of consequence in logic?

  • Thread starter Thread starter hossam killua
  • Start date Start date
  • Tags Tags
    Logic
hossam killua
Messages
10
Reaction score
0
what is the defintion of consequence in logic
 
Physics news on Phys.org
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.

Similar threads

Replies
4
Views
230
Replies
12
Views
2K
Replies
21
Views
3K
Replies
2
Views
2K
Replies
26
Views
4K
Replies
3
Views
5K
Replies
1
Views
1K
Back
Top