S_N^k帰納的確率論と等値な意味公準を含むL_N^'π帰納的確率論について

抄録

In a current paper we constructed the system S_N^k, 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 S_N^k 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.