MyWikiBiz, Author Your Legacy — Monday December 02, 2024
Jump to navigationJump to search
114 bytes added
, 04:04, 25 December 2008
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. |
| | | |