# Formal Methods I

Practical information

Tuesdays, from 2pm to 4pm, and every other Friday, from 12pm to 2pm

Office hours by appointment, in room 234, Ludwigstrasse 31, second floor

Method of evaluation: exercises every two weeks

There are modifications in the assignments for lectures 7 and 8! The latter is significative.

Lecture Notes

- Introduction and Classical Propositional Logic: Language and Proof-theory
- Normal Modal Logic: Language and Proof theory
- First-Order Classical Predicate Logic: Language and Proof-Theory
- Definitions (Explicit)
- Basic Set Theory
- Classical Propositional Logic: Semantics and Metatheoretic Results
- Normal Modal Logic: Semantics and Metatheoretic Results
- First-Order Classical Predicate Logic: Semantics and Metatheoretic Results

Plan of the course

Introduction

Propositional Logic

Language

Syntactic Concepts and Methods

Modal Propositional Logic

Language

Syntactic Concepts and Methods

Predicate Logic

Language

Syntactic Concepts and Methods

Definitions (explicit)

Basic Set Theory

Propositional Logic

Semantic Concepts and Methods

Soundness, Completeness

Modal Propositional Logic

Semantic Concepts and Methods

Soundness, Completeness

Predicate Logic

Semantic Concepts and Methods

Soundness, Completeness, Compactness

Bibliography

- Halbach, V. (2010)
*The Logic Manual*, Oxford University Press. - Priest, G. (2008)
*An Introduction to Non-Classical Logic. From If to is*, Cambridge University Press, second edition. - Mendelson, E. (1997)
*Introduction to Mathematical Logic*, CRC Press, fourth edition. - Enderton, H. B. (2015)
*A Mathematical Introduction to Logic*, Elsevier, second edition. - Bell, J. & Machover, M. (1997) A Course in Mathematical Logic, North-Holland, fourth edition.
- Suppes, P. (1957)
*Introduction to Logic*, Van Nostrand. - Boolos, G. & Burgess, J. & Jeffrey, R. (2007)
*Computability and Logic*, CUP, fifth edition. - Hunter, G. (1973)
*Metalogic. An Introduction to the Metatheory of Standard First Order Logic*, University of California Press. - Suppes, P. (1960)
*Axiomatic Set Theory,*Dover Books on Mathematics. - Jech, T. (2003)
*Set Theory. The Third Millenium Edition*, Springer.