NOMOLOGICAL STATEMENTS AND ADMISSIBLE OPERATIONS

Contents:

1. Introduction

2. Fundamental Terms

3. Original nomological statements

4. Derivative nomological statements

5. Admissible statements

6. Extension of verifiability

7. Counterfactuals of noninterference

8. Relative nomological statements

9. Permissible and proper implication

Appendix: Genuine probabilities and the inductive verification of all-statements

Table of theorems

Table of definitions

Table of definitions in the Appendix