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

'''Classical logic''' will be discussed in this chapter. In the first part, mathematical formalism and the rules that compose it will be illustrated. In the second part, a clinical example will be given to evaluate its effectiveness in determining a diagnosis.<br>In conclusion, it is evident that a classical logic of language, which has an extremely dichotomous approach (either something is white, or it is black), cannot describe the many shades that real clinical situations have.<br>As we shall soon see, this paper will show that classical logic lacks the necessary precision, forcing us to enhance it with other types of logic languages. {{ArtBy|

==Introduction==

We parted ways in the previous chapter on the ‘[[The logic of medical language|Logic of Medical Language]]’ in an attempt to shift the attention from clinical symptom or sign to encrypted machine language for which, the arguments of Donald E Stanley, Daniel G Campos and Pat Croskerry are welcome but connected to time <math>t_n</math> as an information carrier (anticipation of the symptom) and to the message as a machine language and not as a non-verbal language).<ref>{{Cite book  

  }}</ref><br>Obviously, this does not preclude the validity of the clinical history built on a pseudo-formal verbal language by now well rooted in the clinical reality and which has already proved its diagnostic authority. The attempt to shift attention to a machine language and to the System provides nothing but an opportunity for the validation of Diagnostic Medical Science.

We are definitely aware that our Linux Sapiens is still perplexed about what has been anticipated and continues to wonder{{q4|... <!--11-->but... <!--12-->could the logic of Classical Language help us to solve poor Mary Poppins' dilemma?|<!--13-->a little patience, please}}

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<ref name=":0">{{Cite book  

  }}</ref>: in this work the authors question the status quo of both fundamental and applied research in 'Craniofacial Biology' to extract clinical considerations and implications. One topic they covered was the "Interdisciplinary Approach", in which Geoffrey Sperber and his son Steven saw the strength of the exponential progress of 'Craniofacial Biology' in technological innovations such as gene sequencing, CT scanning, MRI imaging, scanning laser, image analysis, ultrasonography and spectroscopy<ref>{{Cite book  

Another topic of great interest for the implementation of 'Craniofacial Biology' is the awareness that biological systems are 'Complex Systems'<ref>{{Cite book  

  }}</ref> and that 'Epigenetics' plays a key role in craniofacial molecular biology. Researchers from Adelaide and Sydney provide a critical review in the field of epigenetics aimed, in fact, at the dental and craniofacial disciplines.<ref>{{Cite book  

  }}</ref> Phenomics, in particular, discussed by these authors (see [[wikipedia:Phenomics|Phenomics]])) is a general research field that involves the measurement of changes in the teeth and associated orofacial structures resulting from the interactions between genetic, epigenetic and environmental factors during development.<ref>{{Cite book  

  }}</ref> In this same context, the work of Irma Thesleff from Helsinki, Finland, should be highlighted. She explains in her work that there are a series of transient signalling centres in the dental epithelium that play important roles in the programme of tooth development.<ref>{{Cite book  

  }}</ref> Besides there are other works, by Peterkova R, Hovor akova M, Peterka M, Lesot H, providing a fascinating review of the processes that occur during dental development;<ref>{{Cite book  

  }}</ref> for the sake of completeness, let's not forget the works by Han J, Menicanin D, Gronthos S, and  Bartold PM., who review comprehensive documentation on stem cells, tissue engineering and periodontal regeneration.<ref>{{Cite book  

In this review, arguments could not be missing on genetic, epigenetic and environmental influences during morphogenesis that lead to variations in the number, size and shape of the tooth<ref>{{Cite book  

<nowiki> </nowiki><nowiki>|</nowiki> autore = Brook AH

<nowiki> </nowiki><nowiki>|</nowiki> autore2 = Jernvall J

<nowiki> </nowiki><nowiki>|</nowiki> autore3 = Smith RN

<nowiki> </nowiki><nowiki>|</nowiki> autore4 = Hughes TE

<nowiki> </nowiki><nowiki>|</nowiki> autore5 = Townsend GC

<nowiki> </nowiki><nowiki>|</nowiki> titolo = The Dentition: The Outcomes of Morphogenesis Leading to Variations of Tooth Number, Size and Shape

<nowiki> </nowiki><nowiki>|</nowiki> url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12160

  }}</ref> and the influence of tongue pressure on growth and craniofacial function.<ref>{{Cite book  

  }}</ref>Townsend and Brook's extraordinary work too deserves a mention<ref name=":0" />,  and the intrinsic content of what has been reported in it matches equally well with another commendable author: HC Slavkin.<ref>{{Cite book  

  }}</ref> Slavkin asserts that:

{{q4|... <!--35-->I understand the progress of Science described by the authors but I don't understand the change of thought|<!--36-->I'll give you a practical example}}

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.<ref>

}}</ref> The crossbite is another disturbing element of the normal occlusion<ref>{{cita libro

}}</ref> for which it is compulsorily treated together with the openbite.<ref>{{cita libro

}}</ref> This type of reasoning means that the model (masticatory system) is 'normalized to occlusion'; and read in reverse, it means that the occlusal discrepancy is the cause of malocclusion, hence, a disease of the Masticatory System, and therefore an intervention to restore the physiological masticatory function is justifiable. (Figure 1a).

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

