The principles of logic