Ways of branching quantifers
Linguistics and Philosophy 13 (4):393 - 422 (1990)
| Abstract | Branching quantifiers were first introduced by L. Henkin in his 1959 paper ‘Some Remarks on Infmitely Long Formulas’. By ‘branching quantifiers’ Henkin meant a new, non-linearly structured quantiiier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form} The branching (or partially-ordered) quantifier-prefix is, however, not essentially infinitistic, and the issues it raises have largely been discussed in the literature in the context of finitistic logic, as they will be here. Our discussion transcends, however, the resources of standard lst-order languages and we will consider the new form in the context of 1st-order logic with 1- and 2-place ‘Mostowskian` generalized quantifiers.2.. | |||||||||
| Keywords | bibtex-import generalized quantifiers | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKevin T. Kelly & Clark Glymour (1990). Theory Discovery From Data with Mixed Quantifiers. Journal of Philosophical Logic 19 (1):1 - 33.
Jaap Van Pelt & Harry B. M. Uylings (2003). Growth Functions in Dendritic Outgrowth. Brain and Mind 4 (1):51-65.
Georg Gottlob (1997). Relativized Logspace and Generalized Quantifiers Over Finite Ordered Structures. Journal of Symbolic Logic 62 (2):545-574.
Lauri Hella, Jouko Väänänen & Dag Westerståhl (1997). Definability of Polyadic Lifts of Generalized Quantifiers. Journal of Logic, Language and Information 6 (3):305-335.
Huiyuhl Yi (2010). Non-Branching Clause. Metaphysica 11 (2):191-210.
Thomas Müller (2012). Branching in the Landscape of Possibilities. Synthese 188 (1):41-65.
G. Y. Sher (1997). Partially-Ordered (Branching) Generalized Quantifiers: A General Definition. Journal of Philosophical Logic 26 (1):1-43.
Tapani Hyttinen & Gabriel Sandu (2000). Henkin Quantifiers and the Definability of Truth. Journal of Philosophical Logic 29 (5):507-527.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #161,910 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
