Séminaire Histoire et Philosophie de l'informatique, série "Interactions entre logique, calcul et linguistique"

Cette série du séminaire se concentre sur l’étude de l’informatique comme point de connexion entre différentes disciplines traditionnelles, comme la logique, les mathématiques et la linguistique. 

Nous essayerons de comprendre, en particulier, comme les recherches en informatique théorie des ces quarante dernières années ont contribuées à l’évolution et la redéfinition de ces disciplines.

http://calcul.hypotheses.org/

Responsable (s): 
Responsable (s) externes: 
van ATTEN Mark
de MOL Liesbeth
RAHAMAN Shahid

Séminaire HPI, série "Interactions entre logique, calcul et linguistique"

Undefined
Wednesday 27 January 2016 - 14:00 to 17:30
IHPST - Salle de conférence

David Nofre, (Universitat Autònoma de Barcelona), "Hidden structures: The early career of Saul Gorn and the making of computer science, 1950 – 1965"

In the early 1960s computer science established itself as a proper field of knowledge, largely concerned with the study of abstract structures of computation rather than with the study of computing machinery. Such preference for abstraction has since then aroused many debates on the nature and purpose of the field, and they continue to play a significant role. Yet what accounts for this historical predisposition toward abstraction? In my talk I will try to make some progress on this question. In particular, I will try to show how the making of computer science involved much more than the simple application of mathematics and logic to the study of computation. To do so, I will focus on the early career of mathematician and computer pioneer Saul Gorn. In the mid-1950s, Gorn was part of a small group of computing specialists in the United States that started exploring ways to formalize computer programming by abstracting away from the actual computer. They did so in part as response to the ascendancy of industry in computing and the resulting increase in the variety of computer models. Yet, such conceptual move was also underpinned by the epistemological and ontological assumption that computers, brains (or minds), programming notations, natural languages, and the formal languages of logic, are all systems fundamentally defined by their common abstract structures. In the last part of my talk I will reflect on the extent to which the raise of computer science thus entailed particular assumptions about the structure of the natural world.

Alain Lecomte (Université de Paris 8), L’interaction à la base du sens, ludique et langage naturel

Dans cette intervention, nous montrerons comment la ludique de Jean-Yves Girard (voire, plus généralement tout formalisme exprimant la « géométrie de l’interaction ») fournit des outils précieux pour penser l’interaction dans la langue et l’usage de la langue. Nous partirons de quelques remarques ayant trait au langage, comme sa grande labilité et le fait que la communication langagière est presque toujours une affaire de coordination entre deux participants qui s’entendent sur les significations, nous référant en particulier à des auteurs comme David Lewis et Robert Brandom. Nous présenterons également la modélisation du dialogue opérée par J. Ginzburg en montrant en quoi le fait de la recadrer dans le formalisme de la ludique permet de rendre compte d’une manière plus naturelle les phénomènes d’attente et de résolution qui se produisent dans le dialogue.