La loglangue facile en quinze leons c

Marcel Crabb e

Leon 0. c

Origine de la loglangue La loglangue ou langue de la logique sest progressivement constitue en raison e de lincapacit des langues naturelles, dont le franais, ` exprimer clairement les e c a structures et les relations logiques. Des incapacits analogues dans dautres domaines ont ncessit la cration de e e e e langues fragmentaires qui, mlanges aux langues naturelles, ont permis ` des e e a sciences de faire de considrables progr`s. Cest le cas pour les formules utilises en e e e mathmatique, physique, chimie et mme en linguistique. Au lieu de dire en franais e e c que le produit de la somme de deux nombres par leur dirence est identique ` la e a dirence des carrs de ces nombres, il est parfois plus commode et plus fcond e e e dcrire (n + m)(n m) = n2 m2 . e Leibniz (16461716) fut le premier semble-t-il qui eut lide dutiliser un formue laire, non plus seulement pour exprimer des notions ou des vrits propres ` une e e a science particuli`re, mais pour toute vrit ou fausset que lon pourrait concevoir. e e e e Ce projet ne fut men ` terme quavec Gottlob Frege (18481925) qui cra une e a e vritable conceptographie (Begrischrift). Depuis Frege, cette langue sest conside e rablement modie et enrichie. La modication la plus visible en est la notation. e Frege utilisait une notation ` deux dimensions. Son criture, qui ressemble ` des a e a idogrammes, na pas t conserve. Elle fut presque immdiatement remplace par e ee e e e une criture linaire. Les enrichissements ont, pour leur part, rendu possible une e e analyse de plus en plus ne de certains jugements qui paraissaient rebelles ` toute a formalisation. Cest cette langue frgenne modie, ou langage des prdicats du e e e e premier ordre, qui sera lobjet de ce petit manuel. Nous conseillons vivement ` ll`ve de ne pas sattarder sur cette leon initiale, a ee c en y sautant ce quil ne comprend pas en premi`re lecture, mais dy revenir e rguli`rement au cours de son apprentissage. e e

Cours de loglangue Comment parler de la langue

Dans les cours de langue, il est ncessaire de pouvoir parler des mots et des e expressions de la langue. Pour ce faire il est utile de disposer dexpressions qui dsignent des expressions. On peut former de telles expressions en utilisant les e guillemets simples. Les guillemets simples sont au nombre de deux : le guillemet ouvrant et le guillement fermant. Le guillemet fermant est une virgule surleve et e e le guillement ouvrant est le guillemet fermant mis sens dessus dessous. Une suite compose du guillemet ouvrant, dune expression E et dun guillemet fermant est une e expression dsignant lexpression E ; lexpression E est ainsi mise entre guillemets e simples. Donc Rome, qui a quatre lettres, nest pas une ville, alors que Rome en est une. Chacun sait galement que nest pas une lettre grecque, mais le nombre bien e connu dsign par . Plus curieusement, nest pas un guillemet simple, mais e e en est un. Enn E nest pas en gnral lexpression E mise entre guillemets, mais e e la lettre E : si lexpression E est Rome, E entre guillemets a six caract`res alors e que E nen a quun. Les guillemets permettent donc de parler dans la langue des expressions de la langue. Dautres procds peuvent galement tre utiliss, comme la mise en italique e e e e e ou les guillemets ordinaires que sont et . Cependant, lavantage des guillemets simples est leur uniformit, et de plus ils nont pas dautre usage. Notons quil nest e pas ncessaire dutiliser lune ou lautre de ces mthodes quand le contexte indique e e clairement si on parle dun mot ou dune chose. Ainsi, il est vident que la phrase e Rome est un mot de quatre lettres doit se lire le plus souvent Rome est un mot de quatre lettres. Points communs avec les langues naturelles La loglangue comprend un ensemble de lettres formant lalphabet qui permettent de construire des expressions. Les lettres ou symboles sont groups en sortes : les e symboles propositionnels, prdicatifs et fonctionnels, les constantes, les variables, les e symboles logiques et les parenth`ses, seuls signes de ponctuation. e Toute suite nie de lettres de lalphabet est une expression. Mais toute expression nest pas grammaticale. Les expressions grammaticales sont de direntes e catgories : les termes, les noncs simples et complexes. e e e Elle est vivante, en ce sens quelle volue en sadjoignant de nouveaux mots et e en se dbarrassant dexpressions dsu`tes et darcha e e e smes. Dirences avec les langues naturelles e Cette langue est crite avant dtre parle. e e e

Cours de loglangue

Elle ne prsente pas de degrs de grammaticalit, toute expression est pleinement e e e grammaticale ou ne lest pas du tout. Lapprentissage ne suppose pas lassimilation dun lexique. La signication du vocabulaire utilis peut varier dun texte, voire dune phrase ` lautre. e a On observe aussi de grandes variantes dans lcriture et la prononciation. On e peut ainsi considrer quil y a plusieurs dialectes, voire des loglangues direntes. e e Cependant le passage de lune ` lautre est quasi immdiat. a e On na dcouvert ` ce jour aucun individu dont la loglangue serait la langue e a maternelle. Dirences de la traduction ici expose et de celle qui a cours entre idiomes e e naturels Un nonc dune langue naturelle comme le franais poss`de une composante e e c e grammaticale, une composante smantique (un sens), une composante rhtorique e e ou pragmatique (les prsupposs et sous-entendus possibles) et une composante e e potique (les eets de lcriture et du son). Ces direntes composantes sont e e e prcisment ce quune traduction dans une autre langue ou dans la mme, maintient e e e ou modie. Lorsque les prcieuses de Moli`re ordonnent ` leur serviteur voitureze e a nous ici les commodits de la conversation, on peut traduire cela par apporteze nous les si`ges, et on conserve ainsi plus ou moins les composantes grammaticale e et smantique, mais on perd les eets pragmatiques et potiques. Quand on trae e duit litalien traduttore, traditore en une traduction parfaite est impossible on prserve sans doute la composante smantique, mais on alt`re les autres. Quand on e e e traduit cela en traducteur, trouducteur (Cline), on modie beaucoup moins les e composantes potique et rhtorique que les deux autres. e e Lanalyse logique dgage la composante smantique, certes pas le sens complet e e mais la structure du sens, appele structure logique. Nous considrons une analyse e e logique dune phrase franaise comme une traduction de cette phrase dans la (ou c une) loglangue. La loglangue est ainsi faite quelle eace le plus possible les lments ee grammaticaux, rhtoriques et potiques de la langue analyse. e e e Les phrases franaises peuvent sanalyser de diverses mani`res. Dabord en c e profondeur. Ensuite, pour une mme profondeur en largeur. La profondeur de e lanalyse est une notion relative : une analyse est plus profonde quune autre si elle traduit davantage de distinctions prsentes dans la phrase. La largeur se rf`re e ee a ` la mani`re de grouper les composantes qui ont t ainsi distingues. e ee e Nous verrons que la traduction dune phrase comme Antigone aime son fr`re, e peut de plus en plus profondment faire appara e tre successivement quil sagit dune phrase non analyse ; dune phrase analyse comme mise en rapport des e e entits inanalyses que sont Antigone et aime son fr`re ; dune relation entre e e e

Cours de loglangue

Antigone , son fr`re et lamour , dune relation entre Antigone , son , e fr`re , le , amour et le moment prsent etc. D`s quon a atteint la profondeur e e e o` Antigone et son fr`re apparaissent distinctement, on peut encore, en u e largeur cette fois, choisir de relier son fr`re ` Antigone ou non. e a La plupart des phrases franaises, sinon toutes, sont donc envisages comme c e ambigus, tant verticalement quhorizontalement. Une analyse est pour ainsi dire e une leve de lambigu e, une lecture logique. La diversit des analyses se justie e t e en n de compte par le contexte dans lequel la phrase est utilise ou doit ltre, e e notamment les raisonnements dans lesquels elle gurent. Il ny a d`s lors pas de sens e a ` distinguer dans labsolu une traduction qui serait ou la meilleure ou lauthentique. Prononciation Les loglangophones (ou loglangographes) sexpriment et communiquent gne e ralement par crit, ils utilisent pour cela des feuilles de papier ou assez souvent des e tableaux et des craies. Des expressions courtes peuvent cependant tre lues ` voix e a haute ou directement nonces. Voici quelques principes de prononciation adopts e e e par les francophones. Toutes les lettres ordinaires se prononcent. Elles se prononcent par leurs noms : a, baie, sait, d, et, ee, jai, hache, y, git, cas, elle, aime, haine, eau, paie, cul, e air, esse, taie, hue, vais, double vais, ixe, y grec, zette. Les dirences dintonation e naectent pas la comprhension. e Ainsi lexpression sac ne se prononce pas comme dans sac-`-dos mais comme a est-ce assez. Les signes diacritiques accents et indices se prononcent distinctement en les dtachant des lettres et en commenant par le bas : s8 ac, est-ce mille huit e c 1000 1 assez ; g c4 , jai un C4. Les lettres spciales se prononcent comme suit : la lettre se prononce non ; e se prononce et ; se prononce ou ; se prononce implique ; se prononce quivaut ` ; se prononce pour tout ; se prononce il existe un ; = se prononce e a gale. Les parenth`ses se marquent ` loral par une lg`re pause. e e a e e (s (r p)) : esse implique, air ou paie. x s1 x sz : il existe un nixe est-ce un nixe ou est-ce Zette. (p7 da8 abgac r) : paie vingt-sept ds ` huit abbs jai assez, et, non erre. e a e 20

Cours de loglangue

Leon 1. c

Il pleut

Vocabulaire p Il pleut. q Il tonne. r Il fait beau. s Il est midi.

Version 1. p 2. p 3. r 4. r 5. q 6. s 7. (r s) 8. (q p) 9. (s q) 10. (q r) Explications Les lettres p, q, r et s sont des symboles propositionnels, leurs traductions sont des phrases dclaratives du franais, comme lhiver est dur, cest la pause e c caf, mais pas taisez-vous !, o` est-il pass ?. Les symboles propositionnels sont e u e des noncs de base de la loglangue. e e Un nonc est une expression susceptible dtre vraie ou fausse. Il est utile e e e dintroduire les valeurs de vrit que sont le vrai et le faux et de considrer quun e e e nonc peut recevoir une et seule de ces valeurs. Selon que sa valeur est le vrai ou e e le faux, un nonc sera rput vrai ou faux. e e e e La ngation dun nonc se forme en le faisant prcder du symbole . Une e e e e e ngation A est vraie si lnonc A nest pas vrai et fausse sil est vrai. A na donc e e e jamais la mme valeur de vrit que A. e e e Les noncs (A B), (A B) et (A B) sont respectivement la conjonction, e e la disjonction et lquivalence de A et de B. e Une conjonction dnoncs est vraie si et seulement si ces noncs sont tous e e e e vrais. Une disjonction dnoncs est vraie si et seulement si lun au moins de ces e e noncs est vrai. Enn, une quivalence dnoncs est vraie si et seulement si ces e e e e e Il pleut. Il ne pleut pas. Il fait beau. Il ne fait pas beau. Il ne tonne pas. Il nest pas midi. Il fait beau et il est midi. Il tonne ou il pleut. Il est midi si et seulement sil tonne. Il ne tonne pas et il ne fait pas beau.

Cours de loglangue

