Logic and decision theory
Philosophers make ample use of formal methods to clarify their subject-matter. Logical modelling has contributed to precision in many areas of philosophy, and logic is also in itself an area of philosophical study. Philosophical contributions have been essential in the development of formal decision theory.
The division’s research in logic includes studies of fundamental inference patterns, the logic of conditional sentences, the logic of belief change, the logic of preference and choice, and the logic of norms (deontic logic). Several of these areas have close connections with computer science.
The division’s research in decision theory includes studies of basic issues of decision-theoretical rationality, investigations of uncertainty representation, and studies of the rationality of goal-setting.