A Pursuit of Simple Basic System

Katuzi ONO
1966 Annals of the Japan Association for Philosophy of Science  
Although we deal with propositions expressed in a form of sentence in a certain language or by a sequence of symbols in a certain formal system, we suppose behind them something essential, usually called their meanings. Relying on this supposition, we talk of various expressions (in various languages or formal systems) of the same proposition.
doi:10.4288/jafpos1956.3.6 fatcat:tg7kbrtq3rdrnavwuwxesudby4