Axiomatic Systems: Does Boolean Logic Apply?

  • Context: Graduate 
  • Thread starter Thread starter Manchot
  • Start date Start date
  • Tags Tags
    Systems
Click For Summary
SUMMARY

This discussion centers on the application of Boolean logic within mathematical proofs, specifically questioning whether alternative mathematical systems can exist where standard Boolean rules do not apply. The participant highlights the foundational assumptions in traditional mathematics, such as the equivalence of ~(P and Q) to ~P or ~Q, and the implication structure P and (P implies Q) equating to Q. The conversation references constructive mathematics as a potential framework for exploring these alternative systems.

PREREQUISITES
  • Understanding of Boolean logic principles
  • Familiarity with mathematical proofs
  • Knowledge of constructive mathematics
  • Basic concepts of logical equivalence and implication
NEXT STEPS
  • Research the principles of constructive mathematics
  • Explore alternative logical systems beyond Boolean logic
  • Study the implications of non-standard logic in mathematical proofs
  • Examine the relationship between logic and mathematics in philosophical contexts
USEFUL FOR

Mathematicians, logicians, philosophy students, and anyone interested in the foundations of mathematics and alternative logical frameworks.

Manchot
Messages
470
Reaction score
5
I was just thinking about something recently, and I'm now posing a question. It seems to me that in all mathematical proofs I've seen, there is an implicit assumption that the rules of Boolean logic are what are "logical." That is, if you have two mathematical statements P and Q, you assume that ~(P and Q) is the same thing as ~P or ~Q, and that P and (P implies Q) is the same thing as Q, etc. Is it possible to create other "mathematics" where these standard Boolean rules do not apply?
 
Physics news on Phys.org

Similar threads

Undergrad Modus Ponens deduction rule
  • · Replies 12 ·
Replies
12
Views
3K
Undergrad On the meaning of logical implication within specific context/models
  • · Replies 22 ·
Replies
22
Views
4K
Undergrad Computer languages as examples in formal logic
  • · Replies 40 ·
2
Replies
40
Views
9K
Graduate What are your insights on The Hardest Logic Puzzle Ever?
  • · Replies 2 ·
Replies
2
Views
3K
High School Unbounded Logical Trees: Constructing Natural Numbers with Logical Trees
  • · Replies 7 ·
Replies
7
Views
2K
Graduate An additional constraint to the ZFC axioms?
  • · Replies 40 ·
2
Replies
40
Views
5K
MHB Attempting to add logic mathematics to a college paper - need your input
  • · Replies 2 ·
Replies
2
Views
2K
MHB Can the premise P∨Q be ignored in a propositional logic proof?
  • · Replies 1 ·
Replies
1
Views
2K
Graduate Choices of Axiomatic and Number Systems / Sets and Alternatives
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad What does 'p only if q' mean in logic and proofs?
  • · Replies 4 ·
Replies
4
Views
4K