Difference between revisions of "La logica del linguaggio classico"

no edit summary
Line 596: Line 596:




"<math>(2)</math>" afferma che non è vero che coloro che risultano positivi alla TC dell'ATM hanno i DTM, quindi Mary Poppins (paziente normale positivo alla TC dell'ATM) non ha i DTM.
 
"<math>(2)</math>" afferma che non è vero che coloro che risultano positivi alla TC dell'ATM hanno i DTM, quindi Mary Poppins (paziente normale positivo alla TC dell'ATM) non è affetta da DTM.


Il dentista ritiene che l'affermazione di Mary Poppins (che non ha la DTM in base a queste premesse) sia una contraddizione, quindi l'affermazione principale è vera.
Il dentista ritiene che l'affermazione di Mary Poppins (che non ha la DTM in base a queste premesse) sia una contraddizione, quindi l'affermazione principale è vera.


===Neurophysiological proposition===
===Proposizioni nel contesto neurologico===


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


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.
Immaginiamo che il neurologo non sia d'accordo con la conclusione <math>(1)</math> e affermi che Mary Poppins non è affetta da DTM o che almeno non è la causa principale del Dolore Orofacciale ma che, piuttosto, è affetta da un Dolore Orofacciale neuromotorio (<sub>n</sub>OP), quindi che non appartiene al gruppo dei 'pazienti normali' ma è da considerarsi un 'paziente aspecifico' (non comune in ambito specialistico odontoiatrico).
 
Ovviamente, questa dialettica durerebbe indefinitamente perché entrambi difenderebbero il loro contesto scientifico-clinico ma vediamo cosa succede nella logica dei predicati.
 
La dichiarazione del neurologo sarebbe del tipo:


The neurologist's statement would be like:


<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>" significa che ogni paziente con TMJ CT positivo of TMJ potrebbe non essere affetto da DTM. Per provare che questa proposizione è vera, dobbiamo usare ancora una volta la suddetta dimostrazione per assurdità. Se la sua negazione crea una contraddizione, sicuramente la proposizione del neurologo sarà vera:


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:


<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}}
Seguendo le regole logiche dei predicati non c'è motivo di affermare che la negazione (4) sia contraddittoria o priva di significato, quindi il neurologo (a differenza del dentista) non sembrerebbe avere gli strumenti logici per confermare la sua conclusione.{{q4|allora il dentista trionfa!|non darlo per scontato}}


===Compatibility and incompatibility of the statements===
===Compatibilità e incompatibilità delle affermazioni===
The complication lies in the fact that the dentist will present a series of statements as clinical reports such as the stratigraphy and CT of the TMJ, that indicate an anatomical flattening of the joint, axiography of the condylar traces with a reduction in kinematic convexity and a tracing EMG interference pattern in which an asymmetrical pattern on the masseters is highlighted. These assertions can easily be considered a contributing cause of the damage to the Temporomandibular Joint and, therefore, responsible for the 'Orofacial pain'.
La complicazione sta nel fatto che il dentista presenterà una serie di affermazioni come referti clinici come la stratigrafia e la TC dell'ATM che indicano un appiattimento anatomico dell'articolazione, l'assiografia dei tracciati condilari con una riduzione della convessità cinematica e un tracciando un pattern di interferenza EMG in cui viene evidenziato un pattern asimmetrico sui masseteri. Queste affermazioni possono essere facilmente considerate una concausa del danno all'articolazione temporo-mandibolare e, quindi, responsabili del 'Dolore orofacciale'.


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:
Documenti, referti ed evidenze cliniche possono essere utilizzati per rendere incompatibile l'affermazione del neurologo e compatibile la conclusione diagnostica del dentista. Per fare ciò dobbiamo presentare alcune regole logiche che descrivono la compatibilità o incompatibilità della logica del linguaggio classico:
#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:
# Un insieme di frasi <math>\Im</math> e un numero <math>n\geq1</math> di altre frasi o affermazioni <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sono logicamente compatibili se, e solo se, l'unione tra loro <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> è coerente.
# Un insieme di frasi <math>\Im</math> e un numero <math>n\geq1</math> di altre frasi o affermazioni <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sono logicamente incompatibili se, e solo se, l'unione tra loro <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> è incoerente.


The dentist colleague exposes the following sentence:


