Masticationpedia

Difference between revisions of "The logic of classical language - fr"

Page Discussion
(Created page with "{{transl}} left|200px '''Classical logic''' will be discussed in this chapter. In the first part, mathematical formalism and the rules that compose it will be illustrated. In the second part, a clinical example will be given to evaluate its effectiveness in determining a diagnosis.<br>In conclusion, it is evident that a classical logic of language, which has an extremely dichotomous approach (either something is white, or...")
 
 
(4 intermediate revisions by 2 users not shown)
Line 2: Line 2:


[[File:Spasmo emimasticatorio assiografia.jpg|left|200px]]
[[File:Spasmo emimasticatorio assiografia.jpg|left|200px]]
'''Classical logic''' will be discussed in this chapter. In the first part, mathematical formalism and the rules that compose it will be illustrated. In the second part, a clinical example will be given to evaluate its effectiveness in determining a diagnosis.<br>In conclusion, it is evident that a classical logic of language, which has an extremely dichotomous approach (either something is white, or it is black), cannot describe the many shades that real clinical situations have.<br>As we shall soon see, this paper will show that classical logic lacks the necessary precision, forcing us to enhance it with other types of logic languages. {{ArtBy|
La logique classique sera abordée dans ce chapitre. Dans une première partie, le formalisme mathématique et les règles qui le composent seront illustrés. Dans la deuxième partie, un exemple clinique sera donné pour évaluer son efficacité dans la détermination d'un diagnostic.  
 
En conclusion, il est évident qu'une logique classique du langage, qui a une approche extrêmement dichotomique (soit quelque chose est blanc, soit c'est noir), ne peut pas décrire les nombreuses nuances que présentent les situations cliniques réelles.
 
Comme nous le verrons bientôt, cet article montrera que la logique classique manque de la précision nécessaire, nous forçant à l'enrichir avec d'autres types de langages logiques.{{ArtBy|
| autore = Gianni Frisardi
| autore = Gianni Frisardi
| autore2 = Riccardo Azzali
| autore2 = Riccardo Azzali
Line 10: Line 14:


==Introduction==
==Introduction==
We parted ways in the previous chapter on the ‘[[The logic of medical language|Logic of Medical Language]]’ in an attempt to shift the attention from clinical symptom or sign to encrypted machine language for which, the arguments of Donald E Stanley, Daniel G Campos and Pat Croskerry are welcome but connected to time <math>t_n</math> as an information carrier (anticipation of the symptom) and to the message as a machine language and not as a non-verbal language).<ref>{{Cite book  
Nous nous sommes séparés dans le chapitre précédent sur la « logique du langage médical » dans une tentative de déplacer l'attention du symptôme clinique ou du signe vers le langage machine crypté pour lequel les arguments de Donald E Stanley, Daniel G Campos et Pat Croskerry sont les bienvenus mais connecté au temps <math>t_n</math> comme support d'information (anticipation du symptôme) et au message comme langage machine et non comme langage non verbal).<ref>{{Cite book  
  | autore = Stanley DE
  | autore = Stanley DE
  | autore2 = Campos DG
  | autore2 = Campos DG
Line 43: Line 47:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref><br>Obviously, this does not preclude the validity of the clinical history built on a pseudo-formal verbal language by now well rooted in the clinical reality and which has already proved its diagnostic authority. The attempt to shift attention to a machine language and to the System provides nothing but an opportunity for the validation of Diagnostic Medical Science.
  }}</ref><br>Cela n'exclut évidemment pas la validité de l'histoire clinique bâtie sur un langage verbal pseudo-formel désormais bien ancré dans la réalité clinique et qui a déjà prouvé son autorité diagnostique. La tentative de déplacer l'attention vers un langage machine et vers le système n'offre rien d'autre qu'une opportunité pour la validation de la science médicale diagnostique.


We are definitely aware that our Linux Sapiens is still perplexed about what has been anticipated and continues to wonder{{q4|... <!--11-->but... <!--12-->could the logic of Classical Language help us to solve poor Mary Poppins' dilemma?|<!--13-->a little patience, please}}
Nous sommes certainement conscients que notre Linux Sapiens est toujours perplexe quant à ce qui a été anticipé et continue de se demander{{q4|... <!--11-->but... <!--12-->la logique du langage classique pourrait-elle nous aider à résoudre le dilemme de la pauvre Mary Poppins ?|<!--13-->a little patience, please}}


We cannot provide a conventional answer because science does not progress with assertions that are not justified by scientifically validated questions and reflections; and this is actually the reason why we will try to give voice to some thoughts, perplexities and doubts expressed on some basic topics brought into discussion in some scientific articles.
Nous ne pouvons apporter une réponse conventionnelle car la science ne progresse pas avec des affirmations qui ne sont pas justifiées par des questions et des réflexions scientifiquement validées ; et c'est d'ailleurs la raison pour laquelle nous tenterons de donner la parole à quelques réflexions, perplexités et doutes exprimés sur quelques sujets de fond mis en discussion dans certains articles scientifiques.


One of these fundamental topics is 'Craniofacial Biology'.
L'un de ces sujets fondamentaux est la «biologie craniofaciale».


Let's start with a well known study by Townsend and Brook<ref name=":0">{{Cite book  
Commençons par une étude bien connue de Townsend et Brook<ref name=":0">{{Cite book  
  | autore = Townsend GC
  | autore = Townsend GC
  | autore2 = Brook AH
  | autore2 = Brook AH
Line 68: Line 72:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref>: in this work the authors question the status quo of both fundamental and applied research in 'Craniofacial Biology' to extract clinical considerations and implications. One topic they covered was the "Interdisciplinary Approach", in which Geoffrey Sperber and his son Steven saw the strength of the exponential progress of 'Craniofacial Biology' in technological innovations such as gene sequencing, CT scanning, MRI imaging, scanning laser, image analysis, ultrasonography and spectroscopy<ref>{{Cite book  
  }}</ref>:dans ce travail, les auteurs remettent en question le statu quo de la recherche fondamentale et appliquée en «biologie craniofaciale» pour en extraire des considérations et des implications cliniques. L'un des sujets qu'ils ont abordés était "l'approche interdisciplinaire", dans laquelle Geoffrey Sperber et son fils Steven ont vu la force des progrès exponentiels de la "biologie craniofaciale" dans les innovations technologiques telles que le séquençage de gènes, la tomodensitométrie, l'imagerie IRM, le laser à balayage, l'analyse d'images. , échographie et spectroscopie<ref>{{Cite book  
  | autore = Sperber GH
  | autore = Sperber GH
  | autore2 = Sperber SM
  | autore2 = Sperber SM
Line 87: Line 91:
  }}</ref>.
  }}</ref>.


Another topic of great interest for the implementation of 'Craniofacial Biology' is the awareness that biological systems are 'Complex Systems'<ref>{{Cite book  
Un autre sujet de grand intérêt pour la mise en œuvre de la «biologie craniofaciale» est la prise de conscience que les systèmes biologiques sont des «systèmes complexes».'<ref>{{Cite book  
  | autore = Brook AH
  | autore = Brook AH
  | autore2 = Brook O'Donnell M
  | autore2 = Brook O'Donnell M
Line 109: Line 113:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> and that 'Epigenetics' plays a key role in craniofacial molecular biology. Researchers from Adelaide and Sydney provide a critical review in the field of epigenetics aimed, in fact, at the dental and craniofacial disciplines.<ref>{{Cite book  
  }}</ref>et que «l'épigénétique» joue un rôle clé dans la biologie moléculaire craniofaciale. Des chercheurs d'Adélaïde et de Sydney livrent une revue critique dans le domaine de l'épigénétique visant, en fait, les disciplines dentaires et craniofaciales.<ref>{{Cite book  
  | autore = Williams SD
  | autore = Williams SD
  | autore2 = Hughes TE
  | autore2 = Hughes TE
Line 129: Line 133:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> Phenomics, in particular, discussed by these authors (see [[wikipedia:Phenomics|Phenomics]])) is a general research field that involves the measurement of changes in the teeth and associated orofacial structures resulting from the interactions between genetic, epigenetic and environmental factors during development.<ref>{{Cite book  
  }}</ref> La phénomique, en particulier, discutée par ces auteurs (voir Phénomique)) est un domaine de recherche général qui implique la mesure des changements dans les dents et les structures orofaciales associées résultant des interactions entre les facteurs génétiques, épigénétiques et environnementaux au cours du développement.t.<ref>{{Cite book  
  | autore = Yong R
  | autore = Yong R
  | autore2 = Ranjitkar S
  | autore2 = Ranjitkar S
Line 152: Line 156:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> In this same context, the work of Irma Thesleff from Helsinki, Finland, should be highlighted. She explains in her work that there are a series of transient signalling centres in the dental epithelium that play important roles in the programme of tooth development.<ref>{{Cite book  
  }}</ref> Dans ce même contexte, le travail d'Irma Thesleff d'Helsinki, en Finlande, mérite d'être souligné. Elle explique dans son travail qu'il existe une série de centres de signalisation transitoire dans l'épithélium dentaire qui jouent un rôle important dans le programme de développement des dents..<ref>{{Cite book  
  | autore = Thesleff I
  | autore = Thesleff I
  | titolo = Current understanding of the process of tooth formation: transfer from the laboratory to the clinic
  | titolo = Current understanding of the process of tooth formation: transfer from the laboratory to the clinic
Line 168: Line 172:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> Besides there are other works, by Peterkova R, Hovor akova M, Peterka M, Lesot H, providing a fascinating review of the processes that occur during dental development;<ref>{{Cite book  
  }}</ref> En outre, il existe d'autres travaux, par Peterkova R, Hovor akova M, Peterka M, Lesot H, fournissant un examen fascinant des processus qui se produisent au cours du développement dentaire.;<ref>{{Cite book  
  | autore = Peterkova R  
  | autore = Peterkova R  
  | autore2 = Hovorakova M
  | autore2 = Hovorakova M
Line 231: Line 235:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> for the sake of completeness, let's not forget the works by Han J, Menicanin D, Gronthos S, and  Bartold PM., who review comprehensive documentation on stem cells, tissue engineering and periodontal regeneration.<ref>{{Cite book  
  }}</ref> dans un souci d'exhaustivité, n'oublions pas les travaux de Han J, Menicanin D, Gronthos S et Bartold PM., qui passent en revue une documentation complète sur les cellules souches, l'ingénierie tissulaire et la régénération parodontale.<ref>{{Cite book  
  | autore = Han J
  | autore = Han J
  | autore2 = Menicanin D
  | autore2 = Menicanin D
Line 252: Line 256:
  }}</ref>
  }}</ref>


