Greg Restall on Nostr: It’s been an exhausting but enjoyable day of hearing about and talking about logic. ...
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 (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.
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.