noncs sont tous vrais ou tous faux : la valeur de vrit dune quivalence est le vrai e e e e e lorsque ces noncs ont une mme valeur, sa valeur est le faux lorsque ces valeurs e e e sont direntes. e Th`me e 1. Il pleut et il ne pleut pas. 2. Ce nest pas en mme temps quil e pleut et quil tonne. 3. Il tonne ou il ne fait pas beau. 4. Ou bien il tonne ou bien il fait beau. (p p) (p q) (q r) ((q r) (q r)) ((q r) (q r)) (q r) (q r) ((q r) (q r)) (q r) ((q r) (q r)) ((s p) r) (r (s q))

5. Il tonne si et seulement si il ne fait pas beau. 6. Il nest pas vrai quil tonne si et seulement si il fait beau. 7. Il est midi, il pleut et il ne fait pas beau. 8. Sil fait beau, il est midi et il tonne et sil est midi et quil tonne, il fait beau. 9. Il pleut ou il tonne et il nest pas midi. 10. Sil ne tonne pas ou sil ne fait pas beau, alors il fait beau et il est midi, et inversement Remarques

((p q) s) (p (q s)) ((q r) (r s))

On traduira une ngation en franais soit en plaant une expression comme il e c c ne se trouve pas que, on na pas que, il nest pas vrai que devant la traduction de lnonc ni, soit en introduisant ne...pas ` lintrieur de celui-ci. e e e a e Une conjonction se traduit gnralement ` laide du mot et, une disjonction ` e e a a laide de ou ou de et/ou, et une quivalence avec si et seulement si ou quivaut e e a `. Il est dusage en franais crit dabrger si et seulement si en ssi. c e e Pour dterminer si A est vrai ou faux, il sut de dterminer si A est vrai ou e e faux. Donc, la valeur de vrit de A est fonction, au sens mathmatique, de la e e e valeur de A.

Cours de loglangue

(A B), (A B) et (A B) sont galement des fonctions de vrit, car e e e connaissant les valeurs de A et de B, on peut calculer les valeurs de (A B), (A B) et de (A B). Pour cette raison, le ngateur , le conjoncteur , le disjoncteur et lquie e valuateur sont appels foncteurs de vrit. e e e Les loglangues ne contiennent que rarement un symbole qui traduit le disjoncteur dit exclusif : ou bien...ou bien... . Un tel symbole serait un foncteur de vrit, e e car ou bien A ou bien B nest vrai que si lun des noncs est vrai et pas lautre. e e Labsence de ce foncteur nest cependant pas une vritable lacune, car ou bien A ou e bien B peut se rendre par ((A B) (A B)) ou, plus bri`vement, (A B). e Dautres foncteurs usuels peuvent se formuler ` laide de ceux quon a introduit. a ni A ni B, par exemple, scrit (A B). e

Cours de loglangue

Leon 2. c

Paul est russe

Vocabulaire a b Paul Sophie p1 russe q 1 belge r 1 lle s1 garon c

Version 1. p1 a 2. p1 a 3. q 1 b 4. q 1 b 5. r 1 b 6. r 1 b 7. s1 a 8. (q 1 b p1 a) 9. (q 1 a p1 b) 10. (q 1 b p1 a) Explications Les lettres p1 , q 1 , r1 et s1 sont des symboles prdicatifs unaires. Elles dsignent e e des proprits. Les lettres a et b sont des constantes. Elles dsignent des objets. ee e Les notions dobjet et de proprit sont si fondamentales quil est sans doute e e impossible de les dnir. On peut nanmoins indiquer ce quelles visent. e e Un objet est une entit considre comme autonome. Parmi les objets, on peut e ee dnombrer, entre autres, les objets physiques ou vivants (les cailloux, les choux, les e chats, les Chinois), psychiques (les maux de dents, les chagrins damour, les motions e profondes) et idaux (les nombres, les gures gomtriques, les valeurs de vrit). e e e e e Une proprit est une entit qui peut sattacher ` un objet (lourd, douloureux, ee e a pair). Puisque Paul est un objet et russe une proprit, la phrase Paul est russe ee exprime en franais que la proprit russe sapplique ` lobjet Paul, ou que Paul c ee a vrie la proprit russe . e ee Paul est russe. Paul nest pas russe. Sophie est belge. Sophie nest pas belge. Sophie est une lle. Sophie nest pas une lle. Paul est un garcon. Sophie est belge et Paul est russe. Paul nest pas belge ou Sophie est russe. Si Sophie est belge, Paul est russe.

Cours de loglangue

On exprime cela dans la loglangue, en faisant prcder la constante, qui dsigne e e e lobjet, du symbole prdicatif, qui dsigne la proprit. p1 a dit que lobjet a vrie e e ee e 1 la proprit p . ee Lnonc (A B) est limplication de A et de B. Il signie que si A est vrai, e e alors B est vrai ou, plus sobrement, si A, B. Examinons cette dnition de plus e pr`s. e Supposons que (A B) soit vrai. Si A est vrai, B est videmment vrai et donc, e dans ce cas, A nest pas vrai ou B est vrai. Et, dautre part, si A nest pas vrai, alors galement A nest pas vrai ou B est vrai. Or lnonc A est vrai ou non. Donc, e e e si (A B) est vrai, A nest pas vrai ou B est vrai. Supposons maintenant que A ne soit pas vrai ou que B soit vrai. Alors (A B) est vrai. En eet, deux cas peuvent se prsenter : A non vrai ou B vrai. Si A est e vrai, on exclut le premier cas et il reste le second, ` savoir que B est vrai. Donc, si a A nest pas vrai ou si B est vrai, (A B) est vrai. En rsum, (A B) est vrai ssi A nest pas vrai ou B est vrai. Par consquent e e e limplicateur est un foncteur de vrit. e e Th`me e 1. Paul nest ni russe ni belge. 2. Paul est un garcon russe ou il est belge. 3. Paul est un garcon et il est russe ou belge. 4. Si Sophie est russe, Paul nest pas belge. 5. Si Sophie nest pas russe, Paul est une lle belge. 6. Si Sophie est russe, alors Paul nest pas une lle, mais il est belge. 7. Si Sophie nest pas une lle et si Paul est belge, alors cest un garcon. 8. Si Sophie est russe, alors elle nest pas un garcon ou Paul est une lle. 9. Si Sophie est russe, alors si Paul est belge, il nest pas une lle. 10. Quelle soit garcon ou lle, Sophie nest ni russe ni belge. p1 a q 1 a (s1 a p1 a) q 1 a s1 a (p1 a q 1 a) p1 b q 1 a p1 b (r 1 a q 1 a) p1 b (r 1 a q 1 a) (r 1 b q 1 a) s1 a p1 b (s1 b r 1 a) p1 b (q 1 a r 1 a) (s1 b r 1 b) (p1 b q 1 b)

Cours de loglangue Remarques

10

On aura remarqu que nous avons omis les parenth`ses extrieures dans lcriture e e e e des noncs de la loglangue. Nous continuerons cette pratique courante lorsquelle e e ne cause pas dambigu e. t La traduction franaise dun symbole prdicatif unaire est assez souvent une c e expression, comme un nom commun ou un adjectif, dsignant une proprit. Les e ee constantes sont traduites par des expressions dsignant des objets, noms propres ou e priphrases (Olivier, le professeur de morale). e La liaison dune proprit et dun objet peut tre rendue par une phrase de la ee e forme sujet est attribut , o` sujet est un nom dobjet et attribut un nom u de proprit : ce caillou est lourd, mon mal de dents est douloureux, le nombre ee 2 est pair, le nombre 2 est lourd, mon mal de dents est pair... Puisque (A B), (A B), (A B) et (A B) sont des fonctions de vrit, leur e e valeur de vrit ne peut dpendre que de la valeur de vrit de A et de B, et pas e e e e e dautre chose comme dun lien ventuel entre A et B, ou de la valeur de vrit que A e e e ou B ont ou auraient eu ` dautres moments ou en dautres lieux. Des (traductions a de) phrases comme Descartes est chinois ou la terre est ronde, Descartes est chinois ssi la terre nest pas ronde, si Descartes est chinois, la terre est ronde, si Descartes est chinois, la terre nest pas ronde sont toutes vraies. Et Descartes est chinois et la terre est ronde, Descartes est chinois ssi la terre est ronde et si Descartes nest pas chinois, la terre nest pas ronde sont fausses. Limplication A B est forme de son antcdent A et de son consquent e e e e B. Une implication est vraie lorsque son antcdent est faux ou son consquent vrai. e e e ` A ne pas y regarder de pr`s ceci peut sembler paradoxal, car limplication est e vraie d`s que son antcdent est faux quelle que soit la valeur du consquent et elle est e e e e vraie d`s que son consquent est vrai indpendamment de lantcdent. Les adages e e e e e latins mdivaux, pour une fois, ne mentaient pas : e falso (sequitur) quodlibet , e e e vero, verum , du faux suit ce quon veut , du vrai, le vrai . Donc, lune au moins des deux phrases suivantes est vraie : si je suis ` Paris, je suis en Belgique, a si je suis ` Bruxelles, je suis en France. a Notons quune implication est fausse ssi son antcdent est vrai et son consquent e e e faux.

Cours de loglangue

11

Leon 3. c

Paul dort

Vocabulaire a b Paul Sophie p1 mangeant q 1 dormant r 1 tonnant p Il tonne.

Version 1. p1 b 2. q 1 b 3. r 1 a 4. p 5. q 1 a 6. q 1 a 7. p1 a q 1 b 8. r 1 a q 1 b 9. p q 1 b 10. q 1 b p Explications Le vocabulaire de cette leon ne saccorde pas avec celui des leons prcdentes. c c e e p par exemple est traduit ici par mangeant et non plus par russe. Cest une caractristique de la loglangue. Les symboles peuvent tre interprts de diverses e e ee faons. Cest galement, dans une mesure moindre, le cas en franais o` Descartes c e c u nomme un philosophe, une ville, un lyce ou un chat. Mais dans la loglangue cette e libert dinterprtation est quasi totale, elle est seulement restreinte par la ncessit e e e e quun symbole propositionnel est toujours un nonc, quune constante dsigne un e e e objet et un symbole prdicatif, une proprit. e ee
1

Sophie mange. Sophie dort. Paul tonne. Il tonne. Paul ne dort pas. Il nest pas vrai que Paul ne dort pas. Paul mange et Sophie ne dort pas. Si Paul tonne, Sophie ne dort pas. Sil tonne, Sophie ne dort pas. Sophie dort ou il tonne.

Les symboles de la loglangue, que nous avons rencontrs, si on omet ces signes de e ponctuation que sont les parenth`ses, peuvent se rpartir en deux grands groupes. e e Dune part, les mots non logiques, ` savoir les symboles propositionnels, prdicatifs a e et les constantes, qui sont interprtables assez librement. Dautre part, les symboles e , , , , , dont linterprtation est toujours la mme, et qui sont, pour cette e e raison, appels connecteurs ou constantes logiques. Dans la leon suivante, nous e c rencontrerons une nouvelle esp`ce de mots. e

Cours de loglangue Th`me e 1. Paul dort en mangeant. 2. Soutenir quil nest pas exact que Paul ne mange pas, serait erron. e 3. Si Paul dort, Sophie nest pas sans manger. 4. Sil nest pas vrai que Paul ne mange pas, alors Sophie dort. 5. Que Paul mange et que Sophie ne dorme pas, ce nest pas exact. 6. Paul est en train de manger ou Sophie ne dort pas? Ni lun ni lautre. 7. Si quand Paul mange, Sophie dort, il tonne. 8. Si quand il mange, Sophie dort, alors Paul tonne. 9. Si Paul mange et que Sophie dort, alors Paul tonne et il tonne. 10. Si, ` supposer que Paul mange, le a fait que Sophie dorme implique quil tonne, alors si elle mange aussi, il dort. Remarques qa pa pa qa pb pa qb (pa qb) (pa qb) (pa qb) ra (pa qb) p (pa qb) ra (pa qb) (ra p)

12

(pa (qb ra)) (pb qa) (pa (qb p)) (pb qa)

Dans la seconde partie de cette leon, nous avons omis dindiquer les accents des c symboles prdicatifs. Comme cela ne peut crer aucune confusion, car il est toujours e e possible de les restaurer et dune faon unique, nous continuerons ` suivre cette c a bonne habitude. Les verbes utiliss intransitivement comme court dans Antoine court sont e traduits comme sils sagissait de est suivi de ladjectif verbal ou du participe prsent : est courant. e Chaque leon xera son propre vocabulaire, qui restera le mme pour toute la c e leon, sauf dans les explications et remarques. Cest ` laide de ce vocabulaire et de c a celui-l` seulement quil faudra tenter de traduire les expressions franaises. a c Lanalyse logique doit donc, dune part, faire appara aussi nement que soutre haitable les structures logiques des expressions de la langue naturelle, en enrichissant au besoin la loglangue, mais elle doit aussi, dautre part, se donner des contraintes

Cours de loglangue

13

qui font quon est tenu danalyser au mieux les expressions avec les moyens du bord. Cette derni`re exigence contribuera ` mettre en lumi`re les limites de certains oue a e tils danalyse, et non de lanalyse logique elle-mme qui nest videmment pas plus e e limite ni ge que ne lest la langue naturelle, et permettra ainsi de mesurer la e e complexit relative des expressions. Un exemple simple illustrera cela : si on veut e analyser la phrase Descartes est militaire et Descartes est philosophe avec comme seules ressources les symboles propositionnels et les foncteurs de vrit, on nobtiene e dra gu`re que p ou, un peu plus nement, qr et on ne pourra jamais faire appara e tre que llment Descartes est commun aux deux composantes de la phrase, comme ee cela est manifeste dans q 1 a r1 a. Que lnonc q r soit une traduction assez grossi`re de la phrase initiale, e e e nempche pas quon a parfois raison de sen contenter, comme lorsquon veut e analyser le raisonnement : Descartes est militaire et Descartes est philosophe Donc Descartes est militaire lequel se traduit parfaitement en : qr Donc q

Cours de loglangue

14

Leon 4. c

Il est russe

Vocabulaire a b moi toi p1 russe p1 marchant 1 q 1 beau r 1 lle s1 garon c

Version 1. px 2. p1 x 3. ry 4. qy 5. sy 6. sy 7. rx sy 8. ra p1 b 9. sa pb 10. py p1 y Explications Les symboles x, y, z sont des variables. Il se traduisent en franais par des mots c comme il, elle, ceci, cela. Ces mots ont quelquefois une fonction dictique, e ils renvoient alors librement ` des objets qui peuvent tre dirents selon les a e e contextes. Le lien entre les variables et les objets nest donc pas, comme dans le cas des constantes, x par linterprtation des mots non logiques. Cest pourquoi e e les variables ne font pas partie du vocabulaire. Les pronoms des deux premi`res personnes, je, tu sont interprts par des e ee constantes. Des variables auraient aussi pu faire laaire, puisque la phrase je pense , par exemple, na de valeur de vrit que lorsque le je est prcis. Cependant e e e e dans une situation de discours, le je et le tu contrairement au il se rf`rent ee automatiquement ` un objet dtermin, ` savoir le locuteur et lallocutaire. a e e a Le symbole p1 est un symbole prdicatif unaire. On pourra ` laide dindices crer e a e 1 autant de symboles nouveaux quon le souhaite, des symboles propositionnels p1 , q1 , 1 1 r1 , s1 , p2 ..., des symboles prdicatifs unaires p1 , q1 , r1 , s1 , p1 ...des constantes a1 , b1 , e 1 1 2 c1 , d1 , a2 ...des variables x1 , y1 , z1 , x2 ... Elle est russe. Il marche. Cest une lle. Elle est belle. Cest un garcon. Ce nest pas un garcon. Ce nest pas une lle, et lui cest un garcon. Je suis une lle et tu marches. Je suis un garcon et tu es russe. Elle est russe et elle marche.

Cours de loglangue Th`me e 1. Cette lle est belle. 2. Cest une lle belle. 3. Cest une belle lle. 4. Ce garcon marche. 5. Cest un garcon qui marche. 6. Tu es une lle et lui cest un garcon. 7. Si cest une belle lle, il est russe. 8. Si cest une belle lle, elle est russe. 9. Si cette lle est russe, je marche. 10. Voil` une lle russe qui marche a avec un beau garcon du mme pays. e Remarques rx qx rx qx rx qx sx p1 x sx p1 x rb sy (ry qy) px (ry qy) py (ry qy) px (rx px) p1 a

15

rx px sy qy py p1 x p1 y

Une expression comme p1 x signie que x a la proprit p1 . Comme sa traduction ee possible elle est russe, cette expression nest en soi ni vraie ni fausse. Elle nest donc pas ` proprement parler un nonc, mais une formule. Les formules se construisent a e e exactement comme les noncs, sauf quil est permis dintroduire des variables l` ou e e a lnonc ne tol`re que des constantes. Tout nonc est donc galement une formule. e e e e e e Quoique ntant ni vraie ni fausse, la formule p1 x le deviendra, en quelque sorte, e lorsquon aura dtermin la valeur de x. Cette valeur peut tre nimporte quel objet. e e e Une attribution de valeurs aux variables est une ()valuation. Puisque les mots e logiques gardent toujours leur mme sens, d`s que linterprtation des mots non e e e logiques est xe, un nonc est vrai ou faux. Une formule, quant ` elle, requiert e e e a en plus une valuation pour pouvoir tre satisfaite ou non, cest-`-dire pour quelle e a puisse devenir vraie ou fausse. En vue de simplier les notations, les formule du type (((A B) C) D), formes avec plusieurs conjoncteurs seront notes plus sobrement A B C D. e e Cette notation est dautant plus justie que les formules comme (((AB)C)D), e ((A B) (C D)), (A ((B C) D)), quoique direntes sont nanmoins e e quivalentes. On fera de mme avec les disjonctions. e e

Cours de loglangue

16

Leon 5. c

Tout Russe est slave

Vocabulaire p1 russe Version 1. x px 2. x px 3. x px 4. x px 5. x px 6. y py 7. z pz 8. y py 9. zpz 10. y py qx Explications Tout est vain. peut sinterprter comme signiant que pour tout objet la phrase e ceci est vain est vraie lorsque ceci dsigne cet objet. Si s1 x traduit ceci est vain, e x s1 x pourra traduire Tout est vain. De faon analogue quelque chose est vaine c peut se lire comme ceci est vain est satisfait par au moins une valeur de ceci, ce qui se traduit x s1 x. Alors que la formule s1 x nest pas un nonc, x s1 x et x s1 x sont des noncs. e e e e Plus besoin ici dvaluer x pour dterminer si x s1 x ou x s1 x sont vrais ou non. e e Les valeurs de x ny comptent plus, ` tel point que les noncs y s1 y, z s1 z disent a e e tous la mme chose. e Th`me e 1. Quelque russe est slave. 2. Quelque russe nest pas slave. x (px qx) x (px qx) x (px qx) Tout est russe Quelque chose est russe. Quelque chose nest pas russe. Rien nest russe. Tout nest pas russe. Tout est russe Quelque chose est russe. Tout nest pas non russe. Quelque chose est russe. Rien nest non russe. Tout est russe. Si tout est russe, elle est slave. q 1 slave

Cours de loglangue x (px qx) x (px qx) x (px qx) x (px qx) x (px qx) x (px qx) x (px qx) x(px qx) x (px qx) x (px qx) x (px qx) x (px qx) x(px qx) x (px qx) x px x qx

17

3. Tout russe est slave. 4. Tout russe nest pas slave.

5. Quelque chose est telle quelle est russe seulement si elle est slave. 6. Tout est russe et non slave. 7. Aucun Russe nest slave. 8. Tout qui nest pas russe est slave. 9. Il y a des choses qui ne sont pas ` la a fois russes et slaves. 10. Quel que soit lindividu, il nest pas vrai que sil est russe il nest pas slave Remarques

Un quanticateur universel est form du symbole suivi dune variable. e Un quanticateur existentiel est form du symbole suivi dune variable. Un e quanticateur suivi dune formule est encore une formule. La formule A est satisfaite par une valuation v ssi pour tout objet la formule A est satisfaite par la valuation qui associe cet objet ` et qui pour le reste se a comporte comme v. Autrement dit, la valuation v satisfait la formule A ssi la formule A est satisfaite par toute valuation qui associe ` toute variable autre que a le mme objet que v. e La formule A est satisfaite, par une valuation v, ssi il y a au moins un objet tel que la formule A est satisfaite par la valuation qui associe cet objet ` et qui a pour le reste se comporte comme v. Autrement dit, il y a une valuation qui ne di`re e au plus de v que par la valeur attribue ` et qui satisfait A. e a

Cours de loglangue

18

Leon 6. c

Paul aime Sophie

Vocabulaire a b Paul Sophie p1 russe q 1 belge r 2 aimant s2 plus jeune que

Version 1. s2 ab 2. s2 ab 3. r 2 ab 4. r 2 ba 5. r 2 aa 6. s2 ba 7. x s2 ax 8. x s2 xa 9. x r 2 ax Paul est plus jeune que Sophie. Paul nest pas plus jeune que Sophie. Paul aime Sophie. Sophie aime Paul Paul aime Paul. Paul saime lui-mme. e Paul est plus g que Sophie. a e Paul est plus jeune que quelquun. Paul nest pas le plus g. a e Elle est plus jeune que Paul. Paul nest pas le plus jeune. Paul aime quelquun ou quelque chose. Paul est amoureux. Paul nest pas aim. e

10. x r 2 xa Explications

2 2 Les lettres p2 , q 2 , r2 , s2 , p2 , q1 , r1 , s2 , p2 etc sont des symboles prdicatifs e 1 1 2 binaires. Ces symboles sinterpr`tent par des relations. Un nonc comme p2 ab e e e signie que (lobjet dsign par) a entretient la relation (dsigne par) p2 avec (lobjet e e e e dsign par) b. e e

Si p2 dsigne la relation damour, a dsigne Romo et b dsigne Juliette. La e e e e 2 phrase p ab signie que Romo aime Juliette. e Les exposants des symboles p1 et p2 , indiquent que le premier est un symbole unaire qui dsigne une proprit sappliquant ` des objets et le second un symbole e ee a binaire, qui dsigne une relation reliant des objets. Ces deux symboles sont donc de e nature tr`s dirente. Nonobstant cela, aucune ambigu e ne surgit si on ncrit pas e e t e leurs exposants, puisquune formule constitue dun symbole suivi de zro, un ou e e

Cours de loglangue

19

deux termes est ncessairement un symbole propositionnel ou est construite avec un e symbole prdicatif unaire ou un symbole prdicatif binaire, respectivement. e e Th`me e 1. Paul est un amant de Sophie. 2. Si Sophie aime Paul, je veux bien tre pendu. e 3. Paul nest pas plus jeune quil nest. 4. Sophie ne saime pas, mais Paul si. 5. Paul, qui est russe, aime Sophie, qui est belge. 6. Sophie nest pas la plus jeune des Belges. 7. Paul aime les Russes en gnral et e e Sophie en particulier. 8. Le Belge Paul naime pas trop les Russes. 9. Si Paul aime Sophie, Sophie naime pas Paul. 10. Tous les amateurs de Sophie sont belges. Remarques Les symboles prdicatifs binaires se traduisent en franais par une expression e c qui, comme un verbe utilis transitivement avec un complment direct, dsigne une e e e relation. La vieille logique lit Romo aime Juliette comme Romo est aimant Juliette , e e signiant que la proprit aimant Juliette sapplique ` lobjet Romo. Ce qui en ee a e 1 1 loglangue donne r a r et a traduisant aimant Juliette et Romo. Juliette e 1 1 aime Romo se traduit de mme par s b s et b traduisant aimant Romo et e e e Juliette. On occulte ainsi le lien arm entre Romo et Juliette. e e Des deux symboles p1 et p2 , le premier dsigne une proprit, le second une e ee relation. La notation a t choisie de faon ` indiquer la similitude quil y a entre ces ee c a deux notions. Lexposant indique larit, cest-`-dire le caract`re unaire ou binaire e a e de la notion. Cette arit correspond syntaxiquement au nombre (doccurrences) de e rab rba saa rbb raa rba pa rab qb x (qx sxb) x (px rax) pb x (px rax) (pb rab) x (px rax) rab qa x (px rax) rab rba x (rxb qx)

Cours de loglangue

20

termes qui doivent suivre le symbole pour obtenir une formule, et smantiquement e au fait que les proprits sappliquent ou non ` des objets isols tandis que les ee a e relations concernent des couples dobjets, ou suites dobjets de longueur deux. La notion darit est lie ` celle dargument. Une proprit a un argument et une e e a ee relation en a deux.

Cours de loglangue

21

Leon 7. c

Tout le monde aime tout le monde

Vocabulaire a b Paul Sophie p1 russe q 1 slave r 1 garon c s1 lle r 2 aimant s2 plus jeune que

Version 1. x rax 2. x rxy 3. pa rab. 4. x (px rxb) 5. x rxb 6. yx rxy 7. xy rxy 8. xy rxy 9. xy ryx 10. xy rxy x rxx Paul naime personne. Personne ne laime. Paul est russe et Paul aime Sophie. Quelque russe aime Sophie. Tout le monde aime Sophie. Il y a quelquun qui est aim de tout le e monde. Tout le monde aime quelquun. Tout le monde aime tout le monde. Personne nest aim de tout le monde. e Si tout le monde aime tout le monde, alors tout le monde saime.

Explications Quand on dit tout va mal, on nentend pas cela au sens tout ` fait strict que tout a objet est tel que il va mal si il dsigne cet objet, mais on restreint implicitement ses e prtentions. Tout va mal signie normalement que tout objet dune classe ou dun e ensemble considr va mal. Dans ce cas-ci ce pourrait tre un ensemble dvnements. ee e e e Pour traduire correctement des phrases franaises avec quanticateurs, il faut non c seulement dterminer la traduction des noms dobjets, de proprits, de relations et e ee de valeurs de vrit, mais encore dterminer lensemble des objets sur lesquels on e e e quantie, lunivers de rfrence. ee Donc si lunivers est lensemble des animaux malades, tout animal malade ne mourait pas, mais tout animal malade tait frapp peut se dire tout ne mourait e e pas, mais tout tait frapp ou comme La Fontaine tous ne mouraient pas, mais e e tous taient frapps. Si en revanche lunivers comprend tous les tres morts, tout e e e ne mourait pas signie autre chose.

Cours de loglangue

22

On appelle mod`le un univers et une interprtation des expressions non logiques e e dans cet univers. Lunivers doit tre dtermin pour quune traduction soit sans quivoque. Il e e e e nest cependant pas toujours indispensable de lindiquer expressment, car il peut e pratiquement sinduire de la phrase et du contexte. Ainsi, dans cette leon, lunivers c est lensemble des tres humains. e Th`me e 1. Une lle aime un garcon. 2. Les Russes naiment pas les slaves. 3. Les Russes naiment que les Russes. 4. Les Russes sont plus jeunes que les slaves. 5. Toutes les lles aiment un garcon. xy (sx ry rxy) x (sx y (ry rxy)) xy ((px qy) rxy) xy ((px rxy) py) xy ((px qy) sxy) x (sx y (ry rxy)) x y (sx (ry rxy)) y (ry x (sx rxy)) x (px px) x y(px py) yx (px py) x (rx y (sy rxy)) x (rx y (sy rxy)) x (sx y ((ry syx) rxy)) x (sx y ((ry rxy) syx)) 9. Les lles slaves sont plus jeunes que les garcons russes dont elles sont amoureuses. 10. Tout slave est plus jeune quau moins un russe et inversement Remarques Nous avons dit plus haut quen franais, des expressions comme il, elle, ceci, c cela etc peuvent avoir une fonction dictique cest-`-dire renvoyer librement ` un e a a objet variant selon le contexte. Dans la phrase isole il fait les courses, il peut e selon le contexte dsigner des individus dirents. e e x ((sx qx) y ((ry py rxy) sxy)) xy (qx (py sxy)) yx (qy (px syx))

6. Tout russe est un russe.

7. Un garcon aime toutes les lles. 8. Les lles aiment les garcons plus jeunes quelles.

Cours de loglangue

23

Mais ces expressions peuvent aussi avoir une fonction anaphorique. En ce cas, leur rfrence nest plus libre mais dpend de la rfrence dune autre expression de ee e ee la phrase. Le le dans Pierre, elle le voit est usuellement anaphorique, car le le renvoie au mme objet que Pierre. Le elle par contre est dictique. e e Dans le cas de la loglangue, la situation est plus complique. Les notions e doccurrences dictique et anaphorique semblent garder leur sens. Dans px qx, e la rfrence de la seconde occurrence de x, dpend de la rfrence de la premi`re ee e ee e occurrence de x. Donc, elle est anaphorique, mais la rfrence de la premi`re ee e occurrence dpend aussi bien de la rfrence de la seconde. Elle est donc aussi e ee anaphorique ! La formule x px qx, traduite mot ` mot, pourrait signier que si pour a tout objet, cet objet est russe, alors cet objet est slave. La seconde occurrence de lexpression cet objet a une fonction dictique, mais la premi`re nest pas dictique e e e car elle est relie ` la premi`re occurrence de objet, de sorte que sa rfrence ne e a e ee saurait tre donne indpendamment. Mais elle nest pas davantage anaphorique, e e e car en ralit elle na pas de rfrence du tout. Cest pourquoi cette occurrence de e e ee cet objet nest plus mentionne dans la traduction si tout est russe, cet objet est e slave. Lnonc x (px qx), traduit mot ` mot, devient pour tout objet, si cet objet e e a est russe, alors cet objet est slave. Cette fois aucune des occurrences de cet objet nest dictique. Elles disparaissent dans la traduction tout russe est slave. e Nous dirons que dans x px qx, les deux premi`res occurrences de x sont e lies et la derni`re libre , mais quelles sont toutes lies dans x (px qx). Des e e e remarques analogues valent pour des expressions mentionnant . Voici les dnitions e explicites de ces notions. Une occurrence de la variable est dite lie ssi elle gure dans une formule de e la forme A ou A. Une occurrence de la variable dans une formule est libre si elle nest pas lie, cest-`-dire si elle ne gure pas dans une sous-formule (de cette e a formule) de la forme A ou A. Un nonc est une formule susceptible dtre vraie ou fausse. Si une formule e e e contient une occurrence libre de variable, sa valeur de vrit ne pourra gnralement, e e e e tre dtermine que si on value les variables (ayant des occurrences) libres de la e e e e formule. Si elle ne contient pas de (occurrences de) variables libres, sa valeur est seulement fonction de linterprtation des symboles non logiques. Nous pouvons ainsi e donner une dnition syntaxique de la notion dnonc : un nonc est une formule e e e e e qui ne contient pas doccurences libres de variables. Donc dans un nonc chaque e e (occurrence de) variable est soit une partie dun quanticateur, soit se trouve dans une sous-formule qui commence par un quanticateur comprenant cette variable.

Cours de loglangue

24

Leon 8. c

Paul donne un livre ` Sophie a

Vocabulaire a b c d Paul Sophie Moi Toi a2 Namur a3 Wavre a4 Gembloux a5 Louvain-la-Neuve p1 livre p2 rencontrant q 3 rencontrant...dans... r 3 donnant...`... a s3 prfrant...`... ee a s5 entre...et...sur la ligne qui joint...`... a

a1 Bruxelles

Version 1. pab 2. qaba5 3. qbca5 4. qcda4 5. x qcdx 6. pab pba 7. saa2 a1 8. pab saba 9. sa5 a3 a4 a1 a2 Paul rencontre Sophie. Paul rencontre Sophie ` a Louvain-la-Neuve. Sophie me rencontre ` a Louvain-la-Neuve. Je te rencontre ` Gembloux. a Je te rencontre. Paul et Sophie se rencontrent. Paul prf`re Namur ` Bruxelles. ee a Paul rencontre Sophie et la prf`re ` ee a lui-mme. e Louvain-la-Neuve se trouve entre Wavre et Gembloux sur la ligne qui joint Bruxelles ` Namur. a Louvain-la-Neuve se trouve entre Wavre et Gembloux.

10. sa5 a3 a4 a3 a4

Explications Les symboles p3 , q 3 , r3 , s3 , p4 , q 4 , r4 , s4 , p5 , q 5 , r5 , s5 etc sont des symboles prdicatifs ou relationnels ternaires (ou trois-aires), quatre-aires, cinq-aires etc. e Ces symboles sinterpr`tent par des relations ternaires, quatre-aires, cinq-aires. e 3 Une formule comme p abx signie que les objets dsigns par a, b, x sont dans la e e relation dsigne par p3 . e e

Cours de loglangue

25

Si p3 dsigne la relation de jalousie, a dsigne Romo, b Rodrigue et c Chim`ne, e e e e 3 la phrase p abc signie que Romo est jaloux de Rodrigue ` cause de Chim`ne. e a e Dans un symbole comme pn lexposant n indique quil faut le complter avec n e termes pour obtenir une formule ou un nonc. e e Les symboles propositionnels sont des noncs, il faut donc les complter avec e e e zro terme pour obtenir une formule, leur arit est par consquent 0 et ce sont des e e e symboles prdicatifs nulaires ou zro-aires, quoiquon ne leur aecte pas dexposant. e e Th`me e 1. Je ne rencontre personne. 2. Paul donne un livre ` Sophie. a 3. Sophie a recu un livre. 4. Paul sore un livre. 5. Il ny a rien entre Paul et Sophie. 6. En allant de Namur ` Bruxelles, on a passe par Gembloux avant darriver ` a Wavre. 7. Je rencontre Sophie quelque part entre deux villes sur la route de Bruxelles ` Namur. a 8. Lorsque Paul rencontre Sophie ` a Namur, il lui donne son livre prfr. eee 9. Tous ceux qui la lui prf`rent ont ee rendez-vous avec Sophie entre Bruxelles et Louvain-la-Neuve. 10. Rencontrer quelquun, cest forcment le rencontrer quelque part. e Remarques Les symboles prdicatifs naires se traduisent par des verbes munis dindicateurs e de complments : est jaloux de ` cause de , donne ` , boit ` lendroit e a a a e au moment t en compagnie de ` loccasion de etc a ` ` Dans Eve mange la pomme, mange dsigne une relation entre Eve et la pomme. e ` Elle est donc ` deux arguments. Mais comme on peut galement dire Eve mange on a e ` devrait conclure quelle na quun argument. Mais, on peut encore dire Eve mange la pomme au dessert, auquel cas mange devient une relation ternaire reliant, x pcx x (px raxb) yx (px ryxb) x (px raxa) x sxabab sa3 a2 a1 a2 a1 sa4 a2 a1 a2 a1 sa4 a2 a3 a2 a3 xyz(qcax sxyza1 a2 )

qaba2 x (px raxb y (py sbxy)) x (sxby z (qxbz sza1 a5 a1 a5 )) x (y pxy zy qxyz) x (zy qxyz zy qxyz)

Cours de loglangue

26

` Eve, la pomme et le dessert. mange doit-il tre considr comme un symbole unaire, e ee binaire ou ternaire ? Cela dpend de ce quon veut retenir de la phrase. En logique lmentaire, on e ee adopte deux solutions. La premi`re consiste ` distinguer, pour une relation de ce e a type, direntes relations, chacune ayant un nombre darguments x : mange1 , e e mange2 , mange3 . En ce cas, il faudra rendre compte des similitudes quil y a entre ` elles et qui font, par exemple, que le fait que Eve mange2 la pomme impliquera que ` Eve mange1 . Mais il faut tre prudent et tenir compte de la spcicit des verbes et e e e ` ` de leur usage. Eve boit son verre deau, peut impliquer ou ne pas impliquer que Eve boit, car en franais le sens de verbes comme boire ou sentir, mais pas manger, c peut changer selon quils sont employs transitivement ou intransitivement. e ` La deuxi`me consiste ` introduire des quanticateurs existentiels : Eve mange e a signiant, quil y a une chose, un endroit, un moment, une circonstance, etc. tels que ` Eve mange cette chose en cet endroit, ` ce moment, en cette circonstance... Le prix a a ` payer ici est quil faut dterminer une fois pour toutes le nombre de complments, e e qui est extensible. Il y a une autre issue possible que nous ne retenons pas et qui est celle de certains grammairiens. Elle consiste ` introduire la notion dargument vide ou deacement a ` mange sinterpr`te alors Eve mange ou Eve ` ` de certains arguments : Eve e mange (la pomme) . La notion dargument vide est en ralit assez voisine de e e la quantication. Leacement des arguments revient ` consid`rer que les relations a e nont pas un nombre x darguments, mais un nombre minimum et, ventuellement, e e un nombre maximum. Larit ne serait dans ce cas plus un nombre, mais un ensemble e ni de nombres. Les grammairiens distinguent parfois deux verbes manger, lun strictement transitif et lautre intransitif, soit le plus souvent rangent un unique verbe manger dans la catgorie des verbes transitifs admettant un complment dobjet vide, ou e e permettant leacement ou lellipse de lobjet.

Cours de loglangue

27

Leon 9. c

Ath`nes est la capitale de la Gr`ce e e

Vocabulaire a b Aristote la Gr`ce e c d Ath`nes e Stagire p1 beau q 2 dans f 1 la capitale de g 1 lhomme de

Version 1. p1 c 2. q 2 cb 3. c = f 1 b 4. a = g 1 d 5. f 1 b = c 6. q 2 ac 7. a = g 1 d 8. q 2 af 1 b 9. qg 1 dc 10. qg 1 dc qab Ath`nes est belle. e Ath`nes est en Gr`ce e e Ath`nes est la capitale de la Gr`ce e e Aristote est le Stagirite. La capitale de la Gr`ce est Ath`nes. e e Aristote est ` Ath`nes. a e Aristote se trouve ` Ath`nes. a e Aristote nest autre que le Stagirite. Aristote se trouve dans la capitale de la Gr`ce. e Le Stagirite nest pas ` Ath`nes a e Le Stagirite est ` Ath`nes et Aristote a e nest pas en Gr`ce e

Explications
1 Les symboles f 1 , g 1 , h1 , f1 etc sont des symboles fonctionnels unaires. Ils se traduisent par des expressions comme le F de.... Si F est un symbole fonctionnel unaire et si t, est un terme, alors F t est aussi un terme.

Le symbole = est un symbole prdicatif binaire particulier. Il reprsente e e lidentit ou lgalit. t1 =t2 signie que linterprtation de t1 est la mme que celle e e e e e de t2 . Puisque = sinterpr`te toujours de la mme faon, ` savoir comme lgalit, e e c a e e ` il est un mot logique. A la dirence des autres symboles prdicatifs binaires, = ne e e scrit pas devant ses arguments, mais entre eux. e Nous avons maintenant en main susamment dingrdients pour constituer e toutes les formules et donc tous les noncs de la loglangue. Les formules complexes e e sont composes ` partir de formules lmentaires en utilisant les foncteurs de vrit e a ee e e

Cours de loglangue

28

et les quanticateurs. Les formules lmentaires sont toutes de la forme X, t1 = t2 ee ou Xt1 ...tn o` les ti sont des termes et X un symbole propositionnel ou prdicatif. u e Les termes sont tous de la forme F t1 ...tn ou des constantes ou des variables, les t1 , ..., tn tant des termes. e Th`me e 1. La capitale de la Gr`ce est Ath`nes. e e 2. Non, ce nest pas Aristote la capitale de la Gr`ce, mais Ath`nes. e e 3. Si le Grec nest pas ` Ath`nes, il ne a e se trouve pas en Gr`ce e 4. Aristote se trouve ` Ath`nes, la a e belle capitale de la Gr`ce. e 5. Tout est capitale de quelque chose. 6. Toute chose a sa capitale. 7. Tout nest pas la capitale de tout. 8. Il y a une chose qui nest pas capitale. 9. Toutes les choses nont pas la mme e capitale. 10. Toute chose nest pas la capitale de quelque chose. Remarques Etre se dit de plusieurs faons. En franais on peut distinguer au moins cinq c c usages logiquement distincts du verbe tre. e Dans les jugements dexistence ou de non-existence. Dieu nest pas peut se lire soit, en faisant de lexistence une proprit, comme Dieu nest pas existant r1 d, ee soit comme signiant quil ny a pas de Dieu. Dans ce dernier cas, Dieu peut tre e interprt comme un objet x x = d (ce qui est toujours faux), soit comme une ee proprit x s1 x, il ny a pas dtre divin. ee e Dans les jugements du genre Paris est grande, Paris est une ville, le est indique le rapport dun objet et dune proprit : p1 a. ee Dans les jugements tout Grec est homme, tous les Grecs sont des hommes, quelque Grec est homme, aucun Grec nest homme etc le est indique une relation f 1b = c a = f 1 b f 1 b = c qg 1 bc qg 1 bb q 2 ac pc c = f 1 b xy x = f 1 y xy f 1 x = y xy f 1 x = y xy f 1 x = y xy f 1 y = x xy f 1 y = x

Cours de loglangue

29

non pas entre un objet et une proprit, mais entre des proprits : x (p1 x q 1 x), ee ee 1 1 1 1 x (p x q x), x (p x q x). Dans les noncs Paris est la ville lumi`re, Paris est Lut`ce, le est renvoie ` e e e e a lgalit ou lidentit, qui est une relation entre objets : Paris gale la ville lumi`re, e e e e e a = b. Enn dans Paul est ` Paris, on rencontre galement une relation entre objets : a e s2 ab. Certaines de ces distinctions logiques occultes en franais, mais explicitement e c dgages dans la loglangue, peuvent se rencontrer dans dautres langues naturelles. e e Ainsi, on nutilisera pas le mme verbe pour dire en espagnol ou en portugais Paul e est petit et Paul est ` Paris : Pablo es bajo, Pablo est en Paris. a a

Cours de loglangue

30

Leon 10. c Vocabulaire a b c

Le p`re de Chim`ne naime pas Rodrigue e e

Rodrigue Chim`ne e lEspagne

a101 b1 f1 g1 h1

101 zro e la capitale de le p`re de e lge de a

f 2 la lle de...et de... g 2 la somme de...et de... p1 nombre naturel q 2 aimant

a78 78 a83 83 Version 1. qg 1 ba 2. qg 1 bf 1 c 3. qf 2 bag 1 a

Le p`re de Chim`ne naime pas e e Rodrigue. Le p`re de Chim`ne aime la capitale e e de lEspagne. La lle de Chim`ne et de Rodrigue e aime le p`re de Rodrigue. e 78 + 83 = 101 Le p`re de Chim`ne aime son ge. e e a Rodrigue a le mme ge que Chim`ne. e a e Si Chim`ne est Rodrigue, ils ont le e mme ge. e a Lge du p`re de Rodrigue est la a e somme de lge de Rodrigue et de 78. a Le p`re de Rodrigue a eu son ls ` 78 e a ans. Rodrigue a 78 ans et Chim`ne na pas e le mme ge que lui. e a Un ge est un nombre. a

4. g 2 a78 a83 = a101 5. qg 1 bh1 g 1 b 6. h1 a = h1 b 7. b = a h1 b = h1 a 8. h1 g 1 a = g 2 h1 aa78

9. h1 a = a78 h1 a = h1 b 10. xy (py y = h1 x) Explications

Les symboles f 2 , g 2 , h2 , f 3 , g 3 , h3 etc sont des symboles fonctionnels plus que unaires. Ils se traduisent par des expressions comme le F de...et de...et de.... Comme pour les symboles prdicatifs, les exposants indiquent larit ou le nombre e e darguments. Cela signie que si F est un symbole fonctionnel binaire, et si t1 , t2

Cours de loglangue

31

sont des termes, alors F t1 t2 est aussi un terme. De mme F t1 t2 t3 est un terme, si F e est un symbole fonctionnel ternaire et si t1 , t2 et t3 sont des termes. Nous obtenons par cette construction tous les termes de la loglangue. Voici, par exemple, une srie de termes de plus en plus complexes : a, x, f 2 ax, g 1 f 2 ax, e 2 2 1 2 1 2 2 f f axg f ax, g f f axg 1 f 2 ax, f 2 f 2 f 2 axg 1 f 2 axg 1 f 2 f 2 axg 1 f 2 ax. Il est recommand aux dbutants de ne pas omettre dans lcriture les exposants e e e marquant larit des symboles fonctionnels, car cela peut engendrer lambigu e : e t 2 1 1 2 1 2 2 1 f gab peut se lire f g ab ou f g ab, pf ab peut provenir de p f ab ou de p f ab. Si on respecte cette r`gle, il ny aucun risque dambigu e ` omettre les accents des e t a symboles prdicatifs. e Th`me e 1. Larri`re grand-p`re doublement e e paternel de Chim`ne a 101 ans. e 2. Le p`re de Rodrigue na pas lge de e a la capitale de lEspagne. 3. Alors que Chim`ne vient seulement e de fter ses 83 printemps, la somme de e son ge et de celui de Rodrigue est en a fait identique ` lge du p`re de a a e Rodrigue. 4. 78 est strictement infrieur ` 83 e a 5. Lunique enfant de Rodrigue et de Chim`ne est une lle et leurs petites e lles nont pas encore un an. 6. Rodrigue aime la dirence dge de e a Chim`ne et de son p`re, qui est e e videmment plus g quelle. e a e 7. La lle de Chim`ne et du p`re de e e Rodrigue est plus ge que le p`re de a e e Chim`ne. e 8. Rodrigue adore les capitales qui sont plus vieilles que lui. h1 g 1 g 1 g 1 b = a101 h1 g 1 a = h1 f 1 c h1 b = a83 g 2 h1 bh1 a = h1 g 1 a

x (px x = b1 g 2 a78 x = a83 ) x (y f 2 yf 2 ab = x h1 x = b1 )

x (g 2 xh1 b x (g 2 xh1 b x (g 2 xh1 b x (g 2 xh1 b

= = = =

h1 g 1 a q 2 ax) h1 g 1 b q 2 ax) h1 g 1 a q 2 ax) h1 g 1 b q 2 ax)

x (px x = b1 g 2 h1 g 1 bx = h1 f 2 bg 1 a) x ((y x = f 1 y z (pz z = b1 h1 x = g 2 zh1 a)) qax)

Cours de loglangue xy ((px py) (x = y g b1 x = y)) xy ((px py) (x = y z ((pz (g 2 zx = y g 2 zy = x)) z = b1 )))
2

32

9. Une condition ncessaire et e susante pour que des nombres soient gaux est que leur dirence est nulle. e e

10. Les plus jeunes ne sont pas les plus a e gs.

xy (z(pz z = b1 g 2 hxz = hy) z(pz z = b1 g 2 hyz = hx))

Remarques Les symboles fonctionnels dsignent des fonctions. Une fonction est une entit e e qui associe ` une suite dobjets, dont la longueur est larit de la fonction, un objet a e quon appelle la valeur de la fonction. On peut se reprsenter une fonction comme e une machine qui transforme une suite dobjets, son entre (input), en un objet, sa e sortie (output). Comme dans le cas des quanticateurs, une fonction ne doit pas ncessairement e tre applicable ` tout objet ou suite dobjet. Quelle est la m`re dun caillou ? Elle e a e doit ltre ` tout objet de lunivers de rfrence et sa valeur doit tre un lment de e a ee e ee cet univers. Si cet univers est lensemble des chevaliers de la table ronde, lexpression le chevalier assis ` la droite de dsigne une fonction. Si lunivers est restreint aux a e deux ls dun mme individu, le fr`re de est galement une fonction. e e e Cependant, la langue courante ne suit gnralement pas. Si nous limitons notre e e univers aux Belges, la main gauche de ne dsigne pas selon son sens usuel une e fonction, car ou la main gauche de Paul nest plus belge, ou la main gauche de la main gauche de Paul na plus de sens. De mme le p`re de ou la soeur e e de ne sont pas normalement des fonctions. Ceci dit, on peut toujours supposer que dans les cas o` une fonction nest pas dnie, on convienne plus ou moins u e arbitrairement de la valeur quon lui accordera. Si Paul a plusieurs soeurs, la soeur de Paul est gnralement compris comme la soeur dont on parle. La main gauche e e de la main gauche de Paul peut tre compris comme tant la main gauche de Paul e e ou nimporte quel objet arbitrairement choisi. Quand on parle de la capitale de X, on sous-entendra tout ` fait articiellement, par exemple, quil sagit de la capitale a de X, si X a une capitale ou de X sinon. Nous verrons plus loin quon peut, mais en allongeant sensiblement les expressions, se passer compl`tement des symboles fonctionnels. e

Cours de loglangue

33

Leon 11. c Vocabulaire a b c p Paul Sophie moi Il pleut.

Paul aime sa femme, moi aussi

q r

Il fait beau. Paul court dans la fort. e

r 1 homme r 2 aimant s2 mari ` ea p2 ayant droit ` a

p1 russe q 1 belge

Version 1. p p 2. r (q r) 3. (p p) p 4. ((p q) p) p Il nest pas vrai quil ne pleut pas ssi il pleut. Si Paul court dans la fort, alors sil e fait beau, Paul court dans la fort. e Si mme quand il ne pleut pas, il e pleut, alors il pleut. Supposons que le fait quil pleuve puisse se dduire de ce quil fait beau e est ncessaire pour quil pleuve, alors il e pleut. Sil pleut il fait beau, ou alors il pleut. Dire quil pleut implique que sil fait beau, Paul court dans la fort, cela e revient ` dire que sil fait beau a lorsquil pleut, alors Paul court dans la fort, sil pleut. e Il pleut et il fait beau ssi il nest pas vrai quil ne pleut pas ou quil ne fait pas beau. Il pleut ou il fait beau ssi il nest pas vrai quil ne pleut pas et il ne fait pas beau. Sil fait beau, alors Paul court dans la fort, et il fait beau ssi il fait beau et e Paul court dans la fort. e Il pleut implique quil fait beau ssi il ne fait pas beau implique quil ne pleut pas.

5. (p q) p 6. (p (q r)) ((p q) (p r))

7. (p q) (p q)

8. (p q) (p q)

9. ((q r) q) (q r)

10. (p q) (q p)

Cours de loglangue Explications

34

Les exemples donns dans la version sont des tautologies, cest-`-dire des lois e a logiques qui ne tiennent pas compte des quanticateurs et de lgalit. e e En franais, A et B peut signier que A et B sont simultanment c e vrais, auquel cas et est un foncteur de vrit : Il pleut et il fait froid quivaut ` e e e a Il fait froid et il pleut. Mais et peut aussi signier et puis , qui nest pas un foncteur de vrit : Il cra le monde et il se reposa nquivaut pas ` Il se reposa e e e e a et il cra le monde. e Dautres expressions peuvent remplir le rle de ce foncteur de vrit, citons o e e mais, quoique, bien que, par contre, en revanche : il fait froid, mais il fait beau, il fait beau quoiquil pleuve. Des expressions comme A ou B , A, sauf si B , A, si non B traduisent souvent des disjonctions. Il y a au moins trois foncteurs de vrit qui se rendent par le mot ou, le ou e e exclusif, qui signie ou bien...ou bien... je vivrai sans reproche ou prirai e sans honte, publish or perish (jeu de mots anglais signiant je publierai sans vergogne ou prirai sans honte) le ou inclusif, le prfr des logiciens, qui e eee signie et/ou , Bob roulait trop vite ou il sest endormi au volant et le ou dincompatibilit, qui quivaut ` pas ` la fois boire ou conduire, il faut e e a a choisir. Si on arme A ou B , cest en gnral parce quon ignore lequel des e e noncs de A ou de B est vrai et si on pose la question A ou B on esp`re e e e comme rponse A ou B . Mais la logique est indirente ` ces conventions e e a du savoir-vivre langagier : le logicien pourra dclarer avec aplomb Paris est en e France ou je viendrai ` quatre heures ou rpondre sans rire oui ` la question a e a viendrez-vous le matin ou lapr`s-midi ?. e

Cours de loglangue Th`me e 1. Paul est mari ` Sophie. ea 2. Paul et Sophie sont maris. e sab sab sba sab sba x sax x sbx x (sax sbx) pa qa x (rx px qx) x (rx px) x (rx qx)

35

3. Paul ou Sophie est mari. e 4. Paul est russe et belge. 5. Quelque homme est russe et belge. 6. Quelque homme est russe et quelque homme est belge. 7. Paul aime sa femme et moi aussi.

x (sax rax) y (scy rcy) x (sax rax rcx) x (syx rax rcx) x (sax rax rac) r 2 ab x (pax pbx) a=b xy ((rx ry) z (pxz pyz)) xy ((rx ry) x = y)

8. Serait-il Dieu possible que Paul aimt Sophie? a 9. Paul est lgal de Sophie. e 10. Tous les hommes sont gaux. e

Remarques Parfois la conjonction ou la disjonction se marque sur une partie de lnonc. Elle e e se ram`ne alors ` la conjonction de deux noncs ou plus. Paris est grande et belle e a e e quivaut ` Paris est grande et Paris est belle. Paris est grande ou belle quivaut ` e a e a Paris est grande ou Paris est belle. Paris et Bruxelles sont des capitales quivaut e a ` Paris est une capitale et Bruxelles est une capitale. Paris ou Bruxelles est une capitale quivaut ` Paris est une capitale ou Bruxelles est une capitale. Enn, e a Rome et Paris sont et resteront grandes et belles quivaut ` Rome est grande et e a Rome est belle et Rome restera grande et Rome restera belle et Paris est grande et Paris est belle et Paris restera grande et Paris restera belle. Mais alors que quelque ville est grande ou belle quivaut ` quelque ville est e a grande ou quelque ville est belle, quelque ville est grande et belle nquivaut pas e a ` quelque ville est grande et quelque ville est belle. Le ls de Joseph et de Marie est parti en voyage nquivaut pas ` le ls de Joseph est parti en voyage et le ls e a

Cours de loglangue

36

de Marie est parti en voyage. Joseph est le mari de Marie et il est charpentier ne dit pas la mme chose que Il est charpentier et Joseph est le mari de Marie. e Les manifestants taient tous belges et portugais signie autre chose que Les e manifestants taient tous belges et les manifestants taient tous portugais. e e Quoique limplicateur ne traduise pas souvent exactement un connecteur du franais, il peut nanmoins se rendre, dans certains contextes, par des locutions c e comme A implique B , si A, alors B , si A, B , A seulement si B , A est susant pour que B , A est une condition susante pour que B , B, si A , B, d`s que A , B, pourvu que A , B est une condition ncessaire pour que e e A , B, ` moins que non A . a Parfois le si...alors... ressemble davantage ` un conjoncteur qu` un implicateur. a a Mon p`re est loens, si loenseur est p`re de Chim`ne sinterpr`te ` premi`re e e e e e a e vue comme une implication entre loenseur est p`re de Chim`ne et mon p`re est e e e loens. Mais si on sous-entend que mon p`re est loens est vrai, la phrase a la e e e forme (A B) A et elle quivaut ` A B. e a Quand le consquent dune implication est manifestement faux, limplication e est une faon particuli`re de nier lantcdent : si vous tes le professeur Tournesol, c e e e e moi je suis la reine dAngleterre, revient logiquement ` vous ntes pas le professeur a e Tournesol. Quand lantcdent est manifestement vrai, limplication renforce larmation e e du consquent : quoiquil en soit, il est temps den nir conrme avec une force e non logique quil est temps den nir.

Cours de loglangue

37

Leon 12. c Vocabulaire a Sophie

Sophie a plus dun amant

p1 russe

q 1 slave

r 2 aimant

Version 1. (x px x qx) x (px qx) 2. x (px qx) (x px x qx) Si tout est russe ou tout est slave, tout est russe ou slave. Si quelque chose est russe et slave, quelque chose est russe et quelque chose est slave. Tout est russe et tout est slave ssi tout est russe et slave. Quelque chose est russe ou slave ssi il y a un russe ou il y a un slave. Tout est tel quil est russe ou Sophie est slave ssi tout est russe ou Sophie est slave. Tout est russe implique tout est slave ssi pour toute chose le fait que tout soit russe implique quelle est slave. Tout est russe implique tout est slave ssi pour une certaine chose, le fait quelle soit russe implique que tout est slave. Il y a quelquun de si singulier quil sut quil soit slave pour que tout le monde le soit. Si tout est russe implique que tout est slave, alors il y a une chose telle que tout est slave si elle est russe, et rciproquement. e Les Russes amoureux de Sophie sont tous des Russes qui ne sont pas slaves ou alors des slaves qui aiment Sophie.

3. (x px x qx) x (px qx) 4. x (px qx) (x px x qx) 5. x (px qa) (x px qa)

6. (x px x qx) x (x px qx) 7. (x px x qx) x (px x qx)

8. x (qx x qx)

9. (x px x qx) xy (px qy)

10. x ((px rxa) ((px qx) (qx rxa)))

Explications Les noncs de la version sont des lois logiques, ils sont vrais dans tous les e e mod`les. Ces lois illustrent des principes gnraux comme ceux-ci : e e e

Cours de loglangue

38

se distribue par rapport ` et par rapport ` : (AB) ( A B), a a (A B) ( A B). En toute gnralit, ne se distribue pas par rapport ` ni par rapport ` . e e e a a Cependant, ( A B) (A B) et (A B) ( A B). et peuvent sexporter dans les cas suivants : A A, A A ; (A B) (A B), (A B) (A B), si nest pas libre dans A, est mis pour , ou ; ( A B) (A B), ( A B) (A B), ( A B) (A B), ( A B) (A B), si nest pas libre dans B, est mis pour , . Th`me e 1. Tout Russe aime un Russe. 2. Tout Russe aime un autre Russe. 3. Tout Russe aime un slave. 4. Elle est russe et Sophie est slave. 5. Sophie est slave et elle est russe. 6. Quelquun aime Sophie. Sophie a au moins un amant. 7. Un Russe aime Sophie. 8. Deux personnes au moins aiment Sophie. Sophie a plus dun amant. 9. Si Sophie na pas damant, elle en a au plus un. 10. Sophie a exactement deux amants. x (px y(py rxy)) x (px y(x = y py rxy)) x (px y(qy rxy)) px qa qa pa qa px x rxa x (px rxa) xy (x = y rxa rya)

x rxa xy ((rxa rya) x = y) xy (x = y rxa rya z (rza (z = x z = y)))

Cours de loglangue Remarques

39

Cest avec lgalit quon traduit usuellement les expressions qui concernent le e e mme et lautre et les nombres naturels : un, deux, trois... Au moins trois cours e sont obligatoires sanalyse en il y a des cours X, Y et Z tels que X, Y , Z sont obligatoires et X nest pas gal ` Y et X nest pas gal ` Z et Y nest pas gal ` e a e a e a Z. Trois cours au plus sont obligatoires sanalyse en pour tous cours X, Y , Z, V , sils sont ogligatoires, alors X est gal ` Y ou X est gal ` Z ou X est gal ` V e a e a e a ou Y est gal ` Z ou Y est gal ` V ou Z est gal ` V . Trois cours exactement e a e a e a sont obligatoires sanalyse en trois cours au moins sont obligatoires et trois cours au plus sont obligatoires.

Cours de loglangue

40

Leon 13. c Vocabulaire a Sophie

Lamant de Sophie est chauve

p1 russe q 1 chauve

f 1 le seul ou la seule qui aime r 2 aimant