In this review, arguments could not be missing on genetic, epigenetic and environmental influences during morphogenesis that lead to variations in the number, size and shape of the tooth<ref>{{Cite book  
Dans cette revue, les arguments ne pouvaient manquer sur les influences génétiques, épigénétiques et environnementales au cours de la morphogenèse qui conduisent à des variations du nombre, de la taille et de la forme de la dent.<ref>{{Cite book  
<nowiki> </nowiki><nowiki>|</nowiki> autore = Brook AH
<nowiki> </nowiki><nowiki>|</nowiki> autore = Brook AH
<nowiki> </nowiki><nowiki>|</nowiki> autore2 = Jernvall J
<nowiki> </nowiki><nowiki>|</nowiki> autore2 = Jernvall J
Line 287: Line 291:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> and the influence of tongue pressure on growth and craniofacial function.<ref>{{Cite book  
  }}</ref>et l'influence de la pression de la langue sur la croissance et la fonction craniofaciale.<ref>{{Cite book  
  | autore = Kieser JA
  | autore = Kieser JA
  | autore2 = Farland MG
  | autore2 = Farland MG
Line 324: Line 328:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref>Townsend and Brook's extraordinary work too deserves a mention<ref name=":0" />,  and the intrinsic content of what has been reported in it matches equally well with another commendable author: HC Slavkin.<ref>{{Cite book  
  }}</ref>Le travail extraordinaire de Townsend et Brook mérite également une mention<ref name=":0" />,  et le contenu intrinsèque de ce qui y a été rapporté correspond tout aussi bien à un autre auteur louable : HC Slavkin.<ref>{{Cite book  
  | autore = Slavkin HC
  | autore = Slavkin HC
  | titolo = The Future of Research in Craniofacial Biology and What This Will Mean for Oral Health Professional Education and Clinical Practice
  | titolo = The Future of Research in Craniofacial Biology and What This Will Mean for Oral Health Professional Education and Clinical Practice
Line 340: Line 344:
  | LCCN =  
  | LCCN =  
  | OCLC =  
  | OCLC =  
  }}</ref> Slavkin asserts that:
  }}</ref> Slavkin affirme que :
:"''The future is full of significant opportunities to improve the clinical outcomes of congenital and acquired craniofacial malformations. Clinicians play a key role as critical thinking and clinical audience substantially improve diagnostic accuracy and therefore clinical health outcomes''."
:"L'avenir regorge d'opportunités significatives pour améliorer les résultats cliniques des malformations craniofaciales congénitales et acquises. Les cliniciens jouent un rôle clé car la pensée critique et le public clinique améliorent considérablement la précision du diagnostic et donc les résultats de santé cliniques."


{{q4|... <!--35-->I understand the progress of Science described by the authors but I don't understand the change of thought|<!--36-->I'll give you a practical example}}
{{q4|... <!--35-->Je comprends les progrès de la science décrits par les auteurs mais je ne comprends pas le changement de bient|<!--36-->Je vais vous donner un exemple pratique}}






In the chapter "[[Introduction]]" we  posed certain questions on the subject of malocclusion but in this context we simulate the dentist's logic of medical language when faced with the clinical case presented in the "Introduction chapter" with its diagnostic and therapeutic conclusions.
Dans le chapitre "Introduction" nous avons posé certaines questions au sujet de la malocclusion mais dans ce cadre nous simulons la logique du langage médical du dentiste face au cas clinique présenté dans le "chapitre Introduction" avec ses conclusions diagnostiques et thérapeutiques.


The patient has a posterior unilateral crossbite and an anterior openbite.<ref>
Le patient a une occlusion croisée unilatérale postérieure et une béance antérieure.<ref>
{{cita libro
{{cita libro
|autore=Littlewood SJ
|autore=Littlewood SJ
Line 365: Line 369:
|DOI=10.1111/adj.12475
|DOI=10.1111/adj.12475
|OCLC=
|OCLC=
}}</ref> The crossbite is another disturbing element of the normal occlusion<ref>{{cita libro
}}</ref> L'occlusion croisée est un autre élément perturbateur de l'occlusion normale<ref>{{cita libro
|autore=Miamoto CB
|autore=Miamoto CB
|autore2=Silva Marques L
|autore2=Silva Marques L
Line 381: Line 385:
|DOI=
|DOI=
|OCLC=
|OCLC=
}}</ref> for which it is compulsorily treated together with the openbite.<ref>{{cita libro
}}</ref> pour lequel il est obligatoirement traité en même temps que la béance.<ref>{{cita libro
|autore=Alachioti XS
|autore=Alachioti XS
|autore2=Dimopoulou E
|autore2=Dimopoulou E
Line 411: Line 415:
|DOI=10.1179/bjo.5.1.21
|DOI=10.1179/bjo.5.1.21
|OCLC=
|OCLC=
}}</ref> This type of reasoning means that the model (masticatory system) is 'normalized to occlusion'; and read in reverse, it means that the occlusal discrepancy is the cause of malocclusion, hence, a disease of the Masticatory System, and therefore an intervention to restore the physiological masticatory function is justifiable. (Figure 1a).
}}</ref> Ce type de raisonnement signifie que le modèle (système masticatoire) est « normalisé à l'occlusion » ; et lu à l'envers, cela signifie que le décalage occlusal est la cause d'une malocclusion, donc d'une maladie de l'appareil masticatoire, et donc une intervention pour restaurer la fonction masticatoire physiologique est justifiable. (Figure 1a).


This example is Classical Logic Language, as we are going to explain in detail, but now a doubt arises:
Cet exemple est le langage logique classique, comme nous allons l'expliquer en détail, mais maintenant un doute surgit :
:At the time when orthodontic and orthognathics axioms were constructing protocols confirmed by the International Scientific Community, were they aware of the information we discussed in the introduction to this chapter?
:A l'époque où les axiomes orthodontiques et orthognathiques construisaient des protocoles confirmés par la Communauté Scientifique Internationale, avaient-ils connaissance des informations dont nous avons parlé dans l'introduction de ce chapitre ?


Certainly not because time '''<math>t_n</math> is the bearer of information''' but despite this cognitive limit we proceed with a very questionable Classical Language Logic for the safety of the citizen.{{q2|... <!--46-->this statement seems a bit risky!|<!--47-->sure, but the logical sequence has already been anticipated}}
Certainly not because time '''<math>t_n</math>'''est '''porteur d'information''' mais malgré cette limite cognitive nous procédons avec une Logique du Langage Classique très contestable pour la sécurité du citoyen.{{q2|... <!--46-->cette affirmation semble un peu risquée !|<!--47-->bien sûr, mais la suite logique a déjà été anticipée}}


If the same case were interpreted with a mindset that followed a 'System's language logic' (it will be discussed in the appropriate chapter), the conclusions would be surprising.
Si le même cas était interprété avec un état d'esprit qui suivait une « logique du langage du système » (cela sera discuté dans le chapitre approprié), les conclusions seraient surprenantes.


If we observe the electrophysiological responses performed on the patient with malocclusion in figures 1b, 1c and 1d (with the explanation made directly in the caption to simplify the discussion), we shall notice that these data can make us think about anything except a 'Malocclusion' and, therefore, the axioms of type orthodontic and orthognathics 'cause/effect' leave a conceptual void.<gallery widths="350" heights="282" perrow="2" mode="slideshow">
Si l'on observe les réponses électrophysiologiques effectuées sur le patient avec malocclusion dans les figures 1b, 1c et 1d (avec l'explication faite directement en légende pour simplifier la discussion), on remarquera que ces données peuvent faire penser à tout sauf à une « malocclusion ». ' et, par conséquent, les axiomes de type 'cause/effet' orthodontiques et orthognathiques laissent un vide conceptuel.<gallery widths="350" heights="282" perrow="2" mode="slideshow">
File:Occlusal Centric view in open and cross bite patient.jpg|'''Figure 1a:''' Patient with malocclusion, open bite and right posterior crossbite who in rehabilitation terms must be treated with orthodontic therapy and / or orthognathic surgery
File:Occlusal Centric view in open and cross bite patient.jpg|'''Figure 1a:''' Patient avec malocclusion, béance et occlusion croisée postérieure droite qui, en termes de rééducation, doit être traité par thérapie orthodontique et/ou chirurgie orthognathique
File:Bilateral Electric Transcranial Stimulation.jpg|'''<!--52-->Figure 1b:''' <!--53-->Motor evoked potential from electrical transcranial stimulation of the trigeminal roots.Note the structural symmetry calculated by the peak-to-peak amplitude on the left and right masseters (traces upper and lower respectively)
File:Bilateral Electric Transcranial Stimulation.jpg|'''<!--52-->Figure 1b:''' <!--53-->Potentiel évoqué moteur à partir de la stimulation électrique transcrânienne des racines du trijumeau. Notez la symétrie structurelle calculée par l'amplitude crête à crête sur les masséters gauche et droit (traces respectivement supérieure et inférieure)
File:Jaw Jerk .jpg|'''<!--54-->Figure 1c:''' <!--55-->Mandibular reflex evoked or jaw jerk by percussion of the chin through a triggered neurological hammer. Note the functional symmetry calculated by the peak-to-peak amplitude on the left and right masseters (traces upper and lower respectively)
File:Jaw Jerk .jpg|'''<!--54-->Figure 1c:''' <!--55-->Réflexe mandibulaire évoqué ou réflexe de la mâchoire par percussion du menton à travers un marteau neurologique déclenché. Notez la symétrie fonctionnelle calculée par l'amplitude crête à crête sur les massemètres gauche et droit (traces respectivement supérieure et inférieure)
File:Mechanic Silent Period.jpg|'''<!--56-->Figure 1d:''' <!--57-->Mechanical silent period evoked by percussion of the chin through a triggered neurological hammer. Note the functional symmetry calculated on the integral area of the right and left masseters (traces upper and lower respectively).
File:Mechanic Silent Period.jpg|'''<!--56-->Figure 1d:''' <!--57-->Période silencieuse mécanique évoquée par percussion du menton à travers un marteau neurologique déclenché. Notez la symétrie fonctionnelle calculée sur l'aire intégrale des masséters droit et gauche (traces supérieure et inférieure respectivement).
</gallery>
</gallery>
----
----
{{q4|<!--58-->Let me better understand what Classical Language Logic has to do with it|<!--59-->We will do it following the clinical case of our Mary Poppins}}
{{q4|<!--58-->Permettez-moi de mieux comprendre ce que la logique du langage classique a à voir avec cela|<!--59-->Nous le ferons suite au cas clinique de notre Mary Poppins}}


==Mathematical formalism==
==Formalisme mathématique==
In this chapter, we will reconsider the clinical case of the unfortunate Mary Poppins suffering from Orofacial Pain for more than 10 years to which her dentist diagnosed a 'Temporomandibular Disorders' (TMDs) or rather Orofacial Pain from TMDs. To better understand why the exact diagnostic formulation remains complex with a Logic of Classical Language, we should understand the concept on which the philosophy of classical language is based with a brief introduction to the topic.
Dans ce chapitre, nous allons revenir sur le cas clinique de la malheureuse Mary Poppins souffrant de Douleurs Orofaciales depuis plus de 10 ans à qui son dentiste a diagnostiqué un 'Troubles Temporo-Mandibulaires' (TMDs) ou plutôt Douleurs Orofaciales par TMDs. Pour mieux comprendre pourquoi la formulation exacte du diagnostic reste complexe avec une Logique du Langage Classique, il faut comprendre le concept sur lequel repose la philosophie du langage classique avec une brève introduction au sujet.
===Propositions===
===Propositions===


Classical logic is based on propositions. It is often said that a proposition is a sentence that asks whether the proposition is true or false. Indeed, a proposition in mathematics is usually either true or false, but this is obviously a little too vague to be a definition. It can be taken, at best, as a warning: if a sentence, expressed in common language, makes no sense to ask whether it is true or false, it will not be a proposition but something else.
La logique classique est basée sur des propositions. On dit souvent qu'une proposition est une phrase qui demande si la proposition est vraie ou fausse. En effet, une proposition en mathématiques est généralement vraie ou fausse, mais c'est évidemment un peu trop vague pour être une définition. Cela peut être pris, au mieux, comme un avertissement : si une phrase, exprimée dans le langage courant, n'a aucun sens pour demander si elle est vraie ou fausse, ce ne sera pas une proposition mais quelque chose d'autre.


