The bird's eye view in question is more formally known as the perspective of formal equivalence, from which remove one cannot see many distinctions that appear momentous from lower levels of abstraction. In particular, expressions of different formalisms whose syntactic structures are [[isomorphic]] from the standpoint of [[algebra]] or [[topology]] are not recognized as being different from each other in any significant sense. Though we may note in passing such historical details as the circumstance that Charles Sanders Peirce used a ''streamer-cross symbol'' where [[George Spencer Brown]] used a ''carpenter's square marker'', the theme of principal interest at the abstract level of form is neutral with regard to variations of that order. | The bird's eye view in question is more formally known as the perspective of formal equivalence, from which remove one cannot see many distinctions that appear momentous from lower levels of abstraction. In particular, expressions of different formalisms whose syntactic structures are [[isomorphic]] from the standpoint of [[algebra]] or [[topology]] are not recognized as being different from each other in any significant sense. Though we may note in passing such historical details as the circumstance that Charles Sanders Peirce used a ''streamer-cross symbol'' where [[George Spencer Brown]] used a ''carpenter's square marker'', the theme of principal interest at the abstract level of form is neutral with regard to variations of that order. |