Certainly not because time '''<math>t_n</math> is the bearer of information''' but despite this cognitive limit we proceed with a very questionable Classical Language Logic for the safety of the citizen.{{q2|... <!--46-->this statement seems a bit risky!|<!--47-->sure, but the logical sequence has already been anticipated}}

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.<gallery widths="350" heights="282" perrow="2" mode="slideshow">

File:Occlusal Centric view in open and cross bite patient.jpg|'''Figure 1a:''' Patient with malocclusion, open bite and right posterior crossbite who in rehabilitation terms must be treated with orthodontic therapy and / or orthognathic surgery

==Mathematical formalism==

In this chapter, we will reconsider the clinical case of the unfortunate Mary Poppins suffering from Orofacial Pain for more than 10 years to which her dentist diagnosed a 'Temporomandibular Disorders' (TMDs) or rather Orofacial Pain from TMDs. To better understand why the exact diagnostic formulation remains complex with a Logic of Classical Language, we should understand the concept on which the philosophy of classical language is based with a brief introduction to the topic.

It can be argued whether or not common language sentences are propositions as in many cases it is not often evident if a certain statement is true or false.

''Fortunately, mathematical propositions, if well expressed, do not show such ambiguities’.''

Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following<ref><!--68-->For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic.<br><!--69-->Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref>:

#''Conjunction'', which is indicated by the symbol <math>\land</math>  (and):

#''Negation'', which is indicated by the symbol <math>\urcorner</math>  (not):

#''Demonstration'', which is indicated by the symbol <math>\mid</math> (such that): and

#''Membership'', which is indicated by the symbol <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):

Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.

