Main progenitors of informal logic 并列题名：Main progenitors of informal logic Theory of formal logics from formal logic to informal logic