Chapter 6
Logic and Action
Overview An action is something that takes place in the world, and that makes a difference to what the world looks like. Thus, actions are maps from states of the world to
new states of the world. Actions can be of various kinds
Chapter 1
General Introduction
1.1
Inference, Observation, Communication
Much of our interaction with each other in daily life has to do with information processing
and reasoning about knowledge and ignorance of the people around us. If I ask a simple
que
Chapter 3
Syllogistic Reasoning
This chapter opens the box of propositional logic, and looks further inside the statements
that we make when we describe the world. Very often, these statements are about objects
and their properties, and we will now show y
Chapter 4
The World According to Predicate
Logic
Overview At this stage of our course, you already know propositional logic, the system
for reasoning with sentence combination, which forms the basic top-level structure of argumentation. Then we zoomed in
Chapter 10
Computation
Things You Will Learn in This Chapter This chapter gives a lightning introduction
to computation with logic. First we will look at computing with propositional logic. You
will learn how to put propositional formulas in a format suit
Chapter 5
Knowledge and Information Flow
Overview The rst part of this course has shown how logical systems describe the world
using objects, predicates, quantiers and propositional combinations. This information
about the world is typically conveyed when
Appendix A
Sets, Relations and Functions
Summary
This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of proof by
mathematical induction.
A.1
Chapter 9
Proofs
In the rst part of this book we have discussed complete axiomatic systems for propositional and predicate logic. In the previous chapter we have introduced the tableau systems
of Beth, which was a method to test validity. This method is m
Chapter 7
Logic, Games and Interaction
Overview When we bring the logical systems for information and for action from the
preceding two chapters together, we get to a ubiquitous phenomenon that has a more social character: processes of interaction, where
Chapter 2
Propositional Logic
Overview The most basic logical inferences are about combinations of sentences, expressed by such frequent expressions as not, and, or, if, then. Such combinations
allow you to describe situations, and what properties these s