In this video, we see how vel is defined using a truth-table, and in the rest of this step we take a closer look at this connective. Key points about …
In this video we see how to complete a truth-table for a complex sentence involving more than one sentence-connective. The completed table tells us the truth-value of the complex sentence …
This video explains how we can define the meaning of the sentence-connective tilde using a truth-table. Below, we look at little more closely at its character. Key points about tilde …
We can approach the concept of logical equivalence by first looking at a sentence connective in English that isn’t one of our main targets. Consider Neither kale nor spinach are …
In this video, Dr Barry Lee introduces the key themes of this week’s content: logical form involving sentential clauses and sentence connectives; and the relationships between the meanings of the …
Look at the following arguments. (P (rightarrow) Q), P; therefore, Q (P (rightarrow) Q), ~Q; therefore, ~P Arguments which have these forms are formally valid. We can see this by …
Suppose we take some basic sentence P (as you’ll see, it won’t matter what specific sentence it is), and put it in a complex sentence, as follows: ‘(P (vee) ~P)’. …
We’ve just seen that the same sentence can be used to make different statements/claims in different situations—for example when different people use the sentence. It’s also the case that different …
Professor Tom Stoneham, Head of the Philosophy Department at the University of York, introduces you to the course. Each week we will be introducing you to a different aspect of …
We’ve made significant progress so far. We’ve expanded our formal logical language to include three connectives (ampersand, tilde, and vel). We’ve seen how we can use truth-tables to specify their …
So far we’ve spoken about arguments as collections of claims. This is pretty intuitive, but we need to look a little more closely at what we mean by ‘claim’. The …
What about someone who argues in the following way? Mattie is tidying their room or Mattie is playing League of Legends. Mattie is playing League of Legends. So, Mattie is …
Logic is about truth. There’s a reason this course is called ‘The Language of Truth’. In fact, logic could be called the science of truth: it traces out relations between …