Try this: all syllogistic (set) logic is either tautological or contingent upon

Try this: all syllogistic (set) logic is either tautological or contingent upon premises. All axiomatic logic is contingent upon axioms. All operational logic from first principles is not contingent – it’s either constructible or not: surviving falsification or not.