Suppose we need to prove that the proposition <math>p</math> is true. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called ''demonstration by absurdity''<ref>{{Cite book  

===Predicates===

What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'. Many times, however, the mathematical statements concern not the single object, but generic objects of a set such as: '''<math>X</math>'' are taller than 2 meters' where ''<math>X</math>'' denotes a generic group (for example all volleyball players). In this case we speak of predicates.

Intuitively, a predicate is a sentence concerning a group of elements (which in our medical case will be the patients) and which states something about them.{{q4|<!--99-->Then poor Mary Poppins is a TMD patient or she is not!|<!--100-->let's see what Classical Language Logic tells us}}

In addition to the confirmations derived from the logic of medical language discussed in the previous chapter, the dentist colleague acquires other instrumental data that allow him to confirm his diagnosis. The latter tests concern the analysis of the axiographic traces by using a customized functional paraocclusal clutch which allow the visualization and quantification of the condylar traces in masticatory functions. As can be seen from Figure 4 the flattening of the condylar traces on the right side both in the mediotrusive masticatory kinetics (green colour) and the opening and protrusion cycles (gray colour) confirm the anatomical and functional flattening of the right TMJ in the dynamics chewing. In addition to the axiography, the colleague performs a surface electromyography on the masseters (Fig. 6) asking the patient to exert  the maximum of his muscles force. This type of electromyographic analysis is called "EMG Interferential Pattern" due to the high frequency content of the spikes that undergo phase interference. In fact, Figure 6 shows an asymmetry in the recruitment of the motor units of the right masseter (upper trace) compared to those of the left masseter (lower trace).<ref>{{cite book  

  }}</ref><center>

==2nd Clinical Approach==

(Hover over the images)

===== Dental propositions =====

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> Normal patients (normal stands for patients commonly present in the specialist setting)

*<math>A(x) \equiv</math> Bone remodelling with osteophyte from stratigraphic examination and condylar CT; and

*<math>B(x)\equiv</math> Temporomandibular Disorders (TMDs) resulting in Orofacial Pain (OP)

*<math>\mathrm{a}\equiv</math> Specific patient: Mary Poppins

Any normal patient <math>\forall\text{x}

</math> who is positive on the radiographic examination of the TMJ <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figure 2 and 3] is affected by TMDs <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; from this it follows that <math>\vdash</math> being Mary Poppins positive (and also being a "Normal" patient) on the TMJ x-ray <math>A(a)</math> then Mary Poppins is also affected by TMDs <math>\rightarrow \mathcal{B}(a)</math>The language of predicates is expressed in the following way:

At this point, it must also be considered that predicate logic is not used only to prove that a particular set of premises imply a particular evidence <math>(1)</math>. It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence.

In order to prove that this proposition is true we must use the above mentioned<u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the dentist's proposition will be true:

"<math>(2)</math>" states that it is not true that those who test positive on TMJ CT have TMDs, so Mary Poppins (TMJ CT positive normal patient) does not have TMDs.

The dentist believes that Mary Poppins' claim (that she does not have TMD under these premises) is a contradiction so the main claim is true.

Let us imagine that the neurologist disagrees with the conclusion <math>(1)</math> and asserts that Mary Poppins is not affected by TMDs or that at least it is not the main cause of Orofacial Pain, but that, rather, she is affected by a neuromotor Orofacial Pain (_nOP), therefore that she does not belong to the group of 'normal patients' but is to be considered a 'non-specific patient' (uncommon in the specialist context).

Obviously, this dialectic would last indefinitely because both would defend their scientific-clinical context; but let us see what happens in the logic of predicates.

The neurologist's statement would be like:

"<math>(3)</math>" means that every patient who is TMJ CT positive has TMDs but even though Mary Poppins is TMJ CT positive, she does not have TMDs.

In order to prove that this proposition is true, we must use once again the above mentioned <u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:

Following the logical rules of predicates, there is no reason to say that denial (4) is contradictory or meaningless, therefore the neurologist (unlike the dentist) would not seem to have the logical tools to confirm his conclusion.{{q4|<!--153-->then the dentist triumphs!|<!--154-->don't take it for granted}}

The complication lies in the fact that the dentist will present a series of statements as clinical reports such as the stratigraphy and CT of the TMJ, that indicate an anatomical flattening of the joint, axiography of the condylar traces with a reduction in kinematic convexity and a tracing EMG interference pattern in which an asymmetrical pattern on the masseters is highlighted. These assertions can easily be considered a contributing cause of the damage to the Temporomandibular Joint and, therefore, responsible for the 'Orofacial pain'.

#A set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is coherent.

#A set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically incompatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is incoherent.

Let us try to follow this reasoning with practical examples:

The dentist colleague exposes the following sentence:

<math>\Im</math>: Following the personalized techniques suggested by Xin Liang et al.<ref>{{cite book  

  }}</ref> who focuses on the quantitative microstructural analysis of the fraction of the bone value, the trabecular number, the trabecular thickness and the trabecular separation on each slice of the CT scan of a TMJ, it appears that Mary Poppins is affected by Temporomandibular Disorders (TMDs) and the consequence causes Orofacial Pain.

At this point, however, the thesis must be confirmed with further clinical and laboratory tests, and in fact the colleague produces a series of assertions that should pass the compatibility filter as described above, namely:

<math>\delta_1=</math> '''Bone remodelling:''' The flattening of the axiographic traces highlighted in figure 5 indicates the joint remodelling of the right TMJ of Mary Poppins, such a report can be correlated to a series of researches and articles that confirm how malocclusion can be associated with morphological changes in the temporomandibular joints, particularly when combined with the age as the presence of a chronic malocclusion can worsen the picture of bone remodelling.<ref>{{cite book  

  }}</ref> These scientific references determine the compatibility of the assertion.

<math>\delta_2=</math> '''Sensitivity and specificity of the axiographic measurement:''' A study was conducted to verify the sensitivity and specificity of the data collected from a group of patients affected by temporomandibular joint disorders with an ARCUSdigma axiographic system<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref>; it confirmed a sensitivity of the 84.21% and a 92.86% sensitivity for the right and left TMJs respectively, and a specificity of 93.75% and 95.65%.<ref>{{cite book  

  }}</ref> These scientific references determine compatibility of the assertion in the dental context precisely because of the consistency of related studies.<ref>{{cite book  

<math>\delta_3=</math> '''Alteration of condylar paths:''' Urbano Santana-Mora and coll.<ref>{{cite book  

  }}</ref> evaluated 24 adult patients suffering from severe chronic unilateral pain diagnosed as Temporomandibular Disorders (TMDs). The following functional and dynamic factors were evaluated:   

 

masticatory function;

 

remodelling of the TMJ or condylar pathway (CP); and lateral movement of the jaw or lateral guide (LG).

The CPs were assessed using conventional axiography and LG was assessed by using kinesiograph tracing<ref>[https://www.myotronics.com/ Myotronics Inc., Kent, WA, US]</ref>; Seventeen (71%) of the 24 (100%) patients consistently showed a side of habitual chewing side. The mean and standard deviation of the CP angles was 47.90 <math>\pm</math> 9.24) degrees. The average of LG angles was 42.95<math>\pm</math>11.78 degrees. <br>Data collection emerged from the conception of a new TMD paradigm in which the affected side could be the usual chewing side, the side where the mandibular lateral kinematic angle was flatter. This parameter may also be compatible with the dental claim.

<math>\delta_4=</math> '''EMG Intereference pattern:''' M.O. Mazzetto and coll.<ref>{{cite book  

  }}</ref> showed that the electromyographic activity of the anterior temporal muscles and the masseter was positively correlated with the "Craniomandibular index", indiced (CMI) with a <math>P=0,01</math> and suggesting that the use of CMI to quantify the severity of TMDs and EMG to assess the masticatory muscle function, may be an important diagnostic and therapeutic elements. These scientific references determine compatibility of the assertion.

Obviously, the dentist colleague could endlessly keep on casting his statements, indefinitely.

Well, ''all of these statements seem coherent'' with the sentence <math>\Im</math> initially described, whereby the dentist colleague feels justified in saying that the set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other assertions or clinical data <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible as the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is coherent.{{q4|<!--211-->Following the logic of classical language, the dentist is right!|<!--212-->It would seem so! <br><!--213-->But, be careful, only in his own dental context!}}

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><!--220-->principle of the excluded third</u>: <!--221-->the principle is strengthened through the compatibility of the additional assertions <math>(\delta_1,\delta_2,.....\delta_n \ )</math> <!--222-->which grant the dentist a complete coherence in the diagnosis and in confirming the sentence <math>\Im</math>: <!--223-->Poor Mary Poppins either has TMD, or she has not.{{q4|...<!--224-->and what if, with the advancement of research, new phenomena were discovered that would prove the neurologist right, instead of the dentist?|}}