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

Thread 'Value of intuitionistic logic'

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.
View full post »

Similar threads

I Syntactic vs semantic logical consequence (entailment)
Replies
5
Views
2K
I On the meaning of logical implication within specific context/models
Replies
22
Views
3K
I Deductive proof in logic formal systems
Replies
4
Views
230
I Modus Ponens deduction rule
Replies
12
Views
2K
B Traditional logic and its usefulness in the past
Replies
21
Views
3K
I Questions about SMT logic solvers
Replies
2
Views
2K
I About the undecidability of first-order-logic
Replies
26
Views
4K
MHB Upper Bound of Sets and Sequences: Analyzing Logic
Replies
3
Views
5K
MHB What is the Tautology in the Given Logical Equivalence?
Replies
2
Views
1K
MHB Math Logic: Equivalency, Validity, and Consequence
Replies
1
Views
1K

Hot Threads

Recent Insights

Back
Top