This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

In this paper I will argue that a profile of the pseudo-sciences can be gained from the scientific pretensions of the pseudo-scientist. These pretensions provide two yardsticks which together take care of the charge of scientific prejudice that any suggested demarcation of pseudo-science has to face. To demonstrate that my analysis has teeth I will apply it to Freud and modern-day Bach-kabbalists. Against Laudan I will argue that the problem of demarcation is not a pseudo-problem, though the discussion will bear (...) out that Laudan's replacement question, namely the question whether someone's theory is well-confirmed, is not, as Lugg claimed, independent of the question as to whether that person is a pseudo-scientist. I further argue that my prototype pseudo-scientists do not have the shortcomings highlighted in Thagard's recent analysis of pseudo-science. (shrink)

Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...) try to find out whether it is true or not. But, from the point of view of empiricism, there is a still closer connection between the two problems. In a certain sense, there is only one answer to the two questions. If we knew what it would be for a given sentence to be found true then we would know what its meaning is. And if for two sentences the conditions under which we would have to take them as true are the same, then they have the same meaning. Thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. (shrink)

A plural referring expression (‘the Fs’ or ‘Tom, Dick and Harriet’) may be used to refer either distributively, saying something which applies to each of the Fs individually, or collectively, to the Fs taken as a single totality. Predicate Logic has to analyse both uses in terms of singular reference, treating them quite differently in so doing; but we think of such an expression as functioning in basically the same way in both kinds of use. This understanding can be vindicated (...) if we recognise that what a plural referring expression picks out is not either an aggregate simpliciter or a set, but a plurality– an aggregate taken relative to a principle for individuating its constituents; this admits of being seen either as many things or as one. In any given case, it is the nature of what is being said about the plurality which tells us whether the reference to it is to be taken as distributive, collective, or a combination of the two. Talk about pluralities is extensional. Augmenting Predicate Logic to accommodate the distinctive inference‐pattern associated with distributive plural reference is simple – and arguably necessary, to cope with cases in which distributive and collective reference are essentially combined (e.g., attributions of concerted action). (shrink)

A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory.

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)

where ‘aa’ is a plural term, and ‘F’ a plural predicate. Following George Boolos (1984) and others, many philosophers and logicians also think that plural expressions should be analysed as not introducing any new ontological commitments to some sort of ‘plural entities’, but rather as involving a new form of reference to objects to which we are already committed (for an overview and further details, see Linnebo 2004). For instance, the plural term ‘aa’ refers to Alice, Bob and Charlie simultaneously, (...) and the plural predicate ‘F’ is true of some things just in case these things cooperate. A natural question that arises is whether the step from the singular to the plural can be iterated. Are there terms that stand to ordinary plural terms the way ordinary plural terms stand to singular terms? Let’s call such terms superplural. A superplural term would thus, loosely speaking, refer to several ‘pluralities’ at once, much as an ordinary plural term refers to several objects at once.1 Further, let’s call a predicate superplural if it can be predicated of superplural terms. It is reasonably straightforward to devise a formal logic of superplural terms, superplural predicates, and even superplural quantifiers (see Rayo 2006). But does this formal logic reflect any features of natural languages? In particular, does ordinary English contain superplural terms and predicates? The purpose of this article is to address these questions. We examine some earlier arguments for the existence of superplural expressions in English and find them to be either.. (shrink)

It was about half a century ago that the mind–body problem, which like much else in serious metaphysics had been moribund for several decades, was resurrected as a mainstream philosophical problem. The first impetus came from Gilbert Ryle'sThe Concept of Mind, published in 1948, and Wittgenstein's well-known, if not well-understood, reflections on the nature of mentality and mental language, especially in hisPhilosophical Investigationswhich appeared in 1953. The primary concerns of Ryle and Wittgenstein, however, focused on the logic of mental discourse (...) rather than the metaphysical issue of how our mentality is related to our bodily nature. In fact, Ryle and Wittgenstein would have regarded, each for different reasons, the metaphysical problem of the mind-body relation as arising out of deplorable linguistic confusions and not amenable to intelligible discussion. There was C. D. Broad's earlier and much neglected classic,The Mind and Its Place in Nature, which appeared in 1925, but this work, although robustly metaphysical, failed to connect with, and shape, the mind–body debate in the second half of this century. (shrink)

To begin with the obvious, both philosophers and empirical scientists in various fields are interested in learning about the mind and mental states. That the philosophical task is different from the scientific task was once taken for granted. It has become increasingly more common, however, to hear philosophers of mind suggesting some sort of "partnership" between philosophy and cognitive science. There is no bright line separating philosophy and science, the argument goes. Each field, it is said, can learn from the (...) other. These suggested partnerships have always struck me as shaky at best—bewildering at worst. In this paper I want to defend the traditional separation of philosophical and empirical questions. I want to urge that we render unto cognitive science its empirical investigation, while we render unto philosophy the fundamental epistemological and ontological questions that empirical science never will and never could answer. (shrink)

