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