This chapter presents an overview of the issues that arise when logic is used in helping to understand problems in intelligent reasoning and to guide the design of mechanized reasoning systems. It provides some historical and technical details concerning nonmonotonic logic and reasoning about action and change, a topic that is not only central in artificial intelligence but that is normally of considerable interest to philosophers. The remaining sections provide brief sketches of selected topics, with references to the primary literature.