Want to keep learning?

This content is taken from the University of York's online course, Logic: The Language of Truth. Join the course to learn more.
A close-up of the entry for 'dictionary' in a dictionary

New connectives and 'dictionaries'

Last week we began to see how we could use a formal language to clarify and evaluate claims and arguments expressed in a natural language like English. This week we’ll continue that project.

We’re going to introduce two further connectives to our logical language: ‘~’, called tilde (pronounced ‘til-dah’); and ‘\(\vee\)’, called vel or wedge. Adding connectives will give our language more expressive power: we’ll be able to say more things with it, and we’ll be able to use it to look at a wider range of natural-language sentences and arguments.

Later this week we’ll see how we can build up complex sentences using sentential clauses which themselves contain connectives. We’ll also see how, by designing the grammar of our logical language carefully, we can avoid a particular kind of unhelpful ambiguity (structural ambiguity) that affects sentences in natural language.

When we look at the form or structure of sentences and arguments, we’re going to use upper case roman letters as stand-ins or abbreviations for particular sentences. When we do this we define them in a dictionary for that particular exercise. So, if we were looking at the structure of ‘It’s raining and it’s cold’, we might definite sentence letters as follows:

  • P: It’s raining
  • Q: It’s cold

And we’d represent the original claim as: (P & Q).

Now, let’s get going with this week’s work by defining our second sentence connective: tilde.

Share this article:

This article is from the free online course:

Logic: The Language of Truth

University of York