It can be argued whether or not common language sentences are propositions as in many cases it is not often evident if a certain statement is true or false.
On peut se demander si les phrases en langage courant sont ou non des propositions, car dans de nombreux cas, il n'est pas souvent évident de savoir si une certaine affirmation est vraie ou fausse.


''Fortunately, mathematical propositions, if well expressed, do not show such ambiguities’.''
''Heureusement, les propositions mathématiques, si elles sont bien exprimées, ne présentent pas de telles ambiguïtés ».''


Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following<ref><!--68-->For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic.<br><!--69-->Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref>:
Des propositions plus simples peuvent être combinées entre elles pour former de nouvelles propositions plus complexes. Cela se produit à l'aide d'opérateurs appelés opérateurs logiques et de connecteurs quantifiants qui peuvent être réduits aux suivants<ref><!--68-->For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic.<br><!--69-->Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref>:
#''Conjunction'', which is indicated by the symbol <math>\land</math> (and):
#Conjonction, indiquée par le symbole <math>\land</math> (et):
#''Disjunction'', which is indicated by the symbol <math>\lor</math>  (or):
#La disjonction, qui est indiquée par le symbole <math>\lor</math>  (ou):
#''Negation'', which is indicated by the symbol <math>\urcorner</math>  (not):
#La négation, qui est indiquée par le symbole <math>\urcorner</math>  (ne pas):
#''Implication'', which is indicated by the symbol <math>\Rightarrow</math> (if ... then):
#Implication, indiquée par le symbole <math>\Rightarrow</math> (si donc):
#''Consequence'', which is indicated by the symbol <math>\vdash</math> (is a partition of..):
#Conséquence, indiquée par le symbole <math>\vdash</math>(est une partition de..):
#''Universal quantifier'', which is indicated by the symbol <math>\forall</math> (for all):
#Quantificateur universel, qui est indiqué par le symbole <math>\forall</math> (pour tous):
#''Demonstration'', which is indicated by the symbol <math>\mid</math> (such that): and
#Démonstration, indiquée par le symbole <math>\mid</math> (tel que): et
#''Membership'', which is indicated by the symbol <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):
#L'adhésion, qui est indiquée par le symbole <math>\in</math> (est un élément de) ou par le symbole <math>\not\in</math> (n'est pas un élément de):


===Demonstration by absurdity===
===Démonstration par l'absurde===


Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.
De plus, dans la logique classique, il existe un principe appelé le tiers exclu qui déclare qu'une phrase qui ne peut pas être fausse doit être considérée comme vraie puisqu'il n'y a pas de troisième possibilité.


Suppose we need to prove that the proposition <math>p</math> is true. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called ''demonstration by absurdity''<ref>{{Cite book  
Supposons que nous ayons besoin de prouver que la proposition <math>p</math> est vrai. La démarche consiste à montrer que l'hypothèse selon laquelle <math>p</math> est faux conduit à une contradiction logique. Ainsi la proposition <math>p</math> <ref>{{Cite book  
  | autore = Pereira LM
  | autore = Pereira LM
  | autore2 = Pinto AM
  | autore2 = Pinto AM
Line 472: Line 476:
  }}</ref>
  }}</ref>


===Predicates===
===Prédicats===


