Given its insistence on generality, it faces the demandingness and the "one thought too many" objections as well, at least in any version that keeps criterion of rightness and decision procedure in communication with each other.
Specific data normalization and data dependent initialization of a neural network using principle-component directions as initial weight vectors have led to the development of a classification and decision procedure enabling automatic assignment of proper uncertainty bands to eigenfrequencies of a specific eigenmode shape.
As many chapters of the IPSP report stress, political theorists have recently come to emphasize deliberation as a central aspect of the political process, alongside the distribution of power and the selection of a good voting and decision procedure.
It is also a decidable system, and decision procedures of an elementary kind can be given for it.
Mathematical models and decision procedures for analyzing and solving these problems are discussed.
That is, the aesthete needs to choose the ethical, which entails a commitment to communication and decision procedures.
Indeed, once we have before us the distinction between the amount of value that actually results and the rationally expected good, the full rule-consequentialist is likely to go for expectablist criteria of moral wrongness, blameworthiness, and decision procedures.
Borrowing a page from Wittgenstein, Gert declares that his account changes nothing in common morality, which does not change over time, leaving its central precepts and decision procedures in place and intact (Gert 2004, p. 4).
The kinds of inference rules and decision procedures that one writes for proofs involving equality and rewriting are rather different from proofs that one might write in first-order logic using, say, sequent calculus or natural deduction.
For Gert, then, the point of "doing ethics" is not to come up with some nifty new theory of morality, but rather to provide a faithful descriptive and interpretive rendering of the moral rules, ideals, and decision procedures that we all share.
Hence, the question whether a concatenation of signs is a proposition of a given mathematical calculus (i.e., a calculus with an extra-mathematical application) is still an internal, syntactical question, which we can answer with knowledge of the proofs and decision procedures of the calculus.
