Philosophy and Logic of Predication


Book Description

This book investigates philosophical and formal approaches to predication. The topics discussed include Aristotelian predication, a conceptualist approach to predication, possible formalizations of the notion, Fregean predicates and concepts, and Meinongian predication. The contributions discuss the approaches proposed by Aristotle and Frege, as well as the division of classes into a hierarchy of orders. They reanalyze the traditional notions, and offer new insights into predication theory. This book contributes to contemporary debates on predication and predicates in the philosophy of language.




A Concise Introduction to Logic


Book Description




Truth and Predication


Book Description

This brief book takes readers to the very heart of what it is that philosophy can do well. Completed shortly before Donald Davidson's death at 85, Truth and Predication brings full circle a journey moving from the insights of Plato and Aristotle to the problems of contemporary philosophy. In particular, Davidson, countering many of his contemporaries, argues that the concept of truth is not ambiguous, and that we need an effective theory of truth in order to live well. Davidson begins by harking back to an early interest in the classics, and an even earlier engagement with the workings of grammar; in the pleasures of diagramming sentences in grade school, he locates his first glimpse into the mechanics of how we conduct the most important activities in our life--such as declaring love, asking directions, issuing orders, and telling stories. Davidson connects these essential questions with the most basic and yet hard to understand mysteries of language use--how we connect noun to verb. This is a problem that Plato and Aristotle wrestled with, and Davidson draws on their thinking to show how an understanding of linguistic behavior is critical to the formulating of a workable concept of truth. Anchored in classical philosophy, Truth and Predication nonetheless makes telling use of the work of a great number of modern philosophers from Tarski and Dewey to Quine and Rorty. Representing the very best of Western thought, it reopens the most difficult and pressing of ancient philosophical problems, and reveals them to be very much of our day.




Logic for Philosophy


Book Description

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.




Aristotle's Theory of Predication


Book Description

This book claims that Aristotle followed an aspect theory of predication. On it statements make a basic assertion of existence that can be more or less qualified. It is claimed that the aspect theory solves many puzzles about Aristotle's philosophy and gives a new unity to his logic and metaphysics. The book considers Aristotle's views on predication relative to Greek philology, Aristotle's philosophical milieu, and the history and philosophy of predication theory. It offers new perspectives on such issues as existential import; the relation of Categories 2 & 4; the place of differentiae and propria; the predication of matter; unnatural predication; and the square of opposition. It ends by comparing Aristotle's theory with current ones.




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.




Philosophy of Logical Systems


Book Description

This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard (and not so standard) logical systems that were established during the short history of modern logic.




The Logic in Philosophy of Science


Book Description

Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.




Philosophy of Logic


Book Description

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter




Heidegger and Logic


Book Description

There is a tradition of interpreting Heidegger's remarks on logic as an attempt to flout, revise, or eliminate logic, and of thus characterizing Heidegger as an irrationalist. Heidegger and Logic looks closely at Heidegger's writings on logic in the Being and Time era and argues that Heidegger does not seek to discredit logic, but to determine its scope and explain its foundations. Through a close examination of the relevant texts, Greg Shirley shows that this tradition of interpretation rests on mischaracterizations and false assumptions. What emerges from Heidegger's remarks on logic is an account of intelligibility that is both novel and relevant to issues in contemporary philosophy of logic. Heidegger's views on logic form a coherent whole that is an important part of his larger philosophical project and helps us understand it better, and that constitutes a unique contribution to the philosophy of logic