I 117
Laws of Nature/LoN/sings/Armstrong: there is no sign for the law of gravity! Phenomena are only clues!
Sign/Ex Black Clouds: there must be a true inductive generalization, probability.
Designated thing: is like the sign always a particulate fact. There is no sign for the general! (i.e. neither is there for the validity of the laws of nature!
III 26f
Local Laws (below cosmic range): local laws force all theories to distinguish exactly between laws (laws of nature) and law statements:
II 28
There may then be local laws that can never be determined as a full law statement.
III 112
Uninstantiated Laws/UIL/Armstrong: I'll allow them, but as second-class cases of laws. - But there are no uninstantiated universals.
III 121
Uninstantiated Laws/Armstrong: disguised counterfactual conditionals, truth depends entirely on the actual (higher-level laws) - probability does not require the law of the excluded third, the non-true is not a fact - (VsWessel: Wessel has an operator for "unfact": >
Operators/Wessel).
Probability laws are only instantiated if probability is realized.
III 140
Laws with universal scope: "Everything is F" - is that at all possible? - How can a U to make itself necessary?
III 141
Law/Form/Armstrong: every law must have a dyadic structure, because otherwise it could not be used for inferences - universal law: Rel between "being something in the universe" and "being F".
Universe/Armstrong:The universe is really big garden! - (>
Smith's garden is idiosyncratic) - Law in Smith's Garden: relation between quasi-Universals: "fruit in Smith's Garden" and genuine universal: "being an apple".
III 147f
Def Iron Laws/Armstrong: tell us that under certain conditions a state is necessary (or has a certain probability). - No matter what further conditions prevail - they apply, apply no matter what happens (but within certain conditions must be given for the particular).
III 148
Def Oaken Laws/Armstrong: are under certain conditions invalid - but only real universals can be involved.