Changes

|Formulation FileObject=Theory-rejection-theorem-box-only.jpg|Topic=Mechanism of Theory Rejection

|Formulation File=Theory-rejection-theorem-box-only.jpg|Description=According to '''the theory rejection theorem''', a [[Theory|theory]] becomes '''rejected''' only when other theories that are incompatible with the theory become accepted. By [[The First Law (Barseghyan-2015)| Implicit in the theorem is the first law]] for theories, an accepted idea that each theory remains accepted until it is replaced assessed on an "individual basis by other theories. By [[Compatibility Corollary (Fraser-Sarwar-2018)|the its compatibility corollary]], with the elements propositions of the scientific mosaic are compatible with each other at any moment of time. It follows, therefore, that a newly accepted theory can only become rejected when it is replaced by an incompatible theory or theories".[[CiteRef::Barseghyan (2015)|ppp. 167-172168]] [[CiteRef::Fraser and Sarwar (2018)|ppIf it turns out that a previously accepted theory is compatible with the newly accepted theory, it remain in the agent's mosaic. 72-74]]

{{PrintDiagramFile|diagram file=Theory Rejection Theorem deduction Barseghyan notes that, although we normally expect a theory to be replaced by another theory in the same "field" of inquiry, this is not necessarily the case. For example, he writes, "HSC knows several cases where an accepted theory became rejected simply because it wasn’t compatible with new accepted theories of some other fields".[[CiteRef::Barseghyan (Barseghyan-Fraser-Sarwar-20182015)|p.png}}171]]

Implicit in Barseghyan summarizes '''the theory rejection theorem is ''' as such:<blockquote>In short, when the axioms of a theory are replaced by another theory, some of the theorems may nevertheless manage to stay in the idea mosaic, provided that each they are compatible with the newly accepted theory . This is assessed on an "individual basis essentially what the ''theory rejection theorem'' tells us. Thus, if someday our currently accepted general relativity gets replaced by its compatibility with some new theory, the theories that followed from general relativity, such as the propositions theory of black holes, may nevertheless manage to remain in the newly accepted theory"mosaic.[[CiteRef::Barseghyan (2015)|p. 168171]] If it turns out that a previously accepted theory is compatible with the newly accepted theory, it remain in the agent's mosaic.</blockquote>

|History=Initially, the theory rejection theorem was accepted as deducible from the conjunction of [[The First Law (Barseghyan-2015)|the first law]] for theories and [[Rory Harder|Harder]]'s [[The Zeroth Law (Harder-2015)|zeroth law]]. After the replacement of Harder's zeroth law with [[Compatibility Corollary (Fraser-Sarwar-2018)|the compatibility corollary]], suggested by [[Patrick Fraser|Fraser]] and [[Ameer Sarwar|Sarwar]], it became accepted that the theory rejection theorem is a deductive consequence of the first law for theories and the compatibility corollary.[[CiteRef::Fraser and Sarwar (2018)|pp. 72-74]]|Page Status=Needs Editing}}{{Theory Example|Title=Plenism|Description=Barseghyan considers the case of ''plenism,'' "the view that there can be no empty space (i.e. no space absolutely devoid of matter)", as a key historical illustration of the '''Theory Rejection theorem''' in [[Barseghyan (2015)]].  <blockquote> Within the system of the Aristotelian-medieval natural philosophy, ''plenism'' was one of many theorems. Yet, when the Aristotelian natural philosophy was replaced by that of Descartes, ''plenism'' remained in the mosaic, for it was a theorem in the Cartesian system too. To appreciate this we have to consider the Aristotelian-medieval law of violent motion, which states that an object moves only if the applied force is greater than the resistance of the medium. In that case, according to the law, the velocity will be proportional to the force and inversely proportional to resistance. Otherwise the object won’t move; its velocity will be zero ...  Taken as an axiom, this law has many interesting consequences. It follows from this law, that if there were no resistance the velocity of the object would be infinite. But this is absurd since nothing can move infinitely fast (for that would mean being at two places simultaneously). Therefore, there should always be some resistance, i.e. something that fills up the medium. Thus, we arrive at the conception of plenism ...

{{PrintDiagramFile|diagram file=theoryThere weren’t many elements of the Aristotelian-rejection-theoremmedieval mosaic that maintained their state within the Cartesian mosaic. The conception of plenism was among the few that survived through the transition. In the Cartesian system, plenism followed directly from the assumption that extension is the attribute of matter and that no attribute can exist independently from the substance in which it inheres ...jpg}}

After In short, when the replacement axioms of a theory are replaced by another theory, some of Harder's zeroth law the theorems may nevertheless manage to stay in the mosaic, provided that they are compatible with [[Compatibility Corollary (Fraser-Sarwar-2018)|the compatibility corollary]]newly accepted theory. This is essentially what the theory rejection theorem tells us. Thus, suggested if someday our currently accepted general relativity gets replaced by [[Patrick Fraser|Fraser]] and [[Ameer Sarwar|Sarwar]]some new theory, it became accepted the theories that followed from general relativity, such as the theory rejection theorem is a deductive consequence of black holes, may nevertheless manage to remain in the first law for theories and the compatibility corollarymosaic.[[CiteRef::Fraser and Sarwar Barseghyan (20182015)|ppp. 72168-74170]]</blockquote>|Page Status=Needs Editing|Editor NotesExample Type=Historical

|Title=A good exampleTheology|Description=Some textThe rejection of ''theology proper'' (the study of God, his being, his attributes, and his works) from the scientific mosaic is a historical illustration of the ''Theory Rejection theorem'' and how accepted theories in one field may become rejected due to theories in other fields. Some textIn essence, theological propositions were rejected, but were not replaced with more theological propositions. Some textIt is difficult to track the exact dynamics of theology's "exile," but it is possible that these propositions were rejected and replaced with the thesis of ''agnosticism'', or that they were rejected due to the acceptance of ''evolutionary biology''. Some textThe "exile," as Barseghyan terms it, could have also been a very gradual process, and that the rejection of theological propositions came about for different reasons in different mosaics. Some textDespite the difficulties in tracking down the exact dynamics of the gradual rejection of theology from the scientific mosaic, Barseghyan summarizes the evidence as such: "what must be appreciated here is that a theory can be replaced in the mosaic by theories pertaining to other fields of inquiry". Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text[[CiteRef::Barseghyan (2015)|p.172]]

|Title=Even Better ExampleAstrology|Description=Some textAnother example of the theory rejection theorem, specifically explaining that theories may not only be rejected because of the acceptance of new theories in their respective theories, is the case of ''natural astrology'' presented in [[Barseghyan (2015)]]. Some text <blockquote>The exile of astrology from the mosaic is yet another example. Some textIt is well known that astrology was once a respected scientific discipline and its theories were part of the mosaic. Some textOf course, not all of the astrology was accepted; it was the so-called ''natural astrology'' – the theory of celestial influences on physical phenomena of the terrestrial region – that was part of the Aristotelian-medieval mosaic. Some text. Some text. Some text. Some textAlthough, for now, we cannot reconstruct all the details or even the approximate decade when the exile of natural astrology took place, one thing is clear: when the once-accepted theory of natural astrology became rejected, it wasn’t replaced by another theory of natural astrology. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text. Some text[[CiteRef::Barseghyan (2015)|p.172]]</blockquote>