Difference between revisions of "The logic of the classical language"

Line 403: Line 403:
|OCLC=
|OCLC=
}}</ref> This reasoning suggests that the model (masticatory system) is 'normalized to occlusion'; inversely interpreted, it implies that an occlusal discrepancy is a cause of malocclusion, that is, a disorder of the Masticatory System. Hence, an intervention to restore proper masticatory function is justified. (Figure 1a).
}}</ref> This reasoning suggests that the model (masticatory system) is 'normalized to occlusion'; inversely interpreted, it implies that an occlusal discrepancy is a cause of malocclusion, that is, a disorder of the Masticatory System. Hence, an intervention to restore proper masticatory function is justified. (Figure 1a).
----
This example is the classical logic language, as we will explain in detail, but now a doubt arises:
<blockquote>
At the time of formulating the orthodontic and orthognathic axioms, which led to the creation of protocols ratified by the International Scientific Community, were the information discussed in the introduction to this chapter already known?
</blockquote>
Certainly not, as the time '''<math>t_n</math>''' is a '''vector of information'''. However, despite this cognitive limitation, we proceed by adopting a classic language logic that raises relevant issues for citizen safety.
{{q2|this statement seems a bit risky to me!|sure, but the logical sequence has already been anticipated}}
If this case were analyzed through a mentality oriented towards a 'system language logic', which we will discuss in a dedicated chapter, the conclusions could be surprising.
Analyzing the electrophysiological responses obtained from the patient with malocclusion, represented in figures 1b, 1c, and 1d (with explanations provided directly in the captions to facilitate the debate), it clearly emerges that these data lead us to considerations quite different from the simple 'Malocclusion'. Therefore, the orthodontic and orthognathic axioms based on a 'cause/effect' relationship show a significant conceptual gap.
<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 which in rehabilitative terms must be treated with orthodontic therapy and/or orthognathic surgery
File:Bilateral Electric Transcranial Stimulation.jpg|Figure 1b: Motor evoked potential from transcranial electrical stimulation of the trigeminal roots. Note the structural symmetry calculated from the peak-to-peak amplitude on the left and right masseters (upper and lower traces respectively)
File:Jaw Jerk .jpg|Figure 1c: Mandibular evoked reflex or mandibular jerk through percussion of the chin with a triggered neurological hammer. Note the functional symmetry calculated from the peak-to-peak amplitude on the left and right masseters (upper and lower traces respectively)
File:Mechanic Silent Period.jpg|Figure 1d: Mechanically evoked silent period from percussion of the chin with a triggered neurological hammer. Note the functional symmetry calculated on the integral area of the right and left masseters (upper and lower traces respectively).
</gallery>
----
{{q2|So, how does the classic language logic connect to this context? |The contrast with the "system language logic" highlights the interpretive limits of traditional approaches to malocclusion. This suggests that orthodontic models of cause/effect might need a critical review in light of new electrophysiological evidence.}}
==Mathematical Formalism==
In this chapter, we will revisit the clinical case of Mary Poppins, who has been suffering from Orofacial Pain for over ten years, with a diagnosis of "Temporomandibular Disorder" (TMD) confirmed by her dentist, or, more specifically, Orofacial Pain associated with TMD. To understand the complexity in arriving at a precise diagnostic definition using Classic Language Logic, it is fundamental to introduce and analyze the concept at the basis of the philosophy of classical language.
===Propositions===
"The simplest propositions can be combined with each other to form new and more complex propositions through the use of logical operators and quantifier connectors. These tools of logic allow us to construct broader statements starting from basic concepts, thus facilitating the formulation of theorems and proofs in mathematics and other disciplines that require precision and rigor.
The fundamental logical operators include:<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''', denoted by the symbol <math>\land</math> (and): represents the logical operation "AND". A compound proposition formed by two propositions joined with "and" is true only if both propositions are true.
'''Disjunction''', denoted by the symbol <math>\lor</math> (or): represents the logical operation "OR". A compound proposition is true if at least one of the component propositions is true.
'''Negation''', denoted by the symbol <math>\urcorner</math> (not): reverses the truth value of a proposition. If a proposition is true, its negation is false, and vice versa.
'''Implication''', denoted by the symbol ⇒ (if... then): expresses a conditional relationship between two propositions. If the antecedent (first proposition) is true, then the consequent (second proposition) must be true for the implication to be true.
'''Logical consequence''', denoted by the symbol <math>\vdash</math> (it follows that): indicates that a proposition is a logical consequence of the previous ones within a given logical system.
'''Universal quantifier''', denoted by the symbol <math>\forall</math> (for all): expresses that the following proposition is true for all elements of a certain set.
'''Proof''', often indicated by reasonings that lead to the conclusion symbolized with <math>\mid</math> (thus): indicates the culmination of an argument or logical reasoning that leads to a conclusion.
'''Membership''', denoted by the symbol <math>\in</math> (belongs to) or <math>\not\in</math> (does not belong to): used to indicate whether an element belongs or does not belong to a set.
Quantifier connectors, such as the universal quantifier (<math>\forall</math>) and the existential quantifier (<math>\exists</math>), allow for extending statements to sets of elements, offering a way to express propositions concerning 'all elements' of a certain set or 'at least one element' of such a set.
By combining these tools, it is possible to construct complex propositions that serve as the foundation for logical arguments and mathematical reasoning, eliminating the ambiguities typical of common language and providing a clear structure for analysis and proof."
===Proof by Contradiction===
In classical logic, there exists a principle called "the law of excluded middle", which asserts that a proposition, which cannot be false, must be considered true, since there is no third possibility.
Suppose we have to prove that the proposition p is true. The procedure consists of demonstrating that assuming <math>p</math> to be false leads to a logical contradiction. Consequently, the proposition <math>p</math> cannot be false and, therefore, according to the law of excluded middle, must be true. This method of proof is known as proof by contradiction.<ref>{{Cite book
| author = Pereira LM
| author2 = Pinto AM
| title = 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
| work =
| year = 2007
| publisher = Arg NMR
| city = Tempe, Arizona - Caparica, Portugal
| ISBN =
| PMID =
| PMCID =
| DOI =
| oaf = <!-- any value -->
| LCCN =
| OCLC =
}}</ref>
----
===Predicates===
What has been briefly described so far represents the logic of propositions, which asserts something about specific mathematical objects. Examples of propositions include: "2 is greater than 1, therefore 1 is less than 2" or "a square does not have 5 sides, therefore it cannot be a pentagon". Often, however, mathematical statements are not limited to individual objects but refer to generic objects within a set, as in the expression "the elements ''<math>X</math>'' are taller than 2 meters", where ''<math>X</math>'' indicates a generic group (for example, all volleyball players). In these cases, we talk about predicates.
Intuitively, a predicate is a sentence that concerns a set of elements (which, in our medical context, would be the patients) and makes a statement about them.
{{q2|So, does Mary Poppins suffer from TMD or not?|let's see what classical language logic tells us}}
In addition to the confirmations derived from the medical language logic discussed in the previous chapter, the dentist acquires further instrumental data that strengthen his diagnosis. These tests include the analysis of axiographic traces, obtained through the use of a custom-made functional paraocclusal fork. This tool allows for the visualization and quantification of the condylar paths during masticatory functions. As shown in Figure 4, the flattening of the condylar traces on the right side, both in the mediotrusive masticatory kinetics (indicated in green) and in the opening and protrusion cycles (in grey), confirms the anatomical and functional flattening of the right TMJ during the dynamics of mastication.
----
In addition to axiography, surface electromyography on the masseter muscles is performed (see Figure 6), during which the patient is asked to exert maximum muscle force. This type of electromyographic analysis, called 'EMG Interferential Pattern', is characterized by the high-frequency content of the peaks showing phase interference. Indeed, Figure 6 highlights an asymmetry in the recruitment of motor units between the right masseter (upper trace) and the left masseter (lower trace).<ref>{{cite book
| author = Castroflorio T
| author2 = Talpone F
| author3 = Deregibus A
| author4 = Piancino MG
| author5 = Bracco P
| title = 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 =
| work = J Oral Rehabil
| year = 2004
| publisher =
| city =
| ISBN =
| PMID = 15189308
| PMCID =
| DOI = 10.1111/j.1365-2842.2004.01274.x
| oaf = <!-- any value -->
}}</ref><ref>{{cite book
| author = Maeda N
| author2 = Kodama N
| author3 = Manda Y
| author4 = Kawakami S
| author5 = Oki K
| author6 = Minagi S
| title = 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 =
| work = Acta Med Okayama
| year = 2019
| publisher = Okayama University Medical School
| city = Okayama, Japan
| ISBN =
| PMID = 31439959
| PMCID =
| DOI = 10.18926/AMO/56938
| oaf = <!-- any value -->
}}</ref><ref>{{cite book
| author = Rudy TE
| title = Psychophysiological Assessment in Chronic Orofacial Pain
| url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2190318/pdf/anesthprog00262-0036.pdf
| volume =
| work = Anesth Prog
| year = 1990
| publisher = American Dental Society of Anesthesiology
| city =
| ISSN = 0003-3006/90
| ISBN =
| PMID = 2085203
| PMCID = PMC2190318
| DOI =
| oaf = <!-- any value -->
}}</ref><ref>{{cite book
| author = Woźniak K
| author2 = Piątkowska D
| author3 = Lipski M
| author4 = Mehr K
| title = Surface electromyography in orthodontics - a literature review
| url = https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3673808/pdf/medscimonit-19-416.pdf
| volume =
| work = Med Sci Monit
| year = 2013
| publisher =
| city =
| ISBN =
| E-ISSN = 1643-3750
| PMID = 23722255
| PMCID = PMC3673808
| DOI = 10.12659/MSM.883927
| oaf = <!-- any value -->
}}</ref><center>
==2nd Clinical Approach==
(Hover over the images)
<gallery widths="350" heights="282" perrow="2" mode="slideshow">
File:Spasmo emimasticatorio.jpg|Figure 2: Patient reports "orofacial pain" on the right facial hemisphere.
File:Spasmo emimasticatorio ATM.jpg|Figure 3: Stratigraphy of the temporomandibular joint (TMJ) of the patient showing signs of condylar flattening and presence of osteophytes.
File:Atm1 sclerodermia.jpg|Figure 4: Computed tomography of the TMJ
File:Spasmo emimasticatorio assiografia.jpg|Figure 5: Axiography of the patient showing a flattening of the masticatory pattern at the level of the right condyle.
File:EMG2.jpg|Figure 6: Interfering EMG activity. Overlapping upper traces corresponding to the right masseter, below to the left masseter.
</gallery></center>
----
=====Propositions in the Dental Context=====
In an attempt to apply mathematical formalism to interpret the dentist's diagnostic conclusions using classical logic language, we define the following predicates:
<math>x \equiv</math> Normal patients (where "normal" refers to patients commonly encountered in a specialist setting)
<math>A(x) \equiv</math> Presence of bone remodeling with detected osteophyte from stratigraphic exams and condylar CT
<math>B(x)\equiv</math> Temporomandibular Disorders (TMD) resulting in orofacial pain (OP)
<math>\mathrm{a}\equiv</math> Specific patient: Mary Poppins
We establish that for every normal patient <math>\mathrm{\mathcal{A}}(\text{x})</math>, if they test positive for the TMJ radiographic examination <math>\mathrm{\mathcal{A}}(\text{x})</math> [see Figures 2 and 3], then they are affected by TMD<math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>. Consequently <math>\vdash</math> if Mary Poppins tests positive (and is considered a "normal patient") for the TMJ radiographic exam <math>A(a)</math>, it follows that she too is affected by TMD <math>\rightarrow \mathcal{B}(a)</math>. This can be formally expressed as:
{|
|
|<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>
|}
In addition to proving that a certain set of premises implies a particular conclusion, predicate logic is also used to prove the falsity of a statement or the logical compatibility/incompatibility of a certain piece of knowledge with a given piece of evidence.
To verify the truthfulness of this proposition, we resort to proof by contradiction. If the negation of the proposition generates a contradiction, we can conclude that the original hypothesis of the dentist is correct:
{|
|
|<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>
|}
Statement (2) asserts that it is not true that patients who test positive for the TMJ CT are affected by TMD, implying that Mary Poppins (a "normal patient" with a positive outcome for the TMJ CT) is not affected by TMD.
The dentist believes that this statement, based on the provided premises, constitutes a contradiction, thereby confirming the validity of the main statement.
===Propositions in the Neurological Context===
Suppose the neurologist contests conclusion (1), arguing that Mary Poppins does not suffer from TMD or that, at least, TMD is not the primary cause of her Orofacial Pain. Instead, he hypothesizes that Mary suffers from neuromotor type Orofacial Pain (<sub>n</sub>OP), classifying her not as a 'normal patient' but as a 'specific patient' (atypical for the dental specialist).
The neurologist's position can be formalized as follows:
{|
|
|<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>
|}
This statement (3) claims that there might exist a patient with a positive outcome for the TMJ CT who does not suffer from TMD. To validate this hypothesis through proof by contradiction, consider its negation:
{|
|
|<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>
|}
Analyzing predicate logic, we find no sufficient reasons to believe that negation (4) leads to a contradiction, indicating that the neurologist, unlike the dentist, may not have sufficient logical grounds to confirm his conclusion without further evidence.
{{q2|so the dentist triumphs!|don't take it for granted}}
----
===Compatibility and Incompatibility of Statements===
The complexity arises when the dentist presents a series of statements based on clinical reports, such as stratigraphy and computed tomography (CT) of the temporomandibular joint (TMJ), indicating an anatomical flattening of the joint, axiography of the condylar paths with a reduction of cinematic convexity, and an electromyographic (EMG) interference pattern showing asymmetry on the masseters. These evidences can be considered co-causes of damage to the temporomandibular joint and, consequently, responsible for "Orofacial Pain".
Documents, reports, and clinical evidence can be used to make the neurologist's statement incompatible and support the dentist's diagnostic conclusion. To do this, we present some logical rules that describe compatibility or incompatibility according to classical language logic:
A set of sentences <math>\Im</math> and a number <math>n\geq1</math> of other sentences or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible if, and only if, their union <math>\Im\cup{\delta_1,\delta_2.....\delta_n}</math> is consistent.
A set of sentences <math>\Im</math> and a number <math>n\geq1</math> of other sentences or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically incompatible if, and only if, their union <math>\Im\cup{\delta_1,\delta_2.....\delta_n}</math> is inconsistent.
Let's examine this concept with practical examples.
The dentist presents the following statement:
<math>\Im</math>: Following the personalized techniques suggested by Xin Liang et al.<ref>{{cite book
| author = Liang X
| author2 = Liu S
| author3 = Qu X
| author4 = Wang Z
| author5 = Zheng J
| author6 = Xie X
| author7 = Ma G
| author8 = Zhang Z
| author9 = Ma X
| title = 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 =
| work = Oral Surg Oral Med Oral Pathol Oral Radiol
| year = 2017
| publisher =
| city =
| ISBN =
| PMID = 28732700
| PMCID =
| DOI = 10.1016/j.oooo.2017.05.514
| oaf = <!-- any value -->
}}</ref> that focuses on the quantitative microstructural analysis of the bone value fraction, trabecular number, trabecular thickness, and trabecular separation on each slice of a TMJ CT, it appears that Mary Poppins is affected by Temporomandibular Disorders (TMDs) and the consequence causes orofacial pain.
However, to further confirm the diagnosis, the dentist presents a series of additional assertions that should pass the compatibility filter described above, thus establishing a coherent basis for the diagnosis of TMD in Mary Poppins.
<math>\delta_1=</math> Bone remodeling: The flattening of the axiographic traces shown in Figure 5 indicates the joint remodeling of Mary Poppins' right TMJ. This report can be related to a series of research and articles confirming how malocclusion can be associated with morphological changes of the temporomandibular joints, particularly if related to age. Indeed, the presence of chronic malocclusion can aggravate the scenario of bone remodeling.<ref>{{cite book
| author = Solberg WK
| author2 = Bibb CA
| author3 = Nordström BB
| author4 = Hansson TL
| title = Malocclusion Associated With Temporomandibular Joint Changes in Young Adults at Autopsy
| url = https://pubmed.ncbi.nlm.nih.gov/3457531/
| volume =
| work = Am J Orthod
| year = 1986
| publisher =
| city =
| ISBN =
| PMID = 3457531
| PMCID =
| DOI = 10.1016/0002-9416(86)90055-2
| oaf = <!-- any value -->
}}</ref> The provided scientific references support the compatibility of the assertion.
----
<math>\delta_2=</math> Sensitivity and Specificity of the Axiographic Measurement:
A study was conducted to evaluate the sensitivity and specificity of the data obtained from a sample of patients with temporomandibular joint disorders, using the ARCUSdigma axiographic system.<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref> The results showed a sensitivity of 84.21% for the right TMJ and 92.86% for the left TMJ, with a specificity of 93.75% and 95.65%, respectively.<ref>{{cite book
| author = Kobs G
| author2 = Didziulyte A
| author3 = Kirlys R
| author4 = Stacevicius M
| title = Reliability of ARCUSdigma (KaVo) in Diagnosing Temporomandibular Joint Pathology
| url = https://sbdmj.lsmuni.lt/072/072-03.pdf
| volume =
| work = Stomatologija
| year = 2007
| publisher =
| city =
| ISBN =
| PMID = 17637527
| PMCID =
| DOI =
| oaf = <!-- any value -->
}}</ref> These scientifically validated data support the compatibility of the statement in the dental field, given the consistency of related studies.<ref>{{cite book
| author = Piancino MG
| author2 = Roberi L
| author3 = Frongia G
| author4 = Reverdito M
| author5 = Slavicek R
| author6 = Bracco P
| title = Computerized axiography in TMD patients before and after therapy with 'function generating bites'
| volume =
| work = J Oral Rehabil
| year = 2008
| publisher =
| city =
| ISBN =
| PMID = 18197841
| PMCID =
| DOI = 10.1111/j.1365-2842.2007.01815.x
| oaf = <!-- any value -->
}}</ref>
<math>\delta_3=</math> Alteration in Condylar Paths:
Urbano Santana-Mora and colleagues<ref>{{cite book
| author = López-Cedrún J
| author2 = Santana-Mora U
| author3 = Pombo M
| author4 = Pérez Del Palomar A
| author5 = Alonso De la Peña V
| author6 = Mora MJ
| author7 = Santana U
| title = 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 =
| work = Sci Data
| year = 2017
| publisher =
| city =
| ISBN =
| PMID = 29112190
| PMCID = PMC5674825
| DOI = 10.1038/sdata.2017.168
| oaf = YES<!-- any value -->
}}</ref> conducted a study on 24 adult patients suffering from severe chronic unilateral pain, diagnosed with Temporomandibular Disorders (TMD). The research focused on the analysis of various functional and dynamic factors, including masticatory function, the remodeling of the temporomandibular joint (TMJ) or condylar paths (CP), and lateral jaw movement or lateral guidance (LG).
----
The CPs were evaluated using conventional axiography, while the LG was examined through kinesiographic tracing analysis.<ref>[https://www.myotronics.com/ Myotronics Inc., Kent, WA, US]</ref> It was found that seventeen patients, corresponding to 71% of the total sample, habitually preferred to chew on one side. The mean and standard deviation of the CP angles were 47.90 (± 9.24) degrees, while the mean of the LG angles was 42.95 (± 11.78) degrees.
The study results contributed to the definition of a new paradigm for TMDs, suggesting that the side affected by the disorder might coincide with the habitual chewing side, especially when the lateral mandibular cinematic angle is flatter. This parameter further supports the dental assertion regarding the correlation between chewing habits and the development of TMDs.
<math>\delta_4=</math> EMG Interference Pattern:
M.O. Mazzetto and collaborators<ref>{{cite book
| author = Oliveira Mazzetto M
| author2 = Almeida Rodrigues C
| author3 = Valencise Magri L
| author4 = Oliveira Melchior M
| author5 = Paiva G
| title = 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 =
| work = Braz Dent J
| year = 2014
| publisher =
| city =
| ISBN =
| PMID =
| PMCID =
| DOI = 10.1590/0103-6440201302310
| oaf = <!-- any value -->
}}</ref> demonstrated that there is a positive correlation between the electromyographic activity of the anterior temporal muscles and the masseter and the 'Cranio-Mandibular Index' (CMI), with a value of <math>P=0,01</math>. This suggests that the use of CMI to quantify the severity of Temporomandibular Disorders (TMD) and electromyography (EMG) to assess the function of the masticatory muscles can represent a significant diagnostic and therapeutic element. Such scientific references support the compatibility of the assertion.
<math>\delta_n=?</math>
Given the evidence presented and the statements made, the dentist can legitimately claim that the set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other positive clinical assertions or data <math>(\delta_1,\delta_2,.....\delta_n \ )</math>​ are logically compatible. This is because their union, <math>\Im\cup{\delta_1,\delta_2.....\delta_n}</math>, turns out to be consistent.
{{q2|Following classical language logic, the dentist is right!|It would seem so! But beware, only in their own dental context!}}
This statement is so valid that the value of <math>P</math> could be extended indefinitely, even reaching an <math>\alpha=0</math>, which corresponds to infinite significance, as long as it remains within the specific context; however, it may not hold any significance in different contexts, such as the neurological one, for example.
==Final Considerations==
Within the scope of this observation, the application of Predicate Logic significantly contributes to strengthening the dentist's deductive process, concurrently solidifying the principle of excluded middle. This principle is emphasized by the coherence of the supplementary statements <math>(\delta_1,\delta_2,...,\delta_n)</math>, providing the dentist with a solid foundation for a consistent diagnosis and to affirm with certainty that 'Poor Mary Poppins is, without a shadow of a doubt, affected by TMD or not.'
{{q2|And what if, as research advances, new phenomena emerge supporting the neurologist's theories rather than the dentist's?|}}
----
In essence, considering the compatibility of the assertions <math>(\delta_1,\delta_2,.....\delta_n)</math>, consistently supporting that Orofacial Pain is caused by a Temporomandibular Disorder might become incompatible if another set of equally coherent assertions <math>(\gamma_1,\gamma_2,.....\gamma_n)</math> emerged. This scenario would pave the way for a new interpretation <math>\Im</math>: Mary Poppins could be suffering from Orofacial Pain due to a Neuromotor Disorder (<sub>n</sub>OP), not directly from Temporomandibular Disorders. Within the current medical language, such assertions remain purely theoretical, given that prevailing beliefs and opinions do not facilitate a rapid paradigm shift.
Considering also the risk associated with such a change, the analysis of recent studies on the epidemiology of Temporomandibular Disorders<ref>{{cite book | author = LeResche L | title = Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors | url = https://pubmed.ncbi.nlm.nih.gov/9260045/ | volume = | work = Crit Rev Oral Biol Med | year = 1997 | publisher = | city = | ISBN = | PMID = 9260045 | PMCID = | DOI = 10.1177/10454411970080030401 | oaf = <!-- any value --> }}</ref> could prove useful. These studies indicate that, despite methodological and sampling differences, pain in the temporomandibular region is relatively common, affecting about 10% of the population. Therefore, it is reasonable to hypothesize that Mary Poppins could fall within this percentage, classifying her as a patient suffering from Orofacial Pain due to Temporomandibular Disorders (TMD).
In conclusion, adopting a classical dichotomous approach in medical language, which tends to categorize conditions in black or white, fails to capture the numerous nuances present in clinical realities. Therefore, exploring a more flexible and suitable linguistic approach is necessary...
{{q2|Could we then consider adopting a probabilistic type of linguistic logic?|perhaps}}
{{Bib}}
{{apm}}
<onlyinclude>
</onlyinclude>





Revision as of 10:29, 26 March 2024

Introduction

In the previous chapter, dedicated to the "Logic of Medical Language", we aimed to shift the focus from symptoms or clinical signs to an encrypted machine language. In this context, the arguments of Donald E. Stanley, Daniel G. Campos, and Pat Croskerry are particularly pertinent, especially when connected to the concept of time as an information vector (anticipating the symptom) and to the consideration of the message as a machine language rather than a verbal language).[1][2]

However, this does not lessen the importance of the clinical history, established on a pseudo-formal verbal language, which has now firmly entrenched itself in clinical practice and has proven its diagnostic effectiveness. Our aim in emphasizing a machine language and the system is merely to provide an additional opportunity to validate Medical-Diagnostic Science. We are fully aware that our "Linux Sapiens" remains puzzled by what has been anticipated and continues to ponder.

«Could the logic of classical language help us solve the dilemma of poor Mary Poppins?»
(A bit of patience, please)

We cannot limit ourselves to providing a conventional answer, as science progresses not through baseless assertions but through questions and reflections that have passed the scrutiny of scientific validation. This compels us to explore and give voice to thoughts, perplexities, and doubts raised by certain key concepts discussed in various scientific articles.

Among these critical topics is "Craniofacial Biology".

We begin with an influential study by Townsend and Brook,[3] in which the authors challenge the current research paradigm, both theoretical and applied, in "Craniofacial Biology", aiming to derive clinical considerations and implications. One aspect they address is the "Interdisciplinary Approach", through which Geoffrey Sperber and his son Steven recognized the potential for exponential growth in the field of "Craniofacial Biology" due to technological innovations such as gene sequencing, CT scans, MRI imaging, laser scanning, image analysis, ultrasound, and spectroscopy.[4]

Another topic of significant interest within 'Craniofacial Biology' is the recognition that biological systems are considered 'Complex Systems'.[5] 'Epigenetics' also plays a fundamental role in craniofacial molecular biology. Researchers from Adelaide and Sydney have provided an in-depth critique in the field of epigenetics, with a particular focus on dental and craniofacial disciplines.[6] Phenomics, in particular, explored by these authors (see Phenomics), is a research area dedicated to measuring changes in teeth and associated orofacial structures resulting from interactions between genetic, epigenetic, and environmental factors during development.[7] In this context, it is crucial to mention the work of Irma Thesleff from Helsinki, Finland, who highlighted the existence of numerous transient signaling centers in the dental epithelium that play key roles in the tooth development program.[8]

Additionally, the works by Peterkova R., Hovorakova M., Peterka M., and Lesot H., offer a fascinating overview of the processes involved in dental development.[9][10][11] For completeness, the studies by Han J., Menicanin D., Gronthos S., and Bartold P.M., which have explored a wide range of research on stem cells, tissue engineering, and periodontal regeneration, cannot be omitted.[12]

This review necessarily included discussions on genetic, epigenetic, and environmental influences that, during morphogenesis, lead to variations in the number, size, and shape of teeth,[13][14], as well as on the effect of tongue pressure on growth and craniofacial functions.[15][16]. Furthermore, special mention is deserved for the exceptional work of Townsend and Brook, whose content aligns well with the reflections of another prominent author, HC Slavkin. Slavkin[17] asserts:

The future holds countless opportunities to significantly improve the clinical outcomes of both congenital and acquired craniofacial malformations. Clinicians play a crucial role, as critical thinking combined with clinical experience greatly enhances diagnostic accuracy, and consequently, health outcomes.

«I understand the progress of Science described by the authors but I do not understand the change in thought»
(Let me give you a practical example)

In the "Introduction", we raised some issues related to malocclusion. In this context, we examine the logic of the medical language used by the dentist when faced with the clinical case described in the "Introductory Chapter", including diagnostic and therapeutic conclusions.

The patient has a unilateral posterior crossbite and an anterior open bite.[18] The crossbite represents a deviation from normal occlusion[19] and is therefore treated concurrently with the open bite.[20][21] This reasoning suggests that the model (masticatory system) is 'normalized to occlusion'; inversely interpreted, it implies that an occlusal discrepancy is a cause of malocclusion, that is, a disorder of the Masticatory System. Hence, an intervention to restore proper masticatory function is justified. (Figure 1a).


This example is the classical logic language, as we will explain in detail, but now a doubt arises:

At the time of formulating the orthodontic and orthognathic axioms, which led to the creation of protocols ratified by the International Scientific Community, were the information discussed in the introduction to this chapter already known?

Certainly not, as the time is a vector of information. However, despite this cognitive limitation, we proceed by adopting a classic language logic that raises relevant issues for citizen safety.

«this statement seems a bit risky to me!»
(sure, but the logical sequence has already been anticipated)

If this case were analyzed through a mentality oriented towards a 'system language logic', which we will discuss in a dedicated chapter, the conclusions could be surprising.

Analyzing the electrophysiological responses obtained from the patient with malocclusion, represented in figures 1b, 1c, and 1d (with explanations provided directly in the captions to facilitate the debate), it clearly emerges that these data lead us to considerations quite different from the simple 'Malocclusion'. Therefore, the orthodontic and orthognathic axioms based on a 'cause/effect' relationship show a significant conceptual gap.


«So, how does the classic language logic connect to this context?»
(The contrast with the "system language logic" highlights the interpretive limits of traditional approaches to malocclusion. This suggests that orthodontic models of cause/effect might need a critical review in light of new electrophysiological evidence.)

Mathematical Formalism

In this chapter, we will revisit the clinical case of Mary Poppins, who has been suffering from Orofacial Pain for over ten years, with a diagnosis of "Temporomandibular Disorder" (TMD) confirmed by her dentist, or, more specifically, Orofacial Pain associated with TMD. To understand the complexity in arriving at a precise diagnostic definition using Classic Language Logic, it is fundamental to introduce and analyze the concept at the basis of the philosophy of classical language.

Propositions

"The simplest propositions can be combined with each other to form new and more complex propositions through the use of logical operators and quantifier connectors. These tools of logic allow us to construct broader statements starting from basic concepts, thus facilitating the formulation of theorems and proofs in mathematics and other disciplines that require precision and rigor.

The fundamental logical operators include:[22]

Conjunction, denoted by the symbol (and): represents the logical operation "AND". A compound proposition formed by two propositions joined with "and" is true only if both propositions are true. Disjunction, denoted by the symbol (or): represents the logical operation "OR". A compound proposition is true if at least one of the component propositions is true. Negation, denoted by the symbol (not): reverses the truth value of a proposition. If a proposition is true, its negation is false, and vice versa. Implication, denoted by the symbol ⇒ (if... then): expresses a conditional relationship between two propositions. If the antecedent (first proposition) is true, then the consequent (second proposition) must be true for the implication to be true. Logical consequence, denoted by the symbol (it follows that): indicates that a proposition is a logical consequence of the previous ones within a given logical system. Universal quantifier, denoted by the symbol (for all): expresses that the following proposition is true for all elements of a certain set. Proof, often indicated by reasonings that lead to the conclusion symbolized with (thus): indicates the culmination of an argument or logical reasoning that leads to a conclusion. Membership, denoted by the symbol (belongs to) or (does not belong to): used to indicate whether an element belongs or does not belong to a set. Quantifier connectors, such as the universal quantifier () and the existential quantifier (), allow for extending statements to sets of elements, offering a way to express propositions concerning 'all elements' of a certain set or 'at least one element' of such a set.

By combining these tools, it is possible to construct complex propositions that serve as the foundation for logical arguments and mathematical reasoning, eliminating the ambiguities typical of common language and providing a clear structure for analysis and proof."

Proof by Contradiction

In classical logic, there exists a principle called "the law of excluded middle", which asserts that a proposition, which cannot be false, must be considered true, since there is no third possibility.

Suppose we have to prove that the proposition p is true. The procedure consists of demonstrating that assuming to be false leads to a logical contradiction. Consequently, the proposition cannot be false and, therefore, according to the law of excluded middle, must be true. This method of proof is known as proof by contradiction.[23]



Predicates

What has been briefly described so far represents the logic of propositions, which asserts something about specific mathematical objects. Examples of propositions include: "2 is greater than 1, therefore 1 is less than 2" or "a square does not have 5 sides, therefore it cannot be a pentagon". Often, however, mathematical statements are not limited to individual objects but refer to generic objects within a set, as in the expression "the elements are taller than 2 meters", where indicates a generic group (for example, all volleyball players). In these cases, we talk about predicates.

Intuitively, a predicate is a sentence that concerns a set of elements (which, in our medical context, would be the patients) and makes a statement about them.

«So, does Mary Poppins suffer from TMD or not?»
(let's see what classical language logic tells us)

In addition to the confirmations derived from the medical language logic discussed in the previous chapter, the dentist acquires further instrumental data that strengthen his diagnosis. These tests include the analysis of axiographic traces, obtained through the use of a custom-made functional paraocclusal fork. This tool allows for the visualization and quantification of the condylar paths during masticatory functions. As shown in Figure 4, the flattening of the condylar traces on the right side, both in the mediotrusive masticatory kinetics (indicated in green) and in the opening and protrusion cycles (in grey), confirms the anatomical and functional flattening of the right TMJ during the dynamics of mastication.


In addition to axiography, surface electromyography on the masseter muscles is performed (see Figure 6), during which the patient is asked to exert maximum muscle force. This type of electromyographic analysis, called 'EMG Interferential Pattern', is characterized by the high-frequency content of the peaks showing phase interference. Indeed, Figure 6 highlights an asymmetry in the recruitment of motor units between the right masseter (upper trace) and the left masseter (lower trace).[24][25][26][27]

2nd Clinical Approach

(Hover over the images)


Propositions in the Dental Context

In an attempt to apply mathematical formalism to interpret the dentist's diagnostic conclusions using classical logic language, we define the following predicates:

Normal patients (where "normal" refers to patients commonly encountered in a specialist setting) Presence of bone remodeling with detected osteophyte from stratigraphic exams and condylar CT Temporomandibular Disorders (TMD) resulting in orofacial pain (OP) Specific patient: Mary Poppins We establish that for every normal patient , if they test positive for the TMJ radiographic examination [see Figures 2 and 3], then they are affected by TMD. Consequently if Mary Poppins tests positive (and is considered a "normal patient") for the TMJ radiographic exam , it follows that she too is affected by TMD . This can be formally expressed as:

In addition to proving that a certain set of premises implies a particular conclusion, predicate logic is also used to prove the falsity of a statement or the logical compatibility/incompatibility of a certain piece of knowledge with a given piece of evidence.

To verify the truthfulness of this proposition, we resort to proof by contradiction. If the negation of the proposition generates a contradiction, we can conclude that the original hypothesis of the dentist is correct:

Statement (2) asserts that it is not true that patients who test positive for the TMJ CT are affected by TMD, implying that Mary Poppins (a "normal patient" with a positive outcome for the TMJ CT) is not affected by TMD.

The dentist believes that this statement, based on the provided premises, constitutes a contradiction, thereby confirming the validity of the main statement.

Propositions in the Neurological Context

Suppose the neurologist contests conclusion (1), arguing that Mary Poppins does not suffer from TMD or that, at least, TMD is not the primary cause of her Orofacial Pain. Instead, he hypothesizes that Mary suffers from neuromotor type Orofacial Pain (nOP), classifying her not as a 'normal patient' but as a 'specific patient' (atypical for the dental specialist).

The neurologist's position can be formalized as follows:

This statement (3) claims that there might exist a patient with a positive outcome for the TMJ CT who does not suffer from TMD. To validate this hypothesis through proof by contradiction, consider its negation:

Analyzing predicate logic, we find no sufficient reasons to believe that negation (4) leads to a contradiction, indicating that the neurologist, unlike the dentist, may not have sufficient logical grounds to confirm his conclusion without further evidence.

«so the dentist triumphs!»
(don't take it for granted)

Compatibility and Incompatibility of Statements

The complexity arises when the dentist presents a series of statements based on clinical reports, such as stratigraphy and computed tomography (CT) of the temporomandibular joint (TMJ), indicating an anatomical flattening of the joint, axiography of the condylar paths with a reduction of cinematic convexity, and an electromyographic (EMG) interference pattern showing asymmetry on the masseters. These evidences can be considered co-causes of damage to the temporomandibular joint and, consequently, responsible for "Orofacial Pain".

Documents, reports, and clinical evidence can be used to make the neurologist's statement incompatible and support the dentist's diagnostic conclusion. To do this, we present some logical rules that describe compatibility or incompatibility according to classical language logic:

A set of sentences and a number of other sentences or statements are logically compatible if, and only if, their union is consistent. A set of sentences and a number of other sentences or statements are logically incompatible if, and only if, their union is inconsistent. Let's examine this concept with practical examples.

The dentist presents the following statement:

: Following the personalized techniques suggested by Xin Liang et al.[28] that focuses on the quantitative microstructural analysis of the bone value fraction, trabecular number, trabecular thickness, and trabecular separation on each slice of a TMJ CT, it appears that Mary Poppins is affected by Temporomandibular Disorders (TMDs) and the consequence causes orofacial pain.

However, to further confirm the diagnosis, the dentist presents a series of additional assertions that should pass the compatibility filter described above, thus establishing a coherent basis for the diagnosis of TMD in Mary Poppins.

Bone remodeling: The flattening of the axiographic traces shown in Figure 5 indicates the joint remodeling of Mary Poppins' right TMJ. This report can be related to a series of research and articles confirming how malocclusion can be associated with morphological changes of the temporomandibular joints, particularly if related to age. Indeed, the presence of chronic malocclusion can aggravate the scenario of bone remodeling.[29] The provided scientific references support the compatibility of the assertion.


Sensitivity and Specificity of the Axiographic Measurement:

A study was conducted to evaluate the sensitivity and specificity of the data obtained from a sample of patients with temporomandibular joint disorders, using the ARCUSdigma axiographic system.[30] The results showed a sensitivity of 84.21% for the right TMJ and 92.86% for the left TMJ, with a specificity of 93.75% and 95.65%, respectively.[31] These scientifically validated data support the compatibility of the statement in the dental field, given the consistency of related studies.[32]

Alteration in Condylar Paths:

Urbano Santana-Mora and colleagues[33] conducted a study on 24 adult patients suffering from severe chronic unilateral pain, diagnosed with Temporomandibular Disorders (TMD). The research focused on the analysis of various functional and dynamic factors, including masticatory function, the remodeling of the temporomandibular joint (TMJ) or condylar paths (CP), and lateral jaw movement or lateral guidance (LG).


The CPs were evaluated using conventional axiography, while the LG was examined through kinesiographic tracing analysis.[34] It was found that seventeen patients, corresponding to 71% of the total sample, habitually preferred to chew on one side. The mean and standard deviation of the CP angles were 47.90 (± 9.24) degrees, while the mean of the LG angles was 42.95 (± 11.78) degrees.

The study results contributed to the definition of a new paradigm for TMDs, suggesting that the side affected by the disorder might coincide with the habitual chewing side, especially when the lateral mandibular cinematic angle is flatter. This parameter further supports the dental assertion regarding the correlation between chewing habits and the development of TMDs.

EMG Interference Pattern:

M.O. Mazzetto and collaborators[35] demonstrated that there is a positive correlation between the electromyographic activity of the anterior temporal muscles and the masseter and the 'Cranio-Mandibular Index' (CMI), with a value of . This suggests that the use of CMI to quantify the severity of Temporomandibular Disorders (TMD) and electromyography (EMG) to assess the function of the masticatory muscles can represent a significant diagnostic and therapeutic element. Such scientific references support the compatibility of the assertion.

Given the evidence presented and the statements made, the dentist can legitimately claim that the set of sentences , and a number of other positive clinical assertions or data ​ are logically compatible. This is because their union, , turns out to be consistent.

«Following classical language logic, the dentist is right!»
(It would seem so! But beware, only in their own dental context!)

This statement is so valid that the value of could be extended indefinitely, even reaching an , which corresponds to infinite significance, as long as it remains within the specific context; however, it may not hold any significance in different contexts, such as the neurological one, for example.

Final Considerations

Within the scope of this observation, the application of Predicate Logic significantly contributes to strengthening the dentist's deductive process, concurrently solidifying the principle of excluded middle. This principle is emphasized by the coherence of the supplementary statements , providing the dentist with a solid foundation for a consistent diagnosis and to affirm with certainty that 'Poor Mary Poppins is, without a shadow of a doubt, affected by TMD or not.'

«And what if, as research advances, new phenomena emerge supporting the neurologist's theories rather than the dentist's?»

In essence, considering the compatibility of the assertions , consistently supporting that Orofacial Pain is caused by a Temporomandibular Disorder might become incompatible if another set of equally coherent assertions emerged. This scenario would pave the way for a new interpretation : Mary Poppins could be suffering from Orofacial Pain due to a Neuromotor Disorder (nOP), not directly from Temporomandibular Disorders. Within the current medical language, such assertions remain purely theoretical, given that prevailing beliefs and opinions do not facilitate a rapid paradigm shift.

Considering also the risk associated with such a change, the analysis of recent studies on the epidemiology of Temporomandibular Disorders[36] could prove useful. These studies indicate that, despite methodological and sampling differences, pain in the temporomandibular region is relatively common, affecting about 10% of the population. Therefore, it is reasonable to hypothesize that Mary Poppins could fall within this percentage, classifying her as a patient suffering from Orofacial Pain due to Temporomandibular Disorders (TMD).

In conclusion, adopting a classical dichotomous approach in medical language, which tends to categorize conditions in black or white, fails to capture the numerous nuances present in clinical realities. Therefore, exploring a more flexible and suitable linguistic approach is necessary...

«Could we then consider adopting a probabilistic type of linguistic logic?»
(perhaps)
Bibliography & references
  1. «[1]»».
    PMID:23974509
    DOI:10.1353/pbm.2013.0019 
  2. «[2]»».
    PMID:30033794
    DOI:10.1080/0142159X.2018.1484898 
  3. «[3]»».
    PMID:24646132
    DOI:10.1111/adj.12157 
  4. «[4]»».
    PMID:24495071
    DOI:10.1111/adj.12131 
  5. «[5]»».
    PMID:24617813
    DOI:10.1111/adj.12158 
  6. «[6]»».
    PMID:24611746
    DOI:10.1111/adj.12155 
  7. «[7]»».
    PMID:24611797
    DOI:10.1111/adj.12156 
  8. «[8]»».
    DOI:10.1111/adj.12102 
  9. «[9]»».
    DOI:10.1111/adj.12130 
  10. «[10]»».
    DOI:10.1111/adj.12132 
  11. «[11]»».
    DOI:10.1111/adj.12101 
  12. «[12]»».
    DOI:10.1111/adj.12100 
  13. {{Cite book | author = Brook AH | author2 = Jernvall J | author3 = Smith RN | author4 = Hughes TE | author5 = Townsend GC | title = 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 = | work = Aust Dent J | year = 2014 | publisher = | city = | ISBN = | PMID = | PMCID = | DOI = 10.1111/adj.12160 | oaf = | LCCN = | OCLC =
  14. «[13]»».
    PMID:24164394
    DOI:10.1111/adj.12104 
  15. «[14]»».
    DOI:10.1111/adj.12103 
  16. «[15]»».
    PMID:6573384 
  17. «[16]»».
    PMID:24433547
    DOI:10.1111/adj.12105 
  18. «[17]»».
    DOI:10.1111/adj.12475 
  19. «[18]»». 
  20. «[19]»».
    DOI:10.4103/2278-0203.127547 
  21. «[20]»».
    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. «[21]» – in «Argumentation and Non-Monotonic Reasoning - An LPNMR Workshop». 
  24. «[22]»».
    PMID:15189308
    DOI:10.1111/j.1365-2842.2004.01274.x 
  25. «[23]»».
    PMID:31439959
    DOI:10.18926/AMO/56938 
  26. «[24]»».
    ISSN: 0003-3006/90
    PMID:2085203 - PMCID:PMC2190318 
  27. «[25]»».
    e-ISSN: 1643-3750
    PMID:23722255 - PMCID:PMC3673808
    DOI:10.12659/MSM.883927 
  28. «[26]»».
    PMID:28732700
    DOI:10.1016/j.oooo.2017.05.514 
  29. «[27]»».
    PMID:3457531
    DOI:10.1016/0002-9416(86)90055-2 
  30. KaVo Dental GmbH, Biberach / Ris
  31. «[28]»».
    PMID:17637527 
  32. «'''''»».
    PMID:18197841
    DOI:10.1111/j.1365-2842.2007.01815.x 
  33. «[29]»».
    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. «[30]»».
    DOI:10.1590/0103-6440201302310 
  36. «[31]»».
    PMID:9260045
    DOI:10.1177/10454411970080030401 
