2026-01-17
As an IT man I have the greatest respect for logic. You cannot make a successful career in IT unless one understands logic (except you are a consultant, senior manager / director or salesman of course - that's always a given).
Yet, logic has a lot to answer for.
Namely, its axioms - axioms being the founding statements of truth upon which all subsequent logical argument is based. You cannot have a logical argument which is not based on axioms. They are the unreliable dogma that underpins the whole ...
Indeed, they are the reason that a perfect computer program can reliably fail in rare instances. What assumptions (axioms) underpin the logic of the program? Which one failed in this instance?
Axioms are the reason why the world has so many religions - the religious dogma that underpin each belief system are their axioms, and they can't all be right (unless maybe they inhabit different universes, and maybe some do ... ).
It's also the reason why the world has so many political parties - each proclaims a different set of fundamental axioms which must be accepted without argument. Or in the case of politics their axioms are actually simultaneously both fluid and opaque and can like viruses mutate and adapt to whatever their proponents feel most suits their purposes at the time.
So the search for correctness, and indeed consequent unity, must start with a critical examination of the associated axioms (NB we do not do party politics - this could equally well be applied to any political party - it's just that this one happens to be in office currently and thereby at the forefront of our attention).
After that, we can start on the logic ...
