If an alternative logical framework avoiding necessitism is coherent and equally expressive, then SQML's entailment of necessitism reflects a substantive philosophical commitment, not logical neutrality.

?Rate how convincing each reason is below to see the overall strength.

1 reason for

1 reason against

Reasons For

1 perspective

Reason for

1.Free logic and actualism are coherent frameworks that avoid necessitism while maintaining full expressive power for standard discourse.
?
Think about whether this reason is strong or weak
2.If two formal systems are equally expressive, choosing one signals a substantive metaphysical commitment rather than logical necessity.
?
Think about whether this reason is strong or weak
3.SQML's standard semantics assumes possible worlds contain only necessary entities, which is a philosophical choice, not a logical requirement.
?
Think about whether this reason is strong or weak

Reasons Against

1 perspective

Reason against

1.True logical neutrality may be impossible; all formal systems embed some metaphysical commitments in their basic structure inherently.
?
Think about whether this reason is strong or weak
2.Apparent 'alternatives' to SQML often require auxiliary assumptions (like counterpart theory) that are equally substantive, not metaphysically lighter.
?
Think about whether this reason is strong or weak
3.Expressiveness alone doesn't determine equivalence; frameworks may diverge on which propositions count as logically valid or contingent.
?
Think about whether this reason is strong or weak

Next step

Based on where you are in your exploration

Strongest counterpoint

Explore the most compelling reason on the other side.

Key Terms

Expressive(as a quality of a logical system): Able to communicate or represent a wide range of ideas, meanings, or logical statements; capable of saying what needs to be said.
Logical framework(logic): A complete system of rules and symbols that logicians use to check whether arguments are valid, like a standardized language for thinking.
Logical neutrality(as a standard for evaluating whether logic is fair): The quality of being unbiased or impartial—a logical system or rule that doesn't favor one philosophical position over another and remains genuinely neutral between them.
SQML(Possibilist modal logic against which KQML is compared): Standard Quantified Modal Logic, which uses a single constant domain across all worlds, entailing ontological commitment to possibilia and validating BF, CBF, and BoxN
coherent(de Finetti's usage in the context of the Dutch Book argument for probabilism): A subject is coherent if their unconditional degrees of belief do not permit a Dutch Book (a guaranteed loss through a combination of bets) to be made against them
entailment(Conceptualist framework): Understood in terms of truth at a world
necessitism(Philosophy of modality; a logical truth of SQML): The view that everything that exists exists necessarily — both possibilia and actually existing things alike are necessary beings, such that there are no worlds from which they are altogether absent.
philosophical commitment(as used in metaphysics and epistemology): A deliberate choice to believe or accept something as true; it's a position you're taking a stand on, not just a neutral fact.

Connections

1 topic

Modality & Possibility1 linked

Apparent 'alternatives' to SQML often require auxiliary assumptions (like counte...Expressiveness alone doesn't determine equivalence; frameworks may diverge on wh...Free logic and actualism are coherent frameworks that avoid necessitism while ma...If two formal systems are equally expressive, choosing one signals a substantive...

Details

Type: claim
Perspectives: 2 (1 for, 1 against)
Edits: 1 edit