| Popis: |
We hint at a logical framework for modeling the default-interventionist architecture of belief formation, which assumes that our mind consists of two types of processes: Type 1 (T1), which produces fast and autonomous responses to external evidence, and Type 2 (T2), which can check and revise the default responses using working memory and cognitive decoupling. We suggest that Depth-Bounded Boolean Logics (DBBLs) are natural candidates to represent this architecture, as they provide tractable approximations of classical logic that can account for the limited resources and non-monotonic nature of belief formation. We also outline some future directions for developing and validating this framework in relation to empirical and theoretical phenomena observed in practical reasoning. |
