Testability and meaning. II. (Q2603350)

Ein Empiriker wird einer formalen Sprache gewisse Beschränkungen auferlegen. Verf. zeigt in Fortsetzung seiner früheren Ausführungen (Philos. Sci., Baltimore, 3 (1936), 420-471; F.~d.~M. 62\(_{\text{II}}\), 1052), welche Konsequenzen (z.~B. die, daß alle Aussagen der Sprache nachprüfbar sind) gewisse derartige Forderungen (z.~B. die, daß alle auftretenden ``primitiven Prädikate'' beobachtbar sein sollen) nach sich ziehen. Insbesondere wird der Einfluß unbeschränkter Operatoren betrachtet, und es werden die sogenannten ``Voraussagen'' diskutiert.