What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'. Many times, however, the mathematical statements concern not the single object, but generic objects of a set such as: '''<math>X</math>'' are taller than 2 meters' where ''<math>X</math>'' denotes a generic group (for example all volleyball players). In this case we speak of predicates.
Ce que nous avons brièvement décrit jusqu'ici est la logique des propositions. Une proposition affirme quelque chose à propos d'objets mathématiques spécifiques tels que : "2 est supérieur à 1, donc 1 est inférieur à 2" ou "un carré n'a pas 5 côtés, alors un carré n'est pas un pentagone". Souvent, cependant, les énoncés mathématiques ne concernent pas l'objet unique, mais les objets génériques d'un ensemble tels que : '''<math>X</math>'' sont plus hauts que 2 mètres' où ''<math>X</math>'' désigne un groupe générique (par exemple tous les volleyeurs). On parle dans ce cas de prédicats.


Intuitively, a predicate is a sentence concerning a group of elements (which in our medical case will be the patients) and which states something about them.{{q4|<!--99-->Then poor Mary Poppins is a TMD patient or she is not!|<!--100-->let's see what Classical Language Logic tells us}}
Intuitivement, un prédicat est une phrase concernant un groupe d'éléments (qui dans notre cas médical seront les patients) et qui énonce quelque chose à leur sujet.{{q4|<!--99-->Alors la pauvre Mary Poppins est une patiente TMD ou elle ne l'est pas !|<!--100-->voyons ce que la logique du langage classique nous dit}}


In addition to the confirmations derived from the logic of medical language discussed in the previous chapter, the dentist colleague acquires other instrumental data that allow him to confirm his diagnosis. The latter tests concern the analysis of the axiographic traces by using a customized functional paraocclusal clutch which allow the visualization and quantification of the condylar traces in masticatory functions. As can be seen from Figure 4 the flattening of the condylar traces on the right side both in the mediotrusive masticatory kinetics (green colour) and the opening and protrusion cycles (gray colour) confirm the anatomical and functional flattening of the right TMJ in the dynamics chewing. In addition to the axiography, the colleague performs a surface electromyography on the masseters (Fig. 6) asking the patient to exert  the maximum of his muscles force. This type of electromyographic analysis is called "EMG Interferential Pattern" due to the high frequency content of the spikes that undergo phase interference. In fact, Figure 6 shows an asymmetry in the recruitment of the motor units of the right masseter (upper trace) compared to those of the left masseter (lower trace).<ref>{{cite book  
En plus des confirmations issues de la logique du langage médical évoquées dans le chapitre précédent, le collègue dentiste acquiert d'autres données instrumentales qui lui permettent de confirmer son diagnostic. Ces derniers tests concernent l'analyse des traces axiographiques à l'aide d'un embrayage paraocclusal fonctionnel personnalisé qui permet la visualisation et la quantification des traces condyliennes dans les fonctions masticatoires. Comme on peut le voir sur la figure 4, l'aplatissement des traces condyliennes du côté droit à la fois dans la cinétique masticatoire médiotrusive (couleur verte) et les cycles d'ouverture et de protrusion (couleur grise) confirme l'aplatissement anatomique et fonctionnel de l'ATM droit dans la dynamique mastication. En plus de l'axiographie, le confrère réalise une électromyographie de surface sur les masséters (Fig. 6) demandant au patient d'exercer le maximum de sa force musculaire. Ce type d'analyse électromyographique est appelé "EMG Interferential Pattern" en raison du contenu à haute fréquence des pointes qui subissent des interférences de phase. En effet, la figure 6 montre une asymétrie dans le recrutement des unités motrices du masséter droit (tracé supérieur) par rapport à celles du masséter gauche (tracé inférieur).<ref>{{cite book  
  | autore = Castroflorio T
  | autore = Castroflorio T
  | autore2 = Talpone F
  | autore2 = Talpone F
Line 549: Line 553:
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref><center>
  }}</ref><center>
==2nd Clinical Approach==
==2ème Approche Clinique==
(Hover over the images)
(Passez la souris sur les images)


<gallery widths="350" heights="282" perrow="2" mode="slideshow">
<gallery widths="350" heights="282" perrow="2" mode="slideshow">
File:Spasmo emimasticatorio.jpg|'''<!--107-->Figure 2:''' <!--108-->Patient reporting 'Orofacial Pain' in his right hemilateral face
File:Spasmo emimasticatorio.jpg|'''<!--107-->Figure 2:''' <!--108-->Patient signalant une « douleur orofaciale » dans son hémilatéral droit
File:Spasmo emimasticatorio ATM.jpg|'''<!--109-->Figure 3:''' <!--110-->Patient's TMJ stratigraphy showing signs of condylar flattening and osteophyte
File:Spasmo emimasticatorio ATM.jpg|'''<!--109-->Figure 3:''' <!--110-->Stratigraphie de l'ATM du patient montrant des signes d'aplatissement condylien et d'ostéophyte
File:Atm1 sclerodermia.jpg|'''<!--111-->Figure 4:''' <!--112-->Computed Tomography of the TMJ
File:Atm1 sclerodermia.jpg|'''<!--111-->Figure 4:''' <!--112-->Tomographie informatisée de l'ATM
File:Spasmo emimasticatorio assiografia.jpg|'''<!--113-->Figure 5:''' <!--114-->Axiography of the patient showing a flattening of the chewing pattern on his right condyle
File:Spasmo emimasticatorio assiografia.jpg|'''<!--113-->Figure 5:''' <!--114-->Axiographie du patient montrant un aplatissement de la mastication sur son condyle droit
File:EMG2.jpg|'''<!--115-->Figure 6:''' <!--116-->EMG Interferential Pattern. <!--117-->Overlapping upper traces corresponding to the right masseter, lower to the left masseter.
File:EMG2.jpg|'''<!--115-->Figure 6:''' <!--116-->Modèle interférentiel EMG. <!--117-->Traces supérieures superposées correspondant au masséter droit, inférieures au masséter gauche.
</gallery>
</gallery>
</center>
</center>


===== Dental propositions =====
===== Propositions dentaires =====
While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates:
Tout en cherchant à utiliser le formalisme mathématique pour traduire les conclusions atteintes par le dentiste avec un langage logique classique, nous considérons les prédicats suivants :
*''x'' <math>\equiv</math> Normal patients (normal stands for patients commonly present in the specialist setting)
*''x'' <math>\equiv</math> Patients normaux (normal signifie patients couramment présents dans le cadre spécialisé)


*<math>A(x) \equiv</math> Bone remodelling with osteophyte from stratigraphic examination and condylar CT; and
*<math>A(x) \equiv</math>Remodelage osseux avec ostéophyte à partir d'un examen stratigraphique et d'un scanner condylien ; et
*<math>B(x)\equiv</math> Temporomandibular Disorders (TMDs) resulting in Orofacial Pain (OP)
*<math>B(x)\equiv</math>
*<math>\mathrm{a}\equiv</math> Specific patient: Mary Poppins
*<math>\mathrm{a}\equiv</math> Patiente spécifique : Mary Poppins


Any normal patient <math>\forall\text{x}
Tout patient normal <math>\forall\text{x}
</math> who is positive on the radiographic examination of the TMJ <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figure 2 and 3] is affected by TMDs <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; from this it follows that <math>\vdash</math> being Mary Poppins positive (and also being a "Normal" patient) on the TMJ x-ray <math>A(a)</math> then Mary Poppins is also affected by TMDs <math>\rightarrow \mathcal{B}(a)</math>The language of predicates is expressed in the following way:
</math> qui est positif à l'examen radiographique de l'ATM <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figure 2 et 3] est affecté par les TMD <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; il en résulte que <math>\vdash</math> ; il en résulte que <math>A(a)</math>puis Mary Poppins est également touchée par les TMD <math>\rightarrow \mathcal{B}(a)</math>Le langage des prédicats s'exprime de la manière suivante :


<math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(1)</math>
<math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(1)</math>


At this point, it must also be considered that predicate logic is not used only to prove that a particular set of premises imply a particular evidence <math>(1)</math>. It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence.
À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une preuve particulière <math>(1)</math>. Il est également utilisé pour prouver qu'une affirmation particulière n'est pas vraie, ou qu'une connaissance particulière est logiquement compatible/incompatible avec une preuve particulière.


In order to prove that this proposition is true we must use the above mentioned<u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the dentist's proposition will be true:
Afin de prouver que cette proposition est vraie, nous devons utiliser la démonstration mentionnée ci-dessus par l'absurde. Si son refus crée une contradiction, la proposition du dentiste sera sûrement vraie :


<math>\urcorner\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(2)</math>
<math>\urcorner\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(2)</math>


"<math>(2)</math>" states that it is not true that those who test positive on TMJ CT have TMDs, so Mary Poppins (TMJ CT positive normal patient) does not have TMDs.
"<math>(2)</math>"déclare qu'il n'est pas vrai que ceux dont le test TMJ CT est positif ont des TMD, donc Mary Poppins (patient normal positif TMJ CT) n'a pas de TMD.


The dentist believes that Mary Poppins' claim (that she does not have TMD under these premises) is a contradiction so the main claim is true.
Le dentiste pense que l'affirmation de Mary Poppins (qu'elle n'a pas de TMD dans ces locaux) est une contradiction, donc l'affirmation principale est vraie.
===Neurophysiological proposition===
===Proposition neurophysiologique===


Let us imagine that the neurologist disagrees with the conclusion <math>(1)</math> and asserts that Mary Poppins is not affected by TMDs or that at least it is not the main cause of Orofacial Pain, but that, rather, she is affected by a neuromotor Orofacial Pain (<sub>n</sub>OP), therefore that she does not belong to the group of 'normal patients' but is to be considered a 'non-specific patient' (uncommon in the specialist context).
Imaginons que le neurologue soit en désaccord avec la conclusion<math>(1)</math> et affirme que Mary Poppins n'est pas atteinte de TMD ou que du moins ce n'est pas la principale cause de Douleur Orofaciale, mais que, plutôt, elle est atteinte d'une Douleur Orofaciale neuromotrice (nOP), donc qu'elle n'appartient pas au groupe de « patients normaux » mais doit être considéré comme un « patient non spécifique » (peu fréquent dans le contexte spécialisé).


Obviously, this dialectic would last indefinitely because both would defend their scientific-clinical context; but let us see what happens in the logic of predicates.
Évidemment, cette dialectique durerait indéfiniment car tous deux défendraient leur contexte scientifique-clinique ; mais voyons ce qui se passe dans la logique des prédicats.


The neurologist's statement would be like:
La déclaration du neurologue serait du genre :


<math>\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(3)</math>
<math>\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(3)</math>


"<math>(3)</math>" means that every patient who is TMJ CT positive has TMDs but even though Mary Poppins is TMJ CT positive, she does not have TMDs.
"<math>(3)</math>"signifie que chaque patient qui est TMJ CT positif a des TMD mais même si Mary Poppins est TMJ CT positive, elle n'a pas de TMD.


In order to prove that this proposition is true, we must use once again the above mentioned <u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:
Afin de prouver que cette proposition est vraie, nous devons utiliser à nouveau la démonstration par l'absurde mentionnée ci-dessus. Si son refus crée une contradiction, la proposition du neurologue sera sûrement vraie :


<math>\urcorner\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(4)</math>
<math>\urcorner\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(4)</math>


Following the logical rules of predicates, there is no reason to say that denial (4) is contradictory or meaningless, therefore the neurologist (unlike the dentist) would not seem to have the logical tools to confirm his conclusion.{{q4|<!--153-->then the dentist triumphs!|<!--154-->don't take it for granted}}
En suivant les règles logiques des prédicats, il n'y a aucune raison de dire que le déni(4) est contradictoire ou vide de sens, le neurologue (contrairement au dentiste) ne semble donc pas disposer des outils logiques pour confirmer sa conclusion.{{q4|<!--153-->alors le dentiste triomphe !|<!--154-->ne le prends pas pour acquis}}


===Compatibility and incompatibility of the statements===
===Compatibilité et incompatibilité des déclarations===
The complication lies in the fact that the dentist will present a series of statements as clinical reports such as the stratigraphy and CT of the TMJ, that indicate an anatomical flattening of the joint, axiography of the condylar traces with a reduction in kinematic convexity and a tracing EMG interference pattern in which an asymmetrical pattern on the masseters is highlighted. These assertions can easily be considered a contributing cause of the damage to the Temporomandibular Joint and, therefore, responsible for the 'Orofacial pain'.
La complication réside dans le fait que le dentiste présentera une série d'états sous forme de rapports cliniques tels que la stratigraphie et le scanner de l'ATM, qui indiquent un aplatissement anatomique de l'articulation, une axiographie des traces condyliennes avec une réduction de la convexité cinématique et une tracer le motif d'interférence EMG dans lequel un motif asymétrique sur les masséters est mis en évidence. Ces affirmations peuvent facilement être considérées comme une cause contributive des dommages à l'articulation temporo-mandibulaire et, par conséquent, responsables de la «douleur orofaciale».


Documents, reports and clinical evidence can be used to make the neurologist's assertion incompatible and the dentist's diagnostic conclusion compatible. To do this we must present some logical rules that describe the compatibility or incompatibility of the logic of classical language:
Des documents, des rapports et des preuves cliniques peuvent être utilisés pour rendre l'affirmation du neurologue incompatible et la conclusion diagnostique du dentiste compatible. Pour ce faire, nous devons présenter quelques règles logiques décrivant la compatibilité ou l'incompatibilité de la logique du langage classique :
#A set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is coherent.
#A set of sentences <math>\Im</math>, et un nombre <math>n\geq1</math>d'autres phrases ou déclarations <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sont logiquement compatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math>est cohérent.
#A set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically incompatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is incoherent.
#Un ensemble de phrases <math>\Im</math>, and a number <math>n\geq1</math> d'autres phrases ou déclarations <math>(\delta_1,\delta_2,.....\delta_n \ )</math>sont logiquement incompatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math>est incohérent.


Let us try to follow this reasoning with practical examples:
Essayons de suivre ce raisonnement par des exemples pratiques :


The dentist colleague exposes the following sentence:
Le collègue dentiste expose la phrase suivante :


<math>\Im</math>: Following the personalized techniques suggested by Xin Liang et al.<ref>{{cite book  
<math>\Im</math>: Suivant les techniques personnalisées suggérées par Xin Liang et al.<ref>{{cite book  
  | autore = Liang X
  | autore = Liang X
  | autore2 = Liu S
  | autore2 = Liu S
Line 634: Line 638:
  | DOI = 10.1016/j.oooo.2017.05.514
  | DOI = 10.1016/j.oooo.2017.05.514
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> who focuses on the quantitative microstructural analysis of the fraction of the bone value, the trabecular number, the trabecular thickness and the trabecular separation on each slice of the CT scan of a TMJ, it appears that Mary Poppins is affected by Temporomandibular Disorders (TMDs) and the consequence causes Orofacial Pain.
  }}</ref>qui se concentre sur l'analyse microstructurale quantitative de la fraction de la valeur osseuse, du nombre trabéculaire, de l'épaisseur trabéculaire et de la séparation trabéculaire sur chaque coupe du scanner d'un ATM, il apparaît que Mary Poppins est affectée par les troubles temporo-mandibulaires (TMD) et la conséquence provoque des douleurs orofaciales.


At this point, however, the thesis must be confirmed with further clinical and laboratory tests, and in fact the colleague produces a series of assertions that should pass the compatibility filter as described above, namely:
À ce stade, cependant, la thèse doit être confirmée par d'autres tests cliniques et de laboratoire, et en fait le collègue produit une série d'affirmations qui devraient passer le filtre de compatibilité comme décrit ci-dessus, à savoir :


<math>\delta_1=</math> '''Bone remodelling:''' The flattening of the axiographic traces highlighted in figure 5 indicates the joint remodelling of the right TMJ of Mary Poppins, such a report can be correlated to a series of researches and articles that confirm how malocclusion can be associated with morphological changes in the temporomandibular joints, particularly when combined with the age as the presence of a chronic malocclusion can worsen the picture of bone remodelling.<ref>{{cite book  
<math>\delta_1=</math>'''Remodelage osseux''' : L'aplatissement des traces axiographiques mises en évidence sur la figure 5 indique le remodelage articulaire de l'ATM droit de Mary Poppins, un tel rapport peut être corrélé à une série de recherches et d'articles qui confirment comment la malocclusion peut être associée à des changements morphologiques dans le articulations temporo-mandibulaires, en particulier lorsqu'elles sont associées à l'âge car la présence d'une malocclusion chronique peut aggraver le tableau du remodelage osseux.<ref>{{cite book  
  | autore = Solberg WK
  | autore = Solberg WK
  | autore2 = Bibb CA
  | autore2 = Bibb CA
Line 655: Line 659:
  | DOI = 10.1016/0002-9416(86)90055-2
  | DOI = 10.1016/0002-9416(86)90055-2
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> These scientific references determine the compatibility of the assertion.
  }}</ref>Ces références scientifiques déterminent la compatibilité de l'assertion.


<math>\delta_2=</math> '''Sensitivity and specificity of the axiographic measurement:''' A study was conducted to verify the sensitivity and specificity of the data collected from a group of patients affected by temporomandibular joint disorders with an ARCUSdigma axiographic system<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref>; it confirmed a sensitivity of the 84.21% and a 92.86% sensitivity for the right and left TMJs respectively, and a specificity of 93.75% and 95.65%.<ref>{{cite book  
<math>\delta_2=</math>'''Sensibilité et spécificité de la mesure axiographique''' : Une étude a été menée pour vérifier la sensibilité et la spécificité des données recueillies auprès d'un groupe de patients atteints de troubles de l'articulation temporo-mandibulaire avec un système axiographique ARCUSdigma<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref>; il a confirmé une sensibilité de 84,21 % et une sensibilité de 92,86 % pour les ATM droit et gauche respectivement, et une spécificité de 93,75 % et 95,65 %.<ref>{{cite book  
  | autore = Kobs G
  | autore = Kobs G
  | autore2 = Didziulyte A
  | autore2 = Didziulyte A
Line 674: Line 678:
  | DOI =  
  | DOI =  
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> These scientific references determine compatibility of the assertion in the dental context precisely because of the consistency of related studies.<ref>{{cite book  
  }}</ref>Ces références scientifiques déterminent la compatibilité de l'affirmation dans le contexte dentaire précisément en raison de la cohérence des études connexes.<ref>{{cite book  
  | autore = Piancino MG
  | autore = Piancino MG
  | autore2 = Roberi L
  | autore2 = Roberi L
Line 694: Line 698:
  }}</ref>
  }}</ref>


<math>\delta_3=</math> '''Alteration of condylar paths:''' Urbano Santana-Mora and coll.<ref>{{cite book  
<math>\delta_3=</math> '''Altération des trajets condyliens''' : Urbano Santana-Mora et coll..<ref>{{cite book  
  | autore = López-Cedrún J
  | autore = López-Cedrún J
  | autore2 = Santana-Mora U
  | autore2 = Santana-Mora U
Line 714: Line 718:
  | DOI = 10.1038/sdata.2017.168
  | DOI = 10.1038/sdata.2017.168
  | oaf = YES<!-- qualsiasi valore -->
  | oaf = YES<!-- qualsiasi valore -->
  }}</ref> evaluated 24 adult patients suffering from severe chronic unilateral pain diagnosed as Temporomandibular Disorders (TMDs). The following functional and dynamic factors were evaluated:   
  }}</ref> ont évalué 24 patients adultes souffrant de douleurs unilatérales chroniques sévères diagnostiquées comme des troubles temporo-mandibulaires (TMD). Les facteurs fonctionnels et dynamiques suivants ont été évalués :   


masticatory function;   
fonction masticatrice;   


remodelling of the TMJ or condylar pathway (CP); and lateral movement of the jaw or lateral guide (LG).   
remodelage de l'ATM ou de la voie condylienne (CP) ; et mouvement latéral de la mâchoire ou du guide latéral (LG).   


The CPs were assessed using conventional axiography and LG was assessed by using kinesiograph tracing<ref>[https://www.myotronics.com/ Myotronics Inc., Kent, WA, US]</ref>; Seventeen (71%) of the 24 (100%) patients consistently showed a side of habitual chewing side. The mean and standard deviation of the CP angles was 47.90 <math>\pm</math> 9.24) degrees. The average of LG angles was 42.95<math>\pm</math>11.78 degrees. <br>Data collection emerged from the conception of a new TMD paradigm in which the affected side could be the usual chewing side, the side where the mandibular lateral kinematic angle was flatter. This parameter may also be compatible with the dental claim.
Les PC ont été évalués à l'aide de l'axiographie conventionnelle et le LG a été évalué à l'aide du tracé du kinésiographe<ref>[https://www.myotronics.com/ Myotronics Inc., Kent, WA, US]</ref>; Dix-sept (71 %) des 24 (100 %) patients présentaient systématiquement un côté de mastication habituel. La moyenne et l'écart type des angles CP étaient de 47,90<math>\pm</math> 9.24) degrés. La moyenne des angles LG était de 42,95<math>\pm</math>11,78 degrés.<br>La collecte de données a émergé de la conception d'un nouveau paradigme TMD dans lequel le côté affecté pourrait être le côté masticateur habituel, le côté où l'angle cinématique latéral mandibulaire était le plus plat. Ce paramètre peut également être compatible avec la réclamation dentaire.


<math>\delta_4=</math> '''EMG Intereference pattern:''' M.O. Mazzetto and coll.<ref>{{cite book  
<math>\delta_4=</math>'''Modèle d'interférence EMG''' : M.O. Mazzetto et coll.<ref>{{cite book  
  | autore = Oliveira Mazzetto M
  | autore = Oliveira Mazzetto M
  | autore2 = Almeida Rodrigues C
  | autore2 = Almeida Rodrigues C
Line 740: Line 744:
  | DOI = 10.1590/0103-6440201302310
  | DOI = 10.1590/0103-6440201302310
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> showed that the electromyographic activity of the anterior temporal muscles and the masseter was positively correlated with the "Craniomandibular index", indiced (CMI) with a <math>P=0,01</math> and suggesting that the use of CMI to quantify the severity of TMDs and EMG to assess the masticatory muscle function, may be an important diagnostic and therapeutic elements. These scientific references determine compatibility of the assertion.
  }}</ref>ont montré que l'activité électromyographique des muscles temporaux antérieurs et du masséter était corrélée positivement avec le "Craniomandibular index", indicé (CMI) avec un <math>P=0,01</math> et suggérant que l'utilisation du CMI pour quantifier la sévérité des TMD et de l'EMG pour évaluer la fonction musculaire masticatrice, peut être un élément diagnostique et thérapeutique important. Ces références scientifiques déterminent la compatibilité de l'assertion.