Wiki.png

 









Introduction

We parted ways in the previous chapter on the ‘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 as an information carrier (anticipation of the symptom) and to the message as a machine language and not as a non-verbal language).[1][2]
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.

We are definitely aware that our Linux Sapiens is still perplexed about what has been anticipated and continues to wonder
 
Question 2.jpg
   
«... but... could the logic of Classical Language help us to solve poor Mary Poppins' dilemma?»
(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.

One of these fundamental topics is 'Craniofacial Biology'.

Let's start with a well known study by Townsend and Brook[3]: 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[4].

Another topic of great interest for the implementation of 'Craniofacial Biology' is the awareness that biological systems are 'Complex Systems'[5] 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.[6] Phenomics, in particular, discussed by these authors (see 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.[7] 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.[8] 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;[9][10][11] 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.[12]

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[13][14] and the influence of tongue pressure on growth and craniofacial function.[15][16]Townsend and Brook's extraordinary work too deserves a mention[3], and the intrinsic content of what has been reported in it matches equally well with another commendable author: HC Slavkin.[17] Slavkin asserts that:

"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."
 
Question 2.jpg
   
«... I understand the progress of Science described by the authors but I don't understand the change of thought»
(I'll give you a practical example)



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.

The patient has a posterior unilateral crossbite and an anterior openbite.[18] The crossbite is another disturbing element of the normal occlusion[19] for which it is compulsorily treated together with the openbite.[20][21] 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).

This example is Classical Logic Language, as we are going to explain in detail, but now a doubt arises:

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?
Certainly not because time 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.
«... this statement seems a bit risky!»
(sure, but the logical sequence has already been anticipated)

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.

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.
 
Question 2.jpg
   
«Let me better understand what Classical Language Logic has to do with it»
(We will do it following the clinical case of our Mary Poppins)
  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