Property:Formulation Text
Jump to navigation
Jump to search
This is a property of type Text.
A
Criteria for determining whether a theory is ''acceptable'' or ''unacceptable.'' +
Criteria for determining whether a theory is ''acceptable'' or ''unacceptable.'' +
A group that does not have a collective intentionality. +
A group that does not have a collective intentionality. +
The commentators of suggested modifications are allowed to suggest reformulations of the original formulations in the comments. By default, the new formulation should bear the original author’s name, unless the author decides to give credit to those who significantly contributed to the new reformulation. +
At the level of metatheory, the relevant evidence for assessing a scientonomic theory ''ought to be'' the facts relating to the state of the ''scientific mosaic'' and its ''transitions''. The complete list of relevant phenomena that ought to be considered can ''only'' be identified for a specific scientonomic theory. +
At the level of metatheory, the relevant evidence for assessing a scientonomic theory ''ought to be'' the facts relating to the state of the ''scientific mosaic'' and its ''transitions''. The complete list of relevant phenomena that ought to be considered can ''only'' be identified for a specific scientonomic theory. +
At the level of metatheory, the relevant evidence for assessing a scientonomic theory ''ought to be'' the facts relating to the state of the ''scientific mosaic'' and its ''transitions''. The complete list of relevant phenomena that ought to be considered can ''only'' be identified for a specific scientonomic theory. +
At the level of metatheory, the relevant evidence for assessing a scientonomic theory ''ought to be'' the facts relating to the state of the ''scientific mosaic'' and its ''transitions''. The complete list of relevant phenomena that ought to be considered can ''only'' be identified for a specific scientonomic theory. +
A [[Community|community]] can [[Authority Delegation|delegate authority]] to another community. +
A [[Question|question]] can presuppose [[Theory|theories]]. A [[Theory|theory]] is an answer to a [[Question|question]]. +
A [[Question|question]] can presuppose [[Theory|theories]]. A [[Theory|theory]] is an answer to a [[Question|question]]. +
The employment of new methods can ''be'' but is not ''necessarily'' a result of the acceptance of new theories. +
Community A is said to be delegating authority over topic ''x'' to community B ''iff'' (1) community A accepts that community B is an expert on topic ''x'' and (2) community A will accept a theory on topic ''x'' if community B says so. +
Epistemic agent A is said to be delegating authority over question ''x'' to epistemic agent B ''iff'' (1) agent A accepts that agent B is an expert on question ''x'' and (2) agent A will accept a theory answering question ''x'' if agent B says so. +
Epistemic agent A is said to be delegating authority over question ''x'' to epistemic agent B ''iff'' (1) agent A accepts that agent B is an expert on question ''x'' and (2) agent A will accept a theory answering question ''x'' if agent B says so. +
B
Only a community can be a bearer of a scientific mosaic. +
C
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 modification should be accepted by default if there are no objections within a 90-day period following its publication. +
The verdict on a suggested modification should be decided by a communal vote that will follow the discussion period. +
A group that has a collective intentionality. +
A [[Community|community]] can [[Authority Delegation|delegate authority]] to another community. +
A community can consist of other communities. +
There is no such thing as a [[Community|community]]. +
There is such a thing as a [[Community|community]]. +
The ability of two elements to coexist in the same mosaic. +
At any moment of time, the elements of the scientific mosaic are compatible with each other. +
Criteria for determining whether two theories are ''compatible'' or ''incompatible.'' +
Criteria for determining whether two elements are compatible or incompatible. +
Criteria for determining whether two elements are compatible or incompatible. +
[[Compatibility]] is a subtype of [[Epistemic Stance]], i.e. epistemic stance is a supertype of compatibility. +
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. +
At any moment of time, the elements of the scientific mosaic are compatible with each other. +
The ability of two elements to coexist in the same mosaic. +
The possible outcomes of theory assessment are ''satisfied'', ''not satisfied'', and ''inconclusive''. +
Theory assessment is an assessment of a proposed modification of the mosaic by the method employed at the time. +
The contextual appraisal theorem is a deductive consequence of the first law and the second law. +
A core question of a discipline is a question identified in the discipline’s delineating theory as definitive of the discipline. +
A core theory of a discipline is a theory presupposed by the discipline’s core questions. +
D
A method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. +
A statement of the meaning of a term. +
There is such a thing as a [[Definition|definition]]. +
[[Definition]] is a subtype of [[Theory]], i.e. theory is a supertype of definition. +
A statement of the meaning of a term. +
A second-order theory identifying the set of core questions of a discipline. +
Criteria for determining whether a theory is ''scientific'' or ''unscientific.'' +
Criteria for determining whether a theory is ''scientific'' or ''unscientific.'' +
Every theory that becomes accepted satisfies the demarcation criteria employed at the time of acceptance. +
A set of propositions that attempts to describe something. +
There is such a thing as a [[Descriptive Theory|descriptive theory]]. +
[[Descriptive Theory]] is a subtype of [[Theory]], i.e. theory is a supertype of descriptive theory. +
A set of propositions that attempts to describe something. +
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. +
A discipline is characterized by (1) a non-empty set of core questions ''Q'' and (2) the delineating theory stating that ''Q'' are the core questions of the discipline. +
A discipline is said to be accepted by an epistemic agent if that agent accepts the core questions specified in the discipline’s delineating theory as well as the delineating theory itself. +
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. +
The ''dogmatism no theory change'' theorem is a deductive consequence of the first law, the second law, and the third law. +
All substantive methods are necessarily dynamic. +
The ''dynamic substantive methods'' theorem follows from the synchronism of method rejection theorem and fallibilism. +
E
There is such a thing as [[Element Decay|element decay]]. +
[[Element Decay|Element Decay]] is a non-scientonomic phenomenon. +
A method is said to be ''employed'' at time ''t'' if, at time ''t'', theories become accepted only when their acceptance is permitted by the method. +
A method is said to be employed if its requirements constitute the actual expectations of the community. +
An action of an epistemic agent that involves an epistemic element. +
There is such a thing as an [[Epistemic Action|epistemic action]]. +
An agent capable of taking epistemic stances towards epistemic elements. +
There is such a thing as an [[Epistemic Agent|epistemic agent]]. +
An agent capable of taking epistemic stances towards epistemic elements. +
A community that has a collective intentionality to know the world. +
A non-epistemic community can consist of epistemic communities. +
There is such a thing as an [[Epistemic Community|epistemic community]]. +
[[Epistemic Community]] is a subtype of [[Epistemic Agent]], i.e. epistemic agent is a supertype of epistemic community. +
There is such a thing as an [[Epistemic Element|epistemic element]]. +
A theory is said to be an epistemic presupposition of a question for some agent, ''iff'' the agent accepts that accepting any direct answer to the question will necessitate accepting the theory. +
There is such a thing as an [[Epistemic Presupposition|epistemic presupposition]]. +
A theory is said to be an epistemic presupposition of a question for some agent, ''iff'' the agent accepts that accepting any direct answer to the question will necessitate accepting the theory. +
There is such a thing as an [[Epistemic Stance|epistemic stance]]. +
The stances of [[Theory Acceptance|theory acceptance]], [[Theory Pursuit|theory pursuit]] and [[Theory Use|theory use]] can be taken towards a [[Theory|theory]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
The stances of [[Theory Acceptance|theory acceptance]], [[Theory Pursuit|theory pursuit]] and [[Theory Use|theory use]] can be taken towards a [[Theory|theory]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
The list of possible stances towards a method is limited to ''employment''. +
The stance of [[Norm Employment|norm employment]] can be taken towards a [[Normative Theory|normative theory]]. +
The stance of compatibility can be taken towards an epistemic element. +
The stances of [[Theory Acceptance|theory acceptance]], [[Theory Pursuit|theory pursuit]] and [[Theory Use|theory use]] can be taken towards a [[Theory|theory]]. +
The stance of [[Norm Employment|norm employment]] can be taken towards a [[Normative Theory|normative theory]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
The stance of [[Norm Employment|norm employment]] can be taken towards a [[Normative Theory|normative theory]]. +
The stances of [[Theory Acceptance|theory acceptance]], [[Theory Pursuit|theory pursuit]] and [[Theory Use|theory use]] can be taken towards a [[Theory|theory]]. +
The stance of [[Question Acceptance|question acceptance]] can be taken towards a [[Question|question]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
The stance of [[Question Acceptance|question acceptance]] can be taken towards a [[Question|question]]. +
The stance of [[Scientificity|scientificity]] can be taken towards a [[Theory|theory]]. +
The stance of [[Theory Acceptance|theory acceptance]] can be taken towards a [[Theory|theory]]. +
The stance of [[Theory Pursuit|theory pursuit]] can be taken towards a [[Theory|theory]]. +
The stance of [[Theory Use|theory use]] can be taken towards a [[Theory|theory]]. +
The stances of [[Theory Acceptance|theory acceptance]], [[Theory Pursuit|theory pursuit]] and [[Theory Use|theory use]] can be taken towards a [[Theory|theory]]. +
The stance of [[Compatibility|compatibility]] can be taken towards an [[Epistemic Element|epistemic element]]. +
A physical object or system is an epistemic tool for an epistemic agent ''iff'' there is a procedure by which the tool can provide an acceptable source of knowledge for answering some question under the employed method of that agent. +
An epistemic agent is said to commit an error if the agent accepts a theory that should not have been accepted given that agent’s employed method. +
The handling of instances of scientific error is consistent with the theory rejection theorem; it involves a replacement of an erroneously accepted theory either with a first- or second-order proposition. +
An epistemic agent is said to commit an error if the agent accepts a theory that should not have been accepted given that agent’s employed method. +
There is such a thing as a [[Community|community]]. +
There is such a thing as a [[Definition|definition]]. +
There is such a thing as a [[Descriptive Theory|descriptive theory]]. +
There is such a thing as an [[Epistemic Agent|epistemic agent]]. +
There is such a thing as an [[Epistemic Community|epistemic community]]. +
There is such a thing as an [[Epistemic Element|epistemic element]]. +
There is such a thing as an [[Epistemic Presupposition|epistemic presupposition]]. +
There is such a thing as an [[Epistemic Stance|epistemic stance]]. +
There is such a thing as an [[Individual Epistemic Agent|individual epistemic agent]]. +
There is such a thing as a [[Logical Presupposition|logical presupposition]]. +
There is such a thing as a [[Normative Theory|normative theory]]. +
There is such a thing as [[Question Acceptance|question acceptance]]. +
There is such a thing as a [[Question|question]]. +
There is such a thing as [[Theory Acceptance|theory acceptance]]. +
There is such a thing as a [[Theory|theory]]. +
Propositional knowledge that hasn’t been openly formulated by the agent. +
Propositional knowledge that hasn’t been openly formulated by the agent. +
Propositional knowledge that has been openly formulated by the agent. +
[[Explicit]] is a subtype of [[Epistemic Element]], i.e. epistemic element is a supertype of explicit. +
G
An epistemic action that is available to all epistemic agents trans-historically and universally. +
There is such a thing as a [[Global Epistemic Action|global epistemic action]]. +
[[Global Epistemic Action]] is a subtype of [[Epistemic Action]], i.e. epistemic action is a supertype of global epistemic action. +
The goal of peer reviews in the scientonomic workflow is evaluation for ''pursuitworthiness'' rather than ''acceptability''. +
Two or more people who share any characteristic. +
H
The encyclopedia editors should be granted official housekeeping rights to handle the ripple effects. If the additional required changes are ''implicit'' in the suggested modification, the editors should create and alter encyclopedia pages to ensure that the accepted body of scientonomic knowledge is properly documented; if it is conceivable to accept the modification ''without'' accepting the ripple effect change in question, the editors should register these changes as new suggested modifications so that the community can discuss and evaluate them in an orderly fashion. +
A sub-type of multiple authority delegation where different communities are delegated different degrees of authority over topic ''x''. +
A sub-type of multiple authority delegation where different epistemic agents are delegated different degrees of authority over question ''x''. +
[[Hierarchical Authority Delegation]] is a subtype of [[Authority Delegation]], i.e. authority delegation is a supertype of hierarchical authority delegation. +
A sub-type of multiple authority delegation where different epistemic agents are delegated different degrees of authority over question ''x''. +
A descriptive discipline that attempts to trace and explain ''individual'' changes in the scientific mosaic. +
A descriptive discipline that attempts to trace and explain ''individual'' changes in the scientific mosaic. +
I
A method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. +
A logical transition from one theory to another. +
Not explicit. +
[[Implicit]] is a subtype of [[Epistemic Element]], i.e. epistemic element is a supertype of implicit. +
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. +
The ''employed method'' of theory appraisal of a community at some time is not necessarily indicated by the ''methodological texts'' of that time and must be inferred from ''actual patterns'' of theory acceptance and other ''indirect evidence''. +
The ''employed method'' of theory appraisal of a community at some time is not necessarily indicated by the ''methodological texts'' of that time and must be inferred from ''actual patterns'' of theory acceptance and other ''indirect evidence''. +
''Indicators of theory acceptance'' are textual sources that represent the position of a scientific community regarding a theory at some time. Useful indicators are ''contextual'' to time and culture. They might include such things as ''encyclopedias'', ''textbooks'', ''university curricula'', and ''minutes of association meetings''. +
''Indicators of theory acceptance'' are textual sources that represent the position of a scientific community regarding a theory at some time. Useful indicators are ''contextual'' to time and culture. They might include such things as ''encyclopedias'', ''textbooks'', ''university curricula'', and ''minutes of association meetings''. +
There is such a thing as an [[Individual Epistemic Agent|individual epistemic agent]]. +
[[Individual Epistemic Agent]] is a subtype of [[Epistemic Agent]], i.e. epistemic agent is a supertype of individual epistemic agent. +
The level of the beliefs of the individual scientist about the world and the rules she employs in theory assessment. +
The level of the beliefs of the individual scientist about the world and the rules she employs in theory assessment. +
Non-propositional knowledge, i.e. knowledge that cannot, even in principle, be formulated as a set of propositions. +
Non-propositional knowledge, i.e. knowledge that cannot, even in principle, be formulated as a set of propositions. +
Inferring Theory Assessment Outcomes from Acceptance or Unacceptance of Two Contenders (Patton-Overgaard-Barseghyan-2017) +
There is a series of inferences that can be made from the acceptance or unacceptance of two contender theories. +
Inferring Theory Assessment Outcomes from Acceptance or Unacceptance of a Single Contender (Patton-Overgaard-Barseghyan-2017) +
There is a series of inferences that can be made from the acceptance or unacceptance of a single contender. +
L
A local action ''A'' is said to be available to an epistemic agent ''iff'' that agent employs the norm “''A'' is permissible/desirable”. +
A local epistemic action becomes available to an agent only when its permissibility/desirability is derivable from a non-empty subset of other elements of the agent’s mosaic. +
The ''local action availability'' theorem is a deductive consequence of the ''law of norm employment'' and the definition of ''local action availability'' +
An epistemic action that is not available trans-historically to all epistemic agents, but is specific to some time periods or some agents. +
There is such a thing as a [[Local Epistemic Action|local epistemic action]]. +
[[Local Epistemic Action]] is a subtype of [[Epistemic Action]], i.e. epistemic action is a supertype of local epistemic action. +
A theory is said to be a logical presupposition of a question, ''iff'' the theory is logically entailed by any direct answer to the question. +
There is such a thing as a [[Logical Presupposition|logical presupposition]]. +
A theory is said to be a logical presupposition of a question, ''iff'' the theory is logically entailed by any direct answer to the question. +
M
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 theory becomes rejected only when other theories that are incompatible with the theory become accepted. +
The handling of instances of scientific error is consistent with the theory rejection theorem; it involves a replacement of an erroneously accepted theory either with a first- or second-order proposition. +
A method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. +
A method ceases to be employed only when other methods that are incompatible with the method become employed. +
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. +
A method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. +
A theory becomes rejected only when other theories that are incompatible with the theory become accepted. +
A methodology can shape employed methods, but only if its requirements implement abstract requirements of some other employed method. +
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 method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. +
A method ceases to be employed only when other methods that are incompatible with the method become employed. +
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. +
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. +
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. +
An element of the mosaic remains in the mosaic unless replaced by other elements. +
Sociocultural factors can affect the process of theory acceptance insofar as it is permitted by the method employed at the time. +
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 theory becomes rejected only when other theories that are incompatible with the theory become accepted. +
An element of the mosaic remains in the mosaic unless replaced by other elements. +
An accepted theory remains accepted unless replaced by other theories. +
An element of the mosaic remains in the mosaic unless replaced by other elements. +
An employed method remains employed unless replaced by other methods. +
An employed method remains employed unless replaced by other methods. +
An accepted theory remains accepted unless replaced by other theories. +
An element of the mosaic remains in the mosaic unless replaced by other elements. +
An element of the mosaic remains in the mosaic unless replaced by other elements. +
An accepted theory remains accepted unless replaced by other theories. +
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 theory becomes rejected only when other theories that are incompatible with the theory become accepted. +
A set of requirements for employment in theory assessment. +
A set of criteria for theory evaluation. +
A set of methods is said to constitute a hierarchy ''iff'' theories that satisfy the requirements of methods that are higher in the hierarchy are preferred to theories that satisfy the requirements of methods that are lower in the hierarchy. +
There is such a thing as a [[Method Hierarchy|method hierarchy]]. +
[[Method]] is a subtype of [[Epistemic Element]], i.e. epistemic element is a supertype of method. +
[[Method]] is a subtype of [[Normative Theory]], i.e. normative theory is a supertype of method. +
A method ceases to be employed only when other methods that are incompatible with the method become employed. +
The ''method rejection'' theorem is a deductive consequence of the compatibility corollary and the first law. +
The method rejection theorem suggested by Barseghyan in 2015 is tautological. +
A set of explicitly formulated rules of theory assessment. +
A normative discipline that formulates the rules which ought to be employed in theory assessment. +
A normative theory that prescribes the rules which ought to be employed in theory assessment. +
A methodology can shape employed methods, but only if its requirements implement abstract requirements of some other employed method. +
A method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. +
A normative discipline that formulates the rules which ought to be employed in theory assessment. +
Propositional technological knowledge can be accepted and be part of a mosaic. +
A scientific change where two mosaics turn into one united mosaic. +
A scientific change where two mosaics turn into one united mosaic. +
A scientific change where one mosaic transforms into two or more mosaics. +
A scientific change where one mosaic transforms into two or more mosaics. +
Community A is said to engage in a relationship of multiple authority delegation over topic ''x'' ''iff'' community A delegates authority over topic ''x'' to more than one community. +
Epistemic agent A is said to engage in a relationship of multiple authority delegation over question ''x'' ''iff'' A delegates authority over question ''x'' to more than one epistemic agent. +
Epistemic agent A is said to engage in a relationship of multiple authority delegation over question ''x'' ''iff'' A delegates authority over question ''x'' to more than one epistemic agent. +
Communities A and B are said to be in a relationship of mutual authority delegation ''iff'' community A delegates authority over topic ''x'' to community B, and community B delegates authority over topic ''y'' to community A. +
Epistemic agents A and B are said to be in a relationship of mutual authority delegation ''iff'' A delegates authority over question ''x'' to B, and B delegates authority over question ''y'' to A. +
Epistemic agents A and B are said to be in a relationship of mutual authority delegation ''iff'' A delegates authority over question ''x'' to B, and B delegates authority over question ''y'' to A. +
N
Theory assessment is an assessment of a proposed modification of the mosaic by the method employed at the time. +
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. +
In order for the process of scientific change to be possible, the mosaic must necessarily contain at least one employed method. +
In order for the process of scientific change to be possible, the mosaic must necessarily contain at least one employed method. +
The necessary method theorem is a deductive consequence of the the second and third laws. +
In order for the process of scientific change to be possible, the mosaic must necessarily contain at least one employed method. +
When two mutually incompatible theories satisfy the requirements of the current method, the mosaic necessarily splits in two. +
The ''necessary mosaic split'' theorem is a deductive consequence of the second law and the zeroth law. +
In order for the process of scientific change to be possible, the mosaic must necessarily contain at least one employed method. +
In order for the process of scientific change to be possible, the mosaic must necessarily contain at least one employed method. +
In order for the process of scientific change to be possible, the mosaic must necessarily contain at least one element. That is, scientific change is impossible in an empty mosaic. +
The ''non-empty mosaic'' theorem follows deductively from the second law and the third law. +
A community that does not have a collective intentionality to know the world. +
A sub-type of multiple authority delegation where different communities are delegated the same degree of authority over topic ''x''. +
A sub-type of multiple authority delegation where different epistemic agents are delegated the same degree of authority over question ''x''. +
A sub-type of multiple authority delegation where different epistemic agents are delegated the same degree of authority over question ''x''. +
A norm is said to be employed if its requirements constitute the actual expectations of an epistemic agent. +
There is such a thing as [[Norm Employment|norm employment]]. +
[[Norm Employment]] is a subtype of [[Epistemic Stance]], i.e. epistemic stance is a supertype of norm employment. +
A norm is said to be employed if its requirements constitute the actual expectations of an epistemic agent. +
A norm becomes rejected when other elements that are incompatible with the norm become part of the mosaic. +
The norm rejection theorem suggested by Pandey in 2023 is tautological. +
An agent takes theory ''A'' to normatively infer theory ''B'' ''iff'' the agent accepts ''A'', accepts that ''A''→''B'', and accepts (''ε'', ''A'', ''A''→''B'') →<sub>''ε''</sub> (Should accept ''B''). +
A set of propositions that attempts to prescribe something. +
There is such a thing as a [[Normative Theory|normative theory]]. +
[[Normative Theory]] is a subtype of [[Theory]], i.e. theory is a supertype of normative theory. +
A set of propositions that attempts to prescribe something. +
O
Communities A and B are said to be in a relationship of one-sided authority delegation ''iff'' community A delegates authority over topic ''x'' to community B, but community B doesn’t delegate any authority to community A. +
