MATH43032 - 2011/2012

 

Specification

Aims

The aim of this course is to expose the students to the formal mathematical and philosophical aspects of a range of non-standard logics which are currently of importance in IT.

Brief Description of the unit

Non-standard logics are logics which capture other features of arguments, or reasoning, beyond those expressible in the basic, classical, propositional and predicate calculi. As such they have always been of direct interest and relevance to Philosophers and Logicians. However, this subject has taken off in the last 25 years or so because of the need in Computer Science (and especially in the sub-area of Information Technology) to formalise a range of patterns of reasoning for use in so called 'intelligent computers'.

The course notes (this is largely a reading course) covers three such families of (propositional) logics, nonmonotonic, modal and many valued (or 'fuzzy'). The approach will, however, remain very much within the tradition of mathematical logic and philosophy, concentrating on understanding the key ideas and theorems (in particular deriving completeness theorems), rather than studying practical IT applications.

Learning Outcomes

On successful completion of this course unit students will be able to

• appreciate how non-standard logics can be developed and used to formalise various patterns of reasoning;
• be able to construct simple (formal) proofs within the non-standard logics studied;
• understand the proofs of the relevant completeness theorems and be able to apply these theorems to give semantic arguments for, or against, formal derivability.

Future topics requiring this course unit

None.

Syllabus

1. Nonmonotonic Logic: The GM rules, rational consequence relations. The LMK Representation Theorem and the rational closure of a conditional knowledge base. Theory revision. [9 lectures]
2. Modal Logic: Necessity and possibility. The systems K, T, D, B, S₄ and S₅. Examples of proofs. Normal forms. Frames and semantics. The Completeness Theorems for K and S₄. [8]
3. Intuitionistic Logic: Kripke Structures and relationship to S₄ frames. The proof theory for Propositional Intuitionistic Logic and the Completeness Theorem. [5]
4. Real Valued Logic: Fuzzy Logic, degrees of truth, truth functionality, Łukasiewicz, Gödel and Product Logics and the Mostert-Shields theorem (statement only). McNaughton's Theorem. The proof theory for Łukasiewicz Logic, examples of proofs and the statement of its Completeness Theorem. [8]

Textbooks

The course is self contained and you will not be required to consult any books. However the following cover some of the same material as the course and may provide interesting complementary reading.

• G.E. Hughes and M.J. Cresswell, A Companion to Modal Logic, Methuen,
• G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, Methuen,
• B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press.
• P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998.
• J.B. Paris, The Uncertain Reasoner's Companion, Cambridge University Press, 1994.
• E. Schecht, Classical and Non-Classical Logics, Princeton University Press, 2007.

Teaching and learning methods

This is a reading course with a weekly one hour tutorial. A complete set of notes, exampls sheets and solutions will be provided and will be available on the web. Students should expect to do at least 10 hours of private study each week for this course unit. There will be an (optional) one hour tutorial each week at which students can ask questions. In addition the course presenter will be available at a weekly office hour.

Assessment

Mid-semester coursework: two take home tests weighting 20%

End of semester examination: two and a half hours weighting 80%

to the top

Arrangements

Timing of the course

The course will run in the eight weeks prior to the Easter vacation. The examination will take place soon after the Easter vacation and before the normal examination period.