<p>We propose a novel approach to logical pluralism based on algebra-valued models of set theory, systematically demonstrating how both classical and non-classical set theories can be constructed within a unified mathematical framework. Our approach extends Shapiro’s eclectic pluralism to the specific setting of algebra-valued models. This leads us to formulate two notions of logical pluralism: liberal pluralism, which recognizes as legitimate any logic that underpins a set theory capable of capturing a significant portion of mathematical practice, and strict pluralism, which further requires that the resulting set theory satisfies a convergence constraint, ensuring its mathematical expressiveness is comparable to that of classical set theory. We argue that this latter notion of pluralism represents a departure from previous accounts, as it is based on convergence rather than divergence among classical and non-classical mathematical theories.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Logical Pluralism via Mathematical Convergence

  • Santiago Jockwich Martinez

摘要

We propose a novel approach to logical pluralism based on algebra-valued models of set theory, systematically demonstrating how both classical and non-classical set theories can be constructed within a unified mathematical framework. Our approach extends Shapiro’s eclectic pluralism to the specific setting of algebra-valued models. This leads us to formulate two notions of logical pluralism: liberal pluralism, which recognizes as legitimate any logic that underpins a set theory capable of capturing a significant portion of mathematical practice, and strict pluralism, which further requires that the resulting set theory satisfies a convergence constraint, ensuring its mathematical expressiveness is comparable to that of classical set theory. We argue that this latter notion of pluralism represents a departure from previous accounts, as it is based on convergence rather than divergence among classical and non-classical mathematical theories.