[1J2-GS-10d] AI応用：分類と論理

[1J2-GS-10d-04] Modeling Formal Fallacy in Triangle Logic

〇Tomohiro Okinaga¹, Ken Nakano¹, Yusuke Hayashi¹, Tsukasa Hirashima¹ (1. Graduate School of Advanced Science and Engineering, Hiroshima University)

Keywords:critical thinking, triangle logic, formal fallacy

Toulmin Model is known as a representation of the logical structure. The one composed of the three elements Data, Warrant, and Claim is called Triangle Logic Model. Triangle Logic assembly activities system using this model has been developed and it has been suggested to promote logical thinking. However, since it haven't done any activities to examine the validity of the assembled logic, it is hard to say that it also supports critical thinking. In this research, we aim to support critical thinking and to incorporate formal fallacy by triangle logic into triangle logic. We also aim to identify formal fallacy as the proposition used in reasoning in triangle logic matches the formal fallacy rule. As a learning task, after assembling triangle logic as a reconstruction task of the logical structure of another person, it is made to judge whether the triangle logic belongs to formal fallacy, and if it is judged to be formal fallacy, which one you will be asked to determine which formal fallacy rule the proposition applies to. This task will allow learners to examine the validity of the logical structure of others while looking back on their own logical structure, and can be expected to promote critical thinking.