#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

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