战国时期的墨家和名家提出的理论，标志中国曾出现（    ）。

A、形式逻辑

B、辩证逻辑

C、化理学

D、自然哲学