MENTAL MODEL · M7647

Meta-Logic

StructureHigh supportLogic

Included

Version 1.0.0 · Updated 2026-07-30

CORE DEFINITION

The logic that studies the properties of logical systems themselves—the logic of logic, including completeness, consistency, decidability, etc. Scaffolding role: examining the reasoning tools themselves. When using a set of logical tools, one must also ask whether the tools themselves are reliable and what their scope of application is. (Merged: meta-logic anchor, meta-logic derivation)

SCAFFOLDING EFFECT

psychology

Reduce cognitive load

Examine the reasoning tools themselves. When using a set of logical tools, one must also ask whether the tools themselves are reliable and what their scope of application is. (Merged: meta-logic anchor, meta-logic derivation)

anchor

Anchor fast decisions

Meta-logic takes 'logical systems' as its object and studies their meta-properties: consistency (no contradiction), completeness (provable implies true), decidability (whether there is an algorithm to decide theorems), etc. It distinguishes 'provable within the system' from 'true about the system'.

MINIMUM ACTION

In progress 0/5

Practice this model in one real situation:

Select a reasoning system
Clarify its language and axioms
Use a stronger system to prove the consistency/completeness of that system
Define its boundaries of applicability
Use it confidently within the boundaries, cautiously outside.

Check to track your progress (stored locally)

Learning progress0%

account_treeGenealogyexpand_more

menu_bookReferencesexpand_more

Source support: Explicit

link
zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E5%85%83%E9%80%BB%E8%BE%91ZH · Explicit
verified

RELATED MODELS