Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Axiomatic systems

  1. Jul 25, 2006 #1
    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?
  2. jcsd
  3. Jul 25, 2006 #2
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook