The laws of discursive thought: being a text-book of formal logic