Changes

|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)

}}