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

 
(3 intermediate revisions by the same user not shown)
Line 553: Line 553:
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref><center>
  }}</ref><center>
==2nd Clinical Approach==
==2. Klinischer Ansatz==
(Hover over the images)
(Fahren Sie mit der Maus über die Bilder)


<gallery widths="350" heights="282" perrow="2" mode="slideshow">
<gallery widths="350" heights="282" perrow="2" mode="slideshow">
File:Spasmo emimasticatorio.jpg|'''<!--107-->Figure 2:''' <!--108-->Patient reporting 'Orofacial Pain' in his right hemilateral face
File:Spasmo emimasticatorio.jpg|'''<!--107-->Figure 2:''' <!--108-->Patient berichtet von „orofazialen Schmerzen“ in seinem rechten hemilateralen Gesicht
File:Spasmo emimasticatorio ATM.jpg|'''<!--109-->Figure 3:''' <!--110-->Patient's TMJ stratigraphy showing signs of condylar flattening and osteophyte
File:Spasmo emimasticatorio ATM.jpg|'''<!--109-->Figure 3:''' <!--110-->Stratigraphie des Kiefergelenks des Patienten mit Anzeichen von Kondylenabflachung und Osteophyten
File:Atm1 sclerodermia.jpg|'''<!--111-->Figure 4:''' <!--112-->Computed Tomography of the TMJ
File:Atm1 sclerodermia.jpg|'''<!--111-->Figure 4:''' <!--112-->Computertomographie des Kiefergelenks
File:Spasmo emimasticatorio assiografia.jpg|'''<!--113-->Figure 5:''' <!--114-->Axiography of the patient showing a flattening of the chewing pattern on his right condyle
File:Spasmo emimasticatorio assiografia.jpg|'''<!--113-->Figure 5:''' <!--114-->Axiographie des Patienten, die eine Abflachung des Kaumusters auf seinem rechten Kondylus zeigt
File:EMG2.jpg|'''<!--115-->Figure 6:''' <!--116-->EMG Interferential Pattern. <!--117-->Overlapping upper traces corresponding to the right masseter, lower to the left masseter.
File:EMG2.jpg|'''<!--115-->Figure 6:''' <!--116-->EMG-Interferenzmuster. <!--117-->Überlappende obere Spuren entsprechen dem rechten Masseter, untere dem linken Masseter.
</gallery>
</gallery>
</center>
</center>


===== Dental propositions =====
===== Zahnärztliche Vorschläge =====
While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates:
Während wir versuchen, den mathematischen Formalismus zu verwenden, um die Schlussfolgerungen des Zahnarztes mit klassischer logischer Sprache zu übersetzen, betrachten wir die folgenden Prädikate:
*''x'' <math>\equiv</math> Normal patients (normal stands for patients commonly present in the specialist setting)
*''x'' <math>\equiv</math> Normalpatienten (normale Stände für Patienten, die üblicherweise in der Facharztpraxis anwesend sind)


*<math>A(x) \equiv</math> Bone remodelling with osteophyte from stratigraphic examination and condylar CT; and
*<math>A(x) \equiv</math> Knochenumbau mit Osteophyten aus stratigraphischer Untersuchung und Kondylen-CT; und
*<math>B(x)\equiv</math> Temporomandibular Disorders (TMDs) resulting in Orofacial Pain (OP)
*<math>B(x)\equiv</math> Temporomandibuläre Erkrankungen (TMDs), die zu orofazialen Schmerzen (OP) führen
*<math>\mathrm{a}\equiv</math> Specific patient: Mary Poppins
*<math>\mathrm{a}\equiv</math> Spezifische Patientin: Mary Poppins


Any normal patient <math>\forall\text{x}
Jeder normale 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:
</math> der bei der Röntgenuntersuchung des Kiefergelenks positiv ist <math>\mathrm{\mathcal{A}}(\text{x})</math> [Abbildung 2 und 3] ist von TMDs betroffen <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; daraus folgt das <math>\vdash</math> Mary Poppins-positiv zu sein (und auch ein "normaler" Patient zu sein) auf dem Kiefergelenk-Röntgenbild <math>A(a)</math> dann ist auch Mary Poppins von TMDs betroffen <math>\rightarrow \mathcal{B}(a)</math>Die Sprache der Prädikate wird folgendermaßen ausgedrückt:


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


At this point, it must also be considered that predicate logic is not used only to prove that a particular set of premises imply a particular evidence <math>(1)</math>. It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence.
An dieser Stelle muss auch berücksichtigt werden, dass die Prädikatenlogik nicht nur verwendet wird, um zu beweisen, dass eine bestimmte Menge von Prämissen eine bestimmte Evidenz impliziert<math>(1)</math>. Es wird auch verwendet, um zu beweisen, dass eine bestimmte Behauptung nicht wahr ist oder dass ein bestimmtes Wissen mit einem bestimmten Beweis logisch kompatibel/inkompatibel ist.


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:
Um zu beweisen, dass dieser Satz wahr ist, müssen wir den oben erwähnten Beweis durch Absurdität verwenden. Wenn seine Ablehnung einen Widerspruch hervorruft, wird die Behauptung des Zahnarztes sicherlich wahr sein:


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


"<math>(2)</math>" states that it is not true that those who test positive on TMJ CT have TMDs, so Mary Poppins (TMJ CT positive normal patient) does not have TMDs.
"<math>(2)</math>"stellt fest, dass es nicht stimmt, dass diejenigen, die positiv auf TMJ CT getestet wurden, TMDs haben, also hat Mary Poppins (TMJ CT positive normale Patientin) keine 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.
Der Zahnarzt glaubt, dass die Behauptung von Mary Poppins (dass sie unter diesen Prämissen keine CMD hat) ein Widerspruch ist, sodass die Hauptbehauptung wahr ist.
===Neurophysiological proposition===
===Neurophysiologischer Vorschlag===


Let us imagine that the neurologist disagrees with the conclusion <math>(1)</math> and asserts that Mary Poppins is not affected by TMDs or that at least it is not the main cause of Orofacial Pain, but that, rather, she is affected by a neuromotor Orofacial Pain (<sub>n</sub>OP), therefore that she does not belong to the group of 'normal patients' but is to be considered a 'non-specific patient' (uncommon in the specialist context).
Stellen wir uns vor, dass der Neurologe mit der Schlussfolgerung nicht einverstanden ist<math>(1)</math> und behauptet, dass Mary Poppins nicht von TMDs betroffen ist oder dass dies zumindest nicht die Hauptursache für orofaziale Schmerzen ist, sondern dass sie eher von einem neuromotorischen orofazialen Schmerz betroffen ist (<sub>n</sub>OP), daher, dass sie nicht zur Gruppe der „Normalpatienten“ gehört, sondern als „unspezifische Patientin“ anzusehen ist (im Fachkontext unüblich).


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.
Offensichtlich würde diese Dialektik unendlich lange dauern, weil beide ihren wissenschaftlich-klinischen Kontext verteidigen würden; aber sehen wir uns an, was in der Prädikatenlogik vor sich geht.


The neurologist's statement would be like:
Die Aussage des Neurologen wäre wie folgt:


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


"<math>(3)</math>" means that every patient who is TMJ CT positive has TMDs but even though Mary Poppins is TMJ CT positive, she does not have TMDs.
"<math>(3)</math>"bedeutet, dass jede Patientin, die TMJ-CT-positiv ist, TMDs hat, aber obwohl Mary Poppins TMJ-CT-positiv ist, hat sie keine 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:
Um zu beweisen, dass dieser Satz wahr ist, müssen wir noch einmal den oben erwähnten Beweis durch Absurdität verwenden. Wenn seine Leugnung einen Widerspruch hervorruft, wird die Behauptung des Neurologen sicherlich wahr sein:


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


Following the logical rules of predicates, there is no reason to say that denial (4) is contradictory or meaningless, therefore the neurologist (unlike the dentist) would not seem to have the logical tools to confirm his conclusion.{{q4|<!--153-->then the dentist triumphs!|<!--154-->don't take it for granted}}
Nach den logischen Regeln der Prädikate gibt es keinen Grund, dies zu verneinen (4)ist widersprüchlich oder bedeutungslos, daher scheint der Neurologe (anders als der Zahnarzt) nicht über die logischen Werkzeuge zu verfügen, um seine Schlussfolgerung zu bestätigen.{{q4|<!--153-->dann triumphiert der Zahnarzt!|<!--154-->nimm es nicht als selbstverständlich hin}}


===Compatibility and incompatibility of the statements===
===Kompatibilität und Inkompatibilität der Aussagen===
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'.
Die Komplikation liegt darin, dass der Zahnarzt eine Reihe von Aussagen als klinische Berichte vorlegen wird, wie die Stratigraphie und CT des Kiefergelenks, die auf eine anatomische Abflachung des Gelenks hinweisen, eine Axiographie der Kondylenspuren mit einer Verringerung der kinematischen Konvexität und a Verfolgung des EMG-Interferenzmusters, in dem ein asymmetrisches Muster auf den Massetern hervorgehoben ist. Diese Behauptungen können leicht als Mitursache für die Schädigung des Kiefergelenks und damit für den „orofazialen Schmerz“ angesehen werden.


Documents, reports and clinical evidence can be used to make the neurologist's assertion incompatible and the dentist's diagnostic conclusion compatible. To do this we must present some logical rules that describe the compatibility or incompatibility of the logic of classical language:
Dokumente, Berichte und klinische Beweise können verwendet werden, um die Behauptung des Neurologen unvereinbar und die diagnostische Schlussfolgerung des Zahnarztes vereinbar zu machen. Dazu müssen wir einige logische Regeln vorstellen, die die Kompatibilität oder Inkompatibilität der Logik der klassischen Sprache beschreiben:
#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.
#Eine Reihe von Sätzen <math>\Im</math>, und eine Zahl <math>n\geq1</math> von anderen Sätzen oder Aussagen <math>(\delta_1,\delta_2,.....\delta_n \ )</math>sind logisch kompatibel, wenn, und nur wenn, die Vereinigung zwischen ihnen <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math>ist kohärent.
#A set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically incompatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is incoherent.
#Eine Reihe von Sätzen <math>\Im</math>, und eine Zahl <math>n\geq1</math> von anderen Sätzen oder Aussagen <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sind logisch inkompatibel, wenn, und nur wenn, die Vereinigung zwischen ihnen <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> ist inkohärent.


Let us try to follow this reasoning with practical examples:
Versuchen wir, diese Argumentation an praktischen Beispielen nachzuvollziehen:


The dentist colleague exposes the following sentence:
Der Zahnarztkollege entlarvt folgenden Satz:


<math>\Im</math>: Following the personalized techniques suggested by Xin Liang et al.<ref>{{cite book  
<math>\Im</math>: Nach den von Xin Liang et al.<ref>{{cite book  
  | autore = Liang X
  | autore = Liang X
  | autore2 = Liu S
  | autore2 = Liu S
Line 638: Line 638:
  | DOI = 10.1016/j.oooo.2017.05.514
  | DOI = 10.1016/j.oooo.2017.05.514
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> who focuses on the quantitative microstructural analysis of the fraction of the bone value, the trabecular number, the trabecular thickness and the trabecular separation on each slice of the CT scan of a TMJ, it appears that Mary Poppins is affected by Temporomandibular Disorders (TMDs) and the consequence causes Orofacial Pain.
  }}</ref> Wer sich auf die quantitative mikrostrukturelle Analyse des Anteils des Knochenwertes, der Trabekelzahl, der Trabekeldicke und der Trabekeltrennung auf jeder Schicht des CT-Scans eines Kiefergelenks konzentriert, scheint, dass Mary Poppins von Temporomandibular Disorders (TMDs) betroffen ist. und die Folge verursacht orofaziale Schmerzen.


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:
An dieser Stelle muss die These jedoch durch weitere klinische und Labortests bestätigt werden, und tatsächlich produziert der Kollege eine Reihe von Behauptungen, die wie oben beschrieben den Kompatibilitätsfilter passieren sollten, nämlich:


<math>\delta_1=</math> '''Bone remodelling:''' The flattening of the axiographic traces highlighted in figure 5 indicates the joint remodelling of the right TMJ of Mary Poppins, such a report can be correlated to a series of researches and articles that confirm how malocclusion can be associated with morphological changes in the temporomandibular joints, particularly when combined with the age as the presence of a chronic malocclusion can worsen the picture of bone remodelling.<ref>{{cite book  
<math>\delta_1=</math> '''Knochenumbau''': Die Abflachung der axiographischen Spuren, die in Abbildung 5 hervorgehoben sind, weist auf den Gelenkumbau des rechten Kiefergelenks von Mary Poppins hin. Ein solcher Bericht kann mit einer Reihe von Untersuchungen und Artikeln in Verbindung gebracht werden, die bestätigen, wie Malokklusion mit morphologischen Veränderungen des Knochens in Verbindung gebracht werden kann Kiefergelenke, insbesondere in Kombination mit dem Alter, da das Vorhandensein einer chronischen Malokklusion das Bild des Knochenumbaus verschlechtern kann.<ref>{{cite book  
  | autore = Solberg WK
  | autore = Solberg WK
  | autore2 = Bibb CA
  | autore2 = Bibb CA
Line 659: Line 659:
  | DOI = 10.1016/0002-9416(86)90055-2
  | DOI = 10.1016/0002-9416(86)90055-2
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> These scientific references determine the compatibility of the assertion.
  }}</ref>Diese wissenschaftlichen Referenzen bestimmen die Kompatibilität der Behauptung.


<math>\delta_2=</math> '''Sensitivity and specificity of the axiographic measurement:''' A study was conducted to verify the sensitivity and specificity of the data collected from a group of patients affected by temporomandibular joint disorders with an ARCUSdigma axiographic system<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref>; it confirmed a sensitivity of the 84.21% and a 92.86% sensitivity for the right and left TMJs respectively, and a specificity of 93.75% and 95.65%.<ref>{{cite book  
<math>\delta_2=</math> '''Sensitivität und Spezifität der axiografischen Messung''': Es wurde eine Studie durchgeführt, um die Sensitivität und Spezifität der Daten zu überprüfen, die von einer Gruppe von Patienten mit Kiefergelenkserkrankungen mit einem ARCUSdigma-Axiografiesystem gesammelt wurden<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref>;es bestätigte eine Sensitivität von 84,21 % und eine Sensitivität von 92,86 % für das rechte bzw. linke Kiefergelenk und eine Spezifität von 93,75 % und 95,65 %.<ref>{{cite book  
  | autore = Kobs G
  | autore = Kobs G
  | autore2 = Didziulyte A
  | autore2 = Didziulyte A
Line 678: Line 678:
  | DOI =  
  | DOI =  
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> These scientific references determine compatibility of the assertion in the dental context precisely because of the consistency of related studies.<ref>{{cite book  
  }}</ref>Diese wissenschaftlichen Referenzen bestimmen gerade wegen der Konsistenz verwandter Studien die Kompatibilität der Behauptung im zahnmedizinischen Kontext.<ref>{{cite book  
  | autore = Piancino MG
  | autore = Piancino MG
  | autore2 = Roberi L
  | autore2 = Roberi L
Line 698: Line 698:
  }}</ref>
  }}</ref>


<math>\delta_3=</math> '''Alteration of condylar paths:''' Urbano Santana-Mora and coll.<ref>{{cite book  
<math>\delta_3=</math>'''Veränderung der Kondylenbahnen''': Urbano Santana-Mora und coll.<ref>{{cite book  
  | autore = López-Cedrún J
  | autore = López-Cedrún J
  | autore2 = Santana-Mora U
  | autore2 = Santana-Mora U
Line 718: Line 718:
  | DOI = 10.1038/sdata.2017.168
  | DOI = 10.1038/sdata.2017.168
  | oaf = YES<!-- qualsiasi valore -->
  | oaf = YES<!-- qualsiasi valore -->
  }}</ref> evaluated 24 adult patients suffering from severe chronic unilateral pain diagnosed as Temporomandibular Disorders (TMDs). The following functional and dynamic factors were evaluated:   
  }}</ref>werteten 24 erwachsene Patienten aus, die unter schweren chronischen einseitigen Schmerzen litten, die als Kiefergelenkserkrankungen (TMDs) diagnostiziert wurden. Folgende funktionale und dynamische Faktoren wurden bewertet:   


masticatory function;   
Kaufunktion;   


remodelling of the TMJ or condylar pathway (CP); and lateral movement of the jaw or lateral guide (LG).   
Umbau des Kiefergelenks oder des Kondylenwegs (CP); und seitliche Bewegung des Kiefers oder der seitlichen Führung (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.
Die CPs wurden unter Verwendung herkömmlicher Axiographie bewertet und LG wurde unter Verwendung von Kinesiograph-Tracing bewertet<ref>[https://www.myotronics.com/ Myotronics Inc., Kent, WA, US]</ref>; Siebzehn (71 %) der 24 (100 %) Patienten zeigten durchweg eine Seite des gewohnheitsmäßigen Kauens. Der Mittelwert und die Standardabweichung der CP-Winkel betrug 47,90<br>Die Datensammlung entstand aus der Konzeption eines neuen TMD-Paradigmas, bei dem die betroffene Seite die übliche Kauseite sein könnte, die Seite, auf der der seitliche kinematische Winkel des Unterkiefers flacher war. Dieser Parameter kann auch mit dem zahnmedizinischen Anspruch vereinbar sein.


<math>\delta_4=</math> '''EMG Intereference pattern:''' M.O. Mazzetto and coll.<ref>{{cite book  
<math>\delta_4=</math>'''EMG Interferenzmuster''': M.O. Mazzetto und coll.<ref>{{cite book  
  | autore = Oliveira Mazzetto M
  | autore = Oliveira Mazzetto M
  | autore2 = Almeida Rodrigues C
  | autore2 = Almeida Rodrigues C
Line 744: Line 744:
  | DOI = 10.1590/0103-6440201302310
  | DOI = 10.1590/0103-6440201302310
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> showed that the electromyographic activity of the anterior temporal muscles and the masseter was positively correlated with the "Craniomandibular index", indiced (CMI) with a <math>P=0,01</math> and suggesting that the use of CMI to quantify the severity of TMDs and EMG to assess the masticatory muscle function, may be an important diagnostic and therapeutic elements. These scientific references determine compatibility of the assertion.
  }}</ref> zeigten, dass die elektromyographische Aktivität der vorderen Schläfenmuskulatur und des Masseters positiv mit dem "Craniomandibular Index", indiziert (CMI) mit a, korreliert war <math>P=0,01</math> und der Vorschlag, dass die Verwendung von CMI zur Quantifizierung des Schweregrads von TMDs und EMG zur Beurteilung der Kaumuskelfunktion ein wichtiges diagnostisches und therapeutisches Element sein kann. Diese wissenschaftlichen Referenzen bestimmen die Kompatibilität der Behauptung.


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


Obviously, the dentist colleague could endlessly keep on casting his statements, indefinitely.
Offensichtlich könnte der Zahnarztkollege seine Aussagen endlos weitergeben, unendlich.


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!}}
Nun, alle diese Aussagen scheinen mit dem Satz kohärent zu sein <math>\Im</math> eingangs beschrieben, wobei sich der Zahnarztkollege berechtigt fühlt, den Satz zu sagen<math>\Im</math>, und eine Zahl <math>n\geq1</math> anderer Behauptungen oder klinischer Daten<math>(\delta_1,\delta_2,.....\delta_n \ )</math> sind logisch kompatibel als die Vereinigung zwischen ihnen <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> ist kohärent.{{q4|<!--211-->Der Logik der klassischen Sprache folgend, hat der Zahnarzt recht!|<!--212-->Es scheint so!<br><!--213-->Aber Vorsicht, nur im eigenen zahnmedizinischen Kontext!}}


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.
Diese Aussage ist so wahr, dass die<math>P-value</math>könnte unendlich erweitert werden, verbreitert genug, um ein zu erhalten <math>\alpha=0</math>das ihm in unendlicher Bedeutung entspricht, solange es in seinem Zusammenhang begrenzt bleibt; jedoch ohne klinische Bedeutung in anderen Kontexten, wie zum Beispiel dem Neurologen.
==Final considerations==
==Schlussbetrachtungen==
From a perspective of observation of this kind, the Logic of Predicates can only fortify the dentist’s reasoning and, at the same time, strengthen the <u>principle of the excluded third</u>: the principle is strengthened through the compatibility of the additional assertions <math>(\delta_1,\delta_2,.....\delta_n \ )</math> which grant the dentist a complete coherence in the diagnosis and in confirming the sentence <math>\Im</math>: Poor Mary Poppins either has TMD, or she has not.{{q4|...<!--224-->and what if, with the advancement of research, new phenomena were discovered that would prove the neurologist right, instead of the dentist?|}}
Aus einer solchen Beobachtungsperspektive kann die Prädikatenlogik die Argumentation des Zahnarztes nur untermauern und gleichzeitig das Prinzip des ausgeschlossenen Dritten stärken: Das Prinzip wird durch die Kompatibilität der zusätzlichen Behauptungen gestärkt<math>(\delta_1,\delta_2,.....\delta_n \ )</math>die dem Zahnarzt eine vollständige Kohärenz in der Diagnose und in der Bestätigung des Urteils gewähren <math>\Im</math>: Die arme Mary Poppins hat entweder TMD oder nicht.{{q4|...<!--224-->und was wäre, wenn mit fortschreitender Forschung neue Phänomene entdeckt würden, die statt dem Zahnarzt dem Neurologen recht geben würden?|}}


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?
Grundsätzlich ist die Kompatibilität der Behauptungen gegeben <math>(\delta_1,\delta_2,.....\delta_n \ )</math>, Die konsequente Aussage, dass orofaziale Schmerzen durch Kiefergelenkserkrankungen verursacht werden, könnte unvereinbar werden, wenn eine weitere Reihe von Behauptungen auftaucht <math>(\gamma_1,\gamma_2,.....\gamma_n \ )</math> als kohärent erwiesen: dies würde einen anderen Satz kompatibel machen<math>\Im</math>: könnte die arme Mary Poppins an orofazialen Schmerzen aufgrund einer neuromotorischen Störung leiden (<sub>n</sub>OP) und nicht durch eine temporomandibuläre Störung?


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.
In der gängigen medizinischen Sprachlogik bleiben solche Behauptungen nur Behauptungen, weil die Überzeugungen und Meinungen ein konsequentes und schnelles Umdenken nicht zulassen.


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  
Darüber hinaus könnten wir unter Berücksichtigung des Risikos, das diese Änderung tatsächlich mit sich bringt, einen kürzlich erschienenen Artikel über die Epidemiologie von Kiefergelenkserkrankungen in Betracht ziehen<ref>{{cite book  
  | autore = LeResche L
  | autore = LeResche L
  | titolo = Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors
  | titolo = Epidemiology of temporomandibular disorders: implications for the investigation of etiologic factors
Line 774: Line 774:
  | DOI = 10.1177/10454411970080030401
  | DOI = 10.1177/10454411970080030401
  | oaf = <!-- qualsiasi valore -->
  | oaf = <!-- qualsiasi valore -->
  }}</ref> in which the authors confirm that despite the methodological and population differences, pain in the temporomandibular region appears to be relatively common, occurring in about the 10% of the population; we may then objectively be led to hypothesize that our Mary Poppins can be included in the 10% of the patients mentioned in the epidemiological study, and contextually be classified as a patient suffering from Orofacial Pain from Temporomandibular Disorders (TMDs).
  }}</ref> in dem die Autoren bestätigen, dass trotz der methodischen und Bevölkerungsunterschiede Schmerzen in der Kieferregion relativ häufig zu sein scheinen und bei etwa 10 % der Bevölkerung auftreten; wir können dann objektiv zu der Hypothese geführt werden, dass unsere Mary Poppins zu den 10 % der in der epidemiologischen Studie erwähnten Patienten gehören und kontextuell als Patient mit orofazialen Schmerzen aufgrund von Kiefergelenkserkrankungen (TMDs) klassifiziert werden können.


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.
Abschließend wird deutlich, dass eine klassische Sprachlogik, die einen extrem dichotomen Ansatz verfolgt (entweder weiß oder schwarz), die vielen Schattierungen realer klinischer Situationen nicht abbilden kann.
We need to find a more convenient and suitable language logic...{{q4|... <!--237-->can we then think of a Probabilistic Language Logic?|<!--238-->perhaps}}
Wir müssen eine bequemere und passendere Sprachlogik finden...{{q4|... <!--237-->Können wir uns dann eine probabilistische Sprachlogik vorstellen?|<!--238-->vielleicht}}


{{Btnav|The logic of medical language|The logic of probabilistic language}}
{{Btnav|Die Logik der medizinischen Sprache|Die Logik der probabilistischen Sprache}}


{{Bib}}
{{Bib}}

Latest revision as of 16:02, 3 January 2023

Other languages:  

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

Spasmo emimasticatorio assiografia.jpg

Die klassische Logik wird in diesem Kapitel behandelt. Im ersten Teil werden der mathematische Formalismus und die Regeln, aus denen er besteht, veranschaulicht. Im zweiten Teil wird ein klinisches Beispiel gegeben, um seine Wirksamkeit bei der Bestimmung einer Diagnose zu bewerten.

Abschließend wird deutlich, dass eine klassische Sprachlogik, die einen extrem dichotomen Ansatz verfolgt (entweder etwas ist weiß oder etwas schwarz), die vielen Schattierungen realer klinischer Situationen nicht beschreiben kann.

Wie wir bald sehen werden, wird dieser Aufsatz zeigen, dass der klassischen Logik die notwendige Präzision fehlt, was uns dazu zwingt, sie durch andere Arten von Logiksprachen zu erweitern. 

Masticationpedia

 

Einführung

Wir haben uns im vorherigen Kapitel über die „Logik der medizinischen Sprache“ getrennt, um die Aufmerksamkeit von klinischen Symptomen oder Zeichen auf verschlüsselte Maschinensprache zu lenken, wofür die Argumente von Donald E. Stanley, Daniel G. Campos und Pat Croskerry willkommen sind, aber mit der Zeit verbunden als Informationsträger (Vorwegnahme des Symptoms) und zur Botschaft als Maschinensprache und nicht als nonverbale Sprache).[1][2]
Offensichtlich schließt dies nicht die Gültigkeit der klinischen Anamnese aus, die auf einer pseudoformalen verbalen Sprache aufgebaut ist, die inzwischen in der klinischen Realität gut verwurzelt ist und ihre diagnostische Autorität bereits bewiesen hat. Der Versuch, die Aufmerksamkeit auf eine Maschinensprache und auf das System zu lenken, bietet nichts als eine Gelegenheit zur Validierung der diagnostischen medizinischen Wissenschaft.

Wir sind uns definitiv bewusst, dass unsere Linux-Sapiens immer noch ratlos über das Erwartete sind und sich weiterhin wundern

 
Question 2.jpg
   
«... sondern... Könnte uns die Logik der klassischen Sprache helfen, das Dilemma der armen Mary Poppins zu lösen?»
(etwas geduld bitte)


Wir können keine konventionelle Antwort geben, weil die Wissenschaft nicht mit Behauptungen vorankommt, die nicht durch wissenschaftlich validierte Fragen und Überlegungen gerechtfertigt sind; und das ist eigentlich der Grund, warum wir versuchen werden, einigen Gedanken, Verwirrungen und Zweifeln Ausdruck zu verleihen, die zu einigen grundlegenden Themen geäußert werden, die in einigen wissenschaftlichen Artikeln diskutiert werden.

Eines dieser grundlegenden Themen ist die „Kraniofaziale Biologie“.

Beginnen wir mit einer bekannten Studie von Townsend und Brook[3]: in dieser arbeit hinterfragen die autoren den status quo sowohl der grundlagen- als auch der angewandten forschung in der kraniofazialen biologie, um klinische überlegungen und implikationen zu extrahieren. Ein Thema, das sie behandelten, war der "Interdisziplinäre Ansatz", in dem Geoffrey Sperber und sein Sohn Steven die Stärke des exponentiellen Fortschritts der "Kraniofacial Biology" in technologischen Innovationen wie Gensequenzierung, CT-Scanning, MRT-Bildgebung, Scanning-Laser, Bildanalyse sahen , Ultraschall und Spektroskopie[4].

Ein weiteres Thema von großem Interesse für die Umsetzung der „Craniofazialen Biologie“ ist das Bewusstsein, dass biologische Systeme „komplexe Systeme“ sind'[5] und dass „Epigenetik“ eine Schlüsselrolle in der kraniofazialen Molekularbiologie spielt. Forscher aus Adelaide und Sydney geben einen kritischen Überblick auf dem Gebiet der Epigenetik, die sich in der Tat an die zahnärztlichen und kraniofazialen Disziplinen richtet.[6] Insbesondere die von diesen Autoren diskutierten Phänomene (vgl Phenomics) ist ein allgemeines Forschungsgebiet, das die Messung von Veränderungen der Zähne und der damit verbundenen orofazialen Strukturen umfasst, die sich aus den Wechselwirkungen zwischen genetischen, epigenetischen und Umweltfaktoren während der Entwicklung ergeben.[7]In diesem Zusammenhang ist die Arbeit von Irma Thesleff aus Helsinki, Finnland, hervorzuheben. Sie erklärt in ihrer Arbeit, dass es im Zahnepithel eine Reihe von transienten Signalzentren gibt, die eine wichtige Rolle im Programm der Zahnentwicklung spielen.[8] Daneben gibt es weitere Arbeiten von Peterkova R, Hovor akova M, Peterka M, Lesot H, die einen faszinierenden Überblick über die Prozesse geben, die während der Zahnentwicklung ablaufen;[9][10][11] Vergessen wir der Vollständigkeit halber nicht die Arbeiten von Han J., Menicanin D., Gronthos S. und Bartold PM., die umfassende Dokumentationen zu Stammzellen, Tissue Engineering und parodontaler Regeneration rezensieren.[12]

In dieser Übersicht durften Argumente zu genetischen, epigenetischen und umweltbedingten Einflüssen während der Morphogenese, die zu Variationen in Anzahl, Größe und Form der Zähne führen, nicht fehlen[13][14] und der Einfluss des Zungendrucks auf das Wachstum und die kraniofaziale Funktion.[15][16]Auch die außergewöhnliche Arbeit von Townsend und Brook verdient eine Erwähnung[3], und der eigentliche Inhalt dessen, was darin berichtet wurde, passt ebenso gut zu einem anderen lobenswerten Autor: HC Slavkin.[17] Slavkin behauptet, dass:

"Die Zukunft ist voller bedeutender Möglichkeiten, die klinischen Ergebnisse angeborener und erworbener kraniofazialer Fehlbildungen zu verbessern. Kliniker spielen eine Schlüsselrolle, da kritisches Denken und klinisches Publikum die diagnostische Genauigkeit und damit die klinischen Gesundheitsergebnisse erheblich verbessern."
 
Question 2.jpg
   
«... Ich verstehe den Fortschritt der Wissenschaft, der von den Autoren beschrieben wird, aber ich verstehe nicht die Änderung des Denkens»
(Ich gebe Ihnen ein praktisches Beispiel)



Im Kapitel "Introduction" Wir haben einige Fragen zum Thema Malokklusion gestellt, aber in diesem Zusammenhang simulieren wir die zahnärztliche Logik der medizinischen Sprache angesichts des im "Einführungskapitel" vorgestellten klinischen Falls mit seinen diagnostischen und therapeutischen Schlussfolgerungen.

Der Patient hat einen posterioren einseitigen Kreuzbiss und einen anterioren offenen Biss.[18]Der Kreuzbiss ist ein weiteres störendes Element der normalen Okklusion[19] für die es zwingend zusammen mit dem offenen Biss behandelt werden muss.[20][21] Diese Art der Argumentation bedeutet, dass das Modell (Kausystem) „auf Okklusion normalisiert“ ist; und umgekehrt gelesen, bedeutet dies, dass die okklusale Diskrepanz die Ursache einer Fehlstellung, also einer Erkrankung des Kausystems ist, und daher ein Eingriff zur Wiederherstellung der physiologischen Kaufunktion vertretbar ist. (Abbildung 1a).

Dieses Beispiel ist Classical Logic Language, wie wir im Detail erklären werden, aber jetzt kommt ein Zweifel auf:

Als kieferorthopädische und orthognathetische Axiome Protokolle erstellten, die von der internationalen wissenschaftlichen Gemeinschaft bestätigt wurden, waren sie sich der Informationen bewusst, die wir in der Einleitung zu diesem Kapitel besprochen haben?
Sicherlich nicht wegen der Zeit ist der Träger von Informationen, aber trotz dieser kognitiven Grenze gehen wir mit einer sehr fragwürdigen klassischen Sprachlogik für die Sicherheit des Bürgers vor.
«... Diese Aussage scheint ein bisschen riskant!»
(sicher, aber die logische Abfolge ist bereits vorweggenommen)

Wenn derselbe Fall mit einer Denkweise interpretiert würde, die der „Sprachlogik des Systems“ folgt (dies wird im entsprechenden Kapitel besprochen), wären die Schlussfolgerungen überraschend.

Wenn wir die elektrophysiologischen Reaktionen beobachten, die bei Patienten mit Malokklusion in den Abbildungen 1b, 1c und 1d durchgeführt wurden (mit der Erklärung direkt in der Bildunterschrift, um die Diskussion zu vereinfachen), werden wir feststellen, dass diese Daten uns dazu bringen können, an alles andere als an eine „Malokklusion“ zu denken “, und daher hinterlassen die Axiome vom Typ Orthodontie und Orthodontie „Ursache/Wirkung“ eine konzeptionelle Lücke.
 
Question 2.jpg
   
«Lassen Sie mich besser verstehen, was klassische Sprachlogik damit zu tun hat»
(Wir werden dies nach dem klinischen Fall unserer Mary Poppins tun)


Mathematischer Formalismus

In diesem Kapitel werden wir den klinischen Fall der unglücklichen Mary Poppins, die seit mehr als 10 Jahren an orofazialen Schmerzen leidet, noch einmal betrachten, bei der ihr Zahnarzt eine „temporomandibuläre Störung“ (TMDs) oder besser gesagt orofaziale Schmerzen durch TMDs diagnostizierte. Um besser zu verstehen, warum die genaue diagnostische Formulierung bei einer Logik der klassischen Sprache komplex bleibt, sollten wir mit einer kurzen Einführung in das Thema das Konzept verstehen, auf dem die Philosophie der klassischen Sprache basiert.

Propositions

Die klassische Logik basiert auf Aussagen. Es wird oft gesagt, dass ein Satz ein Satz ist, der fragt, ob der Satz wahr oder falsch ist. Tatsächlich ist eine Aussage in der Mathematik normalerweise entweder wahr oder falsch, aber das ist offensichtlich etwas zu vage, um eine Definition zu sein. Es kann bestenfalls als Warnung verstanden werden: Wenn ein Satz, in der Umgangssprache ausgedrückt, keinen Sinn macht, danach zu fragen, ob er wahr oder falsch ist, wird es kein Satz, sondern etwas anderes sein.

Man kann darüber streiten, ob Sätze in der Umgangssprache Aussagen sind oder nicht, da in vielen Fällen oft nicht klar ist, ob eine bestimmte Aussage wahr oder falsch ist.

Glücklicherweise zeigen mathematische Sätze, wenn sie gut ausgedrückt sind, solche Mehrdeutigkeiten nicht.

Einfachere Sätze können miteinander kombiniert werden, um neue, komplexere Sätze zu bilden. Dies geschieht mit Hilfe von Operatoren, die als logische Operatoren und quantifizierende Verknüpfungen bezeichnet werden, die sich auf Folgendes reduzieren lassen[22]:

  1. Konjunktion, die durch das Symbol angezeigt wird (und):
  2. Disjunktion, die durch das Symbol angezeigt wird (oder):
  3. Negation, die durch das Symbol angezeigt wird (nicht):
  4. Implikation, die durch das Symbol angezeigt wird (wenn, dann):
  5. Folge, die durch das Symbol angezeigt wird (ist eine Partition von..):
  6. Universalquantor, der durch das Symbol gekennzeichnet ist (für alle):
  7. Demonstration, die durch das Symbol gekennzeichnet ist (so dass): und
  8. Mitgliedschaft, die durch das Symbol angezeigt wird (ist ein Element von) oder durch das Symbol (ist kein Element von):

Demonstration durch Absurdität

Darüber hinaus gibt es in der klassischen Logik ein Prinzip, das als ausgeschlossenes Drittel bezeichnet wird und besagt, dass ein Satz, der nicht falsch sein kann, als wahr angenommen werden muss, da es keine dritte Möglichkeit gibt.

Angenommen, wir müssen beweisen, dass der Satz iist wahr. Das Verfahren besteht darin, zu zeigen, dass die Annahme, dass falsch ist, führt zu einem logischen Widerspruch. So der Vorschlag kann nicht falsch sein und muss daher nach dem Gesetz des ausgeschlossenen Dritten wahr sein. Diese Demonstrationsmethode wird Demonstration durch Absurdität genannt[23]

Prädikate

Was wir bisher kurz beschrieben haben, ist die Logik der Sätze. Ein Satz sagt etwas über bestimmte mathematische Objekte aus, wie zum Beispiel: „2 ist größer als 1, also ist 1 kleiner als 2“ oder „ein Quadrat hat keine 5 Seiten, dann ist ein Quadrat kein Fünfeck“. Oft betreffen die mathematischen Aussagen jedoch nicht das einzelne Objekt, sondern generische Objekte einer Menge wie: ' sind größer als 2 Meter wo bezeichnet eine generische Gruppe (z. B. alle Volleyballspieler). In diesem Fall spricht man von Prädikaten.

Intuitiv ist ein Prädikat ein Satz, der sich auf eine Gruppe von Elementen (die in unserem medizinischen Fall die Patienten sein werden) bezieht und etwas über sie aussagt.
 
Question 2.jpg
   
«Dann ist die arme Mary Poppins eine CMD-Patientin oder sie ist es nicht!»
(Mal sehen, was uns die klassische Sprachlogik sagt)


Neben den im vorigen Kapitel diskutierten Bestätigungen aus der Logik der medizinischen Sprache erwirbt der Zahnarztkollege weitere instrumentelle Daten, die es ihm ermöglichen, seine Diagnose zu bestätigen. Die letztgenannten Tests betreffen die Analyse der axiographischen Spuren unter Verwendung einer maßgeschneiderten funktionellen paraokklusalen Kupplung, die die Visualisierung und Quantifizierung der Kondylenspuren in Kaufunktionen ermöglicht. Wie aus Abbildung 4 ersichtlich, bestätigt die Abflachung der Kondylenspuren auf der rechten Seite sowohl in der mediotrusiven Kaukinetik (grüne Farbe) als auch in den Öffnungs- und Protrusionszyklen (graue Farbe) die anatomische und funktionelle Abflachung des rechten Kiefergelenks in der Dynamik kauen. Zusätzlich zur Axiographie führt der Kollege eine Oberflächen-Elektromyographie an den Massetern durch (Abb. 6), bei der der Patient aufgefordert wird, das Maximum seiner Muskelkraft auszuüben. Diese Art der elektromyografischen Analyse wird aufgrund des hochfrequenten Inhalts der Spikes, die einer Phaseninterferenz unterliegen, als „EMG-Interferenzmuster“ bezeichnet. Tatsächlich zeigt Abbildung 6 eine Asymmetrie in der Rekrutierung der motorischen Einheiten des rechten Masseters (obere Spur) im Vergleich zu denen des linken Masseters (untere Spur).[24][25][26][27]

2. Klinischer Ansatz

(Fahren Sie mit der Maus über die Bilder)

Zahnärztliche Vorschläge

Während wir versuchen, den mathematischen Formalismus zu verwenden, um die Schlussfolgerungen des Zahnarztes mit klassischer logischer Sprache zu übersetzen, betrachten wir die folgenden Prädikate:

  • x Normalpatienten (normale Stände für Patienten, die üblicherweise in der Facharztpraxis anwesend sind)
  • Knochenumbau mit Osteophyten aus stratigraphischer Untersuchung und Kondylen-CT; und
  • Temporomandibuläre Erkrankungen (TMDs), die zu orofazialen Schmerzen (OP) führen
  • Spezifische Patientin: Mary Poppins

Jeder normale Patient der bei der Röntgenuntersuchung des Kiefergelenks positiv ist  [Abbildung 2 und 3] ist von TMDs betroffen ; daraus folgt das Mary Poppins-positiv zu sein (und auch ein "normaler" Patient zu sein) auf dem Kiefergelenk-Röntgenbild dann ist auch Mary Poppins von TMDs betroffen Die Sprache der Prädikate wird folgendermaßen ausgedrückt:

.

An dieser Stelle muss auch berücksichtigt werden, dass die Prädikatenlogik nicht nur verwendet wird, um zu beweisen, dass eine bestimmte Menge von Prämissen eine bestimmte Evidenz impliziert. Es wird auch verwendet, um zu beweisen, dass eine bestimmte Behauptung nicht wahr ist oder dass ein bestimmtes Wissen mit einem bestimmten Beweis logisch kompatibel/inkompatibel ist.

Um zu beweisen, dass dieser Satz wahr ist, müssen wir den oben erwähnten Beweis durch Absurdität verwenden. Wenn seine Ablehnung einen Widerspruch hervorruft, wird die Behauptung des Zahnarztes sicherlich wahr sein:

.

""stellt fest, dass es nicht stimmt, dass diejenigen, die positiv auf TMJ CT getestet wurden, TMDs haben, also hat Mary Poppins (TMJ CT positive normale Patientin) keine TMDs.

Der Zahnarzt glaubt, dass die Behauptung von Mary Poppins (dass sie unter diesen Prämissen keine CMD hat) ein Widerspruch ist, sodass die Hauptbehauptung wahr ist.

Neurophysiologischer Vorschlag

Stellen wir uns vor, dass der Neurologe mit der Schlussfolgerung nicht einverstanden ist und behauptet, dass Mary Poppins nicht von TMDs betroffen ist oder dass dies zumindest nicht die Hauptursache für orofaziale Schmerzen ist, sondern dass sie eher von einem neuromotorischen orofazialen Schmerz betroffen ist (nOP), daher, dass sie nicht zur Gruppe der „Normalpatienten“ gehört, sondern als „unspezifische Patientin“ anzusehen ist (im Fachkontext unüblich).

Offensichtlich würde diese Dialektik unendlich lange dauern, weil beide ihren wissenschaftlich-klinischen Kontext verteidigen würden; aber sehen wir uns an, was in der Prädikatenlogik vor sich geht.

Die Aussage des Neurologen wäre wie folgt:

.

""bedeutet, dass jede Patientin, die TMJ-CT-positiv ist, TMDs hat, aber obwohl Mary Poppins TMJ-CT-positiv ist, hat sie keine TMDs.

Um zu beweisen, dass dieser Satz wahr ist, müssen wir noch einmal den oben erwähnten Beweis durch Absurdität verwenden. Wenn seine Leugnung einen Widerspruch hervorruft, wird die Behauptung des Neurologen sicherlich wahr sein:

.

Nach den logischen Regeln der Prädikate gibt es keinen Grund, dies zu verneinen (4)ist widersprüchlich oder bedeutungslos, daher scheint der Neurologe (anders als der Zahnarzt) nicht über die logischen Werkzeuge zu verfügen, um seine Schlussfolgerung zu bestätigen.
 
Question 2.jpg
   
«dann triumphiert der Zahnarzt!»
(nimm es nicht als selbstverständlich hin)


Kompatibilität und Inkompatibilität der Aussagen

Die Komplikation liegt darin, dass der Zahnarzt eine Reihe von Aussagen als klinische Berichte vorlegen wird, wie die Stratigraphie und CT des Kiefergelenks, die auf eine anatomische Abflachung des Gelenks hinweisen, eine Axiographie der Kondylenspuren mit einer Verringerung der kinematischen Konvexität und a Verfolgung des EMG-Interferenzmusters, in dem ein asymmetrisches Muster auf den Massetern hervorgehoben ist. Diese Behauptungen können leicht als Mitursache für die Schädigung des Kiefergelenks und damit für den „orofazialen Schmerz“ angesehen werden.

Dokumente, Berichte und klinische Beweise können verwendet werden, um die Behauptung des Neurologen unvereinbar und die diagnostische Schlussfolgerung des Zahnarztes vereinbar zu machen. Dazu müssen wir einige logische Regeln vorstellen, die die Kompatibilität oder Inkompatibilität der Logik der klassischen Sprache beschreiben:

  1. Eine Reihe von Sätzen , und eine Zahl von anderen Sätzen oder Aussagen sind logisch kompatibel, wenn, und nur wenn, die Vereinigung zwischen ihnen ist kohärent.
  2. Eine Reihe von Sätzen , und eine Zahl von anderen Sätzen oder Aussagen sind logisch inkompatibel, wenn, und nur wenn, die Vereinigung zwischen ihnen ist inkohärent.

Versuchen wir, diese Argumentation an praktischen Beispielen nachzuvollziehen:

Der Zahnarztkollege entlarvt folgenden Satz:

: Nach den von Xin Liang et al.[28] Wer sich auf die quantitative mikrostrukturelle Analyse des Anteils des Knochenwertes, der Trabekelzahl, der Trabekeldicke und der Trabekeltrennung auf jeder Schicht des CT-Scans eines Kiefergelenks konzentriert, scheint, dass Mary Poppins von Temporomandibular Disorders (TMDs) betroffen ist. und die Folge verursacht orofaziale Schmerzen.

An dieser Stelle muss die These jedoch durch weitere klinische und Labortests bestätigt werden, und tatsächlich produziert der Kollege eine Reihe von Behauptungen, die wie oben beschrieben den Kompatibilitätsfilter passieren sollten, nämlich:

Knochenumbau: Die Abflachung der axiographischen Spuren, die in Abbildung 5 hervorgehoben sind, weist auf den Gelenkumbau des rechten Kiefergelenks von Mary Poppins hin. Ein solcher Bericht kann mit einer Reihe von Untersuchungen und Artikeln in Verbindung gebracht werden, die bestätigen, wie Malokklusion mit morphologischen Veränderungen des Knochens in Verbindung gebracht werden kann Kiefergelenke, insbesondere in Kombination mit dem Alter, da das Vorhandensein einer chronischen Malokklusion das Bild des Knochenumbaus verschlechtern kann.[29]Diese wissenschaftlichen Referenzen bestimmen die Kompatibilität der Behauptung.

Sensitivität und Spezifität der axiografischen Messung: Es wurde eine Studie durchgeführt, um die Sensitivität und Spezifität der Daten zu überprüfen, die von einer Gruppe von Patienten mit Kiefergelenkserkrankungen mit einem ARCUSdigma-Axiografiesystem gesammelt wurden[30];es bestätigte eine Sensitivität von 84,21 % und eine Sensitivität von 92,86 % für das rechte bzw. linke Kiefergelenk und eine Spezifität von 93,75 % und 95,65 %.[31]Diese wissenschaftlichen Referenzen bestimmen gerade wegen der Konsistenz verwandter Studien die Kompatibilität der Behauptung im zahnmedizinischen Kontext.[32]

Veränderung der Kondylenbahnen: Urbano Santana-Mora und coll.[33]werteten 24 erwachsene Patienten aus, die unter schweren chronischen einseitigen Schmerzen litten, die als Kiefergelenkserkrankungen (TMDs) diagnostiziert wurden. Folgende funktionale und dynamische Faktoren wurden bewertet:

Kaufunktion;

Umbau des Kiefergelenks oder des Kondylenwegs (CP); und seitliche Bewegung des Kiefers oder der seitlichen Führung (LG).

Die CPs wurden unter Verwendung herkömmlicher Axiographie bewertet und LG wurde unter Verwendung von Kinesiograph-Tracing bewertet[34]; Siebzehn (71 %) der 24 (100 %) Patienten zeigten durchweg eine Seite des gewohnheitsmäßigen Kauens. Der Mittelwert und die Standardabweichung der CP-Winkel betrug 47,90
Die Datensammlung entstand aus der Konzeption eines neuen TMD-Paradigmas, bei dem die betroffene Seite die übliche Kauseite sein könnte, die Seite, auf der der seitliche kinematische Winkel des Unterkiefers flacher war. Dieser Parameter kann auch mit dem zahnmedizinischen Anspruch vereinbar sein.

EMG Interferenzmuster: M.O. Mazzetto und coll.[35] zeigten, dass die elektromyographische Aktivität der vorderen Schläfenmuskulatur und des Masseters positiv mit dem "Craniomandibular Index", indiziert (CMI) mit a, korreliert war und der Vorschlag, dass die Verwendung von CMI zur Quantifizierung des Schweregrads von TMDs und EMG zur Beurteilung der Kaumuskelfunktion ein wichtiges diagnostisches und therapeutisches Element sein kann. Diese wissenschaftlichen Referenzen bestimmen die Kompatibilität der Behauptung.

?

Offensichtlich könnte der Zahnarztkollege seine Aussagen endlos weitergeben, unendlich.

Nun, alle diese Aussagen scheinen mit dem Satz kohärent zu sein eingangs beschrieben, wobei sich der Zahnarztkollege berechtigt fühlt, den Satz zu sagen, und eine Zahl anderer Behauptungen oder klinischer Daten sind logisch kompatibel als die Vereinigung zwischen ihnen ist kohärent.
 
Question 2.jpg
   
«Der Logik der klassischen Sprache folgend, hat der Zahnarzt recht!»
(Es scheint so!
Aber Vorsicht, nur im eigenen zahnmedizinischen Kontext!)


Diese Aussage ist so wahr, dass diekönnte unendlich erweitert werden, verbreitert genug, um ein zu erhalten das ihm in unendlicher Bedeutung entspricht, solange es in seinem Zusammenhang begrenzt bleibt; jedoch ohne klinische Bedeutung in anderen Kontexten, wie zum Beispiel dem Neurologen.

Schlussbetrachtungen

Aus einer solchen Beobachtungsperspektive kann die Prädikatenlogik die Argumentation des Zahnarztes nur untermauern und gleichzeitig das Prinzip des ausgeschlossenen Dritten stärken: Das Prinzip wird durch die Kompatibilität der zusätzlichen Behauptungen gestärktdie dem Zahnarzt eine vollständige Kohärenz in der Diagnose und in der Bestätigung des Urteils gewähren : Die arme Mary Poppins hat entweder TMD oder nicht.
 
Question 2.jpg
   
«...und was wäre, wenn mit fortschreitender Forschung neue Phänomene entdeckt würden, die statt dem Zahnarzt dem Neurologen recht geben würden?»


Grundsätzlich ist die Kompatibilität der Behauptungen gegeben , Die konsequente Aussage, dass orofaziale Schmerzen durch Kiefergelenkserkrankungen verursacht werden, könnte unvereinbar werden, wenn eine weitere Reihe von Behauptungen auftaucht als kohärent erwiesen: dies würde einen anderen Satz kompatibel machen: könnte die arme Mary Poppins an orofazialen Schmerzen aufgrund einer neuromotorischen Störung leiden (nOP) und nicht durch eine temporomandibuläre Störung?

In der gängigen medizinischen Sprachlogik bleiben solche Behauptungen nur Behauptungen, weil die Überzeugungen und Meinungen ein konsequentes und schnelles Umdenken nicht zulassen.

Darüber hinaus könnten wir unter Berücksichtigung des Risikos, das diese Änderung tatsächlich mit sich bringt, einen kürzlich erschienenen Artikel über die Epidemiologie von Kiefergelenkserkrankungen in Betracht ziehen[36] in dem die Autoren bestätigen, dass trotz der methodischen und Bevölkerungsunterschiede Schmerzen in der Kieferregion relativ häufig zu sein scheinen und bei etwa 10 % der Bevölkerung auftreten; wir können dann objektiv zu der Hypothese geführt werden, dass unsere Mary Poppins zu den 10 % der in der epidemiologischen Studie erwähnten Patienten gehören und kontextuell als Patient mit orofazialen Schmerzen aufgrund von Kiefergelenkserkrankungen (TMDs) klassifiziert werden können.

Abschließend wird deutlich, dass eine klassische Sprachlogik, die einen extrem dichotomen Ansatz verfolgt (entweder weiß oder schwarz), die vielen Schattierungen realer klinischer Situationen nicht abbilden kann.

Wir müssen eine bequemere und passendere Sprachlogik finden...
 
Question 2.jpg
   
«... Können wir uns dann eine probabilistische Sprachlogik vorstellen?»
(vielleicht)


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