Tsinghua University – University of Amsterdam Joint Research Centre for Logic

TLLM IV

The 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning

The Connectives in Logic and Language

[Tutorials]: March 29, 2024

[Workshop]: March 30-31, 2024

Tsinghua University, Beijing, China

Important dates

  • November 10 November 25,  2023: deadline for submitting abstracts
  • December 15 December 25, 2023: notification of acceptance
  • March 29, 2024: tutorials
  • March 30-31, 2024: workshop 

Call for Papers

The Connectives in Logic and Language

4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning

March 30–31, 2024, 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

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. 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.

Sponsors

  • The Joint Research Center for Logic, Tsinghua University
  • Department of Philosophy, Tsinghua University
  • Department of Foreign Languages and Literatures, Tsinghua University

Invited Speakers

Wesley Holliday
(UC Berkeley)

Christoph Harbsmeier
(University of Oslo)

Jacopo Romoli
(Heinrich Heine University Düsseldorf)

Fan Yang
(University of Utrecht)

Committees

  • Chairs
Dag Westerståhl
(Stockholm University, Tsinghua University)
Mingming Liu
(Tsinghua University)

 

Xiaolu Yang
(Tsinghua University)
  • Program Committee

Maria Aloni
(University of Amsterdam)

Gennaro Chierchia
(Harvard University)
Xuping Li
(Zhejiang University)
Jo-wang Lin
(Academia Sinica)
Fenrong Liu
(Tsinghua University, University of Amsterdam)
Mingming Liu
(Tsinghua University)
Larry Moss
(Indiana University Bloomington)
Stanley Peters
(Stanford University)
Martin Stokhof 
(University of Amsterdam, Tsinghua University)
Jakub Szymanik
(University of Trento)
Frank Veltman
(University of Amsterdam)
Johan van Benthem
(University of Amsterdam, Stanford University, Tsinghua University)
Yingying Wang
(Hunan University)
Dag Westerståhl
(Stockholm University, Tsinghua University)
Kaibo Xie
(Wuhan University)
Xiaolu Yang
(Tsinghua University)
Linmin Zhang
(New York University Shanghai) 
       
  • Local Organizing Committee
Jialiang Yan (chair)
(Tsinghua University)
   

Program 

T.B.A.

Tutorials

Logic: Wesley Holliday
Linguistics: Christoph Harbsmeier

Registration 

Registration fee

Earlier workshops had no registration fee, since they were mostly online, but for this onsite workshop there is a small registration fee, to cover some of the costs.

  • Student:            CNY 700 
  • Non-student:   CYN 1000

Please note that the registration fee will be paid upon your arrival at the campus. We will provide further instructions later.

Registration Link: T.B.A

Contact

 

Should you need any assistance or additional information, please feel free to contact us.

Sponsors

  • Tsinghua University – University of Amsterdam Joint Research Centre for Logic
  • Department of Philosophy, Tsinghua University
  • Department of Foreign Languages and Literatures, Tsinghua University