Schlagwort: Logik

Two kinds of proof.

Conference:

Simple induction on .

Journal:

By induction on .
... [a whole page] ...
QED.

You know you went to ILLC when you look for old python code examples in a folder named "philosophical logic".

Let's have a word for "if then after".

Example: "Ifter we go to the park I want ice cream." = "If we go to the park then after that I want ice cream."

Edurne: I need to tell you something.

Eduard: I don't want to know it.

Edurne: But I want you to know.

Eduard: I already know it.

Besides the aesthetics, what should be morally good about consistency?