Version 1. x rxa 2. xp rxa 3. x y ((rxa rya) x = y) 4. x rxa xy ((rxa rya) x = y) 5. x (rxa qx) 6. q 1 f 1 a 7. x rxa xy ((rxa rya) x = y) x (rxa qx) 8. x (y (rya x = y) qx) 9. (x rxaxy ((rxarya) x = y)) x rxa 10. xp rxa xp y p ((rxa rxa) x = y) Explications Pour abrger les critures et rendre les formules plus intelligibles, on peut crire e e e P A au lieu de (P A), et P A au lieu de (P A), lorsque P est un symbole prdicatif unaire. P A signie donc que tous les P satisfont A et P A, e quil y a un P qui satisfait A. xp y q rxy abr`ge donc x (px y (qy rxy)), qui quivaut, par exportation, ` e e a xy ((px qy) rxy). xp y q rxy abr`ge x (px y (qy rxy)), qui quivaut ` xy (px qy rxy). e e a p q x y rxy abr`ge x (px y (qy rxy)), qui quivaut ` xy (px (qy rxy)). e e a y q xp rxy abr`ge y (qy x (px rxy)), qui quivaut ` yx (qy (px rxy)). e e a Sophie a au moins un amant. Un des amants de Sophie est russe Sophie a au plus un amant. Sophie a exactement un amant. Tout amant de Sophie est chauve Lamant de Sophie est chauve. Lamant de Sophie est chauve. Lamant de Sophie est chauve. Lamant de Sophie nexiste pas, quoiquelle ait un amant. Sophie a plus dun amant. Lamant russe de Sophie existe.

Cours de loglangue Th`me e 1. Il y a des philosophes russes. 2. Lamant de Sophie est son seul amant. 3. En fait de philosophes, il ny a pas que les Russes qui soient chauves x (px rxa) xp rxa x (x = f 1 a rxa) xy ((rxa rya) (x = f 1 a y = f 1 a)) rf 1 aa

41

x ((px rxa) qx) x ((qx rxa) px) xp (rxa qx) xq (rxa px) q 1 f 1 a x rxa xy ((rxa rya) x = y) x (rxa qx) x (rxa y (rya y = x) qx) x(y (rya x = y) qx) (x rxa xy ((rxa rya) x = y) x (rxa qx)) x (y (rya x = y) qx) fa = fa x rxa xy ((rxa rya) x = y) x (rxa x = f a) x(y (rya x = y) x = f a) xy (pxrxaz ((rzapz) x = z)qyryaz ((rzaqz) y = z) x = y) xp y q (rxa z p (rza x = z) rya z q (rza y = z) x = y) x (qx pf 1 x) xy ((qx qy) x = y) xq pf 1 x xq y q x = y x (qx xy ((qx qy) x = y) y (ryx x1 y1 ((rx1 x ry1 x) x1 = y1 ) py) xq (xq y q x = y y (ryx x1 y1 ((rx1 x ry1 x) x1 = y1 ) py)

4. Lamant de Sophie nest pas chauve.

5. Il nest pas exact que lamant de Sophie soit chauve. 6. Lamant de Sophie est lamant de Sophie.

7. Lamant russe de Sophie nest pas son amant chauve.

8. Lamant du chauve nest pas russe.

Cours de loglangue

42 xy (x = y rxa rya xyz ((rxa rya) (x = y x = z)) x (rxa qx)) xy (x = y rxa rya z (rza z = xz = y)qxqy) xp (rxa z p (rza z = x))xq y q (rxaryaz (rza (z = x z = y)) xp y p z p (rxaryaryz x = y x = z y = z))

9. Les deux philosophes sont chauves.

10. Sil ny a quun philosophe russe et que deux philosophes chauves, il y a au moins trois philosophes.

Remarques Les expressions du type le doyen de la facult sont appeles des descripe e tions dnies, les expressions comme un doyen de la facult sont des descriptions e e indnies. Les phrases comprenant des descriptions dnies sont susceptibles dine e terprtations diverses. Soit lexpression est reprsente par une constante, soit par e e e un terme contenant un symbole fonctionnel, soit lexpression nest pas traduite mais bien la phrase comprenant cette expression. Cest cette derni`re interprtation la thorie des descriptions de Russell e e e qui est la plus originale. Le doyen de la facult na plus vingt ans est quivalent ` e e a la conjonction des trois phrases : il y a au moins un doyen de la facult, il y a au e plus un doyen de la facult et tout doyen de la facult a plus de vingt ans. e e Est-il utile de rappeler que Sophie, qui nest pas un mot grec, veut dire sagesse en grec et quun philosophe est, tymologiquement du moins, un amant e de la sagesse ?

Cours de loglangue

43

Leon 14. c Vocabulaire a b Paul Sophie

Laddition est associative

p2 aimant q 2 voisin de

g 2 la somme de...et de... f 2 le produit de...et de...

p1 nombre naturel Notations ( + ) f 2 Version 1. pab pba Paul aime Sophie et Sophie naime pas Paul. Lamour de Paul pour Sophie nest pas rciproque. e Lamour nest jamais rciproque. e Lamour nest pas toujours rciproque. e Lamour nest pas universel. Si n et m sont des nombres, alors n + m = m + n. Laddition est une opration e commutative. Laddition est une opration e associative, cest-`-dire que a ((n + m) + k) = (m + (n + k)). Le carr dune somme de deux nombres e est la somme des carrs de ces nombres e augmente du double de leur produit. e ( ) g 2 Div xp (g 2 x5 = ) 5

2. xy (pxy pyx) 3. xy (pxy pyx) 4. xy pxy 5. xy ((px py) f xy = f yx) xp y p ((x + y) = (y + x))

6. xyz ((px py pz) f f xyz = f xf yz) xp y p z p ((x + y) + z) = (x + (y + z)) 7. xy ((px py) g 2 f 2 xyf 2 xy = f 2 f 2 g 2 xxg 2 yyf 2 g 2 xyg 2 xy) xp y p ((x + y) (x + y)) = ((xx)+(yy))+((xy)+(xy)) 8. x y (qxy qyx) 9. xyz ((qxy qyz) qxz) xyz (qxy (qyz qxz)) xyz (qxy qyz qxz)

La relation de voisinage est symtrique. e La relation de voisinage nest pas transitive.

Cours de loglangue 10. xyz ((qxy qyx) ((qxy qyz) qxz)) Explications ...une bonne notation est si subtile et si suggestive quelle en devient parfois semblable ` un professeur en chair et en os. Des irrgularits dans a e e la notation sont souvent le signe avant-coureur derreurs philosophiques et une notation parfaite serait un substitut de la pense. e (B. Russell, Introduction au Tractatus de Wittgenstein, p. 1718.)

44

La relation de voisinage est symtrique e et transitive.

Lgalit, symbole logique, nest pas antpos comme les autres symboles prdie e e e e catifs binaires. On a conserv la notation courante, =, qui est plus suggestive et e rend donc les formules plus intelligibles. On peut noter dautres symboles prdicatifs ou fonctionnels dune mani`re plus e e n n n vocatrice que p , q , f etc. Il est plus naturel dcrire x + y ou x y que f 2 xy ou e e 2 g xy. Cependant, x + y z est ambigu, alors que f 2 xg 2 yz et g 2 f 2 xyz ne le sont pas. Cest pourquoi il faut parfois crire (x + y) ou (x y) au lieu de x + y ou x y. e Les loglangues sont indirentes au choix des notations, quoique les loglangoe phones attachent beaucoup dimportance ` ce quils appellent la bonne notation . a Th`me e 1. Lgalit est rexive. e e e 2. Lgalit est transitive. e e x x = x xyz ((x = y y = z) x = z) xyz (x = y (y = z x = z)) xy (x = y y = x) xy (x = y y = x) xyz (x = x (x = y y = x) ((x = y y = z) x = z)) xy ((px py gxx = gyy) x = y) xp y p (x x = y y x = y) x (px y (py x = gyy)) xp y p x = y y

3. Lgalit est symtrique. e e e 4. Lgalit est une quivalence. e e e 5. La fonction lever au carr est e e injective. 6. La fonction lever au carr nest e e pas surjective sur les naturels: il y a un nombre naturel qui nest pas un carr e parfait.

Cours de loglangue

45

7. Ce nombre-ci est une racine carre e de ce nombre-l`. a 8. Ce nombre a au plus deux diviseurs.

gxx = y xx=y
p p p z1 z2 z3 ((z1 Div x z2 Div x z3 Div x) (z1 = z2 z1 = z3 z2 = z3 )) p p z1 z2 (z1 Div x z2 Div x z1 = z2 ) p y p (z1 (z1 Div y z1 = y) p (x = y z1 (z1 Div x (z1 = x z1 = y)))) p p p z1 z2 z3 ((z1 Div x z2 Div x z3 Div x) (z1 = z2 z1 = p p z3 z2 = z3 )) z1 z2 (z1 Div x z2 Div x z1 = z2 ) p p z1 z2 (x = z1 z2 (x = z1 x = z2 ))

9. Ce nombre a au moins deux diviseurs. 10. Ce nombre est un nombre premier, cest-`-dire quil est dirent de 1 et a e nest divisible que par lui-mme et e par 1.

Remarques Les formules peuvent tre envisages comme dsignant des relations entre les e e e valeurs de leurs variables libres, de sorte quune formule peut tre abrge comme e e e si elle ntait quune formule de base. x Div y, qui peut se lire x divise y, abr`ge e e p 2 2 x5 (g x5 x = y), qui elle-mme abr`ge dj` x5 (px5 g x5 x = y). Remarquons que e e ea x5 (px5 g 2 x5 x = y) quivaut ` x6 (px6 g 2 x6 x = y), mais pas ` x (pxg 2 xx = y). e a a Nous avons aaire ici ` un conit entre variables libres et lies. Les loglangophones a e appliquent spontanment les r`gles, fastidieuses ` formuler, qui permettent dviter e e a e ces confusions. Nous allons exposer maintenant quelques proprits des fonctions et relations ee frquemment invoques. e e Une fonction injective est telle qu` des objets distincts elle associe des valeurs a distinctes. Une fonction est surjective sur un ensemble, si tout lment de lensemble est ee une valeur de la fonction. La rexivit, la symtrie, la transitivit, sont des proprits de relations que e e e e ee nous avons dj` rencontres et dnies. ea e e Une quivalence est une relation rexive, symtrique et transitive. e e e Une relation fonctionnelle R est une relation telle que si R et R, alors est identique ` . Une fonction unaire est donc assimilable ` une relation fonctionnelle a a

Cours de loglangue

46

R qui vrie en outre la proprit suivante : pour tout objet de lunivers il y au e ee moins un objet tel que R. Les fonctions que nous considrons dans ce cours associent ` tout objet de e a lunivers de rfrence un objet de ce mme univers. Nous avons dj` indiqu que de ee e ea e telles fonctions napparaissent que rarement dans les interprtations des expressions e courantes. Il et t plus commode, pour interprter lexpression la main gauche u ee e de de distinguer un domaine de dnition, dans ce cas un ensemble dhommes, e et un codomaine, dans ce cas, un ensemble de mains, plutt que dintroduire une o valeur arbitraire quand la fonction nest pas naturellement dnie. Cette mthode, e e pratique dans des loglangues volues, aurait ici compliqu inutilement le lexique e e e e et la syntaxe. En ralit, comme on la dj` pressenti, les relations fonctionnelles e e ea permettent dviter ces complications : lexpression fonctionnelle la main gauche e de peut tre remplace par une relation fonctionnelle : a...pour main gauche. e e

Cours de loglangue

47

Leon 15. c Vocabulaire a b c moi toi

Il a cess de pleuvoir e

p1 moment o` il pleut u q 1 moment o` il vente u p2 sortant au moment 1

r 1 moment du temps s2 prcdant e e dans le temps

le moment prsent e

Notation s2

Version 1. pc 2. xr (x cx=cc x) x (rx (sxc x = c scx)) 3. x (x = c (x c c x)) x ((x cc x) x = c) c c 4. x (px p1 ax) 5. y (y c qy x (y xx c p1 bx) 6. pc x (x c px y ((x yy c) py)) 7. pc x (x c px) y (y c py z ((y zz c) pz)) 8. pc y (y z pz)) 9. pc y (c y pz)) 10. xyz ((x x z) Explications Cette derni`re leon illustre ` nouveau que les phrases peuvent se lire de faons e c a c diverses. Un nonc comme il pleut qui tait inanalys et qui paraissait jusqu` e e e e a prsent inanalysable est maintenant analys en le moment prsent est pleuvant. e e e c z (y y z (z yy z) Il pleut Tout moment du temps est pass, e prsent ou futur. e Le moment prsent nest ni pass, ni e e futur. Sil pleut, je ne sors pas. Tu es sorti apr`s un coup de vent. e Il a cess de pleuvoir. e Il recommence ` pleuvoir. a

Sil pleut, alors il a toujours t vrai ee quil pleuvrait. Sil pleut, alors il sera toujours vrai quil a plu. La succession temporelle est transitive.

Cours de loglangue Nous terminons avec quelques proprits de relations. ee

48

Une relation R est asymtrique ssi pour deux objets distincts quelconques et e , nest pas reli par R ` ou ne lest pas ` . e a a Une relation est irrexive ssi elle ne relie aucun objet avec lui-mme. e e Un ordre strict est une relation irrexive et transitive. Une telle relation est e obligatoirement asymtrique. e Un ordre (non strict) est une relation rexive, transitive et asymtrique. e e R est dichotomique ssi pour deux objets distincts quelconques et , est reli e par R ` , ou lest ` . a a Un ordre linaire, strict ou non strict vrie en outre la dichotomie. e e Th`me e 1. Le prsent succ`de au pass. e e e 2. Ca na pas de sens de parler de prcession temporelle entre dautres e choses que des moments du temps. 3. La succession temporelle est un ordre strict. 4. Le temps scoule. e 5. Le temps est linaire. e x (x cx c) y)

