Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

‘there are some truth tables questions in which you ask whether one sentence logically entails another, and [we] don't know what “logically entails” means.’

One sentence logically entails another just if there’s no possible situation
where the first is true and the second false.

I ask you about logical conseuqence in many of the truth table exercises.

Consider the example we were just looking at.

¬P ∨ ¬Q does not logically entail ¬(P ∨ Q).
How do I know?
Because here we have a possible situation (P:F, Q:T)
in which ¬P ∨ ¬Q is true and ¬(P ∨ Q) is false

What about the converse?
Does ¬(P ∨ Q) logically entail ¬P ∨ ¬Q ?
How could I find out?

Let’s have some notation to celebrate.

¬(P ∨ Q) ⊨ ¬P ∨ ¬Q

‘logically entails’ vs ‘logically valid argument’

What happens if you do a web search for the term ‘logical consequence’?

The first result is an encyclopedia article.
That seems promising ...

... except that it isn’t.

Wikipedia says that ‘A valid logical argument is one in which the conclusions follow from its premises’?
And that is not at all how we are thinking about logical validity on this course.

help!?

Why does Wikipedia say that ‘A valid logical argument is one in which the conclusions follow from its premises’?
Let me put it like this.

On this course our aim is to get a handle on formal logic.
To this end we start with some stipulations about logical validity
and related notions that almost everyone agrees are roughly right and
acceptable simplifications.

These stipulations enable us to get a handle on formal logic while
avoiding some interesting philosophical controversies about
what logic is.
This makes sense: you can’t really do philosophy of logic without
any sense of what logic is.

But once you’ve understood something about formal logic, you can go on
to think more critically about logical validity.

Logic is the study of logical validity, and what we are learning is logic.
If you end up in a position to criticise our defintions of logical validity,
it will be on the basis of your understanding of what logic is.

What does ‘logically entail’ mean?

One sentence logically entails another just if there’s no possible situation
where the first is true and the second false.