Common section

APPENDIX C

Observations and Propositions

This appendix makes several observations and proves the relevant propositions from Chapter 7, following the order of presentation in the text after making two observations not in the text but which will prove useful in proving a proposition below.

C.1 OBSERVATION C.1

Observation C.1 image.

Let image. Since image. Claiming image implies that image, which becomes image. This is true since image and image.

C.2 OBSERVATION C.2

Observation C.2 If image or if image, then image.

Proof

By assumption, pC, pR, and pI are positive and image. Suppose that image or image and suppose that image. Since image, this implies image. But this means image, which contradicts image.

C.3 OBSERVATION 7.1: image

The Interrogator’s innocent detainee recognition threshold image is less than one-half.

Given image

C.4 PROPOSITION 7.1: image

As c approaches zero and a approaches r, the Interrogator’s innocent detainee recognition threshold image approaches one-half from below.

image

C.5 PROPOSITION 7.2: image

If the Pragmatic Interrogator believes it more likely that the Detainee she faces is Cooperative than both of the other two types, then the innocent detainee recognition threshold image is less than one-half: If image or if image, then image.

Proof

First, by Observation 7.1, image. Note that image if and only if image, which is equivalent to image. Since, by Observation C.1, image, and, by Observation C.2, image, we have image. Thus image and so by Observation 7.1, image.

C.6 PROPOSITION 7.3: image

As c approaches zero and as a approaches r, the Interrogator’s information hiding threshold image is greater than one-half.

Proof

Recall that image. Note that image if and only if image. Rearranging some terms gives us image. Solving for u, we have image. Given image, as assumed, for image and image, image. This is equivalent to image which is true for image, as assumed.

C.7 OBSERVATION 7.2: image

The Detainee’s version of the Interrogator’s information hiding threshold image approaches one-half from below.

Since image and by Observation C.4 image, it follows immediately that image.

C.8 OBSERVATION 7.3: image

The Interrogator’s and the Detainee’s beliefs will “agree” on the information hiding threshold f only in the special case when the Interrogator has understood perfectly the information’s value; all other cases open up the possibility for surprise torture.

By simple inspection of image and image, it is clear that image for all image, as assumed, and that image if and only if image.

C.9 PROPOSITION 7.4: image

As both pI and c approach zero and as a approaches r, the Interrogator’s information hiding threshold image approaches one-half from below.

Proof

Recall that image. Suppose image. This implies image. Simplifying yields image. Rearrange some terms and we have image. Given image as assumed, this is a contradiction, and so image. Given image as assumed, when image, image and image, image.

C.10 PROPOSITION 7.5: FOR image, image

If there is a positive probability that the Detainee is Innocent, the Interrogator’s information hiding threshold image under leading questioning is less than the Detainee’s version under objective questioning: For image, image.

Proof

Note first that by observation 7.3, image. Recall the definitions image and image. Note that image if and only if image. Simplifying the right side of the inequality yields image. Simplifying the left side gives us image. Rearrange some terms and we have image, which is true for image and image.

If you find an error or have any questions, please email us at admin@erenow.org. Thank you!