J'attire votre Attention
Le cours de topologie en extension de jean michel Vappereau aura bien lieu
les deux prochains mardis 16 et 23 juin 2015 Ã Paris 7
dans le bâtiment de la Halle aux farines, escalier C, 2e étage, salle 234C, de 19h à 21h
nous ne devrions pas subir de nouvelles agressions sécuritaires.
Nous étudierons la condition d'aliénation intrinsèque propre au nœud trivial de la logique classique afin de vérifier le nœud logique
dont la définition respecte cette condition effective.
Ce sera une occasion supplémentaire pour apporter d'autres précisions dans l'étude de la logique classique
avec la relation qu'entretiennent entre eux les deux systèmes d'écriture qui la constituent.
- Le Calcul de la coordination (théorie de la vérifonctionnalité et algèbre de Boole) désormais (S2,T2)
- Le Calcul des prédicats et des propositions (théorie de la kantification des prédicats au premier ordre) désormais (S1, T1)
Ces traits intrinsèques rigoureux étant aussiconservés lors de la distorsion du plongement d'un nœud logique en logique modifiée.
En particulier le carrefour où le cours à été interrompu la semaine passé, après l'exposé de la distinction à apporter, à propos de (S2,T2)
pour le désigner, différence entre les propositions (les objets) et la coordination (les relations entre objets),
juste au moment d'aborder l'énigme historique produite par l'Algèbre de Boole dans la relation qu'entretiennent entre eux ces deux systèmes
d'écriture principaux.
Il suffit de souligner le lieu de la Syllogistique d'Aristote dans le Calcul des prédicats monadiques (S1,T1)mon.
pour la résoudre comme le fait Quine dans Méthodes de Logiques (1955).
Nous pourrons ainsi conclure à la fin du mois comme prévu par un aperçu plus précis de la spécificité des nœuds
topologiques.
j.m. Vappereau