You are viewing a single comment's thread from:
RE: An introduction to attribute logic aka first-order logic
I am usually no grammar nazi but this is important to me.
I think that can be said about every grammar nazi :P
And I think you cognitive dissonance wrong.
mhhh It is just a fanzy word for having viewpoints that are contradicting, isn't it?
"the mental discomfort (psychological stress) experienced by a person who simultaneously holds two or more contradictory beliefs, ideas, or values."from wiki
it implies that mental discomfort thing, but that is bs imo.
There can be contradictions that do not cause mental discomfort.
dissonance is a possible subset of contradiction, but not all possibilities.
How would that look in logic notification? ;)
F(x):= x is a cognitive dissonance ; G(x):= x is a contradiction
F(x)->G(x) ,.gif)
x(¬F(x) und G(x))
I would normally describe it directly with subsets, but I wanted to stay with the vocabulary of the post.
Danke für den Resteem! :D
Nah I would actually need to describe it with a quantor like i did to put it into context of the rest of the argument