1970 Volume 3 Pages 27-43
In a current paper we constructed the system SNk, which is an extended and generalized system of Carnap's inductive logic. In the present paper we shall show that the new system L'Nπ equivalent to SNk can be constructed within predicate logic of first order with some meaning postulates.
Some remarks have been made by Carnap concerning the use of meaning postulates for inductive logic. However, our aim of the use of meaning postulates is altogether different from and ought not to be confused with Carnap's.