MHB Are the inference rules of propositional calculus tautologies?

  • Thread starter Thread starter solakis1
  • Start date Start date
  • Tags Tags
    Calculus Rules
Click For Summary
The discussion centers on whether the inference rules of propositional calculus, specifically Modus Ponens, can be classified as tautologies. It is established that inference rules are relations on formulas, while tautologies are specific formulas, leading to the conclusion that Modus Ponens is not a tautology. However, some participants argue that Modus Ponens can be represented as a well-formed formula (wwf) and is considered a tautology in various logic textbooks. The conversation also touches on the definitions of inference rules and tautologies, highlighting differences in interpretations across different logic texts. Ultimately, the distinction between inference rules and tautologies remains a point of contention in the discussion.
  • #31
solakis said:
I hope you realize if we say 3+5=7 the whole of mathematics collapses
I think saying Mathematics "collapses" is a bit too strong a statement. After all we don't know everything. Your example is oversimplified but it has often happened that someone has made a statement that has been accepted for centuries only to have it be disproven later on. (Admittedly I don't know of any examples of this in Mathematics...I primarily do Physics.) A false statement obviously needs to be fixed but if we don't know it's false the structure of Mathematics remains.

-Dan
 
Physics news on Phys.org
  • #32
No rules the Universe-PYTHAGORAS 26 centuries ago
God gave us the Nos everything else is human invension- KRONECKER nearly 130 years ago
 
  • #33
solakis said:
No rules the Universe-PYTHAGORAS 26 centuries ago
God gave us the Nos everything else is human invension- KRONECKER nearly 130 years ago
Do you have a point?

-Dan
 
  • #34
No is ashort writing for Number
Sorry i don't get your question
I simply mentioned famous sayings about Nos
 

Similar threads

I Modus Ponens deduction rule
  • · Replies 12 ·
Replies
12
Views
2K
I Syntactic vs semantic logical consequence (entailment)
  • · Replies 5 ·
Replies
5
Views
2K
I Is There a Set Definition for Propositions in Propositional Logic?
  • · Replies 27 ·
Replies
27
Views
3K
MHB How to give a proof of tautologies?
  • · Replies 4 ·
Replies
4
Views
4K
MHB What is the Tautology in the Given Logical Equivalence?
  • · Replies 2 ·
Replies
2
Views
1K
MHB Rewrite as a formal proposition
  • · Replies 1 ·
Replies
1
Views
2K
MHB Propositional Calculus: Is Algebra's Problem-Solver? Example
  • · Replies 4 ·
Replies
4
Views
2K
I Deductive proof in logic formal systems
  • · Replies 4 ·
Replies
4
Views
429
I Proof using Rule of Disjunctive Amplification
  • · Replies 6 ·
Replies
6
Views
3K
I Hilbert's omega rule, induction, omega-consistency
  • · Replies 15 ·
Replies
15
Views
3K