Pas de vacances pour les braves ;-)

Il paraît que la semaine prochaine la fac est en vacances... Mais à coeurs vaillants, rien d'impossible^^
Donc, si vous n'êtes pas sur les pistes, sachez que vous nous trouverez le 20 février à 10 heures, même salle que d'habitude.
Nous nous sommes arrêtés, p.197, à la constuction de l'ensemble sigma+ comme preuve du lemme de Lindenbaum. Nous nous étions arrêtés après avoir jeté un rapide coup d'oeil aux quatre propriétés de sigma+ dont la preuve est laissée en exercice.

A première vue, ces preuves ne devraient pas poser trop de problèmes. Le but est donc d'arriver mercredi prochain avec leur rédaction "au propre".

13 février

Nous poursuivrons notre lecture ce mercredi 13 février à 10 heures, en salle A11.213, avec la page 197.

Nous nous arrêterons sur la démonstration de la proposition 4.16 (quatre propriétés des ensembles maximaux lambda-cohérents).

Si possible, nous nous lancerons aussi à l'assaut du Lemme 4.17 (Lemme de Lindenbaum), mais nous n'aurons sans doute malheureusement pas le temps d'en venir à bout.

"Easy to check"...

Lors de la dernière séance, nous sommes finalement venus à bout, Aude et moi, de cette fameuse vérification facile que le lecteur était invité à faire à la page 196.

Nous en sommes arrivés à la conclusion que l'affirmation était effectivement facilement vérifiée si on acceptait "soundness". Bon, cela fait un gros "si", mais Blackburn, de Rijke et Venema nous ont permis de tenir "soundness" pour acquis grâce à leur remarque page 193 (juste après la définition 4.9).

C'est donc la conscience tranquille que nous pouvons continuer notre lecture du paragraphe 4.2. Rendez-vous le 13 février...

Séance du 30 janvier

Nous nous retrouverons mercredi 30 janvier de 10h à 12h, en salle A22.208.

La semaine dernière, nous étions tombés sur un redoutable "It is easy to check". Nous commencerons donc demain par nous frotter à la facilité annoncée... Voici le problème (traduction approximative), p. 196 :

Tout point w dans tout modèle M pour une logique L est associé à un ensemble de formules. Il est facile de vérifier (et le lecteur devrait le faire) que cet ensemble de formule est maximal L-cohérent. Ainsi, si une formule F est vraie dans un modèle pour L, alors F appartient à un ensemble maximal L-cohérent.


Rappel : à partir du 6 février, nous nous réunirons en salle A11.213

Salles

L'administration n'a pas pu nous allouer une salle pour la séance du 23 janvier. Rendez-vous donc le mercredi 23 janvier à 9h45 à l'UFR de Philosophie. Nous partirons alors à la recherche d'une salle libre.

Le 30 janvier, nous aurons la salle A22.208 à notre disposition.
Puis, à partir du 6 février et jusqu'à la fin de l'année, nous utiliserons la salle A11.213.

Reprise du séminaire le mercredi 23 janvier

Avec les modifications d'emploi du temps liées au passage au deuxième semestre, le séminaire "Outils Formels" change de lieu et d'horaire.

Les séances auront désormais lieu chaque mercredi, de 10h à 12h.
La salle où nous nous réunirons n'est pas encore fixée, nous attendons une réponse de l'administration.

La reprise est fixée au 23 janvier. Nous commencerons à travailler sur le paragraphe 4.2 de Blackburn et al., Modal Logic. Il s'agit du théorème de complétude dans le cadre des modèles canoniques.

Pour ceux qui n'auraient pas (encore) le livre, il est possible d'avoir des photocopies des paragraphes 4.1 et 4.2

A bientôt

Séance du 17 décembre

A partir du 17 décembre, nous travaillerons en logique modale, avec comme support l'excellent Modal Logic de Blackburn, de Rijke et Venema chez Cambridge University Press.

Nous prendrons un moment à la fin de la séance pour réfléchir à la suite des réjouissances (organisation des prochaines séances, etc).