editor, Administrators
500
edits
Changes
Jump to navigation
Jump to search
Static Procedural Methods theorem (Barseghyan-2015) (view source)
Revision as of 23:25, 27 September 2016
, 23:25, 27 September 2016Created page with "{{Theory |Title=Static Procedural Methods theorem |Theory Type=Descriptive |Formulation Text=All procedural methods are necessarily static. |Formulation File=Static-procedural..."
{{Theory
|Title=Static Procedural Methods theorem
|Theory Type=Descriptive
|Formulation Text=All procedural methods are necessarily static.
|Formulation File=Static-procedural-methods-theorem-box-only.jpg
|Topic=Static vs. Dynamic Methods
|Authors List=Hakob Barseghyan,
|Formulated Year=2015
|Description=A '''procedural method''' is a method which presupposes a necessary truth about the world. Given the nature of necessary truths, it is impossible for one such truth to contradict another necessary truth since it must be true in all possible worlds. Therefore, it follows from the '''Method Rejection''' theorem that, since there can be no elements at odds with a necessary truth, any procedural method is, in principle, static.
|Resource=Barseghyan (2015)
}}
{{Acceptance Record
|Community=Community:Scientonomy
|Accepted From Era=CE
|Accepted From Year=2016
|Accepted From Month=January
|Accepted From Day=1
|Accepted From Approximate=No
|Acceptance Indicators=The 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 Approximate=No
}}
|Title=Static Procedural Methods theorem
|Theory Type=Descriptive
|Formulation Text=All procedural methods are necessarily static.
|Formulation File=Static-procedural-methods-theorem-box-only.jpg
|Topic=Static vs. Dynamic Methods
|Authors List=Hakob Barseghyan,
|Formulated Year=2015
|Description=A '''procedural method''' is a method which presupposes a necessary truth about the world. Given the nature of necessary truths, it is impossible for one such truth to contradict another necessary truth since it must be true in all possible worlds. Therefore, it follows from the '''Method Rejection''' theorem that, since there can be no elements at odds with a necessary truth, any procedural method is, in principle, static.
|Resource=Barseghyan (2015)
}}
{{Acceptance Record
|Community=Community:Scientonomy
|Accepted From Era=CE
|Accepted From Year=2016
|Accepted From Month=January
|Accepted From Day=1
|Accepted From Approximate=No
|Acceptance Indicators=The 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 Approximate=No
}}
