![](ima-liq/lisbeth.jpg)
Liesbeth De Mol
Université de Gand, Belgique
When the bubble of symbolic logic finally burst - Emil Post's formalism(s)
![](ima-liq7/pierre-cartier.jpg)
Pierre Cartier
Institut des Hautes Etudes Scientifiques, Bures-sur-Yvettes, France Ceci n’est pas une démonstration ! QED
![](ima-liq4/Chevalier.jpg)
Jean-Marie Chevalier
Collège de France, Paris
Quelles relations entre la logique de Peirce et sa philosophie de la logique?
![](ima-liq4/francesco.bellucci.jpg)
Francesco Bellucci
Tallin University of Technology, Estonia
Peirce on logical analysis
![](ima-liq7/mgd.png)
Maria Giulia Dondero
Université de Liège et FNRS, Belgique
L'image peut-elle nier?
![](ima-liq7/marc-vanatten.jpg) Mark van Atten
SND, CNRS, Paris Sorbonne
On the acceptability of Kripke's Schema
![](ima-liq4/cozic.jpg)
Mikael Cozic
Université Paris 12, France
![](ima-liq4/Ekaterina-Kubyshkina.jpg)
Ekaterina Kubyshkina
IHPST, Paris, France
La logique et l'agent rationnel en application au paradoxe de Fitch
![](ima-liq4/pierre-luc.dostie_proulx.jpg)
Pierre-Luc Dostie-Proulx
Université Catholique de Louvain, Belgique Peirce Today
![](ima-liq7/julie.jpg)
Julie Brumberg-Chaumont
CNRS, Paris, France and European University Institute, Florence, Italy
L'hylémorphisme logique au XIIIe siècle latin
![](ima-liq4/halimi.png)
Brice Halimi
Université Paris 10 and Sphere, CNRS, France
Universalié et nécessité de la logique
![](ima-liq4/isaac.jpg)
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)
![](ima-liq4/meles.jpg)
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
![](ima-liq4/ahti.jpg)
Ahti-Veikko Pietarinen
University of Helsinki, Finland
'Logic of the future': fact and fiction on Peirce' existential graphs
![](ima-liq4/poizat.jpg)
Bruno Poizat
Université de Lyon 1, France
La négation dans les langues naturelles et en logique mathématique
![](ima-liq4/SCHMID.jpg)
Anne-Françoise Schmid
Ecole des Mines, Paris, France
TR Le symbolisme en logique
![](ima-liq4/pierre-wagner.jpg)
Pierre Wagner
Université Panthéon-Sorbonne, France
Sémantique tarskienne et sémantique carnapienne
![](ima-liq7/romina-padro.png) Romina Padro
City University of New York, USA
On Inferring: the Adoption Problem and the Epistemology of Logic
![](ima-liq5/juan-luis-gastaldi.jpg)
Juan Luis Gastaldi
IRePh, Paris Ouest Nanterre / ESBAMA, France
Différence et répétition dans la logique de George Boole
![](ima-liq6/jyb.jpg) Jean-Yves Beziau
Université du Brésil, Rio de Janeiro
Logic is not logic
Patrick Blackburn
University of Roskilde, Denmark
Logic and indexicality
![](ima-liq/cantu.jpg)
Paula Cantu
CNRS, Université Aix-Marseilles, France
La conception pragmatique de la logique
![](ima-liq8/jan-sebestik.jpg)
Jan Šebestík
Institut de Philosophie, République Tchèque Le silence de Frege sur Bolzano
![](ima-liq8/antonia-soulez.jpg) Antonia Soulez
Université de Paris 8, France
Wittgenstein: parricide de Frege ?
![](ima-liq/descles.jpg)
Jean-Pierre Desclés
Université de Paris-Sorbonne
Pouvoir, devoir, vouloir: une analyse formelle de leurs significations polysémiques
![](ima-liq/dubucs.jpg)
Jacques Dubucs
CNRS, Université Panthéon-Sorbonne
Entre le tout et le rien. Note sur la notion de semi-nécessité
![](ima-liq/durand.jpg)
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
![](ima-liq6/michael-freund.jpg) Michaël Freund
Université de Paris Sorbonne, France
La catégorisation comme processus d'inférence
![](ima-liq6/michel-bernard.jpg) Michel Bernard
Université Sorbonne Nouvelle, Paris 3, France
Les logiques du littéraire
![](ima-liq3/elodie.jpeg)
Elodie Cassan
Cerphi, Lyon, France
Descartes ou la logique introuvable?
![](ima-liq9/philippe-lacour.jpg)
Philippe Lacour
Institut de Philosophie, Université de Brasilia, Brésil
Intelligence artificielle aux risques de la traduction
![](ima-liq/schang.jpg)
Fabien Schang
Archives Poincaré - Université de Lorraine, Nancy, France Quelle logique pour la négation?
![](ima-liq3/G_Coqui.jpg)
Guillaume Coqui
Université de Bourgogne, France
La logique peut-elle être cartésienne?
![](ima-liq3/cori.jpg)
René Cori
Dpt de Mathématiques, Université Denis Diderot, Paris 7, France
Est-il pertinent d'enseigner
la logique au lycée?
![](ima-liq3/abeles.jpg)
Francine Abeles
Department of Mathematics and Computer Science, Kean University, USA
Hypotheticals,
Conditionals, and Implication in Nineteenth Century British Logic
![](ima-liq9/joseph-dichy.jpg)
Joseph Dichy
Université de Lyon II, Lyon, France
Un logicien arabe et le problème de l’instant
![](ima-liq5/otavio-bueno.jpg)
Otávio Bueno
University of Miami, USA
Logic and metaphysics
![](ima-liq/mb.jpg)
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
![](ima-liq8/franck-varenne.jpg) Franck Varenne
Université de Rouen, France
Simulations multi-processus et diagrammes fortement couplés
![](ima-liq7/saul-kripke.JPG) Saul Kripke
City University of New York, USA
A Model Theoretic Approach to Gödel's Theorem
![](ima-liq7/silvia-de-toffoli.jpg) Silvia de Toffoli
Stanford University, USA
Thinking with Diagrams in Mathematics
![](ima-liq5/fabrice-pataut.png)
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
![](ima-liq7/david-makinson.jpg) David Makinson
London School of Economics, England
The relevance logic programme: dead or just stalled?
![](ima-liq5/zhenzhen-guo.JPG)
Zhenzhen Guo
Université Jean Moulin, Lyon III
Sur quelques éléments et difficultés de la logique en Chine ancienne
![](ima-liq5/Artem.jpeg)
Artem Soloshchenkov
Moscow State University, Russia and IHPST, Paris, France
Les logiques de Vasiliev
![](ima-liq5/henri-prade.gif)
Henri Prade
IRIT/CNRS et Université Paul Sabatier, Toulouse, France
Logique et Analogie
![](ima-liq5/olivia-caramello.jpg)
Olivia Caramello
Université Denis Diderot, Paris
Introduction à la théorie des 'ponts' topos-théoriques
![](ima-liq5/denis-vernant.jpg)
Denis Vernant
Université de Grenoble, France
Existence, présupposition et carré logique
![](ima-liq7/ricardo-silvestre.jpg)
Ricardo Silvestre
Universidade Federal de Campina Grande, Brasil
In which sense logic is philosophical?
![](ima-liq5/michel-serfati.JPG)
Michel Serfati
IREM Université Denis Diderot, Paris 7, France Symbolisme et ininterprétable chez Boole
![](ima-liq4/morgagni.jpg)
Simone Morgagni
EHESS, Paris, France
TR Peirce
![](ima-liq4/hmounier.JPG)
Pierre Mounier-Kuhn
CNRS, Centre Alexandre Koyré, Paris, France
Comment l'informatique a rencontré la logique: histoire d'une convergence progressive
![](ima-liq9/mael-pegny.jpg)
Maël Pégny
IHPST - CNRS, Paris, France
L'histoire (et la nature) de la logique: plaidoyer pour une intégration mondiale
![](ima-liq5/pierre.saint-germier.jpg)
Pierre Saint Germier
Ecole Normale Supérieure de Lyon, France
Sur la logique de la concevabilité
![](ima-liq6/plagnol.jpg) Arnaud Plagnol
Université de Paris 8 et IHPST
Logique et théorie de la représentation
![](ima-liq6/guitart.jpg)
René Guitart
Université Denis Diderot, Paris 7, France
Les raisons combinantes, observantes ou imaginantes
![](ima-liq/pegre.JPG)
Paul Egré
Institut Jean Nicod, Paris
Vagueness, truth and permissive
consequence
![](ima-liq/leclercq.jpg)
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
![](ima-liq/lemaire.jpg)
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?
![](ima-liq/valeria.jpg)
Valeria Giardino
Institut Jean Nicod, Paris Logique et représentations: le cas des cercles pour le syllogisme
![](ima-liq/Photo_JBG.jpg)
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
![](ima-liq/alessio.gif)
Alessio Moretti Nice, France Logic is (also) geometry
![](ima-liq/moktefi.jpg) ![](ima-liq/marion.jpg)
Mathieu Marion, UQUAM, Montréal et Amirouche Moktefi, IRIST Strasbourg
Le paradoxe de l'inférence de Lewis Carroll: genèse et leçons
![](ima-liq/pascu-anca.jpg)
Anca Pascu
Université de Brest
La logique de la détermination des objets et l'analyse formelle des concepts
![](ima-liq8/sylvain-lavelle.jpg)
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
![](ima-liq8/zoe-mesnil.jpg) Zoé Mesnil
Université Paris Diderot, France
La logique : d'un outil pour le langage et le raisonnement mathématique vers un objet d'enseignement
![](ima-liq6/dumoncel.jpg)
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
![](ima-liq6/Zuber1.JPG) Richard Zuber
CNRS et Université Denis Diderot, Paris
Sur le pouvoir expressif logique des langues naturelles
![](ima-liq9/miloud-rouabhi.jpg)
Miloud Rouhabhi
Université d’Oran, Algérie
Sémantique des prépositions et topologie
![](ima-liq6/joray.jpg) 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
![](ima-liq3/poggiolesi.jpg)
Francesca Poggiolesi
IHPST, Paris, France
Are the validities of modal
logic analytic? Or the analyticity again trough modal logic, Hintikka
and Quine
![](ima-liq/mjdr.jpg)
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
![](ima-liq3/parrochia.jpg)
Daniel Parrochia
Département de Philosophie, Université de Lyon III
L'étude des classifications
relève-t-elle de la logique?
![](ima-liq8/joseph-vidal-rosset.jpg)
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"
![](ima-liq6/fadili.jpg) 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
|
|