Axiomatic systems

  • Thread starter Manchot
  • Start date
  • #1
468
4
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?
 

Answers and Replies

Related Threads on Axiomatic systems

  • Last Post
Replies
2
Views
625
Replies
2
Views
562
Replies
35
Views
7K
Replies
2
Views
1K
Replies
36
Views
2K
Replies
12
Views
1K
Top