View source for The logic of classical language/fr

{{Bookind2}}

<languages />


{{Subhead}}

[[File:Spasmo emimasticatorio assiografia.jpg|left|200px]]
'''Logique classique''' sera discuté dans ce chapitre. Dans la 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.<br>En conclusion, il est évident qu'une logique classique du langage, qui a une approche extrêmement dichotomique (soit quelque chose est blanc, soit il est noir), ne peut décrire les nombreuses nuances que présentent les situations cliniques réelles..<br>Comme nous le verrons bientôt, cet article montrera que la logique classique manque de la précision nécessaire, nous obligeant à l'enrichir avec d'autres types de langages logiques. {{ArtBy|
| autore = Gianni Frisardi
| autore2 = Riccardo Azzali
| autore3 = Flavio Frisardi
}}

==Introduction==
Nous sommes séparés dans le chapitre précédent sur la '[[Logique du langage médical|Logique du langage médical]]' dans une tentative de déplacer l'attention du symptôme ou du signe clinique vers le langage machine crypté pour lequel, les arguments de Donald E Stanley, Daniel G Campos et Pat Croskerry sont les bienvenus mais liés au temps <math>t_n</math> en tant que porteur d'information (anticipation du symptôme) et au message en tant que langage machine et non en tant que langage non-verbal)..<ref>{{Cite book 
 | autore = Stanley DE
 | autore2 = Campos DG
 | titolo = The logic of medical diagnosis
 | url = https://pubmed.ncbi.nlm.nih.gov/23974509/
 | volume = 
 | opera =  Perspect Biol Med
 | anno = 2013
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 23974509
 | PMCID = 
 | DOI = 10.1353/pbm.2013.0019
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref><ref>{{Cite book 
 | autore = Croskerry P
 | titolo = Adaptive expertise in medical decision making
 | url = https://www.tandfonline.com/doi/abs/10.1080/0142159X.2018.1484898?journalCode=imte20
 | volume = 
 | opera =  Med Teach
 | anno = 2018
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 30033794
 | PMCID = 
 | DOI = 10.1080/0142159X.2018.1484898
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref><br>Cela n'exclut évidemment pas la validité de l'histoire clinique construite 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 ne fournit rien d'autre qu'une opportunité pour la validation de la science médicale diagnostique.. 

Nous sommes bien conscients que notre Linux Sapiens est toujours perplexe face à ce qui a été anticipé et continue de se demander
{{q4|... mais... La logique de la langue classique pourrait-elle nous aider à résoudre le dilemme de la pauvre Mary Poppins ?|un peu de patience, s'il vous plaît}}

Nous ne pouvons pas fournir de 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 validées scientifiquement.; et c'est la raison pour laquelle nous allons essayer d'exprimer quelques réflexions, perplexités et doutes sur des sujets fondamentaux abordés dans certains articles scientifiques..

L'un de ces thèmes fondamentaux est la "Biologie craniofaciale"..

Let's start with a well known study by Townsend and Brook<ref name=":0">{{Cite book 
 | autore = Townsend GC
 | autore2 = Brook AH
 | titolo = The face, the future, and dental practice: how research in craniofacial biology will influence patient care
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12157
 | volume = 
 | opera =  Aust Dent J
 | anno = 2014
 | editore = Australian Dental Association
 | città = 
 | ISBN = 
 | PMID = 24646132
 | PMCID = 
 | DOI = 10.1111/adj.12157
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>: Dans cet ouvrage, les auteurs remettent en question le statu quo de la recherche fondamentale et appliquée en "biologie craniofaciale" afin d'en tirer des considérations et des implications cliniques.. L'un des sujets 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 génétique, le scanner, l'imagerie IRM, le laser à balayage, l'analyse d'images, l'ultrasonographie et la spectroscopie.<ref>{{Cite book 
 | autore = Sperber GH
 | autore2 = Sperber SM
 | titolo = The genesis of craniofacial biology as a health science discipline
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12131
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = Australian Dental Association
 | città = 
 | ISBN = 
 | PMID = 24495071
 | PMCID = 
 | DOI = 10.1111/adj.12131
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>.

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
 | autore2 = Brook O'Donnell M
 | autore3 = Hone A
 | autore4 = Hart E
 | autore5 = Hughes TE
 | autore6 = Smith RN
 | autore7 = Townsend GC
 | titolo = General and craniofacial development are complex adaptive processes influenced by diversity
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12158
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = Australian Dental Association
 | città = 
 | ISBN = 
 | PMID = 24617813 
 | PMCID = 
 | DOI = 10.1111/adj.12158
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</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 présentent une revue critique dans le domaine de l'épigénétique destinée, en fait, aux disciplines dentaires et craniofaciales..<ref>{{Cite book 
 | autore = Williams SD
 | autore2 = Hughes TE
 | autore3 = Adler CJ
 | autore4 = Brook AH
 | autore5 = Townsend GC
 | titolo = Epigenetics: a new frontier in dentistry
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12155
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = Australian Dental Association
 | città = 
 | ISBN = 
 | PMID = 24611746 
 | PMCID = 
 | DOI = 10.1111/adj.12155 
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref> La phénomique, en particulier, évoquée par ces auteurs (voir [[wikipedia:Phenomics|Phenomics]]) est un domaine de recherche général qui consiste à mesurer les modifications des dents et des structures orofaciales associées résultant des interactions entre les facteurs génétiques, épigénétiques et environnementaux au cours du développement.<ref>{{Cite book 
 | autore = Yong R
 | autore2 = Ranjitkar S
 | autore3 = Townsend GC
 | autore4 = Brook AH
 | autore5 = Smith RN
 | autore6 = Evans AR
 | autore7 = Hughes TE
 | autore8 = Lekkas D
 | titolo = Dental phenomics: advancing genotype to phenotype correlations in craniofacial research
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12156
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = Australian Dental Association
 | città = 
 | ISBN = 
 | PMID = 24611797
 | PMCID = 
 | DOI = 10.1111/adj.12156
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref> Dans ce même contexte, il convient de souligner le travail d'Irma Thesleff, d'Helsinki (Finlande).. Elle explique dans son travail qu'il existe une série de centres de signalisation transitoires dans l'épithélium dentaire qui jouent un rôle important dans le programme de développement de la dent..<ref>{{Cite book 
 | autore = Thesleff I
 | titolo = Current understanding of the process of tooth formation: transfer from the laboratory to the clinic
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12102
 | volume = 
 | opera = Aust Dent J
 | anno = 2013
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1111/adj.12102
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref> Il existe également d'autres travaux, par Peterkova R, Hovor akova M, Peterka M, Lesot H, qui fournissent une revue fascinante des processus qui se produisent au cours du développement dentaire.;<ref>{{Cite book 
 | autore = Peterkova R 
 | autore2 = Hovorakova M
 | autore3 = Peterka M
 | autore4 = Lesot H
 | titolo = Three‐dimensional analysis of the early development of the dentition
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12130
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = Wiley Publishing Asia Pty Ltd on behalf of Australian Dental Association
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1111/adj.12130
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref><ref>{{Cite book 
 | autore = Lesot H
 | autore2 = Hovorakova M
 | autore3 = Peterka M
 | autore4 = Peterkova R
 | titolo = Three‐dimensional analysis of molar development in the mouse from the cap to bell stage
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12132
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1111/adj.12132
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref><ref>{{Cite book 
 | autore = Hughes TE
 | autore2 = Townsend GC
 | autore3 = Pinkerton SK
 | autore4 = Bockmann MR 
 | autore5 = Seow WK
 | autore6 = Brook AH
 | autore7 = Richards LC
 | autore8 = Mihailidis S
 | autore9 = Ranjitkar S
 | autore10 = Lekkas D
 | titolo = The teeth and faces of twins: providing insights into dentofacial development and oral health for practising oral health professionals
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12101
 | volume = 
 | opera = Aust Dent J
 | anno = 2013
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1111/adj.12101
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref> pour être complet, 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
 | autore2 = Menicanin D
 | autore3 = Gronthos S
 | autore4 = Bartold PM
 | titolo = Stem cells, tissue engineering and periodontal regeneration
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12100
 | volume = 
 | opera = Aust Dent J
 | anno = 2013
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1111/adj.12100
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>

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 dans le nombre, la taille et la forme de la dent<ref>{{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 = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = </ref><ref>{{Cite book 
 | autore = Seow WK
 | titolo = Developmental defects of enamel and dentine: challenges for basic science research and clinical management
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12104
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 24164394 
 | PMCID = 
 | DOI = 10.1111/adj.12104
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref> et l'influence de la pression de la langue sur la croissance et la fonction cranio-faciale.<ref>{{Cite book 
 | autore = Kieser JA
 | autore2 = Farland MG
 | autore3 = Jack H
 | autore4 = Farella M
 | autore5 = Wang Y
 | autore6 = Rohrle O
 | titolo = The role of oral soft tissues in swallowing function: what can tongue pressure tell us?
 | url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12103
 | volume = 
 | opera = Aust Dent J
 | anno = 2013
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1111/adj.12103
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref><ref name=":1">{{Cite book 
 | autore = Slavkin HC
 | titolo = Research on Craniofacial Genetics and Developmental Biology: Implications for the Future of Academic Dentistry
 | url = https://pubmed.ncbi.nlm.nih.gov/6573384/
 | volume = 
 | opera = J Dent Educ
 | anno = 1983
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 6573384 
 | PMCID = 
 | DOI = 
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>

L'extraordinaire travail de Townsend et Brook mérite également d'être mentionné.<ref name=":0" />,  et le contenu intrinsèque de ce qui y est rapporté correspond tout aussi bien à celui d'un autre auteur digne d'éloges : HC Slavkin.<ref>{{Cite book 
 | autore = Slavkin HC
 | titolo = The Future of Research in Craniofacial Biology and What This Will Mean for Oral Health Professional Education and Clinical Practice
 | url = https://pubmed.ncbi.nlm.nih.gov/24433547/
 | volume = 
 | opera = Aust Dent J
 | anno = 2014
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 24433547
 | PMCID = 
 | DOI = 10.1111/adj.12105
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref> Slavkin affirme que:

:"''L'avenir est plein d'opportunités importantes pour améliorer les résultats cliniques des malformations craniofaciales congénitales et acquises.. Les cliniciens jouent un rôle clé, car l'esprit critique et l'audience clinique améliorent considérablement la précision du diagnostic et donc les résultats cliniques en matière de santé.''."

{{q4|... Je comprends le progrès de la science décrit par les auteurs mais je ne comprends pas le changement de pensée.|Je vais vous donner un exemple concret}}


Dans le chapitre "[[Introduction]]" nous avons posé certaines questions sur le thème de la malocclusion mais dans ce contexte 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 présente un articulé croisé unilatéral postérieur et un articulé ouvert antérieur..<ref>
{{cita libro
|autore=Littlewood SJ
|autore2=Kandasamy S
|autore3=Huang G
|titolo=Retention and relapse in clinical practice
|url=https://www.ncbi.nlm.nih.gov/pubmed/28297088
|volume=
|opera=Aust Dent J
|anno=2017
|editore=
|città=
|ISBN=
|LCCN=
|DOI=10.1111/adj.12475
|OCLC=
}}</ref> L'occlusion croisée est un autre élément perturbateur de l'occlusion normale.<ref>{{cita libro
|autore=Miamoto CB
|autore2=Silva Marques L
|autore3=Abreu LG
|autore4=Paiva SM
|titolo=Impact of two early treatment protocols for anterior dental crossbite on children’s quality of life
|url=https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5962250/pdf/2176-9451-dpjo-23-01-00071.pdf
|volume=
|opera=Dental Press J Orthod
|anno=2018
|editore=
|città=
|ISBN=
|LCCN=
|DOI=
|OCLC=
}}</ref> pour laquelle elle est obligatoirement traitée en même temps que l'occlusion ouverte..<ref>{{cita libro
|autore=Alachioti XS
|autore2=Dimopoulou E
|autore3=Vlasakidou A
|autore4=Athanasiou AE
|titolo=Amelogenesis imperfecta and anterior open bite: Etiological, classification, clinical and management interrelationships
|url=https://www.ncbi.nlm.nih.gov/pmc/articles/pmid/24987656/
|volume=
|opera=J Orthod Sci
|anno=2014
|editore=
|città=
|ISBN=
|LCCN=
|DOI=10.4103/2278-0203.127547
|OCLC=
}}</ref><ref>{{cita libro
|autore=Mizrahi E
|titolo=A review of anterior open bite
|url=https://www.ncbi.nlm.nih.gov/pubmed/284793
|volume=
|opera=Br J Orthod
|anno=1978
|editore=
|città=
|ISBN=
|LCCN=
|PMID  = 284793
|DOI=10.1179/bjo.5.1.21
|OCLC=
}}</ref> Ce type de raisonnement signifie que le modèle (système masticatoire) est "normalisé à l'occlusion" ; et lu à l'envers, il signifie que la divergence occlusale est la cause de la malocclusion, donc une maladie du système masticatoire, et donc qu'une intervention pour restaurer la fonction masticatoire physiologique est justifiable.. (Figure 1a).

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

:À l'époque où les axiomes de l'orthodontie et de l'orthognathie construisaient des protocoles confirmés par la communauté scientifique internationale, étaient-ils au courant des informations dont nous avons parlé dans l'introduction de ce chapitre ?

Certainement pas parce que le temps '''<math>t_n</math> est le porteur de l'information''' mais malgré cette limite cognitive, nous procédons avec une logique de langage classique très discutable pour la sécurité du citoyen..
{{q2|... cette déclaration semble un peu risquée!|bien sûr, mais la séquence logique a déjà été anticipée}}

Si le même cas était interprété avec un esprit qui suit la "logique du langage du système" (nous en parlerons dans le chapitre approprié), les conclusions seraient surprenantes..

Si nous observons les réponses électrophysiologiques effectuées sur le patient présentant une malocclusion dans les figures 1b, 1c et 1d (avec l'explication faite directement dans la légende pour simplifier la discussion), nous remarquerons que ces données peuvent nous faire penser à n'importe quoi sauf à une "malocclusion" et, par conséquent, les axiomes de type "cause/effet" orthodontique et orthognathique laissent un vide conceptuel.. 

<gallery mode="packed-hover" widths="250" heights="182" perrow="3">
File:Occlusal Centric view in open and cross bite patient.jpg|'''Figure 1a:''' Patient présentant une malocclusion, une occlusion ouverte et une occlusion croisée postérieure droite qui, en termes de réhabilitation, doit être traitée par un traitement orthodontique et/ou une chirurgie orthognathique.
File:Bilateral Electric Transcranial Stimulation.jpg|'''Figure 1b:''' Potentiel évoqué moteur provenant de la stimulation électrique transcrânienne des racines du trijumeau. Notez la symétrie structurelle calculée par l'amplitude de pic à pic sur les masséters gauche et droit (traces supérieure et inférieure respectivement).
File:Jaw Jerk .jpg|'''Figure 1c:''' Réflexe mandibulaire évoqué ou secousse de la mâchoire par percussion du menton au moyen d'un marteau neurologique déclenché. Notez la symétrie fonctionnelle calculée par l'amplitude crête à crête sur les masséters gauche et droit (traces supérieure et inférieure respectivement).
File:Mechanic Silent Period.jpg|'''Figure 1d:''' Période de silence mécanique évoquée par la percussion du menton par 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>

----
{{q4|Permettez-moi de mieux comprendre ce que la logique du langage classique a à voir avec cela.|Nous le ferons en suivant le cas clinique de notre Mary Poppins.}}

==Formalisme mathématique==
Dans ce chapitre, nous allons réexaminer le cas clinique de la malheureuse Mary Poppins qui souffre de douleurs orofaciales depuis plus de 10 ans et pour laquelle son dentiste a diagnostiqué des "troubles temporomandibulaires" (TMD) ou plutôt des douleurs orofaciales dues aux TMD. Pour mieux comprendre pourquoi la formulation exacte du diagnostic reste complexe avec une logique de la langue classique, nous devons comprendre le concept sur lequel se base la philosophie de la langue 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 soit vraie, soit fausse, mais c'est évidemment un peu trop vague pour être une définition.... Elle peut être prise, au mieux, comme un avertissement : si une phrase, exprimée dans le langage courant, n'a pas de sens pour demander si elle est vraie ou fausse, ce ne sera pas une proposition mais autre chose.

On peut discuter de la question de savoir si les phrases du langage courant sont ou non des propositions, car dans de nombreux cas, il n'est pas toujours évident de savoir si une certaine déclaration est vraie ou fausse.. 

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

Les 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 quantificateurs qui peuvent être réduits à ce qui suit<ref>Pour des raisons de simplicité d'exposition et de lecture, nous traiterons dans ce chapitre le ''symbole d'appartenance'', le ''symbole de conséquence'' et le ''tel que'' comme s'il s'agissait de quantificateurs et de connecteurs de propositions en logique classique..<br>Strictement parlant, dans le cadre de la logique classique, ils ne devraient pas être traités comme tels, mais même si nous le faisons, cela ne change pas absolument le sens du discours et aucune incohérence de quelque nature que ce soit n'est créée..</ref>:

#''Conjonction'', qui est indiqué par le symbole <math>\land</math>  (and):
#''Disjonction'', qui est indiqué par le symbole <math>\lor</math>  (or):
#''Négation'', qui est indiqué par le symbole <math>\urcorner</math>  (not):
#''Implication'', qui est indiqué par le symbole <math>\Rightarrow</math> (if ... then):
#''Conséquence'', qui est indiqué par le symbole <math>\vdash</math> (is a partition of..):
#''Quantificateur universel'', which is indicated by the symbol <math>\forall</math> (for all):
#''Démonstration'', qui est indiqué par le symbole <math>\mid</math> (such that): and
#''Adhésion'', qui est indiqué par le symbole <math>\in</math> (is an element of) ou par le symbole <math>\not\in</math> (is not an element of):

===Démonstration par l'absurde===

En outre, en logique classique, il existe un principe appelé le <u>tiers exclu</u> 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 devions prouver que la proposition <math>p</math> est vraie.. La procédure consiste à montrer que l'hypothèse selon laquelle <math>p</math> est fausse conduit à une contradiction logique. Ainsi, la proposition <math>p</math> ne peut pas être fausse, et donc, selon la loi du tiers exclu, elle doit être vraie. Cette méthode de démonstration est appelée ''démonstration par l'absurde''.<ref>{{Cite book 
 | autore = Pereira LM
 | autore2 = Pinto AM
 | titolo = Reductio ad Absurdum Argumentation in Normal Logic Programs
 | url = http://www-lia.deis.unibo.it/confs/ArgNMR/proceedings/ArgNMR-proceedings.pdf#page=100
 | volume = Argumentation and Non-Monotonic Reasoning - An LPNMR Workshop
 | opera = 
 | anno = 2007 
 | editore = Arg NMR
 | città = Tempe, Arizona - Caparica, Portugal
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 
 | oaf = <!-- qualsiasi valore -->
 | LCCN = 
 | OCLC = 
 }}</ref>

===Prédicats===

Ce que nous avons brièvement décrit jusqu'à présent 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, donc un carré n'est pas un pentagone".. Souvent, cependant, les énoncés mathématiques ne concernent pas l'objet unique, mais des objets génériques d'un ensemble tels que: '''<math>X</math>'' ont une hauteur supérieure à 2 mètres' où ''<math>X</math>'' désigne un groupe générique (par exemple tous les joueurs de volley-ball). Dans ce cas, on parle de prédicats.

Intuitivement, un prédicat est une phrase qui concerne un groupe d'éléments (qui dans notre cas médical seront les patients) et qui énonce quelque chose à leur sujet.

{{q4|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 dérivées de la logique du langage médical discutée dans le chapitre précédent, le collègue dentiste acquiert d'autres données instrumentales qui lui permettent de confirmer son diagnostic. Ces dernières concernent l'analyse des tracés axiographiques à l'aide d'un embrayage fonctionnel paraocclusal personnalisé qui permet de visualiser et de quantifier les tracés condyliens dans les fonctions masticatoires.. Comme on peut le voir sur la figure 4, l'aplatissement des traces condyliennes du côté droit, tant dans la cinétique masticatoire médiotruste (couleur verte) que dans les cycles d'ouverture et de protrusion (couleur grise), confirme l'aplatissement anatomique et fonctionnel de l'ATM droite dans la mastication dynamique. En plus de l'axiographie, le collègue effectue une électromyographie de surface sur les masséters (Fig. 6) en demandant au patient d'exercer la force maximale de ses muscles. Ce type d'analyse électromyographique est appelé "EMG Interferential Pattern" en raison du contenu haute fréquence des pics qui subissent une interférence de phase.. En effet, la figure 6 montre une asymétrie dans le recrutement des unités motrices du masséter droit (trace supérieure) par rapport à celles du masséter gauche (trace inférieure).<ref>{{cite book 
 | autore = Castroflorio T
 | autore2 = Talpone F
 | autore3 = Deregibus A
 | autore4 = Piancino MG
 | autore5 = Bracco P
 | titolo = Effects of a Functional Appliance on Masticatory Muscles of Young Adults Suffering From Muscle-Related Temporomandibular Disorder
 | url = https://pubmed.ncbi.nlm.nih.gov/15189308/
 | volume = 
 | opera =  J Oral Rehabil
 | anno = 2004
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 15189308
 | PMCID = 
 | DOI = 10.1111/j.1365-2842.2004.01274.x
 | oaf = <!-- qualsiasi valore -->
 }}</ref><ref>{{cite book 
 | autore = Maeda N 
 | autore2 = Kodama N
 | autore3 = Manda Y
 | autore4 = Kawakami S
 | autore5 = Oki K
 | autore6 = Minagi S
 | titolo = Characteristics of Grouped Discharge Waveforms Observed in Long-term Masseter Muscle Electromyographic Recording: A Preliminary Study
 | url = http://ousar.lib.okayama-u.ac.jp/files/public/5/56938/20190821181112825794/73_4_357.pdf
 | volume = 
 | opera =  Acta Med Okayama
 | anno = 2019
 | editore = Okayama University Medical School
 | città = Okayama, Japan
 | ISBN = 
 | PMID = 31439959
 | PMCID = 
 | DOI = 10.18926/AMO/56938
 | oaf = <!-- qualsiasi valore -->
 }}</ref><ref>{{cite book 
 | autore = Rudy TE
 | titolo = Psychophysiological Assessment in Chronic Orofacial Pain
 | url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2190318/pdf/anesthprog00262-0036.pdf
 | volume = 
 | opera = Anesth Prog
 | anno = 1990
 | editore = American Dental Society of Anesthesiology
 | città = 
 | ISSN = 0003-3006/90
 | ISBN = 
 | PMID = 2085203
 | PMCID = PMC2190318
 | DOI = 
 | oaf = <!-- qualsiasi valore -->
 }}</ref><ref>{{cite book 
 | autore = Woźniak K
 | autore2 = Piątkowska D
 | autore3 = Lipski M
 | autore4 = Mehr K
 | titolo = Surface electromyography in orthodontics - a literature review
 | url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3673808/pdf/medscimonit-19-416.pdf
 | volume = 
 | opera = Med Sci Monit
 | anno = 2013
 | editore = 
 | città = 
 | ISBN = 
 | E-ISSN = 1643-3750
 | PMID = 23722255
 | PMCID =  PMC3673808
 | DOI = 10.12659/MSM.883927
 | oaf = <!-- qualsiasi valore -->
 }}</ref>
 <center>
==2ème approche clinique==
(survolez les images)
</center>

<gallery mode="packed-hover" widths="250" heights="182" perrow="3">
File:Spasmo emimasticatorio.jpg|'''Figure 2:''' Patient signalant une "douleur orofaciale" dans son visage hémilatéral droit.
File:Spasmo emimasticatorio ATM.jpg|'''Figure 3:''' Stratigraphie de l'ATM du patient montrant des signes d'aplatissement condylien et d'ostéophyte
File:Atm1 sclerodermia.jpg|'''Figure 4:''' Tomodensitométrie de l'ATM
File:Spasmo emimasticatorio assiografia.jpg|'''Figure 5:''' Axiographie du patient montrant un aplatissement du motif de mastication sur le condyle droit
File:EMG2.jpg|'''Figure 6:''' Modèle interférentiel EMG. Traces supérieures superposées correspondant au masséter droit, inférieures au masséter gauche.
</gallery>

===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:

*''x'' <math>\equiv</math> Patients normaux (le terme "normal" désigne les patients couramment présents dans le milieu spécialisé)

*<math>A(x) \equiv</math> Remodelage osseux avec ostéophyte à partir de l'examen stratigraphique et du CT condylien; et
*<math>B(x)\equiv</math> Troubles temporomandibulaires (TMD) entraînant des douleurs orofaciales (OP)
*<math>\mathrm{a}\equiv</math> Patient spécifique: Mary Poppins

Tout patient normal <math>\forall\text{x}
</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 MDT <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; il en découle que <math>\vdash</math> être Mary Poppins positif (et aussi être un patient "normal") sur la radiographie de l'ATM <math>A(a)</math> alors Mary Poppins est également affectée par les DTM. <math>\rightarrow \mathcal{B}(a)</math>

Le langage des prédicats est exprimé 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>

À 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>. Elle est également utilisée pour prouver qu'une affirmation particulière est fausse, ou qu'un élément de connaissance particulier est logiquement compatible/incompatible avec une preuve particulière..

Afin de prouver que cette proposition est vraie, nous devons utiliser la méthode mentionnée ci-dessus.<u>démonstration par l'absurde</u>. Si sa négation 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>(2)</math>" affirme qu'il n'est pas vrai que les personnes qui obtiennent un résultat positif à l'examen tomodensitométrique de l'ATM souffrent d'ATM, de sorte que Mary Poppins (patiente normale ayant obtenu un résultat positif à l'examen tomodensitométrique de l'ATM) n'a pas d'ATM..

Le dentiste croit que l'affirmation de Mary Poppins (qu'elle n'a pas de DTM selon ces prémisses) est une contradiction, donc l'affirmation principale est vraie..

===Proposition neurophysiologique===

Imaginons que le neurologue ne soit pas d'accord avec la conclusion <math>(1)</math> et affirme que Mary Poppins n'est pas affectée par les DTM ou que, du moins, ce n'est pas la cause principale de la douleur orofaciale, mais qu'elle est plutôt affectée par une douleur orofaciale neuromotrice. (<sub>n</sub>OP), par conséquent, elle n'appartient pas au groupe des "patients normaux", mais doit être considérée comme un "patient non spécifique" (peu courant dans le contexte spécialisé)..

Évidemment, cette dialectique durerait indéfiniment parce que les deux défendent leur contexte scientifico-clinique ; mais voyons ce qui se passe dans la logique des prédicats..

La déclaration du neurologue serait la suivante .:

<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>" signifie que tous les patients qui sont positifs au CT de l'ATM ont des DTM, mais que même si Mary Poppins est positive au CT de l'ATM, elle n'a pas de DTM..

Afin de prouver que cette proposition est vraie, nous devons utiliser une fois de plus la méthode mentionnée ci-dessus. <u>démonstration par l'absurde</u>. Si sa négation 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>

En suivant les règles logiques des prédicats, il n'y a aucune raison de dire que la négation (4) est contradictoire ou dénuée de sens, donc le neurologue (contrairement au dentiste) ne semble pas avoir les outils logiques pour confirmer sa conclusion.

{{q4|puis le dentiste triomphe!|ne le prenez pas pour acquis}}

===Compatibilité et incompatibilité des déclarations===
La complication réside dans le fait que le dentiste présentera une série de déclarations en tant que rapports cliniques tels que la stratigraphie et le CT de l'ATM, qui indiquent un aplatissement anatomique de l'articulation, l'axiographie des tracés condyliens avec une réduction de la convexité cinématique et un schéma d'interférence EMG de traçage dans lequel un schéma asymétrique sur les masséters est mis en évidence.. Ces affirmations peuvent facilement être considérées comme une cause contribuant à l'endommagement de l'articulation temporomandibulaire et, par conséquent, comme responsables de la "douleur orofaciale"..

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

#Un ensemble de phrases <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érente..
#Un ensemble de phrases <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 incompatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> est incohérente.

Essayons de suivre ce raisonnement à l'aide d'exemples concrets.:

Le collègue dentiste expose la phrase suivante:

<math>\Im</math>: En suivant les techniques personnalisées suggérées par Xin Liang et al..<ref>{{cite book 
 | autore = Liang X
 | autore2 = Liu S
 | autore3 = Qu X
 | autore4 = Wang Z
 | autore5 = Zheng J
 | autore6 = Xie X
 | autore7 = Ma G
 | autore8 = Zhang Z
 | autore9 = Ma X
 | titolo = Evaluation of Trabecular Structure Changes in Osteoarthritis of the Temporomandibular Joint With Cone Beam Computed Tomography Imaging
 | url = https://pubmed.ncbi.nlm.nih.gov/28732700/
 | volume = 
 | opera =  Oral Surg Oral Med Oral Pathol Oral Radiol
 | anno = 2017
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 28732700
 | PMCID = 
 | DOI = 10.1016/j.oooo.2017.05.514
 | oaf = <!-- qualsiasi valore -->
 }}</ref> qui se concentre sur l'analyse microstructurelle quantitative de la fraction de la valeur osseuse, du nombre de trabécules, de l'épaisseur des trabécules et de la séparation des trabécules sur chaque coupe du scanner d'une articulation temporo-mandibulaire, il apparaît que Mary Poppins est atteinte de troubles temporo-mandibulaires (TMD) et que la conséquence en est une douleur orofaciale..

À 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é tel que décrit ci-dessus, à savoir:

<math>\delta_1=</math> '''Remodelage osseux:''' L'aplatissement des tracés axiographiques mis en évidence dans la figure 5 indique le remodelage de l'articulation temporo-mandibulaire droite de Mary Poppins., ce rapport peut être mis en corrélation avec une série de recherches et d'articles qui confirment que la malocclusion peut être associée à des changements morphologiques dans les articulations temporomandibulaires, en particulier lorsqu'elle est associée à l'âge, car la présence d'une malocclusion chronique peut aggraver le tableau du remodelage osseux..<ref>{{cite book 
 | autore = Solberg WK
 | autore2 = Bibb CA
 | autore3 = Nordström BB
 | autore4 = Hansson TL
 | titolo = Malocclusion Associated With Temporomandibular Joint Changes in Young Adults at Autopsy
 | url = https://pubmed.ncbi.nlm.nih.gov/3457531/
 | volume = 
 | opera = Am J Orthod
 | anno = 1986
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 3457531
 | PMCID = 
 | DOI = 10.1016/0002-9416(86)90055-2
 | oaf = <!-- qualsiasi valore -->
 }}</ref> Ces références scientifiques déterminent la compatibilité de l'affirmation.

<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 temporomandibulaire 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 92,86% pour les ATM droite et gauche respectivement, et une spécificité de 93,75% et 95,65%..<ref>{{cite book 
 | autore = Kobs G
 | autore2 = Didziulyte A
 | autore3 = Kirlys R
 | autore4 = Stacevicius M
 | titolo = Reliability of ARCUSdigma (KaVo) in Diagnosing Temporomandibular Joint Pathology
 | url = https://sbdmj.lsmuni.lt/072/072-03.pdf
 | volume = 
 | opera = Stomatologija
 | anno = 2007
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 17637527
 | PMCID = 
 | DOI = 
 | oaf = <!-- qualsiasi valore -->
 }}</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
 | autore2 = Roberi L
 | autore3 = Frongia G
 | autore4 = Reverdito M
 | autore5 = Slavicek R
 | autore6 = Bracco P
 | titolo = Computerized axiography in TMD patients before and after therapy with 'function generating bites'
 | volume = 
 | opera = J Oral Rehabil
 | anno = 2008
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 18197841
 | PMCID = 
 | DOI = 10.1111/j.1365-2842.2007.01815.x
 | oaf = <!-- qualsiasi valore -->
 }}</ref>

<math>\delta_3=</math> '''Modification des trajectoires condyliennes:''' Urbano Santana-Mora et coll.<ref>{{cite book 
 | autore = López-Cedrún J
 | autore2 = Santana-Mora U
 | autore3 = Pombo M
 | autore4 = Pérez Del Palomar A
 | autore5 = Alonso De la Peña V
 | autore6 = Mora MJ
 | autore7 = Santana U
 | titolo = Jaw Biodynamic Data for 24 Patients With Chronic Unilateral Temporomandibular Disorder
 | url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5674825/pdf/sdata2017168.pdf
 | volume = 
 | opera = Sci Data
 | anno = 2017
 | editore = 
 | città = 
 | ISBN = 
 | PMID =  29112190
 | PMCID = PMC5674825
 | DOI = 10.1038/sdata.2017.168
 | 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:  
::*fonction masticatoire;
::*remodelage de l'ATM ou du trajet condylien (CP); et 
::*mouvement latéral de la mâchoire ou guide latéral (LG). 

Les CP ont été évalués à l'aide de l'axiographie conventionnelle et le LG a été évalué à l'aide du traçage kinésiographique.<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 des données est née de la conception d'un nouveau paradigme des PTM dans lequel le côté affecté pouvait être le côté habituel de mastication, le côté où l'angle cinématique latéral de la mandibule était le plus plat.. Ce paramètre peut également être compatible avec l'allégation dentaire.

<math>\delta_4=</math> '''Modèle interférentiel EMG:''' M.O. Mazzetto et coll.<ref>{{cite book 
 | autore = Oliveira Mazzetto M
 | autore2 = Almeida Rodrigues C
 | autore3 = Valencise Magri L
 | autore4 = Oliveira Melchior M
 | autore5 = Paiva G
 | titolo = Severity of TMD Related to Age, Sex and Electromyographic Analysis
 | url = https://www.scielo.br/scielo.php?script=sci_arttext&pid=S0103-64402014000100054&lng=en&nrm=iso&tlng=en
 | volume = 
 | opera = Braz Dent J
 | anno = 2014
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 
 | PMCID = 
 | DOI = 10.1590/0103-6440201302310
 | oaf = <!-- qualsiasi valore -->
 }}</ref> a montré que l'activité électromyographique des muscles temporaux antérieurs et du masséter était positivement corrélée avec l'indice craniomandibulaire (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 des muscles masticateurs, peut être un élément diagnostique et thérapeutique important.. Ces références scientifiques déterminent la compatibilité de l'affirmation.

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

Évidemment, le collègue dentiste pourrait continuer à faire ses déclarations, indéfiniment....

Bien, ''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|Following the logic of classical language, the dentist is right!|It would seem so! <br>But, be careful, only in his own dental context!}}

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.

==Final considerations==
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|...and what if, with the advancement of research, new phenomena were discovered that would prove the neurologist right, instead of the dentist?|}}

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?

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.

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 
 | autore = LeResche L
 | titolo = Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors
 | url = https://pubmed.ncbi.nlm.nih.gov/9260045/
 | volume = 
 | opera = Crit Rev Oral Biol Med
 | anno = 1997
 | editore = 
 | città = 
 | ISBN = 
 | PMID = 9260045
 | PMCID = 
 | DOI = 10.1177/10454411970080030401
 | 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).

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.

We need to find a more convenient and suitable language logic...

{{q4|... can we then think of a Probabilistic Language Logic?|perhaps}}

{{Btnav|The logic of medical language|The logic of probabilistic language}}

{{Bib}}

{{apm}}
<onlyinclude> 
</onlyinclude>