12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 18:40, 9 August 2012
, 18:40, 9 August 2012→6.14. Issue 3. The Status of Variables: markup
For example, suppose I make a casual reference to the following set of pronouns:
For example, suppose I make a casual reference to the following set of pronouns:
{| align="center" cellspacing="8" width="90%"
| <math>\{ ~ \text{I}, ~ \text{you}, ~ \text{he}, ~ \text{she}, ~ \text{we}, ~ \text{they} ~ \}.\!</math>
|}
Chances are that the reader will automatically shift to what I have called the ''sign convention'' to interpret this reference. Even without the instruction to expect a set of pronouns, it makes very little sense in this setting to think I am referring to a set of people, and so a charitable assumption about my intentions to make sense will lead to the intended interpretation.
Chances are that the reader will automatically shift to what I have called the ''sign convention'' to interpret this reference. Even without the instruction to expect a set of pronouns, it makes very little sense in this setting to think I am referring to a set of people, and so a charitable assumption about my intentions to make sense will lead to the intended interpretation.
However, suppose I make a similar reference to the following set of variables:
However, suppose I make a similar reference to the following set of variables:
{x1, ... , xn}.
{| align="center" cellspacing="8" width="90%"
| <math>\{ x_1, \ldots, x_n \}.\!</math>
|}
In this case it is more likely that the reader will take the suggested set of variable names as though they were the names of some fictional objects called “variables”.
<pre>
The rest of this section deals with the case of boolean variables, that are soon to be invoked in providing a functional interpretation of propositional calculus.
The rest of this section deals with the case of boolean variables, that are soon to be invoked in providing a functional interpretation of propositional calculus.