Outline of a Theory of Quantification

摘要: Ramification1 is fundamentally a theory of quantification. It says that no proposition can quantify over itself (or propositions it, etc.).2 Slightly more carefully, so as to not assume themselves contain quantifiers, it there an infinite hierarchy orders propositions, and if sentence (or, even formula P) denotes order n, quantifiers in the (P) range only m > n. I often speak loosely quantifying with understanding such talk be avoided necessary. also assume, contrary Russell’s version ramification but line Church’s (Church, 1976), are cumulative, n appear all