MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to search
19 bytes added
, 01:48, 3 September 2010
Line 5:
Line 5:
====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