Changes

no edit summary
Line 2: Line 2:     
<!--<languages />-->
 
<!--<languages />-->
      
[[File:Spasmo emimasticatorio assiografia.jpg|left|200x200px]]
 
[[File:Spasmo emimasticatorio assiografia.jpg|left|200x200px]]
Line 56: Line 55:  
We are definitely aware that our Linux Sapiens is still perplexed about what has been anticipated and continues to wonder
 
We are definitely aware that our Linux Sapiens is still perplexed about what has been anticipated and continues to wonder
 
{{q4|.... but could the logic of Classical Language help us to solve poor Mary Poppins' dilemma?|a bit of patience}}
 
{{q4|.... but could the logic of Classical Language help us to solve poor Mary Poppins' dilemma?|a bit of patience}}
We cannot provide a conventional answer because science does not progress with assertions that are not justified by scientifically valid, sensible questions and reflections and it is precisely for this reason that we will try to give voice to some thoughts, perplexities and doubts expressed on some basic topics brought into discussion in some scientific articles.
+
{{Rossoinizio}}We cannot provide a conventional answer because science does not progress with assertions that are not justified by scientifically valid, sensible questions and reflections and it is precisely for this reason that we will try to give voice to some thoughts, perplexities and doubts expressed on some basic topics brought into discussion in some scientific articles.
    
One of these fundamental topics is 'Craniofacial Biology'.
 
One of these fundamental topics is 'Craniofacial Biology'.
Line 262: Line 261:     
In this review, arguments could not be missing on genetic, epigenetic and environmental influences during morphogenesis that lead to variations in the number, size and shape of the tooth<ref>{{Cite book  
 
In this review, arguments could not be missing on genetic, epigenetic and environmental influences during morphogenesis that lead to variations in the number, size and shape of the tooth<ref>{{Cite book  
| autore = Brook AH
+
<nowiki> </nowiki><nowiki>|</nowiki> autore = Brook AH
| autore2 = Jernvall J
+
<nowiki> </nowiki><nowiki>|</nowiki> autore2 = Jernvall J
| autore3 = Smith RN
+
<nowiki> </nowiki><nowiki>|</nowiki> autore3 = Smith RN
| autore4 = Hughes TE
+
<nowiki> </nowiki><nowiki>|</nowiki> autore4 = Hughes TE
| autore5 = Townsend GC
+
<nowiki> </nowiki><nowiki>|</nowiki> autore5 = Townsend GC
| titolo = The Dentition: The Outcomes of Morphogenesis Leading to Variations of Tooth Number, Size and Shape
+
<nowiki> </nowiki><nowiki>|</nowiki> 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
+
<nowiki> </nowiki><nowiki>|</nowiki> url = https://onlinelibrary.wiley.com/doi/epdf/10.1111/adj.12160
 
  | volume =  
 
  | volume =  
 
  | opera = Aust Dent J
 
  | opera = Aust Dent J
Line 450: Line 449:  
To better understand why the exact diagnostic formulation remains complex with a Logic of Classical Language, we should understand the concept on which the philosophy of classical language is based with a brief introduction to the topic.
 
To better understand why the exact diagnostic formulation remains complex with a Logic of Classical Language, we should understand the concept on which the philosophy of classical language is based with a brief introduction to the topic.
   −
=== Propositions ===
+
===Propositions===
    
Classical logic is based on propositions. It is often said that a proposition is a sentence that asks whether the proposition is true or false. Indeed a proposition in mathematics is usually either true or false, but this is obviously a little too vague to be a definition. It can at best be taken as a warning: if a sentence, expressed in common language, makes no sense to ask whether it is true or false, it will not be a proposition but something else.
 
Classical logic is based on propositions. It is often said that a proposition is a sentence that asks whether the proposition is true or false. Indeed a proposition in mathematics is usually either true or false, but this is obviously a little too vague to be a definition. It can at best be taken as a warning: if a sentence, expressed in common language, makes no sense to ask whether it is true or false, it will not be a proposition but something else.
Line 469: Line 468:  
#Membership, which is indicated by <math>\in</math> (is an element of) o <math>\not\in</math> (is not an element of):
 
#Membership, which is indicated by <math>\in</math> (is an element of) o <math>\not\in</math> (is not an element of):
   −
=== Demonstration by absurdity ===
+
===Demonstration by absurdity===
    
Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.
 
Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.
   −
Suppose we need to prove that the proposition <math>p</math> is true. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called 'demonstration by absurdity'''<ref>{{Cite book  
+
Suppose we need to prove that the proposition <math>p</math> is true. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called 'demonstration by absurdity'<nowiki/>''<ref>{{Cite book  
 
  | autore = Pereira LM
 
  | autore = Pereira LM
 
  | autore2 = Pinto AM
 
  | autore2 = Pinto AM
Line 492: Line 491:  
  }}</ref>''
 
  }}</ref>''
   −
=== Predicates ===
+
===Predicates===
    
What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'. Many times, however, the mathematical statements concern not the single object but generic objects of a set such as: '''<math>X</math>'' are taller than 2 meters ' where with ''<math>X</math>'' it denotes a generic group (for example all volleyball players). In this case we speak of predicates.
 
What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'. Many times, however, the mathematical statements concern not the single object but generic objects of a set such as: '''<math>X</math>'' are taller than 2 meters ' where with ''<math>X</math>'' it denotes a generic group (for example all volleyball players). In this case we speak of predicates.
Line 571: Line 570:  
  }}</ref>
 
  }}</ref>
 
  <center>
 
  <center>
== 2nd Clinical Approach==
+
==2nd Clinical Approach==
 
(Hover over the images)
 
(Hover over the images)
 
</center>
 
</center>
Line 583: Line 582:  
</gallery>
 
</gallery>
   −
=== Dental propositions ===
+
===Dental propositions===
    
While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates:
 
While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates:
Line 610: Line 609:  
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.
 
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.
   −
=== Neurophysiological proposition ===
+
===Neurophysiological proposition===
    
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 she is affected by a neuropathic 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).
 
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 she is affected by a neuropathic 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).
Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,492

edits