Logic Seminar - Justin Helms
Logic Seminar - Justin Helms
Wednesday April 10, at the unusual time of 10:30, Justin Helms will be presenting Larry Moss’ work on natural logic in our Logic Seminar, leading up to Emeritus Professor Paul Pietroski's related presentation this Friday in Linguistics. Justin's abstract is below.
Natural logic is a research program that gives logics for fragments of natural language and then shows their soundness, (in)completeness, and computational complexity. I'll give a high-level overview of the research program as I understand it, a speculative look at how it might be relevant to questions in the philosophy of language and cognitive science, and then the formal details of one such natural logic, probably the logic with "all," "some," "no," noun complements, and sentential connectives. I'll conclude with some details of work-in-progress I'm doing with Eric Pacuit on a logic of exceptives (sentences of the form "all X other than Y are Z", etc).