An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities