Cours du 09 mai

„ØCours du 09 m ai. U ne re lation pa rticulière. Supposez que c e qu’i l y a da ns l e c adre, c’e st t out c e qu’i l y a . Nous voul ons dé crire l a situation re présentée da ns l e c adre.Soit F le pré dicat ' est un c ercle’. Im aginez que vous dé criviez l a s ituation c omme ç a : F a E t i maginez que m oi j ’a i dé crit l a s ituation c omme ç a : F bIl ne s emble pa s que nous a yons dé crit de ux s ituations di fférentes, m ais pl utôt que nous a yons décrit de de ux fa çons di fférentes l a m ême s ituation. Que di re de l a re lation e ntre a e t b ? O n di ra que a e t b s ont un s eul e t m ême obj et, a e t b sont identiques. O n di ra a ussi que l es m ots ‘ a’ e t ‘ b’ dé signent l e m ême obj et.L es l ogiciens a ttachent une i mportance t oute pa rticulière à c ette re lation bi en s péciale qu’e st l’i dentité ; à t el poi nt qu’i ls ont un s ymbole pa rticulier pour c ette re lation : =Pour di re que a e st i dentique à b, on n’é crira donc pa s R ab, m ais on é crira :a = bCe ci di t que c ’e st l e c as que a e st i dentique à b . S a né gation « a n’e st pa s i dentique à b » pe ut être é crite :(a = b )ou bi ena bL aissons de c ôté, les c as où on a pl usieurs nom s propre s pour pa rler d’une s eule c hose. Q uand on n' a qu' un nom propre , il s emble t rivialement vra i que a = a .Ú"""Ø""$"fiTout l e m onde e st d’a ccord pour di re que ‘ a = a’ e st une phra se qui nous a pprend pe u de chose s ur a e ...