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.

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 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.

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.

The concepts of identity, existence, predication, necessity, and truth are at the centre of philosophy and have rightly received sustained attention. Yet Colin McGinn believes that orthodox views of these topics are misguided in important ways. Philosophers and logicians have often distorted the nature of these concepts in an attempt to define them according to preconceived ideas. Logical Properties aims to respect the ordinary ways we talk and think when we employ these concepts, while at the same time showing that they are far more interesting and peculiar than some have supposed. There are real properties corresponding to these concepts - logical properties - that challenge naturalistic metaphysical views. These are not pseudo-properties or mere pieces of syntax. Logical Properties is written with the minimum of formal apparatus and deals with logico-linguistic issues as well as ontological ones. The focus is on trying to get to the essence of what the concept concerned stands for, and not merely finding some established notation for providing formal paraphrases.

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if ..., then ..." can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises. Philosophical and Mathematical Logic is a very recent book (2018), but with every aspect of a classic. What a wonderful book! Work written with all the necessary rigor, with immense depth, but without giving up clarity and good taste. Philosophy and mathematics go hand in hand with the most diverse themes of logic. An introductory text, but not only that. It goes much further. It's worth diving into the pages of this book, dear reader! Paulo Sérgio Argolo