Study of logic, forms of thinking, laws, and language of formal logic explained in Arabic and Greek origins to understand the relationship between thoughts and ideas through logical processes