<math>\delta_n=</math> '''?'''
<math>\delta_n=</math> '''?'''


Obviously, the dentist colleague could endlessly keep on casting his statements, indefinitely.
Évidemment, le confrère dentiste pourrait continuer indéfiniment à lancer ses déclarations, indéfiniment.


Well, ''all of these statements seem coherent'' with the sentence <math>\Im</math> initially described, whereby the dentist colleague feels justified in saying that the set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other assertions or clinical data <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible as the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is coherent.{{q4|<!--211-->Following the logic of classical language, the dentist is right!|<!--212-->It would seem so! <br><!--213-->But, be careful, only in his own dental context!}}
Eh bien, toutes ces déclarations semblent cohérentes avec la phrase <math>\Im</math> décrit initialement, où le collègue dentiste se sent justifié de dire que l'ensemble des phrases <math>\Im</math>, et un nombre <math>n\geq1</math>d'autres affirmations ou données cliniques <math>(\delta_1,\delta_2,.....\delta_n \ )</math>sont logiquement compatibles comme l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math>est cohérent.{{q4|<!--211-->Suivant la logique du langage classique, le dentiste a raison !|<!--212-->It would seem so! <br><!--213-->Mais attention, uniquement dans son propre contexte dentaire !}}


This statement is so true that the <math>P-value</math> could be infinitely extended, widened enough to obtain an <math>\alpha=0</math> that corresponds to it in an infinite significance, as long as it remains limited in its context; yet, without meaning anything from a clinical point of view in other contexts, like in the neurologist one, for instance.
Cette affirmation est si vraie que le<math>P-value</math>pourrait être étendue à l'infini, suffisamment élargie pour obtenir une <math>\alpha=0</math> qui lui correspond dans une signification infinie, tant qu'il reste limité dans son contexte ; pourtant, sans rien signifier d'un point de vue clinique dans d'autres contextes, comme celui du neurologue, par exemple.
==Final considerations==
==Considérations finales==
From a perspective of observation of this kind, the Logic of Predicates can only fortify the dentist’s reasoning and, at the same time, strengthen the <u>principle of the excluded third</u>: the principle is strengthened through the compatibility of the additional assertions <math>(\delta_1,\delta_2,.....\delta_n \ )</math> which grant the dentist a complete coherence in the diagnosis and in confirming the sentence <math>\Im</math>: Poor Mary Poppins either has TMD, or she has not.{{q4|...<!--224-->and what if, with the advancement of research, new phenomena were discovered that would prove the neurologist right, instead of the dentist?|}}
Dans une telle perspective d'observation, la Logique des Prédicats ne peut que fortifier le raisonnement du dentiste et, en même temps, renforcer le principe du tiers exclu : le principe est renforcé par la compatibilité des assertions supplémentaires <math>(\delta_1,\delta_2,.....\delta_n \ )</math> qui accordent au dentiste une cohérence complète dans le diagnostic et dans la confirmation de la sentence <math>\Im</math>: La pauvre Mary Poppins a soit TMD, soit elle n'en a pas.{{q4|...<!--224-->et si, avec l'avancement de la recherche, on découvrait de nouveaux phénomènes qui donneraient raison au neurologue plutôt qu'au dentiste ?|}}


Basically, given the compatibility of the assertions <math>(\delta_1,\delta_2,.....\delta_n \ )</math>, coherently saying that Orofacial Pain is caused by a Temporomandibular Disorders could become incompatible if another series of assertions <math>(\gamma_1,\gamma_2,.....\gamma_n \ )</math> were shown to be coherent: this would make a different sentence compatible <math>\Im</math>: could poor Mary Poppins suffer from Orofacial Pain from a neuromotor disorder (<sub>n</sub>OP) and not by a Temporomandibular Disorders?
Fondamentalement, compte tenu de la compatibilité des affirmations <math>(\delta_1,\delta_2,.....\delta_n \ )</math>, , affirmer de manière cohérente que la Douleur Orofaciale est causée par un Trouble Temporo-Mandibulaire pourrait devenir incompatible si une autre série d'affirmations<math>(\gamma_1,\gamma_2,.....\gamma_n \ )</math> se sont révélés cohérents : cela rendrait une phrase différente compatible <math>\Im</math>: la pauvre Mary Poppins pourrait-elle souffrir de Douleurs Orofaciales d'un trouble neuromoteur (nOP) et non d'un Trouble Temporo-Mandibulaire ?


In the current medical language logic, such assertions only remain assertions, because the convictions and opinions do not allow a consequent and quick change of the mindset.
Dans la logique actuelle du langage médical, de telles affirmations ne restent que des affirmations, car les convictions et opinions ne permettent pas un changement d'état d'esprit conséquent et rapide.


Moreover, taking into account the risk that this change entails, in fact, we might consider a recent article on the epidemiology of temporomandibular disorders<ref>{{cite book  
De plus, compte tenu du risque que cette modification comporte, en effet, on pourrait envisager un article récent sur l'épidémiologie des troubles temporo-mandibulaires<ref>{{cite book  
  | autore = LeResche L
  | autore = LeResche L
  | titolo = Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors
  | titolo = Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors
Line 770: Line 774:
  | DOI = 10.1177/10454411970080030401
  | DOI = 10.1177/10454411970080030401
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> in which the authors confirm that despite the methodological and population differences, pain in the temporomandibular region appears to be relatively common, occurring in about the 10% of the population; we may then objectively be led to hypothesize that our Mary Poppins can be included in the 10% of the patients mentioned in the epidemiological study, and contextually be classified as a patient suffering from Orofacial Pain from Temporomandibular Disorders (TMDs).
  }}</ref> dans lequel les auteurs confirment que malgré les différences méthodologiques et de population, la douleur dans la région temporo-mandibulaire semble être relativement fréquente, survenant chez environ 10 % de la population ; on peut alors objectivement être amené à faire l'hypothèse que notre Mary Poppins peut être incluse dans les 10% de patients cités dans l'étude épidémiologique, et contextuellement être classée comme patient souffrant de Douleurs Orofaciales de Troubles Temporo-Mandibulaires (DTM).


In conclusion, it is evident that a classical logic of language, which has an extremely dichotomous approach (either it is white or it is black), cannot depict the many shades that occur in real clinical situations.
En conclusion, il est évident qu'une logique classique du langage, qui a une approche extrêmement dichotomique (soit c'est blanc, soit c'est noir), ne peut rendre compte des nombreuses nuances qui se présentent dans les situations cliniques réelles.
We need to find a more convenient and suitable language logic...{{q4|... <!--237-->can we then think of a Probabilistic Language Logic?|<!--238-->perhaps}}
Nous devons trouver une logique de langage plus pratique et appropriée...{{q4|... <!--237-->peut-on alors penser à une Logique de Langage Probabiliste ?|<!--238-->peut-être}}


{{Btnav|The logic of medical language|The logic of probabilistic language}}
{{Btnav|La logique du langage médical|La logique du langage probabiliste}}


{{Bib}}
{{Bib}}

Latest revision as of 11:12, 4 December 2022

Other languages:  

English · Italiano · Français · Deutsch · Español

Spasmo emimasticatorio assiografia.jpg

La logique classique sera abordée dans ce chapitre. Dans une première partie, le formalisme mathématique et les règles qui le composent seront illustrés. Dans la deuxième partie, un exemple clinique sera donné pour évaluer son efficacité dans la détermination d'un diagnostic.

En conclusion, il est évident qu'une logique classique du langage, qui a une approche extrêmement dichotomique (soit quelque chose est blanc, soit c'est noir), ne peut pas décrire les nombreuses nuances que présentent les situations cliniques réelles.

