logic-ml の皆様、
北海道大学の山田友幸先生の代理で投稿いたします。
佐野勝彦
-------- 2nd Call for Papers
*The Connectives in Logic and Language*
4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM 2024)
*Extended Deadline for 2-page abstracts: November 25, 2023*
Workshop: March 30–31, 2024; Tutorials March 29, 2024.
Venue: Tsinghua University, Beijing.
Workshop web site: http://tsinghualogic.net/JRC/tllm/2024connectives/
The propositional connectives – *and, or, not, if-then,* etc. – are fundamental building blocks in formal as well as natural languages. In the Western tradition, they were first studied as such by the Stoics, and *Propositional Logic* is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. It is actually a vast area of research, as witnessed by Lloyd Humberstone’s 1500 page tome *The Connectives* (2011), which overviews much of that research. Perhaps the most familiar recent work in this area concerns *conditionals* in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.
Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. Even in well-studied languages like English, there are intricate phenomena that remain challenging for classical logic, including free choice disjunction, non-boolean conjunction, metalinguistic negation, to name just a few. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration.
The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or language. Below are just a few examples of possible topics for this workshop.
- semantics of negation: classical, non-classical, contra-classical - inclusive versus exclusive disjunction in natural languages - the meaning of connectives: model-theoretic, proof-theoretic, game-theoretic,… - non-classical connectives: in intuitionistic logic, linear logic, relevance logic, orthologic, etc. - free choice disjunction - boolean and non-boolean conjunction - acquisition of natural language connectives - cross-linguistic variations of natural language connectives - role of Large Language Models (LLMs) in understanding connectives: challenges, capabilities, and implications
*Invited speakers*
*Christoph Harbsmeier (University of Oslo)* *Wesley Holliday (UC Berkeley)* *Jacopo Romoli (Heinrich Heine University, Düsseldorf)* *Fan Yang (University of Utrecht)*
*Tutorials (prel. titles)*
*Logic: Wesley Holliday* *Linguistics: Christoph Harbsmeier*
*Contributed papers*
We invite submissions of *2-page abstracts* (including references) on any of the broad themes related to the connectives in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow.
Abstracts should be submitted via Easychair: https://easychair.org/conferences/?conf=tllm2024
The workshop will take place on site at Tsinghua University, Beijing.
*Important dates*
- *November 25, 2023*: deadline for submitting abstracts - *December 15, 2023*: notification of acceptance - *March 29, 2024:* tutorials - *March 30-31, 2024*: workshop
*Registration*
TBA
*Program chairs*
Mingming Liu (Tsinghua University), Dag Westerståhl (Stockholm University, Tsinghua University), Xiaolu Yang (Tsinghua University)