Computer science and artificial intelligence will be dynamically essential to the development of logic in the twenty-first century and to a great extent will determine its features. Logic, at least in the early twenty-first century, will focus on the following issues: First, how do we deal with the inconsistent, complicated and fallible elements of commonsense logic? Second, how do we equip robots with human beings’ creative intelligence, like the capacity to make from experiential evidences a mistakable inductive judgment as the guideline for later activities? Third how do we establish the presentation and the reasoning of knowledge, especially the reasoning that is based both on existing data of knowledge and cognitive subjects’ knowledge about one another? Fourth, how do we proceed the natural understanding and reasoning of language through the combination of various contexts, enabling robots to interact with people though natural human language?