To celebrate the PhD defense of Valentin D. Richard, we would like to gather colleagues working on related topics. With this workshop, we aim to gain a broader picture of how a sentence contributes to a discourse. The meaning of a sentence cannot be derived on its own. Together, sentences form larger discourse units, structuring the information flow. Questions are a fundamental part of human dialogues. Moreover, many illocutionary acts also rely on implicit questions, the so-called Questions under Discussion (QuD). Therefore, understanding how questions help construct a conversation is essential.

This workshop welcomes talks on novel or promising proposals regarding information structure, inference generation, and the modeling of natural language meaning. The boundary between semantics and pragmatics remains a hotly debated topic. When designing a natural language model, what building blocks and principles should we use to explain context-dependent phenomena, especially background inferences? We hope that this gathering can yield interesting insights into questions and the discourse.

For this session of PhiMath, we read Bob Hale’s paper “Properties and the Interpretation of Second-Order Logic”. He defends a deflationary conception of properties, which are the things we quantify over in second order logic. According to Hale, something is a property iff there could be a predicate that stands for it.

I will use Linnebo's notion of non-instantial generality to shed some light on Wittgenstein's tantalizing claim that “the generality required in mathematics is not an accidental generality” [T 6.031]. I will also compare the type of truthmaker semantics presented in Linnebo's “Generality explained” with Kleene realizability semantics.

Connect via this link: https://univienna.zoom.us/j/64044125993?pwd=afg14Q6ljTU6Zg43xEZVu3nWmJaobZ.1 

Celebrate Valentine’s Day by watching the classic romantic film known as “Shrek”. Then stick around and sing your heart out to classics from the soundtrack like “I’m a Believer” and “All Star”, along with other bops of the era.

• “Shrek” movie screening: 19:30
• Karaoke: 21:00

As per usual, all Master of Logic, Logic Year, and ILLC PhD students are invited!

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

Abstract:
We will discuss this paper by Hetzl and Jalali

Abstract:

Craig interpolation is a fundamental property of logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an interpolation algorithm is of profound importance. Motivated by this question, we initiate the study of completeness properties of int...