"Modernizing Logic":Today's Thought and Practice-A Report on a Special Session of the Conference"Wang Xianjun Centenary"

Taotao Xing,Beihai Zhou
DOI: https://doi.org/10.3969/j.issn.1674-3202.2010.03.008
2010-01-01
Abstract:"Wang Xianjun Centenary"was held at Peking University in April 24-26,2010, in honor of one of the pioneers who introduced mathematical logic to China.A special session of the conference was devoted to the discussion of"modernizing logic",a slogan put forth 30 years ago primarily by Professor Wang Xianjun,at the time when the Cultural Revolution was just over and a new age was in view for reforming logic teaching and research in China.The development of logic thereafter can be seen as basically a kind of substantiation of that slogan,which in a nutshell is a call for the return of mathematical logic. The conference discussed basically the following matters:estimation of the modernization of logic studies in China today;survey of the achievements gained these years by major logic programs in China;discussion of reforming the introductory logic course in universities;debate on two different meanings of"modernizing logic",namely the popularization of logical thinking among the general citizens and academic study in logic.Though consensus was hardly reached on any single topic,scholars all agree that we did make a progress in the past 30 years and are presently in the process of immerging into the international logic community.
What problem does this paper attempt to address?