MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to search
855 bytes removed
, 01:18, 3 September 2010
| Line 4: |
Line 4: |
| | | | |
| | ====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 their roughly parallel arrays of conceptions and constructions. Facilitating this task requires in turn a number of auxiliary concepts and notations.
| |
| − |
| |
| − | The diverse notions of indication presently under discussion are expressed in a variety of different notations, enumerated as follows:
| |
| − |
| |
| − | # The functional language of propositions
| |
| − | # The logical language of sentences
| |
| − | # The geometric language of sets
| |
| − |
| |
| − | Correspondingly, one way to explain the relationships that exist among the various notions of indication is to describe the translations that they induce among the associated families of notation.
| |
| | | | |
| | =====1.3.12.1. Syntactic Transformation Rules===== | | =====1.3.12.1. Syntactic Transformation Rules===== |
