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.
Later, Prof. Shier Ju promoted the cognitive turn of logic in 1990s, of which the fundamental idea is that logic can be studied in terms of the interaction with cognitive science. In 1997, the ILC of Sun Yet-sen University was established. From 1998, some Ph.D. students started their exploration of logic in the new cognitive turn.
In 2000, the ILC was selected by Chinese Ministry of Education as one of 100 national Key Research Institute of Humanities and Social Sciences.
The members of ILC are roughly divided into four groups: non-classical logic, mathematical logic and computation, informal logic, and applied logic. The members of ILC have conducted lots of Chinese national research grants in varieties of directions including philosophical logic, mathematical logic, informal logic, history and philosophy of logic, logic and culture, applied logic in sciences, cognitive modeling, and legal reasoning and so on. In recent years, members of the institute have published their results in many top international journals related with logic.
The institute is an international home to research lines such as the ILC tradition in logic related cross-discipline areas.