A defense of branching quantification

Synthese 95 (3):419 - 432 (1993)
  Copy   BIBTEX

Abstract

Adding branching quantification to a first-order language increases the expressive power of the language,without adding to its ontology. The present paper is a defense of this claim against Quine (1970) and Patton (1991).

Categories

Keywords

Reprint years

DOI

10.1007/bf01063880

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Should a higher-order metaphysician believe in properties?David Liggins - 2021 - Synthese 199 (3-4):10017-10037.
Quantification over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - Studia Logica 82 (3):379-400.
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
A first-order axiomatization of the theory of finite trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.
Branching Quantification v. Two-way Quantification.Nina Gierasimczuk & Jakub Szymanik - 2009 - Journal of Semantics 26 (4):329-366.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Hintikka's thesis revisited.Nina Gierasimczuk & Jakub Szymanik - 2007 - Bulletin of Symbolic Logic 13:273.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Carnap, Quine, Quantification and Ontology.Gregory Lavers - 2015 - In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer.

Analytics

Added to PP
2009-01-28

Downloads
73 (#220,663)

6 months
8 (#505,340)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Hand
Texas A&M University

Citations of this work

Names.Sam Cumming - 2009 - Stanford Encyclopedia of Philosophy.
Is Hintikka's Logic First-Order?Matti Eklund & Daniel Kolak - 2002 - Synthese 131 (3):371-388.
Informational variability.Michael Hand - 1994 - Synthese 99 (3):417 - 456.

Add more citations

References found in this work

Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
Philosophy of Logic.W. V. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
Finite partially-ordered quantification.Wilbur John Walkoe - 1970 - Journal of Symbolic Logic 35 (4):535-555.

View all 11 references / Add more references