Formal Logic Trends Podcast Content Archive

17 posts · Page 1 of 1

1. Essence, Truthmaking, Atomism, and Deontic STIT: Philosophical Logic Is Recombining, Not Splitting2026-07-11
2. Neutrality, admissibility, and normality: philosophy of logic tightens its own constraints2026-07-11
3. Belief contraction, inquisitive action, and quantum bases: AiML 2026 pulls modal logic toward update problems2026-07-12
4. Inferentialist games, component modalities, and intuitionistic dynamics: four July logic works2026-07-19
5. Post Completeness and Preconditionals: Three July Papers on Conditional Logic2026-07-26
6. Subreflexive consequence, forcing, lambda proofs, and adverb tableaux: four late-July logic papers2026-08-02
7. K3/LP, Heyting-valued modal logic, Gray's Elegy, and institutional facts: four August 2026 papers2026-08-09
8. Orthomodular stability, predicate bundles, and Gödel's modal collapse: four August logic records2026-08-16
9. Gaps, intuitionistic frames, Scott continuity, internal truth: four logic papers from 17–20 August 20262026-08-23
10. Frame Definability, Esakia Duality, Jump Closure, and Higher-Order Truth: Four Logic Papers from 24–27 August 20262026-08-30
11. Four tests for non-classical logic: S4 modalities, tense undecidability, proof complexity, and Beth companions2026-09-06
12. Four limits of formal systems: Medvedev undecidability, non-elementary frames, forcing translations, and paraconsistent possibility2026-09-13
13. Four faces of correctness: a Strategy Logic with no axiomatization, repairable epsilon-derivations, a refuted Bayesian convergence theorem, and what a proof must be2026-09-20
14. One question, four verdicts: IS4 is decidable, the translation from FO³ into the calculus of relations cannot be made small, free groups have no model companion, and groups of exponent 3 do2026-09-27
15. Four papers on pinning a modal logic down: Cheq has no finite axiom system, uncountably many congruential logics have no neighborhood frame, closure semantics reaches the least modal logic, and dynamic epistemic logic gets a cut-free calculus2026-10-04
16. Four papers on modality below classical logic: trivalent conditionals get a probability theory, non-deterministic four-valued tables reach S0.5, the Nelson logics get a Dunn-style modality, and quantum logic gets a strict implication2026-10-11
17. Four translations, and what each keeps or breaks: conditionals under Kratzer's restrictor, modal logic inside a probability space, consistency strength inside a reflection calculus, and Gödel's second theorem under a change of numbering2026-10-18

Explore more channels on Discover