I first show that most authors who developed Plural Quantification Logic (PQL) argued it could capture various features of natural language better than can other logic systems. I then show that it fails to do so: it radically departs from natural language in two of its essential features; namely, in distinguishing plural from singular quantification and in its use of an relation. Next, I sketch a different approach that is more adequate than PQL for capturing plural aspects of natural language (...) semantics and logic. I conclude with a criticism of the claim that PQL should replace natural language for specific philosophical or scientific purposes. (shrink)

Frege analyzed the grammatical subject-term 'S' in quantified subject-predicate sentences, 'q S are P', as being logically predicative. This is in contrast to Aristotelian Logic, according to which it is a logical subject-term, like the proper name 'a' in 'a is P' – albeit a plural one, designating many particulars. I show that Frege's arguments for his analysis are unsound, and explain how he was misled to his position by the mathematical concept of function. If common nouns in this grammatical (...) subject position are indeed logical subject-terms, this should require a thorough reevaluation of the adequacy of Frege's Predicate Calculus as a tool for the analysis of the logic and semantics of natural language. (shrink)

Frege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ place in logic is so central that many philosophers think, in fact, of it when they think of logic. This book challenges the position in contemporary logic and philosophy of language of the predicate calculus claiming that it is based on mistaken assumptions. Ben-Yami shows that the predicate calculus is different from natural language in its fundamental semantic charac.

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book will be (...) of great interest to philosophers of language, linguists, metaphysicians, and logicians. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

NOWADAYS, even schoolchildren babble about "null sets" and "singletons" and "one-one correspondences," as if they knew what they were talking about. But if they understand even less than their teachers, which seems likely, they must be using the technical jargon with only an illusion of understanding. Beginners are taught that a set having three members is a single thing, wholly constituted by its members but distinct from them. After this, the theological doctrine of the Trinity as "three in one" should (...) be child's play. (shrink)

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

This is a reply to H. Ben-Yami, 'Generalized quantifiers, and beyond' (this journal, 2009), where he argues that standard GQ theory does not explain why natural language quantifiers have a restricted domain of quantification. I argue, on the other hand, that although GQ theory gives no deep explanation of this fact, it does give a sort of explanation, whereas Ben-Yami's suggested alternative is no improvement.