SƒMINAIRE DE LOGIQUE / LISTE DES
CONFƒRENCIERS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NOM |
Affiliation |
DATE |
TITRE |
|
|
|
|
1998-99 |
|
|
|
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
98-09-24 |
Logique, vŽritŽ approximative et vŽrisimilitude : un survol. |
|
|
|
|
Gonzalo Reyes |
Un. de MontrŽal |
98-10-15 |
Atoms and infinitesimal structures in synthetic differential
geometry. |
|
|
|
|
Jim Loveys |
McGill U. |
98-12-10 |
From order to chaos. Shelah's classification program of
first-order structures. |
|
|
|
|
Franois Lepage |
Un. de MontrŽal |
99-01-28 |
Logiques partielles. |
|
|
|
|
Luc BŽlair |
UQAM |
99-02-25 |
Structures o-minimales. |
|
|
|
|
Michael Hallet |
McGill U. |
99-03-24 |
Frege, Hilbert and the origins of modern logic. |
|
|
|
|
Jose Iovino |
McGill U. |
99-04-22 |
Model theory for functional analysis. |
|
|
|
|
1999-2000 |
|
|
|
|
|
|
|
Lou van den Dries |
U. of Illinois |
99-09-24 |
Towards coordinate free model theory. |
|
|
|
|
Michael Makkai |
McGill U. |
99-10-21 |
Categories as foundation for mathematics. |
|
|
|
|
Grzegorz Malinowski |
U. de Lotz (Pologne) |
99-11-25 |
Formalization of intensional functions and epistemic
knowledge representation systems. |
|
|
|
Storrs McCall |
McGill U. |
99-12-09 |
Can a Turing machine know that the Godel sentence is true ? |
|
|
|
|
Yvon gauthier |
Un. de MontrŽal |
00-01-13 |
La logique interne de l'arithmŽtique chez Frege et Kronecker. |
|
|
|
|
StŽphane Lafrance |
UQAM |
00-02-17 |
L'Žlimination des imaginaires et son interprŽtation
catŽgorielle. |
|
|
|
|
Carsten Butz |
McGill U. |
00-03-16 |
Quine's new foundation, an introduction. |
|
|
|
|
Franois Lepage |
Un. de MontrŽal |
00-04-13 |
Modles probabilistes canoniques pour les logiques partielles. |
|
|
|
|
2000-2001 |
|
|
|
|
|
|
|
Jim Lambek |
McGill U. |
00-10-12 |
Qu'est-ce que le nombre 2 ? |
|
|
|
|
Deirdre Haskell |
McMaster U. |
00-11-02 |
When is a set bijective with itself minus a point ? |
|
|
|
|
Alexandre Brunet |
Un. de MontrŽal |
01-02-15 |
Un argument contre le MŽcanisme s'appuyant sur le thŽorme de
Lšb |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
01-03-22 |
Le thŽorme d'Awodey-Butz pour la logique classique d'ordre
supŽrieur |
|
|
|
|
Mathieu Marion |
Un. d'Ottawa |
01-04-12 |
IndŽcidabilitŽ, faisabilitŽ et antirŽalisme radical |
|
|
|
|
2001-2002 |
|
|
|
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
01-10-18 |
Introduction ˆ la logique catŽgorique, d'aprs A. Pitts |
|
|
|
|
Jean-Philippe Villeneuve |
Un. de MontrŽal |
01-11-08 |
Introduction ˆ la logique catŽgorique, d'aprs A. Pitts. la
logique propositionnelle. |
|
|
|
|
Jean-Philippe Villeneuve |
Un. de MontrŽal |
01-11-15 |
Introduction ˆ la logique catŽgorique, d'aprs A.
Pitts. la logique propositionnelle (2e partie). |
|
|
|
Jean-Philippe Villeneuve |
Un. de MontrŽal |
01-11-29 |
Introduction ˆ la logique catŽgorique, d'aprs A.
Pitts. la logique propositionnelle (3e partie). |
|
|
|
Jean-Philippe Villeneuve |
Un. de MontrŽal |
02-02-11 |
Introduction ˆ la logique catŽgorique, d'aprs A.
Pitts. la logique propositionnelle (4e partie). |
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
02-03-11 |
discussion du texte "From a geometrical point
of view: the categorical perspective on mathematics and its
foundations" |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
02-04-08 |
discussion du texte "From a geometrical point
of view: the categorical perspective on mathematics and its
foundations" (suite) |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
02-05-06 |
discussion du texte "From a geometrical point
of view: the categorical perspective on mathematics and its
foundations" (fin) |
|
|
|
|
2002-2003 |
|
|
|
|
|
|
|
Le sŽminaire n'a pas eu lieu (LB en sabbatique) |
|
|
|
|
|
|
2003-2004 |
|
|
|
|
|
|
|
Brian van den Broek |
Mc Gill U. |
03/10/31 |
Tarski's logical notions |
|
|
|
|
Mathieu BŽlanger |
Un. de MontrŽal |
03/11/28 |
Ë propos de ÇAn extension of Klein's Erlangen
programm: logic as an invariant theoryÈ de F. I. Mautner (Amer. J. Math. 68
(1946), 345-364). |
Michael Makkai |
McGill U. |
04/04/15 |
What is constant and what is changing in logic |
|
|
|
|
2004-2005 |
|
|
|
|
|
|
|
Le sŽminaire n'a pas eu lieu (J-PM en sabbatique, LB
absent hiver) |
|
|
|
|
|
2005-2006 |
|
|
|
|
|
|
|
SŽminaire pour les Žtudiants sur les
thŽormes d'incomplŽtude de Gšdel, en prŽparation au colloque Gšdel qui a
lieu pendant le congrs annuel de l'ASL ˆ l'UQAM du 17 au 21 mai 2006. |
|
|
|
Neil Kennedy |
UQAM |
05/10/06 |
Les thŽormes d'incomplŽtude de Gšdel. Introduction. |
|
|
|
|
Luc BŽlair |
UQAM |
05/10/20 |
Quelques thŽories qui Žchappent au 1er thŽorme de Gšdel. |
|
|
|
|
Neil Kennedy |
UQAM |
05/11/03 |
ArithmŽtique formelle : le systme axiomatique S. |
|
|
|
|
Luc BŽlair |
UQAM |
05/11/17 |
Le systme axiomatique S, les entiers et les fonctions
reprŽsentables. |
|
|
|
|
Mathieu BŽlanger |
Un. de MontrŽal |
05/12/01 |
RŽcursivitŽ : les fonctions rŽcursives. |
|
|
|
|
Tuan Nguyen |
Un. de MontrŽal |
06/01/27 |
RŽcursivitŽ (II). |
|
|
|
|
Neil Kennedy |
UQAM |
06/02/10 |
La fonction bta de Gšdel et la reprŽsentabilitŽ des fonctions
rŽcursives. |
|
|
|
|
Mathieu BŽlanger |
Un. de MontrŽal |
06/02/24 |
ArithmŽtisation de la syntaxe : la numŽrotation de Gšdel. |
|
|
|
|
Neil Kennedy |
UQAM |
06/03/10 |
Le premier thŽorme de Gšdel et le thŽorme de Tarski. |
|
|
|
|
Neil Kennedy |
UQAM |
06/03/31 |
Le deuxime thŽorme d'incomplŽtude de Gšdel. |
|
|
|
|
Michael Hallet |
McGill U. |
06/04/28 |
What was Hilbert's programme ? |
|
|
|
|
2006-2007 |
|
|
|
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
06/09/27 |
ThŽormes de reprŽsentation et de dualitŽ de Stone et logique
propositionnelle. |
|
|
|
|
Eric Mc Sween |
Concordia U. |
06/10/05 |
Algbres de Boole, algbres de Heyting, et treillis. |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
06/10/19 |
Treillis distributifs, algbres de Heyting, algbres de Boole
: la suite (1). |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
06/11/02 |
Treillis distributifs, algbres de Heyting, algbres de Boole
: la suite (2). |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
06/11/16 |
Le thŽorme de reprŽsentation de Stone. |
|
|
|
|
Mathieu BŽlanger |
Un. de MontrŽal |
06/11/30 |
Le langage des catŽgories. |
|
|
|
|
Michel Serfati |
Un. Paris 7 |
06/12/14 |
Treillis de Post, entre algbres, logiques multivalentes et
catŽgories. |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
session H07 |
Le sŽminaire co•ncide avec le cours PHI6355 Fondements des
mathŽmatiques, UdeM. |
|
|
|
|
Roger Villemaire |
UQAM |
07/02/01 |
ThŽorme de reprŽsentation des familles intervallaires. |
|
|
|
|
Roger Villemaire |
UQAM |
07/04/19 |
La logique du fini |
|
|
|
|
Bruno Poizat |
Un. Lyon 1 |
07/04/26 |
La logique positive |
|
|
|
|
2007-2008 |
|
|
|
|
|
|
|
Neil Kennedy |
UQAM/Paris 1 |
07/09/27 |
Solutions bidimensionnelles au paradoxe de Fitch. |
|
|
|
|
Franois Lepage |
Un. de MontrŽal |
07/10/12 |
Logique ŽpistŽmique : le systme AGM. |
|
|
|
|
Alexandre Costa-Leite |
CUNY |
07/11/23 |
The combined logics of skepticism. |
|
|
|
|
Vincent Hendricks |
Roskilde U. (Danemark) |
07/12/14 |
Limiting skepticism. |
|
|
|
|
Roger Villemaire |
UQAM |
08/02/07 |
Va-et-vient de Fra•ssŽ en thŽorie des modles finis. |
|
|
|
|
Mathieu BŽlanger |
Un. de MontrŽal |
08/02/27 |
Introduction ˆ Albert Lautman (1908-1944). |
|
|
|
|
Luc BŽlair |
UQAM |
08/03/27 |
Va-et-vient de Fra•ssŽ. Le thŽorme de prŽservation
par homomorphismes en thŽorie des modles finis. |
|
|
Roger Villemaire |
UQAM |
08/04/17 |
LocalitŽ en logique du premier ordre. |
|
|
|
|
2008-2009 |
|
|
|
|
|
|
|
Anthony Monnet |
UQAM |
08/09/26 |
MŽthodes informatiques de rŽsolution du problme SAT. |
|
|
|
|
Franois Lepage |
Un. de MontrŽal |
08/10/24 |
Hartry Field et la rŽvolution probabiliste. |
|
|
|
|
AndrŽ Porto |
U. Federal de Goias (BrŽsil) |
08/11/21 |
Wittgenstein on inductive proofs. |
|
|
|
|
Roger Villemaire |
UQAM |
08/12/05 |
Logique et automates. |
|
|
|
|
Olivier Roy |
Rijksuniv. Groningen (Pays-Bas) |
08/12/19 |
Les thŽormes d'accord du point de vue de la logique
ŽpistŽmique. |
|
|
|
|
Neil Kennedy |
UQAM |
09/01/16 |
Le paradoxe de Fitch, les mondes possibles et la
quantification sur des modalitŽs. |
|
|
|
|
Jean-Pierre Marquis |
Un. de MontrŽal |
09/02/13 |
Logique et thŽorie de l'homotopie selon Awodey et Warren. |
|
|
|
|
Mathieu BŽlanger |
Un. de MontrŽal |
09/05/01 |
La logique des partitions selon Ellerman. |
|
|
|
|