Line 11,427: |
Line 11,427: |
| ===6.46. Looking Ahead=== | | ===6.46. Looking Ahead=== |
| | | |
− | <pre>
| + | On the whole throughout this project, the “meta” issue that has been raised here will be treated at three different levels of sophistication. |
− | On the whole throughout this project, the "meta" issue that has been raised here will be treated at three different levels of sophistication. | |
| | | |
− | 1. The way I have chosen to deal with this issue in the present case is not by interjecting more features of the informal discussion into the dialogue of A and B, but by trying to imagine how agents like A and B might be enabled to reflect on these aspects of their own discussion.
| + | <ol> |
| + | <li> |
| + | The way I have chosen to deal with this issue in the present case is not by injecting more features of the informal discussion into the dialogue of <math>\text{A}\!</math> and <math>\text{B},\!</math> but by trying to imagine how agents like <math>\text{A}\!</math> and <math>\text{B}\!</math> might be enabled to reflect on these aspects of their own discussion. |
| + | </li> |
| | | |
− | 2. In the series of examples that I will use to develop further aspects of the A and B dialogue, several different ways of extending the sign relations for A and B will be explored. The most pressing task is to capture facts of the following sort:
| + | <li> |
| + | <p>In the series of examples that I will use to develop further aspects of the <math>\text{A}\!</math> and <math>\text{B}\!</math> dialogue, several different ways of extending the sign relations for <math>\text{A}\!</math> and <math>\text{B}\!</math> will be explored. The most pressing task is to capture facts of the following sort.</p> |
| | | |
− | A knows that B uses "i" to denote B and "u" to denote A. | + | {| align="center" cellspacing="8" width="90%" |
− | B knows that A uses "i" to denote A and "u" to denote B. | + | | <math>\text{A}\!</math> knows that <math>\text{B}\!</math> uses <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}\!</math> to denote <math>\text{B}\!</math> and <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}\!</math> to denote <math>\text{A}.\!</math> |
| + | |- |
| + | | <math>\text{B}\!</math> knows that <math>\text{A}\!</math> uses <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}\!</math> to denote <math>\text{A}\!</math> and <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}\!</math> to denote <math>\text{B}.\!</math> |
| + | |} |
| + | </li> |
| + | </ol> |
| | | |
| + | <pre> |
| Toward this aim, I will present a variety of constructions for motivating "indexed", "situated", or "extended" sign relations, all designed to meet the following requirements: | | Toward this aim, I will present a variety of constructions for motivating "indexed", "situated", or "extended" sign relations, all designed to meet the following requirements: |
| | | |