Possibility (b) will scarcely help to clarify the logical relation between probability statements and basic statements: it is only too obvious that a non falsifiable statement, ie one which says very little, can belong to the consequence class of one which is falsifiable, and which thus says more.