M384 | 27932 | Larry Moss

Modal Logic (3 cr.) P: P250, and one 300-level mathematics course, or consent of the instructor. N & M Introduction to modal logic with emphasis on systems of modal logic which apply to philosophy and computer science. Includes epistemic logic, temporal logic, deontic logic, and logics for reasoning about space. Covers the semantics of these systems, and only secondarily will be concerned with the standard results about them. Are you interested in studying a branch of logic which * has ancient roots, and yet is in full bloom today * figures into discussions in philosophy and computer science * will allow you to sharpen your skills with mathematical proofs If so, Modal Logic (M384) could be just the class for you! The course doesn't really require a background in logic. Of course, a basic course would help. It is essential, however, to have had some proof-oriented math class, such as linear algebra. The goal of the course is to study logical systems that are used in modeling what people 'know' and 'believe', and ones in which they change their minds. So the topics and examples will mainly be from the social world. At the same time, the subject quickly becomes mathematical, because one must understand the models at a deep level in order to draw interesting conclusions. For more information: Prof. L. Moss lmoss@indiana.edu