Skip main navigation

Defining arrow

In this video, York student Tommy shows how we define the fourth connective of our formal language, 'arrow'.

This video shows how we define the meaning and logical powers of arrow using a truth-table. The remainder of this step introduces further discussion of this connective.

Key points about arrow

First, arrow, like ampersand and vel, is a two-place connective. We can add a rule to the grammar of our language which exactly parallels the rules for ampersand and vel:

  • (R5) If ‘α’ and ‘β’ are wffs, then ‘(α (rightarrow) β)’ is a wff

Secondly, unlike ampersand and vel, the order of clauses in an arrow sentence makes a difference to its truth-conditions.

With ampersand and vel, the order of clauses does not make a difference to truth-conditions: ‘(P & Q)’ has the same truth-conditions as ‘(Q & P)’; and ‘(~P (vee) Q)’ has the same truth-conditions as ‘(Q (vee) ~P’).

Things are different with arrow: ‘(P (rightarrow) Q)’ has different truth-conditions from ‘(Q (rightarrow) P)’.

For this reason, we give different names to the clauses in an arrow sentence. The clause before the arrow is called the antecedent. The clause after the arrow is called the consequent.

PartsOfConditional

Arrow claims are a kind of conditional claim (‘conditionals’, for short). You can think of this in the following way: where the condition specified in the antecedent applies, things are as the consequent says. Conditionals include ‘If … then … ’-claims in English, like ‘If it’s raining, we’re getting wet’ and claims of other forms, such as ‘You must be over 18 to buy alcohol’ and ‘Using a screen late at night results in poor sleep’.

Thirdly, arrow (like ampersand, tilde, and vel) is a truth-functional sentence connective. The truth-value of an arrow sentence is fixed in all cases by the truth-value of the sentences plugged into it.

An arrow sentence is only false when its antecedent is true and its consequent is false. In all other cases, it’s true, as shown in its defining truth-table (Fig. 1).

Defining truth-table for arrow

Figure 1. The truth-table defining arrow

Arrow-claims are called material conditionals, because their truth or falsity is fixed simply by how things stand with the truth-values of their antecedent and consequent. It’s fixed by the material facts relating to their antecedent and consequent.

Finally, and importantly, there seem to be parallels between arrow and at least some uses of ‘If … then … ’ as a sentence-connective in English. But whether arrow and ‘If … then … ’ have the same truth-table—even in the most favourable cases—is a controversial issue, as we’ll see. Despite this controversy, we’ll also see that we can use arrow to help us think in a systematic way about arguments expressed in English using ‘If … then … ’.

This article is from the free online

Logic: The Language of Truth

Created by
FutureLearn - Learning For Life

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now