Comme nous le verrons bientôt, cet article montrera que la logique classique manque de la précision nécessaire, nous forçant à l'enrichir avec d'autres types de langages logiques. 

Masticationpedia

 

Introduction

Nous nous sommes séparés dans le chapitre précédent sur la « logique du langage médical » dans une tentative de déplacer l'attention du symptôme clinique ou du signe vers le langage machine crypté pour lequel les arguments de Donald E Stanley, Daniel G Campos et Pat Croskerry sont les bienvenus mais connecté au temps comme support d'information (anticipation du symptôme) et au message comme langage machine et non comme langage non verbal).[1][2]
Cela n'exclut évidemment pas la validité de l'histoire clinique bâtie sur un langage verbal pseudo-formel désormais bien ancré dans la réalité clinique et qui a déjà prouvé son autorité diagnostique. La tentative de déplacer l'attention vers un langage machine et vers le système n'offre rien d'autre qu'une opportunité pour la validation de la science médicale diagnostique.

Nous sommes certainement conscients que notre Linux Sapiens est toujours perplexe quant à ce qui a été anticipé et continue de se demander

 
Question 2.jpg
    
«... but... la logique du langage classique pourrait-elle nous aider à résoudre le dilemme de la pauvre Mary Poppins ?»
(a little patience, please)


Nous ne pouvons apporter une réponse conventionnelle car la science ne progresse pas avec des affirmations qui ne sont pas justifiées par des questions et des réflexions scientifiquement validées ; et c'est d'ailleurs la raison pour laquelle nous tenterons de donner la parole à quelques réflexions, perplexités et doutes exprimés sur quelques sujets de fond mis en discussion dans certains articles scientifiques.

L'un de ces sujets fondamentaux est la «biologie craniofaciale».

Commençons par une étude bien connue de Townsend et Brook[3]:dans ce travail, les auteurs remettent en question le statu quo de la recherche fondamentale et appliquée en «biologie craniofaciale» pour en extraire des considérations et des implications cliniques. L'un des sujets qu'ils ont abordés était "l'approche interdisciplinaire", dans laquelle Geoffrey Sperber et son fils Steven ont vu la force des progrès exponentiels de la "biologie craniofaciale" dans les innovations technologiques telles que le séquençage de gènes, la tomodensitométrie, l'imagerie IRM, le laser à balayage, l'analyse d'images. , échographie et spectroscopie[4].

Un autre sujet de grand intérêt pour la mise en œuvre de la «biologie craniofaciale» est la prise de conscience que les systèmes biologiques sont des «systèmes complexes».'[5]et que «l'épigénétique» joue un rôle clé dans la biologie moléculaire craniofaciale. Des chercheurs d'Adélaïde et de Sydney livrent une revue critique dans le domaine de l'épigénétique visant, en fait, les disciplines dentaires et craniofaciales.[6] La phénomique, en particulier, discutée par ces auteurs (voir Phénomique)) est un domaine de recherche général qui implique la mesure des changements dans les dents et les structures orofaciales associées résultant des interactions entre les facteurs génétiques, épigénétiques et environnementaux au cours du développement.t.[7] Dans ce même contexte, le travail d'Irma Thesleff d'Helsinki, en Finlande, mérite d'être souligné. Elle explique dans son travail qu'il existe une série de centres de signalisation transitoire dans l'épithélium dentaire qui jouent un rôle important dans le programme de développement des dents..[8] En outre, il existe d'autres travaux, par Peterkova R, Hovor akova M, Peterka M, Lesot H, fournissant un examen fascinant des processus qui se produisent au cours du développement dentaire.;[9][10][11] dans un souci d'exhaustivité, n'oublions pas les travaux de Han J, Menicanin D, Gronthos S et Bartold PM., qui passent en revue une documentation complète sur les cellules souches, l'ingénierie tissulaire et la régénération parodontale.[12]

Dans cette revue, les arguments ne pouvaient manquer sur les influences génétiques, épigénétiques et environnementales au cours de la morphogenèse qui conduisent à des variations du nombre, de la taille et de la forme de la dent.[13][14]et l'influence de la pression de la langue sur la croissance et la fonction craniofaciale.[15][16]Le travail extraordinaire de Townsend et Brook mérite également une mention[3], et le contenu intrinsèque de ce qui y a été rapporté correspond tout aussi bien à un autre auteur louable : HC Slavkin.[17] Slavkin affirme que :

"L'avenir regorge d'opportunités significatives pour améliorer les résultats cliniques des malformations craniofaciales congénitales et acquises. Les cliniciens jouent un rôle clé car la pensée critique et le public clinique améliorent considérablement la précision du diagnostic et donc les résultats de santé cliniques."
 
Question 2.jpg
    
«... Je comprends les progrès de la science décrits par les auteurs mais je ne comprends pas le changement de bient»
(Je vais vous donner un exemple pratique)



Dans le chapitre "Introduction" nous avons posé certaines questions au sujet de la malocclusion mais dans ce cadre nous simulons la logique du langage médical du dentiste face au cas clinique présenté dans le "chapitre Introduction" avec ses conclusions diagnostiques et thérapeutiques.

Le patient a une occlusion croisée unilatérale postérieure et une béance antérieure.[18] L'occlusion croisée est un autre élément perturbateur de l'occlusion normale[19] pour lequel il est obligatoirement traité en même temps que la béance.[20][21] Ce type de raisonnement signifie que le modèle (système masticatoire) est « normalisé à l'occlusion » ; et lu à l'envers, cela signifie que le décalage occlusal est la cause d'une malocclusion, donc d'une maladie de l'appareil masticatoire, et donc une intervention pour restaurer la fonction masticatoire physiologique est justifiable. (Figure 1a).

Cet exemple est le langage logique classique, comme nous allons l'expliquer en détail, mais maintenant un doute surgit :

A l'époque où les axiomes orthodontiques et orthognathiques construisaient des protocoles confirmés par la Communauté Scientifique Internationale, avaient-ils connaissance des informations dont nous avons parlé dans l'introduction de ce chapitre ?
Certainly not because time est porteur d'information mais malgré cette limite cognitive nous procédons avec une Logique du Langage Classique très contestable pour la sécurité du citoyen.
«... cette affirmation semble un peu risquée !»
(bien sûr, mais la suite logique a déjà été anticipée)

Si le même cas était interprété avec un état d'esprit qui suivait une « logique du langage du système » (cela sera discuté dans le chapitre approprié), les conclusions seraient surprenantes.

Si l'on observe les réponses électrophysiologiques effectuées sur le patient avec malocclusion dans les figures 1b, 1c et 1d (avec l'explication faite directement en légende pour simplifier la discussion), on remarquera que ces données peuvent faire penser à tout sauf à une « malocclusion ». ' et, par conséquent, les axiomes de type 'cause/effet' orthodontiques et orthognathiques laissent un vide conceptuel.

  • Figure 1a: Patient avec malocclusion, béance et occlusion croisée postérieure droite qui, en termes de rééducation, doit être traité par thérapie orthodontique et/ou chirurgie orthognathique

  • Figure 1b: Potentiel évoqué moteur à partir de la stimulation électrique transcrânienne des racines du trijumeau. Notez la symétrie structurelle calculée par l'amplitude crête à crête sur les masséters gauche et droit (traces respectivement supérieure et inférieure)

  • Figure 1c: Réflexe mandibulaire évoqué ou réflexe de la mâchoire par percussion du menton à travers un marteau neurologique déclenché. Notez la symétrie fonctionnelle calculée par l'amplitude crête à crête sur les massemètres gauche et droit (traces respectivement supérieure et inférieure)

  • Figure 1d: Période silencieuse mécanique évoquée par percussion du menton à travers un marteau neurologique déclenché. Notez la symétrie fonctionnelle calculée sur l'aire intégrale des masséters droit et gauche (traces supérieure et inférieure respectivement).

 
Question 2.jpg
    
«Permettez-moi de mieux comprendre ce que la logique du langage classique a à voir avec cela»
(Nous le ferons suite au cas clinique de notre Mary Poppins)


Formalisme mathématique

Dans ce chapitre, nous allons revenir sur le cas clinique de la malheureuse Mary Poppins souffrant de Douleurs Orofaciales depuis plus de 10 ans à qui son dentiste a diagnostiqué un 'Troubles Temporo-Mandibulaires' (TMDs) ou plutôt Douleurs Orofaciales par TMDs. Pour mieux comprendre pourquoi la formulation exacte du diagnostic reste complexe avec une Logique du Langage Classique, il faut comprendre le concept sur lequel repose la philosophie du langage classique avec une brève introduction au sujet.

Propositions

La logique classique est basée sur des propositions. On dit souvent qu'une proposition est une phrase qui demande si la proposition est vraie ou fausse. En effet, une proposition en mathématiques est généralement vraie ou fausse, mais c'est évidemment un peu trop vague pour être une définition. Cela peut être pris, au mieux, comme un avertissement : si une phrase, exprimée dans le langage courant, n'a aucun sens pour demander si elle est vraie ou fausse, ce ne sera pas une proposition mais quelque chose d'autre.

On peut se demander si les phrases en langage courant sont ou non des propositions, car dans de nombreux cas, il n'est pas souvent évident de savoir si une certaine affirmation est vraie ou fausse.

Heureusement, les propositions mathématiques, si elles sont bien exprimées, ne présentent pas de telles ambiguïtés ».

Des propositions plus simples peuvent être combinées entre elles pour former de nouvelles propositions plus complexes. Cela se produit à l'aide d'opérateurs appelés opérateurs logiques et de connecteurs quantifiants qui peuvent être réduits aux suivants[22]:

  1. Conjonction, indiquée par le symbole (et):
  2. La disjonction, qui est indiquée par le symbole (ou):
  3. La négation, qui est indiquée par le symbole (ne pas):
  4. Implication, indiquée par le symbole (si donc):
  5. Conséquence, indiquée par le symbole (est une partition de..):
  6. Quantificateur universel, qui est indiqué par le symbole (pour tous):
  7. Démonstration, indiquée par le symbole (tel que): et
  8. L'adhésion, qui est indiquée par le symbole (est un élément de) ou par le symbole (n'est pas un élément de):

Démonstration par l'absurde

De plus, dans la logique classique, il existe un principe appelé le tiers exclu qui déclare qu'une phrase qui ne peut pas être fausse doit être considérée comme vraie puisqu'il n'y a pas de troisième possibilité.

Supposons que nous ayons besoin de prouver que la proposition est vrai. La démarche consiste à montrer que l'hypothèse selon laquelle est faux conduit à une contradiction logique. Ainsi la proposition [23]

Prédicats

Ce que nous avons brièvement décrit jusqu'ici est la logique des propositions. Une proposition affirme quelque chose à propos d'objets mathématiques spécifiques tels que : "2 est supérieur à 1, donc 1 est inférieur à 2" ou "un carré n'a pas 5 côtés, alors un carré n'est pas un pentagone". Souvent, cependant, les énoncés mathématiques ne concernent pas l'objet unique, mais les objets génériques d'un ensemble tels que : ' sont plus hauts que 2 mètres' où désigne un groupe générique (par exemple tous les volleyeurs). On parle dans ce cas de prédicats.

Intuitivement, un prédicat est une phrase concernant un groupe d'éléments (qui dans notre cas médical seront les patients) et qui énonce quelque chose à leur sujet.
 
