Logic of knowledge, norms and actions 2400-OG-EN-LoK

During the course we will deal with three types of logical systems. We will discuss systems of epistemic logic, deontic logic and logic of action (operator brings it about that ...).

The subject of epistemic logic is inference about the knowledge and beliefs of agents. Deontic logic deals with inferences about agents’s permissions and obligations, while logic of actions deals with inference about the effects of the agents's actions. All these types of logics allow to model the behaviour, knowledge and actions of the subject.

The course covers the following topics::

(1) Introduction to the field
(2) Standard Epistemic Logic (SEL) and its extensions
(3) Paradoxes of SEL and solutions to them
(4) Standard Deontic Logic (SDL) and its extensions
(5) Paradoxes of SDL and solutions to them
(6) Logic of BA-operator (brings it about that…)
(7) Basic systems of multi-agent logics.

Total student workload

Contact hours with teacher: - participation in lectures - 30 hrs Self-study hours: - preparation for lectures and reading literature - 15 hrs - preparation for test/ examination - 15 hrs Altogether: 60 hrs (2 ECTS)

Learning outcomes - knowledge

Student W1: has systematised knowledge of the tools and notions used in epistemic logic, deontic logic and logic of actions and their connection with other sciences W2: is familiar with theorems and laws of selected fields of the logical systems W3: is well acquainted with the use of logic to such extent that he is able to analyze the correctness of the given reasoning and the consistency of various types of statements W4: knows the concepts of logic important for science

Learning outcomes - skills

Student U1: is able to examine reasoning in terms of their correctness on the basis of the basic systems of studied logics U3: has advanced skills in constructing proofs on the basis of selected formal systems

Learning outcomes - social competencies

Student K1: understands the importance of consistency of statements and of the correctness of conclusions both in social life and in conducting scientific research K2: is ready to use the acquired knowledge to analyse the problems that require logically correct inferences

Teaching methods

Expository teaching methods: - informative (conventional) lecture - problem-based lecture Exploratory teaching methods: - practical -case study

Prerequisites

None

Course coordinators

Tomasz Jarmużek

Assessment criteria

Assessment methods:

- graded credit – W1, W2, W3, W4

Assessment criteria:

Work during classes with the maximum number of 100 points. The resulting mark is given as follows:
fail- 40 pts (40 %)
satisfactory- 50 pts (50 %)
satisfactory plus- 60 pts (60 %)
good – 70 pts (70 %)
good plus- 80 pts (80 %)
very good- 90 pts (90 %)

Bibliography

G. E. Hughes and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London and New York, I998

Graham Priest, An Introduction to Non-Classical Logic. From If to Is. Cambridge University Press, 2008

R. Hilpinen, Deontic Logic, in: The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishers, 2001 pp. 159-182

J.J. Ch. Meyer, Epistemic logic, in: The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishers, 2001 pp. 183-202.

Additional information

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

Description of 2400-OG-EN-LoK in USOSweb