Title: The principles of logic