Binary truth functions; truth in higher dimensions. Are we missing any logical connectives? Normal forms; satisfiability.
Truth functions—are we missing any logical operations?
Why does classical logic often seem to place an inordinate focus on the standard list of connectives ∧ , ∨, →, ↔ and ¬? Why only these? How do we know that we are not missing some other logical operations? Perhaps there is some undiscovered logical operation, which would enable us to express fine new logical relations and connections, if only we should learn of it. Are we missing out on some unknown subtle logical relation?
Let us find out.
Keep reading with a 7-day free trial
Subscribe to Infinitely More to keep reading this post and get 7 days of free access to the full post archives.