Theoretical Scientonomy
What is theoretical scientonomy? What are the core questions of theoretical scientonomy?
In the scientonomic context, this question was first formulated by Nicholas Overgaard, Hakob Barseghyan, Gregory Rupik and Paul Patton in 2016. The question is currently accepted as a legitimate topic for discussion by Scientonomy community. The following core questions of Theoretical Scientonomy are currently accepted in Scientonomy:
Scientonomic History
Acceptance Record
Community | Accepted From | Acceptance Indicators | Still Accepted | Accepted Until | Rejection Indicators |
---|---|---|---|---|---|
Scientonomy | 1 January 2016 | The subdiscipline of theoretical scientonomy became accepted together with the inception of the discipline of scientonomy. | Yes |
All Core Questions
Theory | Formulation | Formulated In |
---|---|---|
Ontology of Scientific Change Is a Core Question of Theoretical Scientonomy | Question Ontology of Scientific Change is a core question of Theoretical Scientonomy. | 2016 |
Mechanism of Scientific Change Is a Core Question of Theoretical Scientonomy | Question Mechanism of Scientific Change is a core question of Theoretical Scientonomy. | 2016 |
Accepted Core Questions
Community | Theory | Formulation | Accepted From | Accepted Until |
---|---|---|---|---|
Scientonomy | Mechanism of Scientific Change Is a Core Question of Theoretical Scientonomy | Question Mechanism of Scientific Change is a core question of Theoretical Scientonomy. | 1 January 2016 | |
Scientonomy | Ontology of Scientific Change Is a Core Question of Theoretical Scientonomy | Question Ontology of Scientific Change is a core question of Theoretical Scientonomy. | 1 January 2016 |
Suggested Modifications
Current Core Questions
In Scientonomy, it is currently accepted that Ontology of Scientific Change and Mechanism of Scientific Change are the core questions of Theoretical Scientonomy.
Ontology of Scientific Change
In Scientonomy, the accepted answers to the question can be summarized as follows:
- The subtypes of epistemic agent are epistemic community and individual epistemic agent.
- The subtypes of epistemic element are question and theory.
- The subtypes of epistemic stance are compatibility, norm employment, question acceptance, theory acceptance, theory pursuit and theory use.
- The possible outcomes of theory assessment are satisfied, not satisfied, and inconclusive.
Details
Epistemic Community Is a Subtype of Epistemic Agent (Barseghyan-2018) states: "Epistemic Community is a subtype of Epistemic Agent, i.e. epistemic agent is a supertype of epistemic community."
According to Barseghyan, epistemic community is an epistemic agent, i.e. it is capable of taking epistemic stances towards epistemic elements.1Individual Epistemic Agent Is a Subtype of Epistemic Agent (Patton-2019) states: "Individual Epistemic Agent is a subtype of Epistemic Agent, i.e. epistemic agent is a supertype of individual epistemic agent."
According to Patton, individuals are "capable of taking epistemic stances towards epistemic elements, with reason, based on a semantic understanding of the elements and their available alternatives, and with the goal of producing knowledge".2Question Is a Subtype of Epistemic Element (Rawleigh-2018) states: "Question is a subtype of Epistemic Element, i.e. epistemic element is a supertype of question."
A study of the process of scientific change reveals many cases when a question that was considered legitimate in a certain time-period became illegitimate in another period. For example, the questions such as “what is the weight of phlogiston?” or “why does some matter gain mass as it loses phlogiston?” were accepted as legitimate topics of inquiry for the most part of the 18th century. Yet, once the phlogiston theory was rejected, these questions became illegitimate. Another examples is the question “what is the distance from the earth to the sphere of stars?” that was once considered legitimate by astronomers, but is no longer accepted.3Similarly, there are questions which are considered legitimate these days but weren't accepted even a few centuries ago. An example of this is the question “what’s the underlying mechanics of the evolution of species?” - a perfectly legitimate topic of biological research nowadays that would have been deemed illegitimate three hundred years ago.3
These examples suggest that questions are part of the process of scientific changes. More specifically, they are a subtype of epistemic element.Theory Is a Subtype of Epistemic Element (Barseghyan-2015) states: "Theory is a subtype of Epistemic Element, i.e. epistemic element is a supertype of theory."
According to this theory, theories are a subtype of epistemic element. Among other things, this assumes that epsitemic stances can be taken by epistemic agents towards theories.Theory Acceptance Is a Subtype of Epistemic Stance (Barseghyan-2015) states: "Theory Acceptance is a subtype of Epistemic Stance, i.e. epistemic stance is a supertype of theory acceptance."
Norm Employment Is a Subtype of Epistemic Stance (Barseghyan-2018) states: "Norm Employment is a subtype of Epistemic Stance, i.e. epistemic stance is a supertype of norm employment."
Question Acceptance Is a Subtype of Epistemic Stance (Rawleigh-2018) states: "Question Acceptance is a subtype of Epistemic Stance, i.e. epistemic stance is a supertype of question acceptance."
Compatibility Is a Subtype of Epistemic Stance (Fraser-Sarwar-2018) states: "Compatibility is a subtype of Epistemic Stance, i.e. epistemic stance is a supertype of compatibility."
According to Fraser and Sarwar, "compatibility is a distinct epistemic stance that agents can take towards elements".4 They show this by arguing that it is possible to take the stance of compatibility towards a pair of elements without taking any of the other stances towards these elements. Thus, compatibility is distinct from acceptance, since two elements need not be in the same mosaic, or even accepted by any agent to be considered, in principle, compatible. For example, an epistemic agent may consider Ptolemaic astrology compatible with Aristotelian natural philosophy without accepting either Ptolemaic astrology or Aristotelian natural philosophy. Compatibility is also different from use, since a pair of theories can be considered compatible regardless of whether any of them is considered useful. For instance, one can consider quantum mechanics and evolutionary biology compatible, while finding only the former useful. Finally, compatibility is also distinct from pursuit, since an agent can consider a pair of theories compatible with or without pursuing either. An agent, for instance, may find two alternative quantum theories pursuitworthy while clearly realizing that the two are incompatible.Theory Use Is a Subtype of Epistemic Stance (Barseghyan-2015) states: "Theory Use is a subtype of Epistemic Stance, i.e. epistemic stance is a supertype of theory use."
Theory Pursuit Is a Subtype of Epistemic Stance (Barseghyan-2015) states: "Theory Pursuit is a subtype of Epistemic Stance, i.e. epistemic stance is a supertype of theory pursuit."
Theory Assessment Outcomes (Patton-Overgaard-Barseghyan-2017) states: "The possible outcomes of theory assessment are satisfied, not satisfied, and inconclusive."
According to this ontology of theory assessment outcomes, when a theory is assessed by a method, one of the three following outcomes can obtain:5- Satisfied: the theory is deemed to conclusively meet the requirements of the method employed at the time.
- Not Satisfied: the theory is deemed to conclusively not meet the requirements of the method employed at the time.
- Inconclusive: it is unclear whether or not the requirements of the method employed at the time are met.
While the first two assessment outcomes are conclusive, the third outcome is inconclusive, as it permits more than one possible course of action. Thus, in this view, a theory's assessment outcome is not necessarily conclusive; an inconclusive outcome is also conceivable.
This ontology is assumed by the second law of scientific change as formulated by Patton, Overgaard, and Barseghyan in 2017.
Mechanism of Scientific Change
In Scientonomy, the accepted answers to the question can be summarized as follows:
- An element of the mosaic remains in the mosaic unless replaced by other elements.
- If a theory satisfies the acceptance criteria of the method employed at the time, it becomes accepted into the mosaic; if it does not, it remains unaccepted; if assessment is inconclusive, the theory can be accepted or not accepted.
- A norm becomes employed only if it is derivable from a non-empty subset of other elements of the mosaic.
- If a pair of elements satisfies the compatibility criteria employed at the time, it becomes compatible within the mosaic; if it does not, it is deemed incompatible; and if assessment is inconclusive, the pair can become compatible, incompatible, or its status may be unknown.
- A question becomes accepted only if all of its epistemic presuppositions are accepted and it is accepted that the question is answerable.
- A theory becomes rejected when other elements that are incompatible with the theory become part of the mosaic.
- A norm becomes rejected when other elements that are incompatible with the norm become part of the mosaic.
- A question becomes rejected when other elements that are incompatible with the question become part of the mosaic.
- If an accepted theory is taken as the final truth, it will always remain accepted; no new theory on the subject can ever be accepted.
- A methodology can shape employed methods, but only if its requirements implement abstract requirements of some other employed method.
- Transitions from one state of the mosaic to another are not necessarily deterministic. Scientific change is not a strictly deterministic process. The process of method change is not necessarily deterministic: employed methods are by no means the only possible implementations of abstract requirements. The process of theory change is not necessarily deterministic: there may be cases when both a theory's acceptance and its unacceptance are equally possible.
- Sociocultural factors can affect the process of theory acceptance insofar as it is permitted by the method employed at the time.
- When two mutually incompatible theories satisfy the requirements of the current method, the mosaic necessarily splits in two. When a theory assessment outcome is inconclusive, a mosaic split is possible. When a mosaic split is a result of the acceptance of only one theory, it can only be a result of inconclusive theory assessment.
Details
The First Law (Barseghyan-2015) states: "An element of the mosaic remains in the mosaic unless replaced by other elements."
The following passage from The Laws of Scientific Change summarizes the gist of the law:According to the first law, any element of the mosaic of accepted theories and employed methods remains in the mosaic except insofar as it is overthrown by another element or elements. Basically, the law assumes that there is certain inertia in the scientific mosaic: once in the mosaic, elements remain in the mosaic until they get replaced by other elements. It is reasonable therefore to call it the law of scientific inertia.5
The Second Law (Patton-Overgaard-Barseghyan-2017) states: "If a theory satisfies the acceptance criteria of the method employed at the time, it becomes accepted into the mosaic; if it does not, it remains unaccepted; if assessment is inconclusive, the theory can be accepted or not accepted."
According to this formulation of the second law, if a theory satisfies the acceptance criteria of the method actually employed at the time, then it becomes accepted into the mosaic; if it does not, it remains unaccepted; if it is inconclusive whether the theory satisfies the method, the theory can be accepted or not accepted.Unlike the previous formulation of the second law, this formulation makes the causal connection between theory assessment outcomes and cases of theory acceptance/unacceptance explicit. In particular, it specifies what happens to a theory in terms of its acceptance/unacceptance when a certain assessment outcome obtains.
In addition, this new formulation is clearly not a tautology because it forbids certain logically possible scenarios, such as a theory satisfying the method of the time yet remaining unaccepted.The Law of Norm Employment (Rawleigh-2022) states: "A norm becomes employed only if it is derivable from a non-empty subset of other elements of the mosaic."
Sebastien's law of method employment faces several problems. Foremost among these is that it is based on an outdated ontology that assumes that methods of theory evaluation are a fundamental epistemic element. After the acceptance of Barseghyan’s proposal that methods be subsumed under the category of normative theories, the third law no longer exhaustively covers all situations cases of employment. In its present form it is limited to methods, though there is no reason to think that the mechanism by which a method is employed is any different than the mechanism by which any other norm is employed.In addition, Sebastien's formulation of the third law uses the term deducible, which currently lacks a scientonomic definition. We do not currently know what it means for something to be deducible, what the criteria of deducibility would be, or whether the conditions of deducibility would be part of the first-order theories of the mosaic or part of the second-order theories that range over the mosaic.
The third issue with Sebastien's formulation is that, with the acceptance of questions into the epistemic elements of the ontology of scientific change, the elements of the mosaic are now more expansive than just theories and subtypes of theories. This means that there is a plausible situation in which norms could potentially be derived – at least in part – from questions, which means that a formulation of the third law that excludes questions would fail to comprehensively describe all cases of norm employment.
The new law of norm employment aims to remedy all three of these issues:
- the formulation of the covers all norms rather than only methods;
- it replaces a deducible with derivable, which in the context of mathematical model theory simply means to be semantically entailed, and thus can potentially include non-deductive inferences (e.g. inductive, abductive);
- it replaces a specific enumeration of epistemic elements with a general "elements of the mosaic".
The Law of Compatibility (Fraser-Sarwar-2018) states: "If a pair of elements satisfies the compatibility criteria employed at the time, it becomes compatible within the mosaic; if it does not, it is deemed incompatible; and if assessment is inconclusive, the pair can become compatible, incompatible, or its status may be unknown."
The law of compatibility links the compatibility criteria with various assessment outcomes. If compatibility is defined as the ability of a pair of elements to co-exist in the same mosaic, then the assessment for compatibility is essentially the process by which the epistemic agent decides whether any given pair of elements (i.e. theories, questions, methods) can be simultaneously part of their mosaic. Such an assessment can yield three possible outcomes - satisfied, not satisfied, and inconclusive.4 Accordingly, the law of compatibility states that if a pair of elements does satisfy the compatibility criteria of the time, then it is deemed as compatible. If, however, an element is taken to be incompatible with the other one, then the pair is deemed as incompatible. Finally, the assessment of compatibility may be inconclusive. In this case, the pair may be deemed compatible, incompatible, or its status may remain unknown. The diagram below summarizes the relation between assessment outcomes and their effects:The Law of Question Acceptance (Barseghyan-Levesley-2021) states: "A question becomes accepted only if all of its epistemic presuppositions are accepted and it is accepted that the question is answerable."
First, the law implies that the acceptance of a question is predicated upon the acceptance of all of its epistemic presuppositions. Importantly, the law works with the notion of epistemic presupposition, rather than logical presupposition, as it would be unreasonable to expect that all logical presuppositions of a question can ever be accepted. This is due to the inherent "explosiveness" of logical presuppositions: if question Q presupposes theory T1 and T1 logically implies theory T2, then question Q also presupposes theory T2. But since a theory can have an infinite number of logical consequences, a question can also have an infinite number of logical presuppositions. For instance, among logical presuppositions of the question 'What is the distance between the Earth and the sphere of the stars?' are not only theories 'The Earth exists' and 'The sphere of the stars exists', but also 'The Earth exists or God exists', 'The Earth exists or it is made of cheese', 'The sphere of the stars exists or God exists', 'The sphere of the stars exists or it is made of cheese' and so on.6 In contrast, the epistemic presuppositions of a question are not explosive as they are agent-dependent: "what can be a presupposition for one agent need not necessarily qualify as a presupposition for another agent".6 As explained by Barseghyan and Levesley:A theory would count as an epistemic presupposition of a certain question for an agent, only if the agent is prepared to accept that theory when they accept an answer to the question, irrespective of what that answer is. Consider, for example an epistemic agent who, when accepting p, nevertheless does not accept p-or-q in order not to clutter their mosaic and avoid explosion. For such an agent, not all logical presuppositions of a question would count as epistemic presuppositions.6
Thus, for most agents, such theories as 'The Earth exists or God exists' and 'The Earth exists or it is made of cheese' would likely not be within the epistemic presuppositions of the question 'What is the distance between the Earth and the sphere of the stars?' if only because most agents wouldn't want to clutter their mosaics with such theories. Generally speaking, "for agents with finite epistemic capacities, a question always has a finite number of epistemic presuppositions".6
Second, the law stipulates that the acceptance of a question is also predicated upon the acceptance of a second-order theory that the question itself is, in principle, answerable. Thus, the acceptance of all of the epistemic presuppositions of a question is necessary but not sufficient for the question to become accepted.Theory Rejection theorem (Barseghyan-Pandey-2023) states: "A theory becomes rejected when other elements that are incompatible with the theory become part of the mosaic."
According to Pandey's new formulation of the theory rejection theorem, a theory becomes rejected only when other epistemic elements that are incompatible with the theory become accepted. This formulation differs from Barseghyan's original formulation in that it allows a theory to be replaced by an epistemic element of any type, not just by other theories. In other respects, Pandey's formulation is similar to Barseghyan's.Implicit in both theorems is the idea that each theory is assessed on an "individual basis by its compatibility with the propositions of the newly accepted theory".5 If it turns out that a previously accepted theory is compatible with the newly accepted theory, it remain in the agent's mosaic.
Although we normally expect a theory to be replaced by another theory in the same "field" of inquiry, Barseghyan and Pandey both agree that this is not necessarily the case. For example, Barseghyan 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".5 Similarly, Pandey provides several examples of this phenomenon in Dilemma of The First Law.7
Barseghyan summarizes the theory rejection theorem as such:
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. 5
Norm Rejection theorem (Pandey-2023) states: "A norm becomes rejected when other elements that are incompatible with the norm become part of the mosaic."
The previous scientonomic account of transitions from the stance of employment to that of unemployment applied exclusively to methods. With Rawleigh's suggestion to expand the third law from applying to methods only to norms of all types, it became important to also have a theorem describing how norms of all types become rejected. Pandey's formulation fills this gap and stipulates that norms become unemployed when they are incompatible with other elements that enter into the mosaic.Question Rejection theorem (Barseghyan-Levesley-Pandey-2023) states: "A question becomes rejected when other elements that are incompatible with the question become part of the mosaic."
Pandey's formulation essentially preserves the gist of Barseghyan and Levesley's formulation but fixes its wording to ensure that the theorem actually follows from its premises. Like other scientonomic rejection theorems, the question rejection theorem assumes that questions become rejected as they get pushed out of an agent's mosaic due to their incompatibility with some newly accepted elements. There are two most common scenarios of such incompatibility.In the first scenario, a question becomes rejected due to the acceptance of a new theory that happens to be incompatible with some of the question's epistemic presuppositions. As explained by Barseghyan and Levesley:
imagine an epistemic situation where agent A initially accepts the question “What is the relationship between the four elements?” together with the theoretical presupposition that there are four elements. Suppose also that at some later time the agent discovers that there are not four but three elements. Naturally, the agent rejects both the theory of four elements and the question about the relationships between these elements:
Importantly, this rejection happens regardless of whether it ever occurs to the agent to ask a new question “What is the relationship between the three elements?”. Even if the agent never accepts any further questions concerning the three elements, the question “What is the relationship between the four elements?” would still be rejected.6
In the second scenario, a question is being rejected due to the acceptance of the second-order theory stating that the question is unanswerable (the latter being incompatible with the question). In the words of Barseghyan and Levesley:
Consider [an] epistemic situation, where agent A accepts some question Q, together with the theory that Q is answerable. When agent A comes to accept that Q is unanswerable, the agent rejects question Q. The scientonomic mechanism of this rejection is through the incompatibility of question Q and the theory “Question Q is unanswerable”:6
Sociocultural Factors in Theory Acceptance theorem (Barseghyan-2015) states: "Sociocultural factors can affect the process of theory acceptance insofar as it is permitted by the method employed at the time."
Sociocultural factors can impact the process of a theory's acceptance when the employed method of the community allows for such factors to affect the process. This is derived by the Second Law alone. For example, a community which ascribes infallible power to a leader or a group of leaders is in a position to accept a theory in virtue of the leaders. Furthermore, such factors can guide a scientific community to reject a theory based on the acceptance of another social theory with which it is at odds.Barseghyan’s Laws of Scientific Change break from the traditional language used in philosophy of science, of internal versus external factors in the mosaic. External factors, a term that has traditionally referred to the influences of societal trends, politics, religion, and so on, if defined as “elements not included in the mosaic” then we must accept that these do not affect the mosaic at the time by the the very definition. This is the result of the fact that the 2nd law introduces new theories in the context of the accepted methods at the time. As a result, the language of “external” factors is problematic.5
Socio-cultural factors ought to be defined more explicitly. The question is, instead, whether factors such as economics, politics, and religion can influence the theories accepted in the mosaic. It follows from the Second Law that theories are assessed by the method in the mosaic at the time. Therefore, if the method at the time mandates economic, political, religious, or other social requirements to be met by a theory before it is accept, only then do socio-cultural factors influence theory acceptance.
Barseghyan provides the example of a hypothetical religious community, with an accepted belief (i.e. theory) that holds that the religion’s High Priest always grasps the true essence of things. By the Third Law, a method may be employed the mosaic that states that any proposition is acceptable, given that the High Priest utters it. In this case, it would appear as though socio-cultural factors are influencing, if not dictating, the course of scientific change in the community. This should not be confused with a case where a High Priest or other elite enforces their beliefs unscientifically, through threats, bribery, or otherwise. Should this happen, the change would be unscientific, as it would violate either the method employed at the time (and thereby the Second Law), or it would be creating a method in the mosaic which does not follow from the accepted theories at the time (and thereby the Third Law).5Necessary Mosaic Split theorem (Barseghyan-2015) states: "When two mutually incompatible theories satisfy the requirements of the current method, the mosaic necessarily splits in two."
Necessary mosaic split is a form of mosaic split that must happen if it is ever the case that two incompatible theories both become accepted under the employed method of the time. Since the theories are incompatible, under the zeroth law, they cannot be accepted into the same mosaic, and a mosaic split must then occur, as a matter of logical necessity.5 The necessary mosaic split theorem is thus required to escape the contradiction entailed by the acceptance of two or more incompatible theories. In a situation where this sort of contradiction obtains the mosaic is split and distinct communities are formed each of which bears its own mosaic, and each mosaic will include exactly one of the theories being assessed. By the third law, each mosaic will also have a distinct method that precludes the acceptance of the other contender theory.Possible Mosaic Split theorem (Barseghyan-2015) states: "When a theory assessment outcome is inconclusive, a mosaic split is possible."
Possible mosaic split is a form of mosaic split that can happen if it is ever the case that theory assessment reaches an inconclusive result. In this case, a mosaic split can, but need not necessarily, result.5 That is, "the sufficient condition for this second variety of mosaic split is an element of inconclusiveness in the assessment outcome of at least one of the contender theories".5Barseghyan notes that, "if there have been any actual cases of inconclusive theory assessment, they can be detected only indirectly".5 Therefore:
Thus, the historical examples of mosaic split below also serve as points of detection for historical instances of inconclusive theory assessment.One way of detecting an inconclusive theory assessment is through studying a particular instance of mosaic split. Unlike inconclusiveness, mosaic split is something that is readily detectable. As long as the historical record of a time period is available, it is normally possible to tell whether there was one united mosaic or whether there were several different mosaics. For instance, we are quite confident that in the 17th and 18th centuries there were many differences between the British and French mosaics.5
Split Due to Inconclusiveness theorem (Barseghyan-2015) states: "When a mosaic split is a result of the acceptance of only one theory, it can only be a result of inconclusive theory assessment."
Split due to inconclusiveness can occur when two mutually incompatible theories are accepted simultaneously by the same community.Dogmatism No Theory Change theorem (Barseghyan-2015) states: "If an accepted theory is taken as the final truth, it will always remain accepted; no new theory on the subject can ever be accepted."
No theory acceptance may take place in a genuinely dogmatic community. "Namely," as is noted in Barseghyan (2015), Barseghyan notes, when introducing the theory rejection theorem in Barseghyan (2015), "theory change is impossible in cases where a currently accepted theory is considered as revealing the final and absolute truth".5Methodology Can Shape Method theorem (Barseghyan-2015) states: "A methodology can shape employed methods, but only if its requirements implement abstract requirements of some other employed method."
A methodology can affect an employed method when it implements one or more abstract requirements of another employed method. Thus, the role normative methodology plays in the process of scientific change is a creative role, in which methods are changed through the implementation of other abstract requirements from some other employed method.This theorem follows from former description of the third law, which states that a method becomes employed only when it is deducible from other employed methods and accepted theories of the time.
This description of the third law leaves room for methodologies’ to play an active role in scientific change in cases when a concrete method fulfills the requirements of an employed abstract method. The same abstract requirements can usually be implemented in a wide range of different ways. For instance, if there is a whole array of concrete cell counting methods all implementing the same abstract requirement that when counting the number of cells, the resulting value is acceptable only if it is obtained with an "aided" eye.5 In such cases, methodology can play a decisive role in method employment; what later becomes the requirements of the employed method can be first suggested as a methodology. Thus, the double-blind trial method was first devised as a methodology, as a set of explicitly stated rules, and only after that did it become actually employed as a method of drug testing.5
Sebastien (2016)'s new definition of methodology offers an alternate means for methodologies to shape methods, although this is not stated in the existing formulation of the theory. Because methodology is understood as a subkind of Normative Theory, it should be possible for the Third Law to deduce an abstract method from a set of theories including some of the normative methodologies a community holds about their method. In this way, it would be necessary for this method to take into account how the community believes its method works, in any concrete implementation of said method, just as a community takes into account descriptive theories (e.g. the placebo effect and experimenter's bias) when employing a new method.Underdetermined Method Change theorem (Barseghyan-2015) states: "The process of method change is not necessarily deterministic: employed methods are by no means the only possible implementations of abstract requirements."
The third law allows for two distinct scenarios of method employment. A method may become employed because it follows strictly from accepted theories or employed methods, or it may the abstract requirements of some other employed method. This second scenario allows for creative ingenuity and depends on the technology of the times, therefore it may be fulfilled in many ways and allows underdeterminism 5 .Underdetermined Theory Change theorem (Barseghyan-2015) states: "The process of theory change is not necessarily deterministic: there may be cases when both a theory's acceptance and its unacceptance are equally possible."
The process of theory assessment under the TSC is underdetermined for two reasons. First, only theories that are constructed are available for assessment. Whether or not a theory is ever constructed is, at least partly a matter of creativity, and is therefore outside the scope of the TSC. Second, it is at least theoretically possible that a process of theory assessment will be inconclusive. This might be because the requirements of the method employed at the time might be vague (e.g. Aristotelian requirements of "intuition schooled by experience").5Scientific Underdeterminism theorem (Barseghyan-2015) states: "Transitions from one state of the mosaic to another are not necessarily deterministic. Scientific change is not a strictly deterministic process."
Scientific underdetermination is the thesis that the process of scientific change is not deterministic, and science could have evolved differently than it did. Hypothetically, two scientific communities developing separately could experience an entirely different sequence of successive states of their respective scientific mosaics. Even without the TSC, the implausibility of scientific determinism can be seen by considering the process of theory construction, which is outside the present scope of the TSC. Theory construction requires creative imagination, and the formulation of a given theory is therefore not inevitable. Still, underdetermination can also be inferred as a theorem from the axioms of the TSC.5This deductive inference occurs as follows. The theorem is the consequence of two related theses: that of underdetermined method change, and that of underdetermined theory change. Since method change and theory change are exactly the transitions in the scientific mosaic, showing that neither method change nor theory change is deterministic is sufficient to imply the Scientific Underdetermination theorem (SUT).
The underdetermination of method change follows from the 3rd Law: “A method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time.” As a result of this law, a method can be employed in two ways: either it strictly follows from other accepted theories and employed methods, in which case the change is, in fact, deterministic, or it implements the abstract requirements of some other employed method. In the latter case, the change is underdetermined since abstract requirements can give rise to many different implementations. As a concrete example, we have an accepted theory that states, “when counting the number of living cells, the resulting value is acceptable only if it is obtained with an ‘aided’ eye.” A number of different methods can implement this abstract requirement, like the plating method or the counting chamber method.5 Thus the method is underdetermined by the abstract requirements, so the process of method change implementing these requirements is not deterministic, which is exactly the statement of the underdetermination of method change.
The underdetermination of theory change comes from the 2nd law and the possibility of inconclusive theory assessment. The 2nd law states that “In order to become accepted into the mosaic, a theory is assessed by the method actually employed at the time”. This assessment can result in conclusive acceptance, conclusive rejection, or it can be inconclusive. In both conclusive cases, the theory change is deterministic, but if the theory assessment is inconclusive, then the theory can be accepted or rejected. So the process of theory change is not necessarily deterministic, since it is, in fact, possible for assessment to be inconclusive. The question of whether there actually exist cases of inconclusive theory assessment is a task for the history of science, and is irrelevant to our discussion.
These two theses combine to form the SUT, since changes in theories and methods are all the transitions that occur in the scientific mosaic, and we have seen that the underdetermination of theory and method change follow deductively from the 2nd law, the 3rd law and the possibility of inconclusive theory assessment.
Discipline Hierarchy
Subdisciplines
In Scientonomy, there are currently no accepted subdisciplines of Theoretical Scientonomy.
Superdisciplines
In Scientonomy, the following superdiscipline of Theoretical Scientonomy is currently accepted:
References
- ^ Barseghyan, Hakob. (2018) Redrafting the Ontology of Scientific Change. Scientonomy 2, 13-38. Retrieved from https://scientojournal.com/index.php/scientonomy/article/view/31032.
- ^ Patton, Paul. (2019) Epistemic Tools and Epistemic Agents in Scientonomy. Scientonomy 3, 63-89. Retrieved from https://scientojournal.com/index.php/scientonomy/article/view/33621.
- a b Rawleigh, William. (2018) The Status of Questions in the Ontology of Scientific Change. Scientonomy 2, 1-12. Retrieved from https://scientojournal.com/index.php/scientonomy/article/view/29651.
- a b Fraser, Patrick and Sarwar, Ameer. (2018) A Compatibility Law and the Classification of Theory Change. Scientonomy 2, 67-82. Retrieved from https://scientojournal.com/index.php/scientonomy/article/view/31278.
- a b c d e f g h i j k l m n o p q r s Barseghyan, Hakob. (2015) The Laws of Scientific Change. Springer.
- a b c d e f Barseghyan, Hakob and Levesley, Nichole. (2021) Question Dynamics. Scientonomy 4, 1-19. Retrieved from https://scientojournal.com/index.php/scientonomy/article/view/37120.
- ^ Pandey, Aayu. (2023) Dilemma of the First Law. Scientonomy 5, 25-46. Retrieved from https://scientojournal.com/index.php/scientonomy/article/view/42258.