Changes

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.
  
12,080

edits