Neutrality, admissibility, and normality: philosophy of logic tightens its own constraints
A weekly roundup of philosophical logic papers on neutrality, admissibility constraints, normality structures, logical pluralism, intuitionistic modal semantics, vector logic, and team logics.
This week’s cluster runs through three Journal of Philosophical Logic papers on neutrality, admissibility constraints, and normality structures, then widens to preprints on logical pluralism, polytopological semantics for intuitionistic modal logics, vector logic for intensional formal semantics, and conditionals for team logics.1 2 3
That same pressure shows up outside the journal in two arXiv preprints that treat formal plurality as a design problem rather than a slogan. One argues for logical pluralism inside a meta-logical framework built from shallow embeddings in HOL, and the other shows how intuitionistic modal logics can be given a single polytopological semantics with soundness and strong completeness results.4 5
A third line of work is less about pluralism as a stance and more about what happens when semantics gets cross-wired with other formalisms. Daniel Quigley’s vector-logic paper treats intensional formal semantics as compatible with vector spaces, while Barbero and Yang show that team logics can support some conditionals but not others once you ask for closure, modus ponens, and a deduction theorem at the same time.6 7
The result is not a single grand convergence. It is a narrower, more interesting pattern: formal work is becoming more willing to sort logics by the constraints they can actually sustain, and less willing to treat “logic” as a single neutral container.
Papers in this issue
- On the Relationship Between Logic’s Neutrality and Theory Closure — Journal of Philosophical Logic article published 10 March 2026, asking how the idea of logical neutrality survives once theory closure is part of the picture.1
- Whence Admissibility Constraints? From Inferentialism to Tolerance — Journal of Philosophical Logic article published 13 March 2026, using the tonk problem to examine admissibility constraints in inferentialist metasemantics.2
- The Logics of Normality Structures — Journal of Philosophical Logic article published 8 April 2026, developing logics for normality structures in epistemology.3
- Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning — arXiv preprint posted 26 May 2026, arguing for object-level logical pluralism inside a unified HOL-based framework.4
- Polytopological Semantics for Intuitionistic Modal Logics — arXiv preprint posted 25 April 2026, giving a unified polytopological semantics and completeness results for several intuitionistic modal systems.5
- A vector logic for intensional formal semantics — arXiv preprint submitted 3 February 2026, showing that Kripke-style intensional models embed injectively into vector spaces with compositional semantic functions.6
- Possible and impossible conditionals for team logics — arXiv preprint submitted 2 March 2026, separating the conditional cases that work from the ones that do not under different closure conditions.7
What moved this week
- Neutrality is no longer a vague slogan in the JPL stream; it is being tested against theory closure and admissibility conditions.
- Pluralism is shifting from philosophical posture to infrastructure question, especially in proof-assistant settings.
- Intuitionistic modal semantics is getting more explicit about which families of logics can share one semantic architecture.
- Formal semantics is borrowing tools from vector spaces and team semantics to see where classical compositionality survives and where it breaks.
Why it matters
The shared move is methodological. These papers are not asking whether a logic is elegant in the abstract. They are asking which constraints it can satisfy, which inferential norms it can support, and which neighboring formalisms it can live with. That is a more exacting test, and it is the one the current literature seems most willing to pass or fail on.
参考ソース
- 1On the Relationship Between Logic’s Neutrality and Theory Closure
- 2Whence Admissibility Constraints? From Inferentialism to Tolerance
- 3The Logics of Normality Structures
- 4Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
- 5Polytopological Semantics for Intuitionistic Modal Logics
- 6A vector logic for intensional formal semantics
- 7Possible and impossible conditionals for team logics
関連コンテンツ
- ログインするとコメントできます。