Proto-sentences of System G (Myro, p. 407, in PGRICE)

Myro:

formula:

(At)t

"We are now ready to turn our

attention to the

intended 'semantics' of System G."

---

"We could give one or another

'definition of truth'

for sentences (and, as it turns out,

proto-sentences)of System G, thereby

fixing the interpretation of its

nonlogical constants."



---