The contradiction tag should represent a type of problem in which the player needs to find missmatches between game statements of events. Here it is possible either to tag if a game contains contradications or if the player needs to find those. Specifically we talk about _has contradiction_, _find contradiction_, subversion of expectation gamemechanics and storytelling. Further remarkable ideas entail inconsistent game rules/logic. The main question is whether the player can or must find a contradicition. When finding a contradiction the player might be promted to expose a NPC of lying by showing a contradicting statemant. Furthermore some games limit the player by prohibiting contradicting statements Baba Is You. In general we concluded that logic puzzle should not be included as part of contradiction tags, since it is a normal part of puzzleing to find a solution to a riddle for example via trial and error - the contradictions are not setup by the game rather by the players understanding of the problem. (Keep Talking and Nobody Explodes, Limbo, The Swapper).
Deduction and Induction
We furthermore encountered a difficulty differentiating between deduction and induction. According to @HendrikBrueckler The Witness would be a perfect fit regarding induction, while @arielmant0 mentiones Chants of Sennaar. Especially the induction tag was a callenge since deduction was found to be a direct consequence of induction. It was therefore difficult to show in which scenario the induction tag would be correct. Baba is you was another example: here you know the rules but you still need to figure out how to correctly apply them.
Related Changes
(01.04) Init tags contradiction, deduction, induction to root
(06.04, TAG ITERATION A-Z) Add new tags can find contradictions, has contradictions, must find contradictions to contradiction
(06.04, TAG ITERATION A-Z) Group contradiction, deduction, induction to reasoning
(06.04, TAG ITERATION A-Z) Add new tags subversion of expectation gamemechanic, subversion of expectation storytelling to contradiction
(13.04, TAG ITERATION A-Z) Append subtree reasoning from root to problem solving
(13.04, TAG ITERATION A-Z) Merge deduction, rules to apply rules
(13.04, TAG ITERATION A-Z) Rename induction to discover or learn rules
(14.04, TAG ITERATION A-Z) Append reasoning subtree from problem solving to problem solving techniques
(15.04, TREE ITERATION I) Appended social deduction from communication to reasoning
(15.04, TREE ITERATION I) To Append has contradictions, can find contradictions from contradiction to misc
(15.04, TREE ITERATION I) Append contradiction from reasoning to topics
(15.04, TREE ITERATION I) Rename subversion of expectation storytelling to subversion: storytelling
(15.04, TREE ITERATION I) Rename subversion of expectation gamemechanic to subversion: gamemechanic
(15.04, TREE ITERATION I) Append subversion: storytelling from contradiction to topics
(15.04, TREE ITERATION I) Append subversion: gamemechanic from contradiction to topics
(15.04, TREE ITERATION II) To Append strategic planning from strategy to reasoning
(15.04, TREE ITERATION III) Remove tag must find contradictions
(15.04, TREE ITERATION III) Append puzzle pieces from logic puzzles to reasoning
02.04.2024 Discussion
Contradition
Deduction and Induction
Related Changes
Example Games