Chinese, Indian and Greek philosophers all developed structured methods of formal deduction in the first millennium BCE.
中国，印度和希腊哲学家均已在公元前的第一个千年里提出了形式推理的结构化方法。