12,080
edits
Changes
→1.3.10.4. Empirical Types and Rational Types: segment
I am using, I break off the digression at this point and
I am using, I break off the digression at this point and
return to the main discussion.
return to the main discussion.
</pre>
=====1.3.10.5. Articulate Sentences=====
1.3.10.5. Articulate Sentences
<pre>
A sentence is called "articulate" if:
A sentence is called "articulate" if:
a proposition, or an indicator function can all be taken by default
a proposition, or an indicator function can all be taken by default
as references to their specific, positive references.
as references to their specific, positive references.
The universe of discourse for a sentence, the set whose elements the
The universe of discourse for a sentence, the set whose elements the
values of the parts, then the connective earns the title of
values of the parts, then the connective earns the title of
a "propositional connective".
a "propositional connective".
</pre>
=====1.3.10.6. Stretching Principles=====
1.3.10.6. Stretching Principles
<pre>
There is a principle of constant use in this work that needs
There is a principle of constant use in this work that needs
to be made explicit at this point. In order to give it a name,
to be made explicit at this point. In order to give it a name,