The Paris-Nancy Colloquium in Logic and the Philosophy of Mathematics or PANALM is a forum for general expository talks accessible and relevant for all researchers in logic and the philosophy of mathematics. Speakers are invited to describe a whole research line or program that they have been pursuing and present the main results they have obtained in a synoptic and didactic way. PANALM is run jointly by the Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST) and the Institut Jean Nicod (IJN) in Paris and the Archives Henri Poincaré (AHP) in Nancy. Each of these institutions will welcome one session of PANALM per semester. PANALM is open to anyone interested, from students to researchers in neighboring disciplines.
Previous speakers in PANALM include Alexander Paseau (Oxford University), Sean Walsh (UCLA), Aybüke Özgün (ILLC, University of Amsterdam), John MacFarlane (UC Berkeley), Carolin Antos (Universität Konstanz), and Paolo Mancosu (UC Berkeley).
Title: Universal Logical Grammar
Abstract: I will present Universal Logical Grammar (ULG), the framework of my ongoing research program, and some results obtained within it. ULG is inspired by Richard Montague’s influential 1970 article “Universal Grammar” (UG) but – unlike Montague’s approach – focuses exclusively on formal-logical languages, thus setting aside, at least for the time being, any ambition to analyze natural languages directly. ULG differs architecturally from UG and its later developments mainly by (a) not requiring interpretations to be compositional and (b) taking syntactic categories to refine, rather than coincide with, the syntactic algebra’s sorts. These architectural innovations make possible substantive new insights regarding the grammatical properties of compositionality and extensionality, and how they are constrained by the consequence relations generated by grammars.
Location: Salle internationale (324, 3rd floor), Archives Henri Poincaré, 91 avenue de la Libération, 54001 Nancy (link google maps)
This session is part of the 2nd Nancy–Irvine FaTiLLaM Workshop on Formalization as Translation in Logic, Language, and Mathematics. The program of the workshop is available here.
IJN Session Fall 2026: [TBA] - TBA
Title: TBA
Abstract: TBA
Location: Salle de réunion de l’Institut Jean Nicod, Rez-de-chaussé, Pavillon Jardin, 29 rue d’Ulm, 75005 Paris (link google maps)
IHPST Session Fall 2026: [TBA] - TBA
Title: TBA
Abstract: TBA
Location: Salle de Conférence de l’IHPST, Université Paris 1 Panthéon-Sorbonne, Maison de la Philosophie-Marin Mersenne, 2nd floor, 13 rue du Four, 75006 Paris (link google maps)
Registration
The seminar is free and without registration. Everyone interested is welcome to attend.
For any questions, please send an email to the organizers.
Organizers
Acknowledgement and Support
The workshop is funded by by the Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST), the Institut Jean Nicod (IJN) and the Archives Henri Poincaré (AHP).