Plural Logic


Book Description

Alex Oliver and Timothy Smiley provide a new account of plural logic. They argue that there is such a thing as genuinely plural denotation in logic, and expound a framework of ideas that includes the distinction between distributive and collective predicates, the theory of plural descriptions, multivalued functions, and lists.




The Many and the One


Book Description

Plural logic has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? The result is a more nuanced picture of plural logic's applications than has been given thus far.




Plural Predication


Book Description

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. Yet the apparatus of predication and quantification in standard modern logic does not allow a place for such non-distributive predicates.Thomas McKay's book explores the enrichment of modern logic with plural predication and quantification. We can have genuinely non-distributive predication without relying on singularizing procedures from set theory and mereology. The fundamental 'among' relation can be understood in a way that does not generate any hierarchy of plurals analogous to a hierarchy of types or a hierarchy of higher-order logics. Singular quantification can be understood as a special case, with the general type beingquantifiers that allow both singular and plural quantification. The 'among' relation is formally similar to a 'part of' relation, but the relations are distinct, so that mass quantification and plural quantification cannot be united in the same way that plural and singular are united.Analysis of singular and plural definite descriptions follows, with a defense of a fundamentally Russellian analysis, but coupled with some new ideas about how to be sensitive to the role of context. This facilitates an analysis of some central features of the use of pronouns, both singular and plural.




Unity and Plurality


Book Description

Unity and Plurality presents novel ways of thinking about plurality while casting new light on the interconnections among the logical, philosophical, and linguistic aspects of plurals. The volume brings together new work on the logic and ontology of plurality and on the semantics of plurals in natural language. Plural reference, the view that definite plurals such as 'the students' refer to several entities at once (the individual students), is an approach favoured by logicians and philosophers, who take sentences with plurals ('the students gathered') not to be committed to entities beyond individuals, entities such as classes, sums, or sets. By contrast, linguistic semantics has been dominated by a singularist approach to plurals, taking the semantic value of a definite plural such as 'the students' to be a mereological sum or set. Moreover, semantics has been dominated by a particular ontological view of plurality, that of extensional mereology. This volume aims to build a bridge between the two traditions and to show the fruitfulness of nonstandard mereological approaches. A team of leading experts investigates new perspectives that arise from plural logic and non-standard mereology and explore novel applications to natural language phenomena.




Plurals and Events


Book Description

Barry Schein proposes combining a second-order treatment of plurals with Donald Davidson's suggestion that there are positions for reference to events in ordinary predicates in order to account for several of the more puzzling features of plurals without invoking plural objects, with its attendant metaphysics, and also provide an absolute truth-theoretic characterization of the semantics of sentences with plurals in them. How do we make sense of sentences with plural noun phrases in them? In Plurals and Events, Barry Schein proposes combining a second-order treatment of plurals with Donald Davidson's suggestion that there are positions for reference to events in ordinary predicates in order to account for several of the more puzzling features of plurals without invoking plural objects, with its attendant metaphysics, and also provide an absolute truth-theoretic characterization of the semantics of sentences with plurals in them. Schein's highly original argument should have significant impact on how natural-language semantics is done, with repercussions for philosophy and logic. The book opens with foundational arguments that the logical language should have four major features: reduction to singular predication via a Davidsonian logical form, amereology of events, a logical syntax that allows the constituents of a Davidsonian analysis to be predicated of distinct events and separated from one another by other logical elements, and descriptive anaphors that cross-refer to the events described by antecedent clauses. A semantics for plurality and quantification is developed in the remaining chapters, which address some of the empirical and formal questions raised by the variety of interpretations in which plurals and quantifiers participate.




The Continuum Companion to Philosophical Logic


Book Description

The Continuum Companion to Philosophical Logic offers the definitive guide to a key area of contemporary philosophy. The book covers all the fundamental areas of philosophical logic - topics that have continued to attract interest historically as well as topics that have emerged more recently as active areas of research. Seventeen specially commissioned essays from an international team of experts reveal where important work continues to be done in the area and, most valuably, the exciting new directions the field is taking. The Companion explores issues pertaining to classical logic and its rivals, extensional and intensional extensions of classical logic, semantics for parts of natural language, and the application of logic in the theory of rationality. Crucially the emphasis is on the role that logic plays in understanding philosophical problems. Featuring a series of indispensable research tools, including an A to Z of key terms and concepts, a detailed list of resources, a bibliography and a companion website, this is the essential reference tool for anyone working in contemporary philosophical logic.




Hilary Putnam on Logic and Mathematics


Book Description

This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied topics closely connected to Putnam’s work. It includes 12 papers that analyze, develop, and constructively criticize this notable professor's research in mathematical logic, the philosophy of logic and the philosophy of mathematics. In addition, it features a short essay presenting reminiscences and anecdotes about Putnam from his friends and colleagues, and also includes an extensive bibliography of his work in mathematics and logic. The book offers readers a comprehensive review of outstanding contributions in logic and mathematics as well as an engaging dialogue between prominent scholars and researchers. It provides those interested in mathematical logic, the philosophy of logic, and the philosophy of mathematics unique insights into the work of Hilary Putnam.




The Bloomsbury Companion to Philosophical Logic


Book Description

Logical methods are used in all area of philosophy. By introducing and advancing central to topics in the discipline, The Bloomsbury Companion to Philosophical Logic emphasizes the crucial role logic plays in understanding philosophical problems. Covering stages in the history of logic and of modern logic, this comprehensive Companion looks ahead to new areas of research and explores issues pertaining to classical logic and its rivals, semantics for parts of natural language, and the application of logic in the theory of rationality. Experts in the field provide a mix of technical chapters that offer excellent encyclopaedias of results in the area and chapters of philosophical discussions that survey a range of philosophical positions. To facilitate further study, this volumes also includes a series of research tools such as a detailed index, an up-to-date list of resources and an annotated bibliography. Balancing technical exposition with philosophical discussion, The Bloomsbury Companion to Philosophical Logic not only provides students and lecturers with the basis of a course in philosophical logic, it offers anyone working in this key area of contemporary philosophy a valuable research resource.




Higher-Order Metaphysics


Book Description

This volume explores the use of higher-order logics in metaphysics. Higher-order logics are natural extensions of the common systems of predicate logic, with a history going back to the very beginnings of formal logic. Such logics are well suited to formalize metaphysical views and arguments. Over the last decade, there has been a resurgence of interest in higher-order metaphysics. Seventeen original essays are grouped under five headings. Three introductory chapters present higher-order languages and motivate their use in metaphysics. Three chapters on pure higher-order metaphysics discuss different options of higher-order languages and logics which may be used in metaphysics. Three chapters on applied higher-order metaphysics consider the application of higher-order logic to various central topics of metaphysics. Three historical chapters trace the development of higher-order logic as it relates to metaphysics over the last 150 years. The volume concludes with a discussion, containing two chapters criticizing the use of higher-order logic in metaphysics, as well as responses to these criticisms by two authors.




Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)


Book Description

Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book constitutes the refereed proceedings ofthe 20th anniversary of the International Conference on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. The 19 contributed papers, presentedtogether with 4 invited papers and 6 abstracts, were carefullyreviewed and selected from 38 submissions. The focus of the conferenceis the use of type theoretic, proof theoretic, and model theoreticmethods for describing and formalising natural language syntax,semantics, and pragmatics as well as the implementation of thecorresponding tools.