J'aurais besoin de l'aide des matheux, domaine où je suis médiocre, car mon travail universitaire m'emmène du côté de la sémantique formelle, oùsqu'on aime bien s'exprimer en symboles pour avoir l'air plus intelligent (et j'y suis très bête). Il s'agit de ⊥
En l'occurence, il s'agit d'illustrer la notion de "dépendance pleine" en morphologie, en la différenciant de "dependance par parentèle" et de "dépendance structurale". Pour faire simple :
- Si je dis "expédition", je peux couper "expédi-tion", et chacun des deux éléments est "indépendant par parentèle". Parce que je peux faire "expédi-er, expidi-teur, expédi-tif" etc. ou bien encore "vérification, création, délimitation", etc. Je ne peux pas les avoir tout seuls, mais je peux les combiner presqu'à l'infini, et le sens de "expédition" est bien l'ajout du sens de "expedi-" ("= j'envoie loin) plus celui de "-tion" (=c'est une action).
- Si je dis "percevoir", je peux faire varier ausssi l'un ou l'autre bout (permettre, perforer... / recevoir, décevoir, concevoir). Mais je ne peux pas dire que le sens général naisse de l'ajout de chacun des deux termes : per = à travers, mais "-cevoir" ?
- Si je dis "érable" en revanche, je ne peux pas du tout couper "ér-able" car je ne peux même pas faire varier l'un ou l'autre élément. C'est la dépendance pleine.
Jusque-là tout va bien. Le problème, c'est que des linguistes très très intelligents expriment ce dernier cas sur le plan fomel par le schème suivant :
X et Y désigne tout ce que je peux mettre avant ou après mon mot, par exemple "l'érable rouge", et A et B sont les éléments que je cherche à découper (ér+able)Dans une suite XABY, où X et Y peuvent être nuls, A dépend pleinement de B et inversement B de A si
(a) *XAY
(b) *XAB'Y quel que soit B' ≠ B
(c) [[XABY]] = [[XBY]] + [[A]] Λ [[XB'Y]] + [[A]] = ⊥
La petite étoile signifie que l'énoncé est impossible, en effet :
(a) *l'ér rouge
(b) *l'erplier rouge" (en découpant peu-plier par exemple)
Dans la dernière ligne, [[ ]] désigne le sens, et normalement le Λ se lit "avec", "et, "où"... (dans le cas d'une dépendance par parentèle, comme "expédi-tion", je peux dire que
[[XABY]] = [[XBY]] + [[A]] Λ [[XAB'Y]] = [[XB'Y]] + [[A]]
"Le sens global de "l'expédition maritime" peut se comprendre comme l'ajout de "-tion = c'est une action" aux sens impliqués par "le = définititude" + "expédi = envoyer au loin" + "maritime", et même si je remplace "-tion" par "-teur" j'ai encore une séquence où tous les éléments peuvent s'additionner pour le sens"
Mais le signe ⊥, j'ai jamais vu. Quelqu'un pourrait me mettre sur la voie ? J'ai rien trouvé sur wiki
Je précise aussi que je n'ai rien contre les érables, hein, je les aime beaucoup... Les peupliers aussi d'ailleurs.
Merci 
La différence, c'est qu'il est difficile de trouver un signifié à "-cevoir", et conséquemment de trouver une unité sémantique à concevoir, recevoir et décevoir... On peut couper, mais on ne peut pas mettre un sens des deux côtés de la ligne de coupe. 
