Skip to main content
1 of 3
arsmath
  • 6.9k
  • 3
  • 38
  • 56

Metamathematics of buts

Something I learned (probably in middle school) that always bothered me is that the truth value of "and" and "but" are basically the same. If you were going to assign a truth-functional interpretation of "but" in first-order logic, it would be the same as "and".

There's been a explosion of logical systems that are alternatives to first-order logic, such as fuzzy logic. Is there a logical system that can distinguish "and" and "but"?

arsmath
  • 6.9k
  • 3
  • 38
  • 56