12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 19:18, 9 August 2012
, 19:18, 9 August 2012→6.14. Issue 3. The Status of Variables: markup
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”.
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”.
The rest of this section deals with the case of boolean variables, 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.
This discussion draws on concepts from two previous papers (Awbrey, 1989 & 1994), changing notations as needed to fit the current context. Except for special sets (B, N, R, Z) and sign relational domains (O, S, I), I use plain capital letters for ordinary sets, singly underlined capitals for coordinate spaces and vector spaces, and doubly underlined capitals for the "alphabets" and "lexicons" that generate formal languages and logical universes of discourse.
This discussion draws on concepts from two previous papers (Awbrey, 1989 and 1994), changing notations as needed to fit the current context. Except for a number of special sets like <math>\mathbb{B},\!</math> <math>\mathbb{N},\!</math> <math>\mathbb{Z},\!</math> and <math>\mathbb{R},\!</math> I use plain capital letters for ordinary sets, singly underlined capitals for coordinate spaces and vector spaces, and doubly underlined capitals for the ''alphabets'' and ''lexicons'' that generate formal languages and logical universes of discourse.
<pre>
If X = {x1, ... , xn} is a set of n elements, it is possible to construct a "formal alphabet" of n "letters" or a "formal lexicon" of n "words" that exists in a one to one correspondence with the elements of X and can be notated as follows:
If X = {x1, ... , xn} is a set of n elements, it is possible to construct a "formal alphabet" of n "letters" or a "formal lexicon" of n "words" that exists in a one to one correspondence with the elements of X and can be notated as follows: