The Philosophy Discussion Forum

****Updated





Distinctions as Self-Contained Self-Contrast; Meta-Formalism





"A" identity, distinction

"=" is or equals

"( )" context, container, set

"○" Scale invariant self referencing context

"<->" biconditional

"-" absence, negation

"+" presence, emergence



1. A



2. A=A 



3. ((A=A) <-> (-A=-A)) <->

     ((A=/=-A) <-> (A = - -A))



4. (A <-> -A) <-> ((A=A) <-> (-A=-A))



5. (A <-> -A) = B



6. B = B



7. (B = B) <-> (-B=-B) <-> 

     ((B =/= -B) <-> (B = - -B))



8. (B <-> -B) <-> ((B=B) <-> (-B=-B))



9. (B <-> -B) = C



10. ....D....



11. (A <-> A) = (B <-> -B) = (C <-> -C) =...



12. ● <-> - ●



13 (● <-> - ●) <-> ((● =/= - ●) <-> (● = - -●))



14. ● = (+,-)



15. (+, -)



16. ( )



17. ( ) = ( )



18. (( ) <-> -( )) <->

       ((( ) =/=( )) <-> (( )=--( )))



19. (( ) <-> -( )) <-> (( ))



20. (( )) = (( ))



21. ...(..(( ))..)...



22. ○



23. A = ( )

        A = ○

        ● = ( )

        ● = ○

        ( ) = ○



24. (A <-> ● <-> ( ) <-> ○) = X

        X1 = A

        X2 = ●

        X3 = ( )

        X4 = ○



25. (X = (X1, X2, X3, X4)) <->

        (((X = X1) <-> Y1),

         ((X = X2) <-> Y2),

         ((X = X3) <-> Y3),

         ((X = X4) <-> Y4))

         Y(1,2,3,4) = ( )



****

 X <-> Y



 27.    (A) <-> (●) <-> (( )) <-> (○)



 28.   ...(..(( ))..)...



 29.   ((  )<->(  )) = (((  )=(  )),(-(  )=-(  )))



 30.   (<->)=(+=+, -=-) <-> ((  )<->(  ))



 31.   ((+=+) <-> (-=-)) = ((--=--)<->(++=++))



 32.  ((=) <-> (=)) = ((=) <-> (=))



  33.  (<->,=)



  34.  (<->)<->(<->),

           (=)<->(=)

           (<->)=(<->)

           (=)=(=)



  35.  (  )=(  ), (  )<->(  )



  36.  (  )