The laws of non-contradiction and excluded middle are presupposed by any coherent system of inferenc...