Difference between revisions of "La logica del linguaggio classico"

no edit summary
Line 68: Line 68:
Ciò, tuttavia, non sminuisce l'importanza della storia clinica, costruita su un linguaggio verbale pseudo-formale, che si è ormai solidamente affermato nella pratica clinica e ha dimostrato la sua efficacia diagnostica. Il nostro obiettivo nel dare enfasi ad un linguaggio macchina e al sistema non è altro che offrire un'ulteriore opportunità per validare la Scienza Medico-Diagnostica. Siamo pienamente consapevoli che il nostro "Sapiens Linux" rimanga perplesso riguardo a quanto anticipato e continui a interrogarsi.
Ciò, tuttavia, non sminuisce l'importanza della storia clinica, costruita su un linguaggio verbale pseudo-formale, che si è ormai solidamente affermato nella pratica clinica e ha dimostrato la sua efficacia diagnostica. Il nostro obiettivo nel dare enfasi ad un linguaggio macchina e al sistema non è altro che offrire un'ulteriore opportunità per validare la Scienza Medico-Diagnostica. Siamo pienamente consapevoli che il nostro "Sapiens Linux" rimanga perplesso riguardo a quanto anticipato e continui a interrogarsi.


{{q4|la logica del linguaggio classico potrebbe aiutarci a risolvere il dilemma della povera Mary Poppins?|un po' di pazienza, per favore}}
{{q2|la logica del linguaggio classico potrebbe aiutarci a risolvere il dilemma della povera Mary Poppins?|un po' di pazienza, per favore}}


Non possiamo fornire una risposta convenzionale perché la scienza non progredisce con asserzioni che non sono giustificate da domande e riflessioni scientificamente validate; ed è proprio questo il motivo per cui cercheremo di dar voce ad alcuni pensieri, perplessità e dubbi espressi su alcuni temi basilari portati in discussione in alcuni articoli scientifici.
Non possiamo fornire una risposta convenzionale perché la scienza non progredisce con asserzioni che non sono giustificate da domande e riflessioni scientificamente validate; ed è proprio questo il motivo per cui cercheremo di dar voce ad alcuni pensieri, perplessità e dubbi espressi su alcuni temi basilari portati in discussione in alcuni articoli scientifici.
Line 370: Line 370:
:"Il futuro è pieno di opportunità significative per migliorare i risultati clinici delle malformazioni craniofacciali congenite e acquisite. I medici svolgono un ruolo chiave poiché il pensiero critico e il pubblico clinico migliorano sostanzialmente l'accuratezza diagnostica e quindi i risultati clinici sulla salute".
:"Il futuro è pieno di opportunità significative per migliorare i risultati clinici delle malformazioni craniofacciali congenite e acquisite. I medici svolgono un ruolo chiave poiché il pensiero critico e il pubblico clinico migliorano sostanzialmente l'accuratezza diagnostica e quindi i risultati clinici sulla salute".


{{q4|Capisco il progresso della Scienza descritto dagli autori ma non capisco il cambiamento di pensiero|Ti faccio un esempio pratico}}
{{q2|Capisco il progresso della Scienza descritto dagli autori ma non capisco il cambiamento di pensiero|Ti faccio un esempio pratico}}


Nel capitolo "[[Introduzione]]" abbiamo posto alcune domande sul tema della malocclusione ma in questo contesto simuliamo la logica del linguaggio medico del dentista di fronte al caso clinico presentato nel "Capitolo introduttivo" con le sue conclusioni diagnostiche e terapeutiche.
Nel capitolo "[[Introduzione]]" abbiamo posto alcune domande sul tema della malocclusione ma in questo contesto simuliamo la logica del linguaggio medico del dentista di fronte al caso clinico presentato nel "Capitolo introduttivo" con le sue conclusioni diagnostiche e terapeutiche.
Line 453: Line 453:
</gallery>
</gallery>
----
----
{{q4|Fammi capire meglio cosa c'entra la logica del linguaggio classico con esso|Lo faremo seguendo il caso clinico della nostra Mary Poppins}}
{{q2|Fammi capire meglio cosa c'entra la logica del linguaggio classico con esso|Lo faremo seguendo il caso clinico della nostra Mary Poppins}}


==Formalismo matematico==
==Formalismo matematico==
Line 506: Line 506:
Intuitivamente, un predicato è una frase che riguarda un insieme di elementi (che nel nostro caso medico saranno i pazienti) e che afferma qualcosa su di essi.
Intuitivamente, un predicato è una frase che riguarda un insieme di elementi (che nel nostro caso medico saranno i pazienti) e che afferma qualcosa su di essi.


{{q4|Allora la povera Mary Poppins è una malata di TMD oppure no!|vediamo cosa ci dice la logica del linguaggio classico}}
{{q2|Allora la povera Mary Poppins è una malata di TMD oppure no!|vediamo cosa ci dice la logica del linguaggio classico}}


Oltre alle conferme derivate dalla logica del linguaggio medico discussa nel capitolo precedente, il collega dentista acquisisce altri dati strumentali che gli consentono di confermare la sua diagnosi. Questi ultimi test riguardano l'analisi dei tracciati assiografici mediante l'utilizzo di una frizione paraocclusale funzionale personalizzata che consente la visualizzazione e la quantificazione dei tracciati condilari nelle funzioni masticatorie. Come si vede dalla Figura 4 l'appiattimento delle tracce condilari sul lato destro sia nella cinetica masticatoria mediotrusiva (colore verde) che nei cicli di apertura e protrusione (colore grigio) confermano l'appiattimento anatomico e funzionale dell'ATM destra nella dinamica masticare. Oltre all'assiografia, il collega esegue un'elettromiografia di superficie sui masseteri (Fig. 6) chiedendo al paziente di esercitare il massimo della sua forza muscolare. Questo tipo di analisi elettromiografica è chiamata "EMG Interferential Pattern" a causa del contenuto ad alta frequenza dei picchi che subiscono l'interferenza di fase. Infatti la Figura 6 mostra un'asimmetria nel reclutamento delle unità motorie del massetere destro (traccia superiore) rispetto a quelle del massetere sinistro (traccia inferiore).<ref>{{cite book  
Oltre alle conferme derivate dalla logica del linguaggio medico discussa nel capitolo precedente, il collega dentista acquisisce altri dati strumentali che gli consentono di confermare la sua diagnosi. Questi ultimi test riguardano l'analisi dei tracciati assiografici mediante l'utilizzo di una frizione paraocclusale funzionale personalizzata che consente la visualizzazione e la quantificazione dei tracciati condilari nelle funzioni masticatorie. Come si vede dalla Figura 4 l'appiattimento delle tracce condilari sul lato destro sia nella cinetica masticatoria mediotrusiva (colore verde) che nei cicli di apertura e protrusione (colore grigio) confermano l'appiattimento anatomico e funzionale dell'ATM destra nella dinamica masticare. Oltre all'assiografia, il collega esegue un'elettromiografia di superficie sui masseteri (Fig. 6) chiedendo al paziente di esercitare il massimo della sua forza muscolare. Questo tipo di analisi elettromiografica è chiamata "EMG Interferential Pattern" a causa del contenuto ad alta frequenza dei picchi che subiscono l'interferenza di fase. Infatti la Figura 6 mostra un'asimmetria nel reclutamento delle unità motorie del massetere destro (traccia superiore) rispetto a quelle del massetere sinistro (traccia inferiore).<ref>{{cite book  
Line 637: Line 637:
<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>


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}}
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.{{q2|allora il dentista trionfa!|non darlo per scontato}}


===Compatibilità e incompatibilità delle affermazioni===
===Compatibilità e incompatibilità delle affermazioni===
Line 797: Line 797:
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.
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!}}
{{q2|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.
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.
Line 804: Line 804:
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.
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.


{{q4|e se, con l'avanzare della ricerca, si scoprissero nuovi fenomeni che darebbero ragione al neurologo, invece del dentista?|}}
{{q2|e se, con l'avanzare della ricerca, si scoprissero nuovi fenomeni che darebbero ragione al neurologo, invece del dentista?|}}


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 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?
Line 830: Line 830:
Bisogna trovare una logica linguistica più conveniente e adatta...
Bisogna trovare una logica linguistica più conveniente e adatta...


.{{q4|possiamo allora pensare a una logica del linguaggio probabilistico?|forse}}
.{{q2|possiamo allora pensare a una logica del linguaggio probabilistico?|forse}}




Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, oversight, Suppressors, Administrators, translator
10,784

edits