Logic is a general term for a huge collection of disciplines related with formal method. What are future directions in the study of pure logic? What are the general structures in human cognitive and social activities and varieties of cultures? How classical and nonclassical logical theories can be applied in theoretical and applied formal and informal sciences? What is the role of logic in the current development of intelligence sciences? Questions like these lie at the central place of scientific research conducted at the Institute of Logic and Cognition (ILC), a world-class research institute in the cross-discipline area between logic, mathematics, computer science, Artificial intelligence and social sciences related with culture and cognition.
The ILC stands in a long history of logic in China. In 1980s, since computer science has been developed rapidly, Professor Shier Ju started the research on logical theories from a cross-discipline perspective at Sun Yat-sen University.