xy (x y (rx ry)) xy ((rx ry) x xyz (x x ((x z) x z)) xr y r (x yy

yy

x x = y)

xr y r z r (x x ((x yy z) x z) (x yy x x = y)) x (c x (c y x))) x y (y c

6. Le futur succ`de au prsent et au e e pass. e 7. Quel temps! Quand il cesse de pleuvoir, il vente.

(pc x (x c px y ((x yy c) py))) qc (pc x (x c px y ((x yy c) py))) qc x (c y (x x (x x (x x px) x (c y py)) c y (y c px) x

8. Quoiquil ne pleuvra pas tout le temps, la pluie ne dispara jamais. tra 9. Il y a toujours eu de la pluie. 10. Il pleut pour la derni`re fois. Cest e promis.

x py))

pc x (c

x px)

Cours de loglangue Appendice Grammatical

49

Alphabet
Les lettres de lalphabet dune loglangue comprennent une liste ouverte de symboles appartenant aux listes suivantes : symboles propositionnels : p, q, r, s, p1 , q1 , r1 , s1 , p2 , q2 , . . . (pour chaque n > 0) n n n symboles prdicatifs naires : pn , q n , rn , sn , pn , q1 , r1 , sn , pn , q2 , . . . (pour e 2 1 1 chaque n > 0) n n n n symboles fonctionnels naires de la liste : f n , g n , hn , f1 , g1 , hn , f2 , g2 , . . . 1 (pour chaque n > 0) constantes : a, b, c, d, a1 , b1 , c1 , d1 , a2 , . . . les listes fermes de symboles suivantes : e les variables : x, y, z, x1 , y1 , z1 , x2 , y2 , y2 , x3 , y3 , z3 , . . . les symboles logiques : =, , , , , , et les parenth`ses : ( et ) e

Syntaxe Syntaxe du terme

Toute variable ou constante est un terme. Une suite forme dun symbole fonctionnel naire suivi de n termes est un e terme.

Syntaxe de la formule
Tout symbole propositionnel est une formule. Une suite constitue dun symbole prdicatif naire suivi de n termes est une e e formule. Si t et u sont des termes, alors t = u est une formule. Si A et B sont des formules, alors A, (A B), (A B), (A B) et (A B) sont des formules. Si A est une formule, et si est une variable, alors A et A sont des formules.

Les notions de terme clos et dnonc e e

Un terme clos est un terme dans lequel ne gure aucune variable. Une occurrence dune variable qui gure dans une formule de la forme A ou A est dite quantie ou lie. Elle est libre sinon. e e Un nonc est une formule dont toutes les occurrences de variables sont quanties. e e e

Cours de loglangue Lectures

50

Quest-ce donc que la vertu, voil` ce quil faut examiner. Puisque les phnom`nes a e e de lme sont de trois sortes, les passions, les facults et les dispositions, cest lune a e de ces choses qui doit tre la vertu.. . . [ p q r ] e Or ni les vertus, ni les vices ne sont des passions parce que. . . [ p ] . . .les vertus et les vices ne sont pas non plus des facults. . . [ q ] e Si donc les vertus ne sont ni des passions, ni des facults, il reste que ce sont des e dispositions. [ r ] (Aristote, Ethique de Nicomaque, Livre II, v.) Si les dieux existent et quils ne fassent pas conna aux hommes ce qui doit tre arriver, cest ou bien quils naiment pas les hommes, ou quils pensent quil nest daucun intrt pour eux de savoir ce qui doit arriver, ou quils ne pensent pas que ee cette connaissance soit compatible avec leur majest, ou quils ne peuvent mme pas e e donner une telle connaissance. [ (p q) (r1 r2 r3 r4 ) ] Or il nest pas vrai que les dieux ne nous aiment pas (en eet ils sont nos bienfaiteurs et nos amis), [ r1 ] ils nignorent pas les choses quils ont eux-mmes dcides et e e e arrtes, [ r4 ] il est faux que la connaissance de ce qui doit arriver ne nous ee soit daucun intrt (en eet nous serons plus prudents si nous sommes informs), ee e [ r2 ] ils ne pensent pas que leur majest (car rien nest plus beau que la e bienfaisance) leur interdise de nous faire conna lavenir, [ r3 ] enn ils ne tre peuvent pas ne pas conna ce qui doit arriver. [ r4 ] Il ne peut se faire que tre les dieux soient et ne nous communiquent pas lavenir. [ (p q), p q ] Or les dieux sont, [ p ] donc ils nous communiquent lavenir. [ q ] (Cicron, De la divination, I, 38) e Vocabulaire p q a Figaro paie ` la Damoiselle 2.000 piastres fortes. a Figaro pouse la Damoiselle. e le chteau a

r 1 lieu o` Figaro paie ` la Damoiselle 2.000 piastres fortes. u a s1 lieu o` Figaro pouse la Damoiselle. u e Bartholo. lit. Je soussign reconnais avoir reu de Damoiselle etc. . . la e c somme de deux mille piastres fortes cordonnes ; laquelle somme je lui rendrai ` e a sa rquisition, dans ce chteau ; et je lpouserai. . . [ p q ] . . . e a e Figaro. . . .il nest pas dit dans lcrit : laquelle somme je lui rendrai, ET je e lpouserai ; mais laquelle somme je lui rendrai, OU je lpouserai ; ce qui est bien e e dirent. [ p q ] e

Cours de loglangue Le Comte. Y a-t-il ET dans lacte ; ou bien OU ? Bartholo. Il y a ET. Figaro. Il y a OU. . . .

51

Double-Main. . . . ET. . . OU. . . ET. . . OU. . . Le mot est si mal crit. . . il y a e un pt. . . . ae Bartholo. Je soutiens, moi, que cest la conjonction copulative ET qui lie les membres corrlatifs de la phrase ; je payerai la demoiselle, ET je lpouserai. [ pq ] e e Figaro. Je soutiens, moi, que cest la conjonction alternative, OU qui spare e lesdits membres ; je payerai la donzelle, OU je lpouserai. . . [ p q ] . . . e Bartholo. Pour. . . ne plus chicaner sur un mot, nous passons quil y ait OU. [ p q ] . . . examinons le titre en ce sens. Laquelle somme je lui rendrai dans ce chteau o` je lpouserai. Cest ainsi quon dirait, Messieurs : vous vous ferez saigner a u e dans ce lit o` vous resterez chaudement ; cest dans lequel . Il prendra deux grains u de rhubarbe o` vous mlerez un peu de tamarin ; dans lesquels on mlera. Ainsi u e e chteau o` je lpouserai, Messieurs, cest chteau dans lequel. . . [ ra sa ] a u e a Figaro. Point du tout : la phrase est dans le sens de celle-ci : ou la maladie vous tuera, ou ce sera le mdecin ; ou bien le mdecin, cest incontestable. Autre e e exemple : ou vous ncrirez rien qui plaise, ou les sots vous dnigreront ; ou bien e e les sots, le sens est clair ; car, audit cas, sots ou mchants, sont le substantif qui e gouverne. Ma tre Bartholo croit-il donc que jaie oubli ma syntaxe ? Ainsi, je la e payerai dans ce chteau, virgule ; ou je lpouserai. . . [ ra q ] a e ... Le Comte. Que peut requrir la demanderesse ? mariage ` dfaut de payee a e ment. . . [ p q, autrement dit p q ] Que nous rpond le dfendeur ? quil veut garder sa personne ; ` lui permis. e e a [ q ] Figaro. Jai gagn ! [ p q ] e ... Le Comte. Mais comme le texte dit : laquelle somme je payerai ` la premi`re a e rquisition, ou bien jpouserai, etc, la cour condamne le dfendeur ` payer deux e e e a mille piastres fortes, ` la demanderesse ; ou bien ` lpouser dans le jour. [ p q ] a a e Figaro. Jai perdu. [ (p q) ] (Beaumarchais. Le mariage de Figaro, Acte III, Sc`ne XV.) e

Cours de loglangue Vocabulaire r 1 se repent de ce quil a fait s2 misrable ` cause de e a p1 chose qui a t faite ee q 1 chose qui est faite maintenant

52

Thor`me 54 e e Le repentir nest pas une vertu, cest-`-dire quil ne provient pas de la raison ; a mais celui qui se repent de ce quil a fait est deux fois misrable ou impuissant. e [ x (rx yz (y = z (sxy sxz))) ] Dmonstration e Le premier point se dmontre comme le thor`me prcdent. Le deuxi`me est trivial e e e e e e par la dnition de ce sentiment [ le repentir est une tristesse accompagnant lide e e dune chose faite, que nous croyons avoir faite par une dcision libre de lesprit ]. Car e on est victime premi`rement dun dsir mauvais [ x (rx y (py sxy)) ], e e et puis de la tristesse. [ x (rx y (qy sxy)) ; la prmisse implicite est : e xy ((px qy) x = y) ] (Spinoza, Ethique, IV) Vocabulaire p1 a moralement le droit de mentir q 1 capable de mentir r 1 able a moi

Soit, par exemple, la question suivante : ne puis-je pas, si je suis dans lembarras, faire une promesse avec lintention de ne pas la tenir ?. . . [ pa ] . . .Apr`s tout, en ce qui concerne la rponse ` cette question, si une promesse e e a trompeuse est conforme au devoir, le moyen de minstruire le plus rapide, tout en tant infaillible, cest de me demander ` moi-mme : accepterais-je bien avec e a e satisfaction que ma maxime (de me tirer dembarras par une fausse promesse) dt valoir comme une loi universelle (aussi bien pour moi que pour les autres) ? u [ pa x px ] Et pourrais-je bien me dire : tout homme peut faire une fausse promesse quand il se trouve dans lembarras et quil na pas dautre moyen den sortir ? [ x px ] Je maperois bientt ainsi que si je peux bien vouloir le mensonge, c o je ne peux en aucune mani`re vouloir une loi universelle qui commanderait de mentir ; e [ qa x px ] en eet, selon une telle loi, il ny aurait plus ` proprement parler de a promesse, [ x px x qx ] car il serait vain de dclarer ma volont concernant e e mes actions futures ` dautres hommes qui ne croiraient point ` cette dclaration a a e

Cours de loglangue

53

ou qui, sils y ajoutaient foi tourdiment, me payeraient exactement de la mme e e monnaie [ x px x rx et x rx x qx ] : de telle sorte que ma maxime, du moment quelle serait rige en loi universelle, se dtruirait elle-mme e e e e ncessairement [ (pa x px) (pa x qx), soit : pa (x px e x qx) ; les prmisses caches sont notamment : x (px qx) et x (qx e e rx) ].. . . (Kant, Fondements de la mtaphysique des moeurs, Section 2.) e