#HistoryOfLogic #logic #PhilosophyOfLogic

I'd like to share here the announcement of an upcoming event organized by folks at the University Federico II, Naples

https://sites.google.com/view/hol-workshop/home

HoL Workshop

Welcome to the website of the 1st Naples Workshop on the History of Logic. The Workshop will take place on 28-29 October 2025 at the Department of Humanities of the "Federico II" University of Naples. See the Venue page for more. The Workshop is meant as the opening of the second cycle (2025-2026)

It’s been an exhausting but enjoyable day of hearing about and talking about logic. First up, at Arché we had a wonderful wide ranging talk from Sara Uckelman (@doctorlogic) (Durham), entitled “Why the History of Logic [and Philosophy!] Should Matter to Modern Logicians [and Philosophers!].”

Then, this afternoon, in the open Q&A session after my Intermediate Logic lecture, a student asked: “Greg, can you explain why the natural deduction rules for the existential quantifier, disjunction, and possibility are so strange and clunky, when compared to the universal quantifier, conjunction and necessity? I look at the truth conditions, and the ∃/∨/◇ rules look no different than the ∀/∧/□ rules. What gives?“ I *love* it when they ask questions like that.

[Edited to tag Sara!]

#logic #philosophy #historyoflogic #prooftheory

#OTD 100 years ago David Hilbert  gave the first recognizably model-theoretic argument in the modern tradition of first-order logic: #xp #HistoryOfLogic