Bibliographie
Le colloque Logique en Question - Logic in Question est un colloque
annuel qui rassemble des chercheurs français et étrangers autour de
questions centrales en logique. La 6ème édition aura lieu les 15 et 16
juin 2016 en Sorbonne à Paris.
Le colloque interroge plus particulièrement l’identité même de la
logique et son objet, partagé entre plusieurs disciplines, traditions,
méthodes et territoires. Le colloque rassemble des chercheurs de
différentes disciplines (mathématiques, philosophie, informatique,
histoire, didactique) et encourage ainsi la réflexion et les échanges
interdisciplinaires. Les interventions au colloque portent notamment sur
des questions centrales en logique, notamment :
1) Aristote est-il le premier logicien ? 2) Etre cartésien est-ce être
logique ? 3) Boole ou Frege à l’origine de la logique moderne ? 4) La
logique doit-elle être mathématique ? 5) La logique résout-elle des
problèmes philosophiques ? 6) Quelle est la différence entre logique et
métalogique ? 7) Raisonner est-ce calculer ? 8) La logique est-elle
multiple ? 9) La logique est-elle relative ? 10) La logique est-elle
nécessaire ?
The workshop Logique en Question - Logic in Question is an annual
workshop gathering French and foreign researchers around central
questions in logic. The 6th edition will happen June 15-16, 2016 at the
Sorbonne in Paris.
The workshop is concerned with the very nature of logic and its object
of study, shared by various approaches, traditions, methods and
territories. The workshop gathers researchers of various fields
(mathematics, philosophy, computing, history, didactics), encouraging
reflection and interdisciplinary exchanges. The lectures at the workshop
deal with central questions in logic, in particular :
1) Is Aristote the first logician ? 2) To be Cartesian is it to be
logical ? 3) Boole or Frege at the origin of modern logic ? 4) Must logic
be mathematical ? 5) Does logic solve philosophical problems ? 6) What is
the difference between logic and metalogic 7) Is reasoning computing ?
8) Is logic multiple ? 9) Is logic relative ? 10) Is logic necessary ?
Pour plus d’informations / More informations :
http://www.logic-in-question.org/
Le programme / Program
MERCREDI 15 JUIN / WEDNESDAY JUNE 15
MATIN / MORNING
10h30-10h40 : Accueil et Ouverture du Colloque / Welcome
10h40-11h20 : Frédéric Nef, Aristote est-il le premier logicien ?
Is Aristotle the first logician ?
11h20-12h00 : Richard Zuber, Sur le pouvoir expressif logique des
langues naturelles
On the logical expressive power of natural languages
12h00-14h00 : Déjeuner / Lunch
APRES-MIDI / AFTERNOON
14h00-14h40 : Jean-Claude Dumoncel, Les modalités méconnues de Bergson,
Proust et Deleuze à l’Âge de la logique modale
mathématique
The unknown modalities of Bergson, Proust and Deleuze at
the time of mathematical modal logic
14h40-15h20 : Michaël Freund, La catégorisation comme processus
d’inférence.
Categorisation as an inference process
15h20-15h40 : Pause / Coffee Break
15h40-16h20 : Jean-Yves Béziau, L’analyse conceptuelle prototypique
Prototypical conceptual analysis
16h20-17h00 : Pierre Jorray, Définition et inférence : la logique de
Lesniewski
Definition and inference : Lesniewski’s logic
JEUDI 16 JUIN / THURSDAY JUNE 16
MATIN / MORNING
10h00-10h40 : Christophe Jouis, Usage naïf de "IS-A" dans les
"ontologies" au sens informatique : Nécessité impérative
de distinguer différentes significations par des
propriétés logiques
Naive use of "IS-A" in "ontologies" in the sense of
computer science : Imperative necessity to distinguish
meanings by logical properties
10h40-11h20 : René Guitart, Les raisons combinantes, observantes ou
imaginantes
Combining, observing and imaging reasons
11h20-11h40 : Pause / Coffee Break
11h40-12h20 : Jean-Pierre Desclés et Anca Pascu, Logique de la
Détermination des Objets (LDO) : structuration topologique
et quasi-topologique des extensions
The logic of determination of objects (LDO) : topological
and quasi-topological structuration of extensions
12h20-14h20 : Déjeuner / Lunch
APRES-MIDI / AFTERNOON
14h20-15h00 : Michel Bernard, Les logiques du littéraire
The Logics of literature
15h00-15h40 : Arnaud Plagnol, Logique et théorie de la représentation
Logic and theory of representation
15h40-16h00 : Pause / Coffee Break
15h00-15h40 : Hammou Fadili, Les logiques, l’intelligence artificielle
et la représentation des connaissances au secours du Web
du futur : Web 3.0
Logics, artificial intelligence and knowledge
representation rescuing the Web of the future : Web 3.0
Liste des conférenciers / List of speakers
* Frédéric Nef (Institut Jean Nicod / EHESS, France)
* Jean-Pierre Desclés (Université de Paris-Sorbonne, Paris 4, France)
* Anca Christine Pascu (Université de Bretagne Occidentale, France)
* Jean-Yves Beziau (Université du Brésil, Rio de Janeiro)
* Michaël Freund (Université de Paris-Sorbonne, Paris 4, France)
* Arnaud Plagnol (Université de Paris 8 et IHPST)
* Michel Bernard (Université Sorbonne Nouvelle, Paris 3, France)
* Jean-Claude Dumoncel (Centre d’Etudes Théologiques de Caen et Société
Normande de Philosophie, France)
* Ricchard Zuber (CNRS et Université Denis Diderot, Paris 7, France)
* René Guitart (Université Denis Diderot, Paris 7, France)
* Christophe Jouis (LIP6, Paris 6 et Université Sorbonne Nouvelle,
France)
* Hammou Fadili (Laboratoire CEDRIC du Conservatoire National des Arts
et Métiers et LIP6, Université Pierre et Marie Curie, Paris 6, France)
* Pierre Joray (Université de Rennes, France)