計算論的関連性理論に基づく日常的推論の分析

概要

論文の詳細を見る
Reasoning is fundamental to human intelligence, but some psychological experiments show that our mental processing of deductive inference is different from propositional logic, especially on solving problems which are linked with the counterposition. In the three patterns of the invited inference -reverse, converse and contraposition-, the contraposition is the stable computation in mathematical logic because both 'implication' and 'equivalent' (conditional/biconditional interpretations) lead the same results of the original conditional (so called 'tautology"). However, the result of some important experiments (Rips et al. 1977, Wason 1966 etc.) indicates that the solving pattern of everyday inference is not tautological on the counterposition. This paper provides that the bias of human thinking processing is caused by "relevance" of information, and that Computational Relevance Theory simulates human everyday inference adequately.
2007-03-21