Discusses how logicians differ in their theoretical commitments during logic selection, highlighting implications.
Philosophical accounts of disagreements within logic tend to focus on how logics themselves disagree with one another, such as how their theorems or (meta)inferences diverge, while neglecting the theoretical disagreements that lead to the advocacy of these logics. This has several shortcomings, amongst which it fails to explain why disagreements over the correct logic occur in the first place, as well as overlooking the possibility of substantive logical disagreements amongst those who advocate the same logic. In this paper, we move the debate away from this lawcentrism, highlighting the various ways in which logicians disagree with each other when engaged in theory choice. We propose a framework of logical research programs within which to understand the distinct commitments logicians take on when engaged in theory choice, and show how a range of existent disagreements amongst logicians can be fruitfully understood in terms of disagreements between elements of their respective research programs.
No takes yet. Share an insight, caveat, or question.
Mangraviti et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: