Binary Quantification Systems

&
Notre Dame Journal of Formal Logic 36 (3):382-395 (1995)
  Copy   BIBTEX

Abstract

We investigate the formal theory of binary quantifiers, that is, quantifiers that take seriously the surface structure of natural language quantifier phrases. We show how to develop a natural deduction system for logics of this sort and demonstrate soundness and completeness results

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040149354

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Rabin's uniformization problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1105-1119.
On What There Are.Philippe De Rouilhan - 2002 - Proceedings of the Aristotelian Society 102:183 - 200.
Indenumerability and substitutional quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.
‘That’-Clauses and Non-nominal Quantification.Tobias Rosefeldt - 2008 - Philosophical Studies 137 (3):301 - 333.
Non-traditional squares of predication and quantification.Mireille Staschok - 2008 - Logica Universalis 2 (1):77-85.
Truth via Sentential Quantification.Mark Textor - 2005 - Dialogue 44 (3):539-550.
Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.
Proof and quantification.Thomas Blossier, Thomas Barrier & Viviane Durand-Guerrier - unknown
Leibniz' binary system and Shao Yong's "yijing".James A. Ryan - 1996 - Philosophy East and West 46 (1):59-90.
Sets, properties, and unrestricted quantification.Øystein Linnebo - 2006 - In Gabriel Uzquiano & Agustin Rayo (eds.), Absolute Generality. Oxford University Press. pp. 149--178.
Modifications of Quine's ML and inclusive quantification systems.George Goe - 1968 - Journal of Symbolic Logic 33 (1):39-42.
Is Justice Binary?: A Free-Will-Related Exploration.Saul Smilansky - 2003 - Metaphilosophy 34 (4):476-487.
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Sortal quantification and restricted quantification.F. Jeffry Pelletier - 1972 - Philosophical Studies 23 (6):400 - 404.
Quantification and Second-Order Quantification.Paul M. Pietroski - 2003 - Philosophical Perspectives 17 (1):259--298.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,013,785)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michaelis Michael
University of New South Wales

Citations of this work

Add more citations

References found in this work

Replies.W. V. Quine - 1968 - Synthese 19 (1-2):264 - 322.

Add more references