Property:Formulation Text
Jump to navigation
Jump to search
This is a property of type Text.
I
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'' +