Formal Logic

Along the course you will lear about why reasoning is very similar to solving equations. We will discuss how logcal statements can be formalized, how can we mechanically decide whether one statement is the consequence of the other. We will touch the construction of self referencing statements, and will discuss the limits of formal reasoning.

You can rate this course here: |

**Level: **Intermediate**
Instructor:**Laszlo Csirmaz

**Day 1**

- Truth values, predicate variables,
- logical connectives:
**and**,**or**, and**not**. - Forming compound statements.

**Day 2**

- The notion of consequence and implication.
- Intuitive and formal reasoning.

**Day 3**

- Mechanising reasoning: how can we solve logical problems mechanically?
- Erroneous reasoning, fallacies
- Beyond predicate calculus:
*Every men is mortal.*

**Day 4**

- Formal languages
- translating claims about objects to an artifical language.
- What formal reasoning means?
- Translating "formal reasoning" to this formal language.

**Day 5**

- When the snake bites its own tail:
- Gödel's famous statement
**I am not provable**is*unproveable*. - How can I prove that I cannot prove a statement?
- What does it mean in our everyday life?

Standford Encyclopedia of Philosophy

Logic in wikipedia

A freely downloadable book on formal logic.

NOTE: all links open in new windows