MyWikiBiz, Author Your Legacy — Monday January 12, 2026
Jump to navigationJump to search
69 bytes added
, 22:14, 9 December 2015
| Line 1: |
Line 1: |
| | {{DISPLAYTITLE:Syntactic Transformations}} | | {{DISPLAYTITLE:Syntactic Transformations}} |
| | + | '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' |
| | | | |
| | <div class="nonumtoc">__TOC__</div> | | <div class="nonumtoc">__TOC__</div> |
| Line 5: |
Line 6: |
| | ====1.3.12. Syntactic Transformations==== | | ====1.3.12. Syntactic Transformations==== |
| | | | |
| − | We have been examining several distinct but closely related notions of ''indication''. To discuss the import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among this array of conceptions and constructions. Facilitating this task requires in turn a number of auxiliary concepts and notations. The notions of indication in question are expressed in a variety of different notations, enumerated as follows: | + | We have been examining several distinct but closely related notions of ''indication''. To discuss the import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among their roughly parallel arrays of conceptions and constructions. Facilitating this task requires in turn a number of auxiliary concepts and notations. The notions of indication in question are expressed in a variety of different notations, enumerated as follows: |
| | | | |
| | # The functional language of propositions | | # The functional language of propositions |
| Line 2,976: |
Line 2,977: |
| | | Excerpt: Subsections 1.3.10.8 - 1.3.10.13 | | | Excerpt: Subsections 1.3.10.8 - 1.3.10.13 |
| | </pre> | | </pre> |
| | + | |
| | + | *** |