Skip to main content Accessibility help
×
Hostname: page-component-848d4c4894-ndmmz Total loading time: 0 Render date: 2024-06-08T15:13:51.725Z Has data issue: false hasContentIssue false

19 - Lambda Abstraction

Published online by Cambridge University Press:  05 June 2014

James W. Garson
Affiliation:
University of Houston
Get access

Summary

De Re and De Dicto

We have already encountered the de re – de dicto distinction at a number of points in this book. In this section, we will investigate the distinction more carefully, explain methods used to notate it, and develop quantified modal logics that are adequate for arguments involving the new notation.

Some of the best illustrations of the de re – de dicto distinction can be found among sentences of tense logic. For example, consider (S).

  1. (S) The president was a crook.

This sentence is ambiguous. It might be taken to claim of the present president that he (Obama at the time this was written) used to be a crook. On the other hand, it might be read ‘At some time in the past the president (at that time) was a crook’. On this last reading, we are saying that the whole sentence (or dictum, in Latin) ‘the president is a crook’ was true at some past time. This is the de dicto reading of (S). Here both ‘the president’ and ‘is a crook’ are read in the past tense. We can represent this interpretation of (S) by applying the past tense operator P to the sentence ‘the president is a crook’, so that both ‘the president’ and ‘is a crook’ lie in its scope.

  1. P(the president is a crook) de dicto reading of (S)

On the first reading of (S), we are saying a certain thing (in Latin, res) has a past tense property: of having been a crook. This is the de re reading of (S). Here we read ‘the president’ in the present tense, and ‘is a crook’ in the past tense. We can represent this reading by restricting the scope of the past tense operator P to the predicate ‘is a crook’.

  1. the president P(is a crook) de re reading of (S)

The distinction between these two readings of (S) is a crucial one, for given that Obama never was a crook, and that Nixon was, the de dicto version of (S) is true, while the de re version is false.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2013

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.

  • Lambda Abstraction
  • James W. Garson, University of Houston
  • Book: Modal Logic for Philosophers
  • Online publication: 05 June 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9781139342117.022
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.

  • Lambda Abstraction
  • James W. Garson, University of Houston
  • Book: Modal Logic for Philosophers
  • Online publication: 05 June 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9781139342117.022
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.

  • Lambda Abstraction
  • James W. Garson, University of Houston
  • Book: Modal Logic for Philosophers
  • Online publication: 05 June 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9781139342117.022
Available formats
×