This Thursday 19 of November at 14:30 hrs we will have a joint session with the algebra/coalgebra seminar. This time, Ivano Ciardelli will talk about Inquisitive semantics and logic (abstract below). After the talk, further discussions about the topic and other dynamic business can take place with some drinks!
The meeting will take place in room A1.10. at Science Park 904.
Traditional approaches to the semantics of natural language (e.g. Stalnaker, 1978) equate meaning with informative content. Inquisitive semantics tries to obtain a system more suited to the modeling of information exchange in conversation by letting issues enter the stage. I will first introduce propositional inquisitive semantics and outline its basic features. I will then move on to discuss the associated logic: the tight connections with intuitionistic logic and with several intermediate logics will be clarified, and a range of sound and complete axiomatizations will be established.