We introduce a new theory of reasoning, Mental MetaLogic (MML), which unifies the mental logic and mental models theories currently deadlocked in opposition to each other. MML, as we explain, is based on the "psychologizing" of all of symbolic logic --- which includes a syntactic component (proof theory) with which mental logic is associated, a semantic component (model theory and its relatives) with which mental models is associated, and a "meta" component (metatheory or metalogic), hitherto largely ignored in the psychology of reasoning. We briefly summarize two samples of MML-based empirical/experimental work.
展开▼