Logic Logic is the branch of philosophy that treats of the rules and systems we use to establish truth. See: Wikipedia Among the Squashed are: Mill - A System of Logic Ayer - Languge, Truth and Logic Kant - The Critiques of Reason Locke - Human Understanding Wittgenstein - Tractatus Turing - Computing Machinery |