Dear terry 9, The logical rules about contadiction as well
about the relation between premiss and deduced statements apply
for any logic . This imply the qantifiction logic , the predicate logic and propositional logic. BTW Tarski's ''truth by satisfaction'' is obviously based on quantification. I think that all human investigations are based on this principle. Say which conditions
need to be satisfy for the food we use (there are still people who
die from the wrong chosen mushroom), legal rules which need to be satsfy in order to claim some rights, etc.,etc. This also apply for our hobby because our questions are about ''which component will satisfy the conditions which individual person ask for''.