Unsubstantiated fear = obsessive thought processes = increased unsubstantiated fear = increasingly obsessive thought processes = even more unsubstantiated fear = uncontrollably obsessive thought processes = psychosis.
Welcome to an infinitely recursive argument. →⊢.
It corresponds to the type of fix:
fix :: forall a. (a -> a) -> a
fix f = f (fix f)
fix is the fixed-point function. It can be used to implement arbitrary recursion. This means it can lead to infinite loops! It can also be used to implement any type, which means it corresponds to a proof for any proposition. You could even prove the proposition false.
fix id :: forall a. a
fix id :: Void
So, by Curry-Howard, circular logic is like unrestricted recursion. Adding circular logic turns your programming language into a Turing-complete one and, equivalently, turns your logic into an inconsistent one. Meaning you can use it to prove anything. Not very useful for making coherent arguments!
This manner of thinking is also called rumination: conclusions about reality based on repeated feelings or situations in your life.
Does this sound familiar to anyone? No? We do this when we create affirmations.
Rumination: noun, a deep or considered thought about something.
Affirmation: noun, positively loaded phrases, or statements that are used to challenge unhelpful or negative thoughts.
The main difference? Rumination is given to you from outside sources.
I was compared to a woman younger than my daughter for years by Audun. In that amount of time, my self-esteem was shattered into pieces. This person, Maria, is the same woman that stalked me and hacked my internet presence for their whole relationship. He had this idea that she was this perfect little princess, and I was this horrible ogre because I asked for his help when I found out she was the one hacking my site.
In the process of this, he allowed her (and her friends) to spread malicious gossip about me that he provided the intel for. Though he had since apologised, he still treats me like I am not a very good person. I have to defend every word I say like he does not trust me – though he is the one that cheated and lied to me.
These actions have made it where I have isolated myself over the past nearly two years. I thought he was a very decent human! He was so darling to me… but behind my back he was saying I was ugly and that he was never into me.
There is a very long and not very clear story behind all of this, but it is not the point of this post. The point is this:
Your words + actions matter. When you tell someone that they are amazing, and you show up for them, day after day they will know you mean it. When you say someone is a bitch and act defensive when you see them, they will feel it.
Mean what you say and say what you mean.
Therapy homework was to listen to other people for a while because while Audun is entitled to his opinions, they are only one set (yes he made another version, but they are not part of my loop. They have no actions to match the words).
I asked a few people to do the same (but without a comparison). I will post them as they come in (and if you would like, comment. I appreciate it!):
