The propo sitional connectives – and, or, not, if-t hen, etc. – are fundamental building blo cks in formal as well as natural languages. Pr opositional Logic is the fundament of pr actically all current systems of logic; every begi nning logic course starts with it. Still, the proo f 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. Perhaps the most familiar recent work in this area concerns&n bsp;conditionals in formal and natur al languages. In this workshop we also focus on th e apparently simpler connectives expressing (vario us versions of) conjunction, disjunction, and nega tion.
\nResearchers working from a cross-l inguistic perspective also focus on how the connec tives are encoded in different languages, and ask whether classical logic is capable of capturing th e variations and universals exhibited. There is also growing interest in the acquisition and pr ocessing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth e xploration.
\nThe idea behind the TLLM wor kshops is to bring together logicians and linguist s around a specific theme of common interest. Thus , we welcome contributions on any general or parti cular aspect of the propositional connectives in l ogic or languag.
\nWe invite submissions of 2-page abstracts (includi ng references) on any of the broad themes related to the connectives in logic and language as sugges ted above. After a review procedure, authors of ac cepted abstracts will have the opportunity to pres ent their papers at the workshop. After the worksh op, a volume of full papers (properly refereed) wi ll be published in the Springer LNCS – FoLLI serie s. Abstracts should be submitted via Easychair.
\n