| Line 319: |
Line 319: |
| | |} | | |} |
| | | | |
| − | <pre>
| + | The easiest way to define the language <math>\mathfrak{C}(\mathfrak{P})</math> is to indicate the general sorts of operations that suffice to construct the greater share of its sentences from the specified few of its sentences that require a special election. In accord with this manner of proceeding, I introduce a family of operations on strings of <math>\mathfrak{A}^*</math> that are called ''syntactic connectives''. If the strings on which they operate are exclusively sentences of <math>\mathfrak{C}(\mathfrak{P}),</math> then these operations are tantamount to ''sentential connectives'', and if the syntactic sentences, considered as abstract strings of meaningless signs, are given a semantics in which they denote propositions, considered as indicator functions over some universe, then these operations amount to ''propositional connectives''. |
| − | The easiest way to define the language !C!(!P!) is to indicate the general sorts | |
| − | of operations that suffice to construct the greater share of its sentences from | |
| − | the specified few of its sentences that require a special election. In accord | |
| − | with this manner of proceeding, I introduce a family of operations on strings | |
| − | of !A!* that are called "syntactic connectives". If the strings on which | |
| − | they operate are exclusively sentences of !C!(!P!), then these operations | |
| − | are tantamount to "sentential connectives", and if the syntactic sentences, | |
| − | considered as abstract strings of meaningless signs, are given a semantics | |
| − | in which they denote propositions, considered as indicator functions over | |
| − | some universe, then these operations amount to "propositional connectives". | |
| | | | |
| − | Rather than presenting the most concise description of these languages | + | Rather than presenting the most concise description of these languages right from the beginning, it serves comprehension to develop a picture of their forms in gradual stages, starting from the most natural ways of viewing their elements, if somewhat at a distance, and working through the most easily grasped impressions of their structures, if not always the sharpest acquaintances with their details. |
| − | right from the beginning, it serves comprehension to develop a picture | |
| − | of their forms in gradual stages, starting from the most natural ways | |
| − | of viewing their elements, if somewhat at a distance, and working | |
| − | through the most easily grasped impressions of their structures, | |
| − | if not always the sharpest acquaintances with their details. | |
| | | | |
| − | The first step is to define two sets of basic operations on strings of !A!*. | + | The first step is to define two sets of basic operations on strings of <math>\mathfrak{A}^*.</math> |
| | | | |
| | + | <pre> |
| | 1. The "concatenation" of one string z_1 is just the string z_1. | | 1. The "concatenation" of one string z_1 is just the string z_1. |
| | | | |