Post by xxxxxxxxx on Mar 28, 2020 22:41:34 GMT
Logic is grounded in a self referential state which results in tautologies.
1. The "not cat exists therefore the not cat exists".
(-P --> -P)
2. The "not cat exists therefore the cat exists" considering the "cat" exists if there is a "not-not cat." The "not cat therefore the not cat" is a self referential double negative.
(-P --> -P) --> -(-P) --> P
3. The "cat exists therefore the cat exists".
(P --> P)
4. The "cat exists therefore the cat exists therefore x cat exists", necessitates the cat exists in different states thus a variation of cat occurs.
(P --> P) --> Q
5. The variation of "cat" observes a nature of "not cat" results considering a variation of the original variable necessitates the new variable as having a quality not of the original variable. The "cat" therefore "cat" is a self referential double positive.
(P --> P) --> (Q <--> -P)
6. The self referential state of the double negative through the law of identity, necessitates a positive variable which follows a double positive nature as self referential. The double positives and double negatives alternate resulting in continual variations of the original variables.
(-P --> -P) --> -(-P) --> (P --> P) --> (Q <--> -P)
"-->" therefore
"( )" brackets as contexts
en.m.wikipedia.org/wiki/Intuitionistic_logic
The law of identity is self referential and circular as the premise is the same as the conclusion. This self referentiality lends itself to double negation and double positives. Are double negation or double positives found in intuitionist logic? No. But rules and syntax are defined by the premises set forth, thus this logical system is made up.
1. The "not cat exists therefore the not cat exists".
(-P --> -P)
2. The "not cat exists therefore the cat exists" considering the "cat" exists if there is a "not-not cat." The "not cat therefore the not cat" is a self referential double negative.
(-P --> -P) --> -(-P) --> P
3. The "cat exists therefore the cat exists".
(P --> P)
4. The "cat exists therefore the cat exists therefore x cat exists", necessitates the cat exists in different states thus a variation of cat occurs.
(P --> P) --> Q
5. The variation of "cat" observes a nature of "not cat" results considering a variation of the original variable necessitates the new variable as having a quality not of the original variable. The "cat" therefore "cat" is a self referential double positive.
(P --> P) --> (Q <--> -P)
6. The self referential state of the double negative through the law of identity, necessitates a positive variable which follows a double positive nature as self referential. The double positives and double negatives alternate resulting in continual variations of the original variables.
(-P --> -P) --> -(-P) --> (P --> P) --> (Q <--> -P)
"-->" therefore
"( )" brackets as contexts
en.m.wikipedia.org/wiki/Intuitionistic_logic
The law of identity is self referential and circular as the premise is the same as the conclusion. This self referentiality lends itself to double negation and double positives. Are double negation or double positives found in intuitionist logic? No. But rules and syntax are defined by the premises set forth, thus this logical system is made up.