✍ Scribed by Dag Westerståhl
No coin nor oath required. For personal study only.
The paper elaborates two points: i) There is no principal opposition between predicate logic and adherence to subject-predicate form, ii) Aristotle's treatment of quantifiers fits wall into a modern study of generalized quantifiers,
📜 SIMILAR VOLUMES
We consider the expressive power of second-order generalized quantiÿers on ÿnite structures, especially with respect to the types of the quantiÿers. We show that on ÿnite structures with at most binary relations, there are very powerful second-order generalized quantiÿers, even of the simplest possi
Lindström (Theoria, 1966; 32:186-195) introduced a very powerful notion of quantifiers, which permits multiplace quantification and the simultaneous binding of several variables. "Branching" quantification was found to be useful by linguists, e.g., for modeling reciprocal constructions like "Most me
We prove convergence laws for logics of the form L ω ∞ω (Q), where Q is a properly chosen collection of generalized quantifiers, on very sparse finite random structures. We also study probabilistic collapsing of the logics L k ∞ω (Q), where Q is a collection of generalized quantifiers and k ∈ N+, un