三 第二阶段（1994～2005）：以逻辑推演为主要范式的修法论时期