editor, Administrators
146
edits
Changes
Theory Rejection theorem (Barseghyan-2015) (view source)
Revision as of 16:47, 24 February 2023
, 16:47, 24 February 2023no edit summary
{{Theory
|Topic=Mechanism of Theory Rejection
|Theory Type=Descriptive
|Subject=
|Predicate=
|Title=Theory Rejection theorem
|Theory TypeAlternate Titles=|Title Formula=|Text Formula=Descriptive
|Formulation Text=A theory becomes rejected only when other theories that are incompatible with the theory become accepted.
|Object=
|Authors List=Hakob Barseghyan
|Formulated Year=2015
|Formulation File=Theory-rejection-theorem-box-only.jpg
|TopicDescription=Mechanism of Theory Rejection|Authors List=Hakob BarseghyanAccording to '''the theory rejection theorem''',|Formulated Year=2015|Description=A a [[Theory|theory]] becomes '''rejected ''' only when other theories that are incompatible with the theory become accepted. By Implicit in the theorem is the idea that each theory is assessed on an "individual basis by its compatibility with the propositions of the newly accepted theory".[[The First Law CiteRef::Barseghyan (Barseghyan-2015)|First Lawp. 168]] for theories, an If it turns out that a previously accepted theory will remain is compatible with the newly accepted until theory, it is remain in the agent's mosaic. 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 theoriesfields". By the [[The Zeroth Law CiteRef::Barseghyan (Harder-2015)|Zeroth Law,p. 171]] Barseghyan summarizes '''the theory rejection theorem''' as such:<blockquote>In short, when the elements axioms of a theory are replaced by another theory, some of the [[Scientific Mosaic|scientific theorems may nevertheless manage to stay in the mosaic]] must be , provided that they are compatible with one anotherthe newly accepted theory. This is essentially what the ''theory rejection theorem'' tells us. Thus, a theory can only become rejected when it is if someday our currently accepted general relativity gets replaced by an incompatible some new theory or , the theoriesthat followed from general relativity, such as the theory of black holes, may nevertheless manage to remain in the mosaic. [[CiteRef::Barseghyan (2015)|p. 167-172]].[[File:theory-rejection-theorem.jpg|center|500px171]]</blockquote>
|Resource=Barseghyan (2015)
|Prehistory=
|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 ...
There weren’t many elements of the Aristotelian-medieval 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 ...
In short, when the axioms of a theory are replaced by another theory, some of the theorems may nevertheless manage to stay in the mosaic, provided that they are compatible with the newly accepted theory. This is essentially what the theory rejection theorem tells us. Thus, if someday our currently accepted general relativity gets replaced by some new theory, the theories that followed from general relativity, such as the theory of black holes, may nevertheless manage to remain in the mosaic.[[CiteRef::Barseghyan (2015)|p. 168-170]] </blockquote>
|Example Type=Historical
}}
{{Theory Example
|Title=Theology
|Description=The 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. In essence, theological propositions were rejected, but were not replaced with more theological propositions. It 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''. The "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. Despite 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".[[CiteRef::Barseghyan (2015)|p. 172]]
|Example Type=Historical
}}
{{Theory Example
|Title=Astrology
|Description=Another 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)]].
<blockquote>The exile of astrology from the mosaic is yet another example. It is well known that astrology was once a respected scientific discipline and its theories were part of the mosaic. Of 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. ... Although, 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.[[CiteRef::Barseghyan (2015)|p. 172]]</blockquote>
|Example Type=Historical
}}
{{Acceptance Record
|Accepted From Day=1
|Accepted From Approximate=No
|Acceptance Indicators=The law theorem became ''de facto'' accepted by the community at that time together with the whole [[The Theory of Scientific Change|theory of scientific change]].
|Still Accepted=Yes
|Accepted Until Era=
|Accepted Until Year=
|Accepted Until Month=
|Accepted Until Day=
|Accepted Until Approximate=No
|Rejection Indicators=
}}