Question 2.jpg
    
«Alors la pauvre Mary Poppins est une patiente TMD ou elle ne l'est pas !»
(voyons ce que la logique du langage classique nous dit)


En plus des confirmations issues de la logique du langage médical évoquées dans le chapitre précédent, le collègue dentiste acquiert d'autres données instrumentales qui lui permettent de confirmer son diagnostic. Ces derniers tests concernent l'analyse des traces axiographiques à l'aide d'un embrayage paraocclusal fonctionnel personnalisé qui permet la visualisation et la quantification des traces condyliennes dans les fonctions masticatoires. Comme on peut le voir sur la figure 4, l'aplatissement des traces condyliennes du côté droit à la fois dans la cinétique masticatoire médiotrusive (couleur verte) et les cycles d'ouverture et de protrusion (couleur grise) confirme l'aplatissement anatomique et fonctionnel de l'ATM droit dans la dynamique mastication. En plus de l'axiographie, le confrère réalise une électromyographie de surface sur les masséters (Fig. 6) demandant au patient d'exercer le maximum de sa force musculaire. Ce type d'analyse électromyographique est appelé "EMG Interferential Pattern" en raison du contenu à haute fréquence des pointes qui subissent des interférences de phase. En effet, la figure 6 montre une asymétrie dans le recrutement des unités motrices du masséter droit (tracé supérieur) par rapport à celles du masséter gauche (tracé inférieur).[24][25][26][27]

2ème Approche Clinique

(Passez la souris sur les images)

  • Figure 2: Patient signalant une « douleur orofaciale » dans son hémilatéral droit

  • Figure 3: Stratigraphie de l'ATM du patient montrant des signes d'aplatissement condylien et d'ostéophyte

  • Figure 4: Tomographie informatisée de l'ATM

  • Figure 5: Axiographie du patient montrant un aplatissement de la mastication sur son condyle droit

  • Figure 6: Modèle interférentiel EMG. Traces supérieures superposées correspondant au masséter droit, inférieures au masséter gauche.

Propositions dentaires

Tout en cherchant à utiliser le formalisme mathématique pour traduire les conclusions atteintes par le dentiste avec un langage logique classique, nous considérons les prédicats suivants :

  • x Patients normaux (normal signifie patients couramment présents dans le cadre spécialisé)
  • Remodelage osseux avec ostéophyte à partir d'un examen stratigraphique et d'un scanner condylien ; et
  • Patiente spécifique : Mary Poppins

Tout patient normal qui est positif à l'examen radiographique de l'ATM   [Figure 2 et 3] est affecté par les TMD ; il en résulte que  ; il en résulte que puis Mary Poppins est également touchée par les TMD Le langage des prédicats s'exprime de la manière suivante :

.

À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une preuve particulière . Il est également utilisé pour prouver qu'une affirmation particulière n'est pas vraie, ou qu'une connaissance particulière est logiquement compatible/incompatible avec une preuve particulière.

Afin de prouver que cette proposition est vraie, nous devons utiliser la démonstration mentionnée ci-dessus par l'absurde. Si son refus crée une contradiction, la proposition du dentiste sera sûrement vraie :

.

""déclare qu'il n'est pas vrai que ceux dont le test TMJ CT est positif ont des TMD, donc Mary Poppins (patient normal positif TMJ CT) n'a pas de TMD.

Le dentiste pense que l'affirmation de Mary Poppins (qu'elle n'a pas de TMD dans ces locaux) est une contradiction, donc l'affirmation principale est vraie.

Proposition neurophysiologique

Imaginons que le neurologue soit en désaccord avec la conclusion et affirme que Mary Poppins n'est pas atteinte de TMD ou que du moins ce n'est pas la principale cause de Douleur Orofaciale, mais que, plutôt, elle est atteinte d'une Douleur Orofaciale neuromotrice (nOP), donc qu'elle n'appartient pas au groupe de « patients normaux » mais doit être considéré comme un « patient non spécifique » (peu fréquent dans le contexte spécialisé).

Évidemment, cette dialectique durerait indéfiniment car tous deux défendraient leur contexte scientifique-clinique ; mais voyons ce qui se passe dans la logique des prédicats.

La déclaration du neurologue serait du genre :

.

""signifie que chaque patient qui est TMJ CT positif a des TMD mais même si Mary Poppins est TMJ CT positive, elle n'a pas de TMD.

Afin de prouver que cette proposition est vraie, nous devons utiliser à nouveau la démonstration par l'absurde mentionnée ci-dessus. Si son refus crée une contradiction, la proposition du neurologue sera sûrement vraie :

.

En suivant les règles logiques des prédicats, il n'y a aucune raison de dire que le déni(4) est contradictoire ou vide de sens, le neurologue (contrairement au dentiste) ne semble donc pas disposer des outils logiques pour confirmer sa conclusion.
 
Question 2.jpg
    
«alors le dentiste triomphe !»
(ne le prends pas pour acquis)


Compatibilité et incompatibilité des déclarations

La complication réside dans le fait que le dentiste présentera une série d'états sous forme de rapports cliniques tels que la stratigraphie et le scanner de l'ATM, qui indiquent un aplatissement anatomique de l'articulation, une axiographie des traces condyliennes avec une réduction de la convexité cinématique et une tracer le motif d'interférence EMG dans lequel un motif asymétrique sur les masséters est mis en évidence. Ces affirmations peuvent facilement être considérées comme une cause contributive des dommages à l'articulation temporo-mandibulaire et, par conséquent, responsables de la «douleur orofaciale».

Des documents, des rapports et des preuves cliniques peuvent être utilisés pour rendre l'affirmation du neurologue incompatible et la conclusion diagnostique du dentiste compatible. Pour ce faire, nous devons présenter quelques règles logiques décrivant la compatibilité ou l'incompatibilité de la logique du langage classique :

  1. A set of sentences , et un nombre d'autres phrases ou déclarations sont logiquement compatibles si, et seulement si, l'union entre eux est cohérent.
  2. Un ensemble de phrases , and a number d'autres phrases ou déclarations sont logiquement incompatibles si, et seulement si, l'union entre eux est incohérent.

Essayons de suivre ce raisonnement par des exemples pratiques :

Le collègue dentiste expose la phrase suivante :

: Suivant les techniques personnalisées suggérées par Xin Liang et al.[28]qui se concentre sur l'analyse microstructurale quantitative de la fraction de la valeur osseuse, du nombre trabéculaire, de l'épaisseur trabéculaire et de la séparation trabéculaire sur chaque coupe du scanner d'un ATM, il apparaît que Mary Poppins est affectée par les troubles temporo-mandibulaires (TMD) et la conséquence provoque des douleurs orofaciales.

À ce stade, cependant, la thèse doit être confirmée par d'autres tests cliniques et de laboratoire, et en fait le collègue produit une série d'affirmations qui devraient passer le filtre de compatibilité comme décrit ci-dessus, à savoir :

Remodelage osseux : L'aplatissement des traces axiographiques mises en évidence sur la figure 5 indique le remodelage articulaire de l'ATM droit de Mary Poppins, un tel rapport peut être corrélé à une série de recherches et d'articles qui confirment comment la malocclusion peut être associée à des changements morphologiques dans le articulations temporo-mandibulaires, en particulier lorsqu'elles sont associées à l'âge car la présence d'une malocclusion chronique peut aggraver le tableau du remodelage osseux.[29]Ces références scientifiques déterminent la compatibilité de l'assertion.

Sensibilité et spécificité de la mesure axiographique : Une étude a été menée pour vérifier la sensibilité et la spécificité des données recueillies auprès d'un groupe de patients atteints de troubles de l'articulation temporo-mandibulaire avec un système axiographique ARCUSdigma[30]; il a confirmé une sensibilité de 84,21 % et une sensibilité de 92,86 % pour les ATM droit et gauche respectivement, et une spécificité de 93,75 % et 95,65 %.[31]Ces références scientifiques déterminent la compatibilité de l'affirmation dans le contexte dentaire précisément en raison de la cohérence des études connexes.[32]

Altération des trajets condyliens : Urbano Santana-Mora et coll..[33] ont évalué 24 patients adultes souffrant de douleurs unilatérales chroniques sévères diagnostiquées comme des troubles temporo-mandibulaires (TMD). Les facteurs fonctionnels et dynamiques suivants ont été évalués :

fonction masticatrice;

remodelage de l'ATM ou de la voie condylienne (CP) ; et mouvement latéral de la mâchoire ou du guide latéral (LG).

Les PC ont été évalués à l'aide de l'axiographie conventionnelle et le LG a été évalué à l'aide du tracé du kinésiographe[34]; Dix-sept (71 %) des 24 (100 %) patients présentaient systématiquement un côté de mastication habituel. La moyenne et l'écart type des angles CP étaient de 47,90 9.24) degrés. La moyenne des angles LG était de 42,9511,78 degrés.
La collecte de données a émergé de la conception d'un nouveau paradigme TMD dans lequel le côté affecté pourrait être le côté masticateur habituel, le côté où l'angle cinématique latéral mandibulaire était le plus plat. Ce paramètre peut également être compatible avec la réclamation dentaire.

Modèle d'interférence EMG : M.O. Mazzetto et coll.[35]ont montré que l'activité électromyographique des muscles temporaux antérieurs et du masséter était corrélée positivement avec le "Craniomandibular index", indicé (CMI) avec un et suggérant que l'utilisation du CMI pour quantifier la sévérité des TMD et de l'EMG pour évaluer la fonction musculaire masticatrice, peut être un élément diagnostique et thérapeutique important. Ces références scientifiques déterminent la compatibilité de l'assertion.

?

Évidemment, le confrère dentiste pourrait continuer indéfiniment à lancer ses déclarations, indéfiniment.

Eh bien, toutes ces déclarations semblent cohérentes avec la phrase décrit initialement, où le collègue dentiste se sent justifié de dire que l'ensemble des phrases , et un nombre d'autres affirmations ou données cliniques sont logiquement compatibles comme l'union entre eux est cohérent.
 
Question 2.jpg
    
«Suivant la logique du langage classique, le dentiste a raison !»
(It would seem so!
Mais attention, uniquement dans son propre contexte dentaire !)


Cette affirmation est si vraie que lepourrait être étendue à l'infini, suffisamment élargie pour obtenir une qui lui correspond dans une signification infinie, tant qu'il reste limité dans son contexte ; pourtant, sans rien signifier d'un point de vue clinique dans d'autres contextes, comme celui du neurologue, par exemple.

Considérations finales

Dans une telle perspective d'observation, la Logique des Prédicats ne peut que fortifier le raisonnement du dentiste et, en même temps, renforcer le principe du tiers exclu : le principe est renforcé par la compatibilité des assertions supplémentaires qui accordent au dentiste une cohérence complète dans le diagnostic et dans la confirmation de la sentence : La pauvre Mary Poppins a soit TMD, soit elle n'en a pas.
 
Question 2.jpg
    
«...et si, avec l'avancement de la recherche, on découvrait de nouveaux phénomènes qui donneraient raison au neurologue plutôt qu'au dentiste ?»


