Nonclassical theories of truth that take truth to be transparent have some obvious advantages over any classical theory of truth (which must take it as nontransparent on pain of inconsistency). But several authors have recently argued that there’s also a big disadvantage of nonclassical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested that the resulting internal theories are preferable to their external counterparts.

Herbicide soil/solution distribution coefficients (Kd) are used in mathematical models to predict the movement of herbicides in soil and groundwater. Herbicides bind to various soil constituents to differing degrees. The universal soil colloid that binds most herbicides is organic matter (OM), however clay minerals (CM) and metallic hydrous oxides are more retentive for cationic, phosphoric, and arsenic acid compounds. Weakly basic herbicides bind to both organic and inorganic soil colloids. The soil organic carbon (OC) affinity coefficient (Koc) has become a common parameter for comparing herbicide binding in soil; however, because OM and OC determinations vary greatly between methods and laboratories, Koc values may vary greatly. This proposal discusses this issue and offers suggestions for obtaining the most accurate Kd, Freundlich constant (Kf), and Koc values for herbicides listed in the WSSA Herbicide Handbook and Supplement.

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences. yet not in the scope of negation, the system with the reflection schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF. and thus of ramified analysis up to ε0.