An outline of the necessary laws of thought: a treatise on pure and applied logic.