<math>\Im</math>: Following the personalized techniques suggested by Xin Liang et al.<ref>{{cite book  
Proviamo a seguire questo ragionamento con esempi pratici:
 
Il collega dentista espone la seguente frase:
 
<math>\Im</math>: Seguendo le tecniche personalizzate suggerite da Xin Liang et al.<ref>{{cite book  
  | autore = Liang X
  | autore = Liang X
  | autore2 = Liu S
  | autore2 = Liu S
Line 651: Line 655:
  | 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> che si concentra sull'analisi microstrutturale quantitativa della frazione del valore osseo, del numero trabecolare, dello spessore trabecolare e della separazione trabecolare su ogni fetta della TC di un'ATM, sembra che Mary Poppins sia affetta da Disturbi Temporomandibolari (DTMs) e la conseguenza provoca dolore orofacciale.


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:
A questo punto, però, la tesi va confermata con ulteriori accertamenti clinici e di laboratorio, ed infatti il collega produce una serie di asserzioni che dovrebbero superare il filtro di compatibilità come sopra descritto, ovvero:


<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> '''Rimodellamento osseo:''' L'appiattimento delle tracce assiografiche evidenziato in figura 5 indica il rimodellamento articolare dell'ATM destra di Mary Poppins, tale referto può essere correlato ad una serie di ricerche e articoli che confermano come la malocclusione possa essere associata a cambiamenti morfologici delle articolazioni temporo-mandibolari, specie se associate all'età in quanto la presenza di una malocclusione cronica può peggiorare il quadro del rimodellamento osseo.<ref>{{cite book  
  | autore = Solberg WK
  | autore = Solberg WK
  | autore2 = Bibb CA
  | autore2 = Bibb CA
Line 672: Line 677:
  | 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> Questi riferimenti scientifici determinano la compatibilità dell'asserzione.
 


<math>\delta_2=</math> '''Sensitivity and specificity of the axiographic measurement:''' A study was conducted to verify the sensitivity and specificity of the data collected from a group of patients affected by temporomandibular joint disorders with an ARCUSdigma axiographic system<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref>; it confirmed a sensitivity of the 84.21% and a 92.86% sensitivity for the right and left TMJs respectively, and a specificity of 93.75% and 95.65%.<ref>{{cite book  
<math>\delta_2=</math> '''Sensibilità e specificità della misura assiografica:''' È stato condotto uno studio per verificare la sensibilità e la specificità dei dati raccolti da un gruppo di pazienti affetti da patologie dell'articolazione temporo-mandibolare con un sistema assiografico ARCUSdigma;<ref>[https://www.kavo.com/de-de/ KaVo Dental GmbH, Biberach / Ris]</ref> ha confermato una sensibilità dell'84,21% e una sensibilità del 92,86% rispettivamente per l'ATM destra e sinistra e una specificità del 93,75% e del 95,65%.<ref>{{cite book  
  | autore = Kobs G
  | autore = Kobs G
  | autore2 = Didziulyte A
  | autore2 = Didziulyte A
Line 691: Line 697:
  | 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> Questi riferimenti scientifici determinano la compatibilità dell'affermazione nel contesto dentale proprio per la coerenza degli studi correlati.<ref>{{cite book  
  | autore = Piancino MG
  | autore = Piancino MG
  | autore2 = Roberi L
  | autore2 = Roberi L
Line 711: Line 717:
  }}</ref>
  }}</ref>


<math>\delta_3=</math> '''Alteration of condylar paths:''' Urbano Santana-Mora and coll.<ref>{{cite book  
<math>\delta_3=</math> '''Alterazione percorsi condilari:''' Urbano Santana-Mora e 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 731: Line 737:
  | 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> hanno valutato 24 pazienti adulti affetti da grave dolore cronico unilaterale diagnosticato come Disturbi Temporomandibolari (TMD). Sono stati valutati i seguenti fattori funzionali e dinamici:
 
funzione masticatoria; rimodellamento dell'ATM o della via condilare (CP); e movimento laterale della mascella o della guida laterale (LG).


masticatory function;
I CP sono stati valutati utilizzando l'assiografia convenzionale e l'LG è stato valutato utilizzando il tracciato kinesigrafico;<ref>[https://www.myotronics.com/ Myotronics Inc., Kent, WA, US]</ref> Diciassette (71%) dei 24 (100%) pazienti mostravano costantemente un lato della masticazione abituale. La deviazione media e standard degli angoli CP era 47,90


remodelling of the TMJ or condylar pathway (CP); and lateral movement of the jaw or lateral guide (LG). 
± 9,24) gradi. La media degli angoli LG era 42,95


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.
± 11,78 gradi.


<math>\delta_4=</math> '''EMG Intereference pattern:''' M.O. Mazzetto and coll.<ref>{{cite book  
La raccolta dei dati è emersa dalla concezione di un nuovo paradigma TMD in cui il lato colpito potrebbe essere il solito lato masticatore, il lato in cui l'angolo cinematico laterale mandibolare era più piatto. Questo parametro può anche essere compatibile con l'affermazione dentale.
 
 
<math>\delta_4=</math> '''Schema di interferenza EMG:''' M.O. Mazzetto e coll.<ref>{{cite book  
  | autore = Oliveira Mazzetto M
  | autore = Oliveira Mazzetto M
  | autore2 = Almeida Rodrigues C
  | autore2 = Almeida Rodrigues C
Line 757: Line 768:
  | 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> ha mostrato che l'attività elettromiografica dei muscoli temporali anteriori e del massetere era positivamente correlata con l'"indice craniomandibolare", indicizzato (CMI) con uno <math>P=0,01</math> e suggerendo che l'uso di CMI per quantificare la gravità dei TMD ed EMG per valutare il muscolo masticatorio funzione, può essere un importante elemento diagnostico e terapeutico. Questi riferimenti scientifici determinano la compatibilità dell'asserzione.
 


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


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!}}
Ovviamente, il collega dentista potrebbe continuare all'infinito a pronunciare le sue dichiarazioni, indefinitamente.
 
Ebbene, tutte queste affermazioni sembrano coerenti con la frase <math>\Im</math> inizialmente descritto, per cui il collega dentista si sente giustificato nel dire che l'insieme delle frasi <math>\Im</math>, ed un numero <math>n\geq1</math> di altre asserzioni o dati clinici positivi <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sono logicamente compatibili in quanto l'unione tra loro <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> è coerente.
 
{{q4|Seguendo la logica del linguaggio classico, il dentista ha ragione!|Sembrerebbe così! ma attenzione, solo nel proprio contesto dentale!}}
 
Questa affermazione è così vera che lo <math>P-value</math> potrebbe essere infinitamente esteso, allargato abbastanza da ottenere uno <math>\alpha=0</math> che gli corrispondente ad un significato infinito, purché rimanga limitato nel suo contesto; eppure, potrebbe non avere nessun valore di significatività in altri contesti come, per esempio, quello neurologico.
 
==Considerazioni finali==
In una prospettiva di osservazione di questo tipo, la Logica dei predicati non può che fortificare il ragionamento del dentista e, al tempo stesso, rafforzare il principio del terzo escluso: il principio è rafforzato dalla compatibilità delle affermazioni aggiuntive <math>(\delta_1,\delta_2,.....\delta_n \ )</math> che garantiscono al dentista una completa coerenza nella diagnosi e nella conferma della frase <math>\Im</math>: La povera Mary Poppins o è affetta da TMD, oppure no.


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.
{{q4|e se, con l'avanzare della ricerca, si scoprissero nuovi fenomeni che darebbero ragione al neurologo, invece del dentista?|}}
==Final considerations==
From a perspective of observation of this kind, the Logic of Predicates can only fortify the dentist’s reasoning and, at the same time, strengthen the <u>principle of the excluded third</u>: the principle is strengthened through the compatibility of the additional assertions <math>(\delta_1,\delta_2,.....\delta_n \ )</math> which grant the dentist a complete coherence in the diagnosis and in confirming the sentence <math>\Im</math>: Poor Mary Poppins either has TMD, or she has not.{{q4|...<!--224-->and what if, with the advancement of research, new phenomena were discovered that would prove the neurologist right, instead of the dentist?|}}


Basically, given the compatibility of the assertions <math>(\delta_1,\delta_2,.....\delta_n \ )</math>, coherently saying that Orofacial Pain is caused by a Temporomandibular Disorders could become incompatible if another series of assertions <math>(\gamma_1,\gamma_2,.....\gamma_n \ )</math> were shown to be coherent: this would make a different sentence compatible <math>\Im</math>: could poor Mary Poppins suffer from Orofacial Pain from a neuromotor disorder (<sub>n</sub>OP) and not by a Temporomandibular Disorders?
In sostanza, data la compatibilità delle asserzioni <math>(\delta_1,\delta_2,.....\delta_n \ )</math> affermare coerentemente che il Dolore Orofacciale è causato da un Disturbo Temporomandibolare potrebbe diventare incompatibile se un'altra serie di asserzioni <math>(\gamma_1,\gamma_2,.....\gamma_n \ )</math> si dimostrasse coerente: ciò renderebbe compatibile una diversa frase <math>\Im</math>, la seguente: la povera Mary Poppins potrebbe soffrire di Dolore Orofacciale determinato da un Disturbo Neuromotorio (<sub>n</sub>OP) e non direttamente da Disordini Temporomandibolari?


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.
Nell'attuale logica del linguaggio medico, tali affermazioni restano solo affermazioni perché le convinzioni e le opinioni non consentono un conseguente e rapido cambio di mentalità.


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  
Inoltre, tenendo conto del rischio che questo cambiamento comporta, infatti, si potrebbe prendere in considerazione un recente articolo sull'epidemiologia dei disturbi Temporo-Mandibolari<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 787: Line 805:
  | 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 cui gli autori confermano che, nonostante le differenze metodologiche e di popolazione, il dolore nella regione temporo-mandibolare appare relativamente comune, presente in circa il 10% della popolazione; si può quindi oggettivamente essere indotti ad ipotizzare che la nostra Mary Poppins possa essere inclusa nel 10% dei pazienti citati nello studio epidemiologico, e contestualmente essere classificata come paziente affetta da Dolore Orofacciale da Disturbi Temporomandibolari (DTM).
 
In conclusione, è evidente che una logica classica del linguaggio, che ha un approccio estremamente dicotomico (o  bianco o nero), non può rappresentare le tante sfumature che si verificano nelle situazioni cliniche reali.
 
Bisogna trovare una logica linguistica più conveniente e adatta...


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.
.{{q4|... <!--237-->can we then think of a Probabilistic Language Logic?|<!--238-->perhaps}}
We need to find a more convenient and suitable language logic...{{q4|... <!--237-->can we then think of a Probabilistic Language Logic?|<!--238-->perhaps}}


{{Btnav|The logic of medical language|The logic of probabilistic language}}
{{Btnav|The logic of medical language|The logic of probabilistic language}}
Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,184

edits