Study the basic principles and rules of formal logic, including definitions, laws, and concepts. Explore the evolution from Aristotelian logic to modern mathematical logic