Hegel's system of philosophy was not only the leading form of metaphysics during his lifetime, but it has taken on increasing significance in our own time. The main element in this compact collection of Hegel's thought is an eagerly awaited new translation of one of the most influential works of thought ever written, the "Encyclopedia of the Philosophical Sciences in Outline." Also included is "Preface to the System of Philosophy" and "Solger's Posthumous Writings and Correspondence." (For other texts in German (...) Philosophy, see vols. 5, 13, 23, 27, 40, 48, and 78). (shrink)

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)

This famous book, first published in 1929 was considerably revised and enlarged in its fourth edition, which is being reprinted now.

What is the mind? Is consciousness a process in the brain? How do our minds represent the world? Philosophy of Mind: Classical and Contemporary Readings is a grand tour of writings on these and other perplexing questions about the nature of the mind. The most comprehensive collection of its kind, the book includes sixty-three selections that range from the classical contributions of Descartes to the leading edge of contemporary debates. Extensive sections cover foundational issues, the nature of consciousness, and the (...) nature of mental content. Three of the selections are published here for the first time, while many other articles have been revised especially for this volume. Each section opens with an introduction by the editor. Philosophy of Mind is suitable for students at all levels and also for general readers. (shrink)

Aristotle, great Greek philosopher, researcher, reasoner, and writer, born at Stagirus in 384 BCE, was the son of Nicomachus, a physician, and Phaestis. He studied under Plato at Athens and taught there ; subsequently he spent three years at the court of a former pupil, Hermeias, in Asia Minor and at this time married Pythias, one of Hermeias's relations. After some time at Mitylene, in 343?2 he was appointed by King Philip of Macedon to be tutor of his teen-aged son (...) Alexander. After Philip's death in 336, Aristotle became head of his own school, the Lyceum at Athens. Because of anti-Macedonian feeling there after Alexander's death in 323, he withdrew to Chalcis in Euboea, where he died in 322. Nearly all the works Aristotle prepared for publication are lost; the priceless ones extant are lecture-materials, notes, and memoranda. They can be categorized as follows: I Practical: Nicomachean Ethics; Great Ethics ; Eudemian Ethics; Politics; Economics ; On Virtues and Vices. II Logical: Categories; Analytics ; Interpretation; Refutations used by Sophists; Topica. III Physical: Twenty-six works including astronomy, generation and destruction, the senses, memory, sleep, dreams, life, facts about animals, etc. IV Metaphysics: on being as being. V Art: Rhetoric and Poetics. VI Other works including the Constitution of Athens; more works also of doubtful authorship. VII Fragments of various works such as dialogues on philosophy and literature; and of treatises on rhetoric, politics and metaphysics. The Loeb Classical Library edition of Aristotle is in twenty-three volumes. (shrink)

Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it has been argued (...) that we have good reason to admit among our primitive logical notions also the plural quantifiers ∀xx and ∃xx. More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as ‘pure logic’; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic second-order logic qualifies as “pure logic.” Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects. (shrink)

I have two main objectives. The first is to get a better understanding of what is at issue between friends and foes of higher-order quantification, and of what it would mean to extend a Boolos-style treatment of second-order quantification to third- and higherorder quantification. The second objective is to argue that in the presence of absolutely general quantification, proper semantic theorizing is essentially unstable: it is impossible to provide a suitably general semantics for a given language in a language of (...) the same logical type. I claim that this leads to a trilemma: one must choose between giving up absolutely general quantification, settling for the view that adequate semantic theorizing about certain languages is essentially beyond our reach, and countenancing an open-ended hierarchy of languages of ever ascending logical type. I conclude by suggesting that the hierarchy may be the least unattractive of the options on the table. (shrink)

In demarcating science from pseudo-science and non-science, traditional suggestions make verifiability or falsifiability the decisive criteria. it is in the context of questioning and problem-stating that the activities of verifying and falsifying really receive their significance. the purpose of the work is to demarcate science by proposing criteria for scientific problem-stating. logic of discovery can supply the criteria (cf. bolzano, cf. also traditional problem lists).

It was about half a century ago that the mind–body problem, which like much else in serious metaphysics had been moribund for several decades, was resurrected as a mainstream philosophical problem. The first impetus came from Gilbert Ryle's The Concept of Mind , published in 1948, and Wittgenstein's well-known, if not well-understood, reflections on the nature of mentality and mental language, especially in his Philosophical Investigations which appeared in 1953. The primary concerns of Ryle and Wittgenstein, however, focused on the (...) logic of mental discourse rather than the metaphysical issue of how our mentality is related to our bodily nature. In fact, Ryle and Wittgenstein would have regarded, each for different reasons, the metaphysical problem of the mind-body relation as arising out of deplorable linguistic confusions and not amenable to intelligible discussion. There was C. D. Broad's earlier and much neglected classic, The Mind and Its Place in Nature , which appeared in 1925, but this work, although robustly metaphysical, failed to connect with, and shape, the mind–body debate in the second half of this century. (shrink)