Skip to main content Accessibility help
×
Hostname: page-component-84b7d79bbc-dwq4g Total loading time: 0 Render date: 2024-07-26T03:06:59.988Z Has data issue: false hasContentIssue false
This chapter is part of a book that is no longer available to purchase from Cambridge Core

3 - Conditional

Brian Garrett
Affiliation:
Australian National University
Get access

Summary

OVERVIEW

We now begin the project of constructing natural deduction proofs. Each of our five connectives is associated with two inference rules: an introduction rule and an elimination rule. An introduction rule allows us to introduce the relevant connective from formulae not containing the connective. An elimination rule allows us to derive formulae not containing the connective from formulae that do. We begin gently with the very simple elimination rule associated with → (also known as the rule of modus ponens). In Chapter 5 we examine the more complicated introduction rule governing →: the rule of conditional proof.

CONDITIONAL SENTENCES

A simple conditional sentence

A paradigmatic English conditional sentence is:

(1) If some Canberrans vote for ABBOTT then some CANBERRANS are Liberals.

A conditional has an antecedent and a consequent. In (1) the antecedent is ‘some Canberrans vote for ABBOTT’ and the consequent is ‘some CANBERRANS are Liberals’.

In general, in any conditional of the form ‘if P then Q’, P is the antecedent and Q the consequent.

Sentence (1) would be represented in our symbolic language as:

(1a) A → C

In this formula, A is the antecedent and C the consequent.

More complicated conditional sentences

Not all English conditional sentences come neatly packaged with the antecedent between the ‘if’ and the ‘then’ and the consequent following the ‘then’. Indeed, some conditional sentences do not contain the words ‘if’ and ‘then’.

For example, consider the following sentences:

(2) MARY inherits if BILL dies.

(3) BILL dies only if MARY inherits.

(4) Only if MARY inherits, BILL dies.

(5) MARY inherits provided that BILL dies.

(6) Provided that BILL dies, MARY inherits.

(7) BILL'S dying is sufficient for MARY'S inheriting.

(8) MARY's inheriting is necessary for BILL's dying.

These sentences are, in fact, simply different ways of saying:

(9) If BILL dies, then MARY inherits.

Sentences (2)–(9) should all be represented as:

(9a) B → M

Type
Chapter
Information
Elementary Logic , pp. 22 - 34
Publisher: Acumen Publishing
Print publication year: 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×