Fondamentalement, compte tenu de la compatibilité des affirmations , , affirmer de manière cohérente que la Douleur Orofaciale est causée par un Trouble Temporo-Mandibulaire pourrait devenir incompatible si une autre série d'affirmations se sont révélés cohérents : cela rendrait une phrase différente compatible : la pauvre Mary Poppins pourrait-elle souffrir de Douleurs Orofaciales d'un trouble neuromoteur (nOP) et non d'un Trouble Temporo-Mandibulaire ?

Dans la logique actuelle du langage médical, de telles affirmations ne restent que des affirmations, car les convictions et opinions ne permettent pas un changement d'état d'esprit conséquent et rapide.

De plus, compte tenu du risque que cette modification comporte, en effet, on pourrait envisager un article récent sur l'épidémiologie des troubles temporo-mandibulaires[36] dans lequel les auteurs confirment que malgré les différences méthodologiques et de population, la douleur dans la région temporo-mandibulaire semble être relativement fréquente, survenant chez environ 10 % de la population ; on peut alors objectivement être amené à faire l'hypothèse que notre Mary Poppins peut être incluse dans les 10% de patients cités dans l'étude épidémiologique, et contextuellement être classée comme patient souffrant de Douleurs Orofaciales de Troubles Temporo-Mandibulaires (DTM).

En conclusion, il est évident qu'une logique classique du langage, qui a une approche extrêmement dichotomique (soit c'est blanc, soit c'est noir), ne peut rendre compte des nombreuses nuances qui se présentent dans les situations cliniques réelles.

Nous devons trouver une logique de langage plus pratique et appropriée...
 
Question 2.jpg
    
«... peut-on alors penser à une Logique de Langage Probabiliste ?»
(peut-être)


Bibliography & references
  1. ↑ Stanley DE, Campos DG, «The logic of medical diagnosis», in Perspect Biol Med, 2013».
    PMID:23974509
    DOI:10.1353/pbm.2013.0019 
  2. ↑ Croskerry P, «Adaptive expertise in medical decision making», in Med Teach, 2018».
    PMID:30033794
    DOI:10.1080/0142159X.2018.1484898 
  3. ↑ 3.0 3.1 Townsend GC, Brook AH, «The face, the future, and dental practice: how research in craniofacial biology will influence patient care», in Aust Dent J, Australian Dental Association, 2014».
    PMID:24646132
    DOI:10.1111/adj.12157 
  4. ↑ Sperber GH, Sperber SM, «The genesis of craniofacial biology as a health science discipline», in Aust Dent J, Australian Dental Association, 2014».
    PMID:24495071
    DOI:10.1111/adj.12131 
  5. ↑ Brook AH, Brook O'Donnell M, Hone A, Hart E, Hughes TE, Smith RN, Townsend GC, «General and craniofacial development are complex adaptive processes influenced by diversity», in Aust Dent J, Australian Dental Association, 2014».
    PMID:24617813
    DOI:10.1111/adj.12158 
  6. ↑ Williams SD, Hughes TE, Adler CJ, Brook AH, Townsend GC, «Epigenetics: a new frontier in dentistry», in Aust Dent J, Australian Dental Association, 2014».
    PMID:24611746
    DOI:10.1111/adj.12155 
  7. ↑ Yong R, Ranjitkar S, Townsend GC, Brook AH, Smith RN, Evans AR, Hughes TE, Lekkas D, «Dental phenomics: advancing genotype to phenotype correlations in craniofacial research», in Aust Dent J, Australian Dental Association, 2014».
    PMID:24611797
    DOI:10.1111/adj.12156 
  8. ↑ Thesleff I, «Current understanding of the process of tooth formation: transfer from the laboratory to the clinic», in Aust Dent J, 2013».
    DOI:10.1111/adj.12102 
  9. ↑ Peterkova R, Hovorakova M, Peterka M, Lesot H, «Three‐dimensional analysis of the early development of the dentition», in Aust Dent J, Wiley Publishing Asia Pty Ltd on behalf of Australian Dental Association, 2014».
    DOI:10.1111/adj.12130 
  10. ↑ Lesot H, Hovorakova M, Peterka M, Peterkova R, «Three‐dimensional analysis of molar development in the mouse from the cap to bell stage», in Aust Dent J, 2014».
    DOI:10.1111/adj.12132 
  11. ↑ Hughes TE, Townsend GC, Pinkerton SK, Bockmann MR, Seow WK, Brook AH, Richards LC, Mihailidis S, Ranjitkar S, Lekkas D, «The teeth and faces of twins: providing insights into dentofacial development and oral health for practising oral health professionals», in Aust Dent J, 2013».
    DOI:10.1111/adj.12101 
  12. ↑ Han J, Menicanin D, Gronthos S, Bartold PM, «Stem cells, tissue engineering and periodontal regeneration», in Aust Dent J, 2013».
    DOI:10.1111/adj.12100 
  13. ↑ {{Cite book | autore = Brook AH | autore2 = Jernvall J | autore3 = Smith RN | autore4 = Hughes TE | autore5 = Townsend GC | titolo = The Dentition: The Outcomes of Morphogenesis Leading to Variations of Tooth Number, Size and Shape | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12160 | volume = | opera = Aust Dent J | anno = 2014 | editore = | città = | ISBN = | PMID = | PMCID = | DOI = 10.1111/adj.12160 | oaf = | LCCN = | OCLC =
  14. ↑ Seow WK, «Developmental defects of enamel and dentine: challenges for basic science research and clinical management», in Aust Dent J, 2014».
    PMID:24164394
    DOI:10.1111/adj.12104 
  15. ↑ Kieser JA, Farland MG, Jack H, Farella M, Wang Y, Rohrle O, «The role of oral soft tissues in swallowing function: what can tongue pressure tell us?», in Aust Dent J, 2013».
    DOI:10.1111/adj.12103 
  16. ↑ Slavkin HC, «Research on Craniofacial Genetics and Developmental Biology: Implications for the Future of Academic Dentistry», in J Dent Educ, 1983».
    PMID:6573384 
  17. ↑ Slavkin HC, «The Future of Research in Craniofacial Biology and What This Will Mean for Oral Health Professional Education and Clinical Practice», in Aust Dent J, 2014».
    PMID:24433547
    DOI:10.1111/adj.12105 
  18. ↑ Littlewood SJ, Kandasamy S, Huang G, «Retention and relapse in clinical practice», in Aust Dent J, 2017».
    DOI:10.1111/adj.12475 
  19. ↑ Miamoto CB, Silva Marques L, Abreu LG, Paiva SM, «Impact of two early treatment protocols for anterior dental crossbite on children’s quality of life», in Dental Press J Orthod, 2018». 
  20. ↑ Alachioti XS, Dimopoulou E, Vlasakidou A, Athanasiou AE, «Amelogenesis imperfecta and anterior open bite: Etiological, classification, clinical and management interrelationships», in J Orthod Sci, 2014».
    DOI:10.4103/2278-0203.127547 
  21. ↑ Mizrahi E, «A review of anterior open bite», in Br J Orthod, 1978».
    PMID:284793
    DOI:10.1179/bjo.5.1.21 
  22. ↑ For the sake of simplicity of exposition and reading, we will deal in this chapter with the symbol of belonging, the symbol of consequence and the "such that" as if they were quantifiers and connectives of propositions in classical logic.
    Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.
  23. ↑ Pereira LM, Pinto AM, «Reductio ad Absurdum Argumentation in Normal Logic Programs», Arg NMR, 2007, Tempe, Arizona - Caparica, Portugal – in «Argumentation and Non-Monotonic Reasoning - An LPNMR Workshop». 
  24. ↑ Castroflorio T, Talpone F, Deregibus A, Piancino MG, Bracco P, «Effects of a Functional Appliance on Masticatory Muscles of Young Adults Suffering From Muscle-Related Temporomandibular Disorder», in J Oral Rehabil, 2004».
    PMID:15189308
    DOI:10.1111/j.1365-2842.2004.01274.x 
  25. ↑ Maeda N, Kodama N, Manda Y, Kawakami S, Oki K, Minagi S, «Characteristics of Grouped Discharge Waveforms Observed in Long-term Masseter Muscle Electromyographic Recording: A Preliminary Study», in Acta Med Okayama, Okayama University Medical School, 2019, Okayama, Japan».
    PMID:31439959
    DOI:10.18926/AMO/56938 
  26. ↑ Rudy TE, «Psychophysiological Assessment in Chronic Orofacial Pain», in Anesth Prog, American Dental Society of Anesthesiology, 1990».
    ISSN: 0003-3006/90
    PMID:2085203 - PMCID:PMC2190318 
  27. ↑ Woźniak K, Piątkowska D, Lipski M, Mehr K, «Surface electromyography in orthodontics - a literature review», in Med Sci Monit, 2013».
    e-ISSN: 1643-3750
    PMID:23722255 - PMCID:PMC3673808
    DOI:10.12659/MSM.883927 
  28. ↑ Liang X, Liu S, Qu X, Wang Z, Zheng J, Xie X, Ma G, Zhang Z, Ma X, «Evaluation of Trabecular Structure Changes in Osteoarthritis of the Temporomandibular Joint With Cone Beam Computed Tomography Imaging», in Oral Surg Oral Med Oral Pathol Oral Radiol, 2017».
    PMID:28732700
    DOI:10.1016/j.oooo.2017.05.514 
  29. ↑ Solberg WK, Bibb CA, Nordström BB, Hansson TL, «Malocclusion Associated With Temporomandibular Joint Changes in Young Adults at Autopsy», in Am J Orthod, 1986».
    PMID:3457531
    DOI:10.1016/0002-9416(86)90055-2 
  30. ↑ KaVo Dental GmbH, Biberach / Ris
  31. ↑ Kobs G, Didziulyte A, Kirlys R, Stacevicius M, «Reliability of ARCUSdigma (KaVo) in Diagnosing Temporomandibular Joint Pathology», in Stomatologija, 2007».
    PMID:17637527 
  32. ↑ Piancino MG, Roberi L, Frongia G, Reverdito M, Slavicek R, Bracco P, «Computerized axiography in TMD patients before and after therapy with 'function generating bites'», in J Oral Rehabil, 2008».
    PMID:18197841
    DOI:10.1111/j.1365-2842.2007.01815.x 
  33. ↑ López-Cedrún J, Santana-Mora U, Pombo M, Pérez Del Palomar A, Alonso De la Peña V, Mora MJ, Santana U, «Jaw Biodynamic Data for 24 Patients With Chronic Unilateral Temporomandibular Disorder», in Sci Data, 2017».
    PMID:29112190 - PMCID:PMC5674825
    DOI:10.1038/sdata.2017.168
    Open Access logo green alt2.svg
    		 This is an Open Access resource!
     
  34. ↑ Myotronics Inc., Kent, WA, US
  35. ↑ Oliveira Mazzetto M, Almeida Rodrigues C, Valencise Magri L, Oliveira Melchior M, Paiva G, «Severity of TMD Related to Age, Sex and Electromyographic Analysis», in Braz Dent J, 2014».
    DOI:10.1590/0103-6440201302310 
  36. ↑ LeResche L, «Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors», in Crit Rev Oral Biol Med, 1997».
    PMID:9260045
    DOI:10.1177/10454411970080030401 
Wiki.png
Masticationpedia is a charity, a not-for-profit organization operating in dentistry medical research,
particularly focusing on the field of the neurophysiology of the masticatory system
 

 


Retrieved from "https://www.masticationpedia.org/index.php?title=The_logic_of_classical_language_-_fr&oldid=14382"