A few important landmarks in the Chinese debates on dialectical and formal logic from the 1930s