Study of the logic theory, including types of thinking, laws of thought, and formal logic subjects, with a focus on ancient Greek philosophers like Parmenides and Plato