SPEAKERS 2011-2019 CONFERENCIERS

Liesbeth De Mol
Université de Gand, Belgique

When the bubble of symbolic logic finally burst - Emil Post's formalism(s)


Pierre Cartier
Institut des Hautes Etudes Scientifiques, Bures-sur-Yvettes, France

Ceci n’est pas une démonstration ! QED

Jean-Marie Chevalier
Collège de France, Paris
Quelles relations entre la logique de Peirce et sa philosophie de la logique?

Francesco Bellucci
Tallin University of Technology, Estonia
Peirce on logical analysis


Maria Giulia Dondero
Université de Liège et FNRS, Belgique

L'image peut-elle nier?


Mark van Atten
SND, CNRS, Paris Sorbonne
On the acceptability of Kripke's Schema

Mikael Cozic
Université Paris 12, France

Ekaterina Kubyshkina
IHPST, Paris, France

La logique et l'agent rationnel en application au paradoxe de Fitch

Pierre-Luc Dostie-Proulx
Université Catholique de Louvain, Belgique
Peirce Today


Julie Brumberg-Chaumont
CNRS, Paris, France and European University Institute, Florence, Italy
L'hylémorphisme logique au XIIIe siècle latin


Brice Halimi
Université Paris 10 and Sphere, CNRS, France
Universalié et nécessité de la logique

Manuel Gustavo Isaac
Université Denis Diderot, Paris 7, France
De la logique universelle à la logique relative; la conception férgéenne de la logique (1879-1892)

Baptiste Mélès
Université Blaise Pascal, Clermont-Ferrand, France

Une hiérarchie de sémantiques: le concept de machine dans la pratique de la programmation

Ahti-Veikko Pietarinen
University of Helsinki
, Finland
'Logic of the future': fact and fiction on Peirce' existential graphs

Bruno Poizat
Université de Lyon 1,
France
La négation dans les langues naturelles et en logique mathématique

Anne-Françoise Schmid
Ecole des Mines, Paris,
France
TR Le symbolisme en logique

Pierre Wagner
Université Panthéon-Sorbonne
, France
Sémantique tarskienne et sémantique carnapienne


Romina Padro
City University of New York, USA
On Inferring: the Adoption Problem and the Epistemology of Logic

Juan Luis Gastaldi
IRePh, Paris Ouest Nanterre / ESBAMA
, France
Différence et répétition dans la logique de George Boole


Jean-Yves Beziau
Université du Brésil, Rio de Janeiro
Logic is not logic

Patrick Blackburn
University of Roskilde, Denmark
Logic and indexicality

Paula Cantu
CNRS, Université Aix-Marseilles, France

La conception pragmatique de la logique

 


Jan Šebestík
Institut de Philosophie, République Tchèque

Le silence de Frege sur Bolzano


Antonia Soulez
Université de Paris 8, France
Wittgenstein: parricide de Frege ?

Jean-Pierre Desclés
Université de Paris-Sorbonne
Pouvoir, devoir, vouloir: une analyse formelle de leurs significations polysémiques


Jacques Dubucs
CNRS, Université Panthéon-Sorbonne
Entre le tout et le rien. Note sur la notion de semi-nécessité

 

Viviane Durand-Guerrier
Département de Mathématiques, Université de Montpellier 2
Sur quelques apports de la formalisation logique pour l'analyse du discours dans la classe de mathématique


Michaël Freund
Université de Paris Sorbonne, France
La catégorisation comme processus d'inférence


Michel Bernard
Université Sorbonne Nouvelle, Paris 3, France
Les logiques du littéraire

Elodie Cassan
Cerphi, Lyon, France
Descartes ou la logique introuvable?


Philippe Lacour
Institut de Philosophie, Université de Brasilia, Brésil
Intelligence artificielle aux risques de la traduction

Fabien Schang
Archives Poincaré - Université de Lorraine, Nancy, France

Quelle logique pour la négation?

Guillaume Coqui
Université de Bourgogne, France

La logique peut-elle être cartésienne?


René Cori
Dpt de Mathématiques, Université Denis Diderot, Paris 7, France
Est-il pertinent d'enseigner la logique au lycée?


Francine Abeles
Department of Mathematics and Computer Science, Kean University, USA
Hypotheticals, Conditionals, and Implication in Nineteenth Century British Logic


Joseph Dichy
Université de Lyon II, Lyon, France
Un logicien arabe et le problème de l’instant


Otávio Bueno
University of Miami, USA
Logic and metaphysics

Maarten Bullynck
Département de Mathématiques et Histoire des Sciences, Université de Paris 8
Nager dans l'océan des connaissances: Les logiques de Lambert


Franck Varenne
Université de Rouen, France
Simulations multi-processus et diagrammes fortement couplés




Saul Kripke
City University of New York, USA
A Model Theoretic Approach to Gödel's Theorem


Silvia de Toffoli
Stanford University, USA
Thinking with Diagrams in Mathematics


Fabrice Pataut
IHPST/CNRS, Paris, France

