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,127

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.
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.
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.
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
Branching Quantification v. Two-way Quantification.Nina Gierasimczuk & Jakub Szymanik - 2009 - Journal of Semantics 26 (4):329-366.
Hintikka's thesis revisited.Nina Gierasimczuk & Jakub Szymanik - 2007 - Bulletin of Symbolic Logic 13:273.
Bound Variables and Schematic Letters.Philip Hugly & Charles Sayward - 1981 - Logique Et Analyse 95 (95):425-429.
The decision problem for branching time logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.

Analytics

Added to PP
2009-01-28

Downloads
10 (#1,222,590)

6 months
73 (#72,590)

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