propositional calculus

wrong. You mathematicians you must have a theorem of existence of a new concept before you define it.
Sounds like a new concept of math is about to be born. Good luck with your revolutionary endeavor! :)

More seriously, if you look at the history of math, you'll see lots of new concepts with no relation to reality at the time of their birth. E.g. AFAIK, Galois fields had no practical application until around 1960s (Reed Solomon codes). Imagine Évariste Galois asking people in the streets of the early 19th century France about the usefulness of this new concept ?
 
Top