Traduire les constantes logiques

Piotr Leśniewski et Katarzyna Gan-Krzywoszyńska
Université Adam Mickiewicz, Poznan, Pologne
Les révolutions en logique


David Makinson
London School of Economics, England
The relevance logic programme: dead or just stalled?


Zhenzhen Guo
Université Jean Moulin, Lyon III

Sur quelques éléments et difficultés de la logique en Chine ancienne


Artem Soloshchenkov
Moscow State University, Russia and IHPST, Paris, France
Les logiques de Vasiliev


Henri Prade
IRIT/CNRS et Université Paul Sabatier, Toulouse, France

Logique et Analogie


Olivia Caramello
Université Denis Diderot, Paris
Introduction à la théorie des 'ponts' topos-théoriques


Denis Vernant
Université de Grenoble, France
Existence, présupposition et carré logique


Ricardo Silvestre
Universidade Federal de Campina Grande, Brasil

In which sense logic is philosophical?


Michel Serfati
IREM Université Denis Diderot, Paris 7, France

Symbolisme et ininterprétable chez Boole

Simone Morgagni
EHESS, Paris, France
TR Peirce

Pierre Mounier-Kuhn
CNRS, Centre Alexandre Koyré, Paris, France
Comment l'informatique a rencontré la logique: histoire d'une convergence progressive


Maël Pégny
IHPST - CNRS, Paris, France
L'histoire (et la nature) de la logique: plaidoyer pour une intégration mondiale


Pierre Saint Germier
Ecole Normale Supérieure de Lyon, France

Sur la logique de la concevabilité


Arnaud Plagnol
Université de Paris 8 et IHPST
Logique et théorie de la représentation


René Guitart
Université Denis Diderot, Paris 7, France

Les raisons combinantes, observantes ou imaginantes

Paul Egré
Institut Jean Nicod, Paris

Vagueness, truth and permissive consequence

Bruno Leclercq
Université de Liège, Belgique

Objets faisant fonction: les logiques meinongiennes à l'assaut de la distinction frégéenne du concept et de l'objet

Juliette Lemaire
Centre Léon Robin, Université Paris-Sorbonne
L'argument logikos est-il logique?


Frédéric Nef
Institut Jean Nicod et EHESS, France

Aristote est-il le premier logicien?

Valeria Giardino
Institut Jean Nicod, Paris
Logique et représentations: le cas des cercles pour le syllogisme

 

Jean-Baptise Gourinat
Centre Léon Robin, Université Paris-Sorbonne
Le problème de l'autonomie de la logique dans l'Antiquité: Aristote et les stoïciens

 

Alessio Moretti
Nice, France
Logic is (also) geometry


Mathieu Marion, UQUAM, Montréal et Amirouche Moktefi, IRIST Strasbourg
Le paradoxe de l'inférence de Lewis Carroll: genèse et leçons

 

Anca Pascu
Université de Brest

La logique de la détermination des objets et l'analyse formelle des concepts

 


Sylvain Lavelle
École des Hautes Études en Sciences Sociales, EHESS, Paris, France

Nouvelles perspectives sur l'analytique et le synthétique De l'homologie à l'hétérologie


Zoé Mesnil
Université Paris Diderot, France
La logique : d'un outil pour le langage et le raisonnement mathématique vers un objet d'enseignement


Jean-Claude Dumoncel
Centre d'Etudes Théologiques de Caen et Société Normande de Philosophie
Les modalités méconnues de Bergson, Proust et Deleuze à l'âge de la logique modale mathématique


Richard Zuber
CNRS et Université Denis Diderot, Paris
Sur le pouvoir expressif logique des langues naturelles


Miloud Rouhabhi
Université d’Oran, Algérie
Sémantique des prépositions et topologie


Pierre Joray
Université de Renne, France
Définition et inférence: la logique de Lesniewski

Marie-Hélène Gorisse
Centre d'études boudhistes, Université de Gand, Belgique

Logique, art du débat et théorie de la connaissance: l'apport de l'inde classique

 

Francesca Poggiolesi
IHPST, Paris, France
Are the validities of modal logic analytic? Or the analyticity again trough modal logic, Hintikka and Quine

Marie-José Durand-Richard
CNRS, Université Denis Diderot, Paris George Boole (1815-1864) : les lois mathématiques du raisonnement et de l'esprit face à l'empirisme

Daniel Parrochia
Département de Philosophie, Université de Lyon III

L'étude des classifications relève-t-elle de la logique?


Joseph Vidal-Rosset
Université de Lorraine, Nancy, France

Un algorithme "à la Quine" pour la logique propositionnelle intuitionniste


Christophe Jouis
Université Sorbonne Nouvelle Paris 3
Usage naïf de "IS-A" dans les "ontologies"


Hammou Fadili
Laboratoire CEDRIC du Conservatoire National des Arts et Métiers
Les logiques, l’Intelligence Artificielle et la Représentation des Connaissances au secours du Web du futur : Web 3.0