Nyana is the most rational and logical of all the classical Indian philosophical systems. In the study of Nyana philosophy, Karikavali with its commentary Muktavali, both by Visvanatha Nyayapancanana, with the commentaries Dinakari and Ramarudri, have been of decisive significance for the last few centuries as advanced introductions to this subject. The present work concentrates on inference (anumana) in Karikavali, Muktavali and Dinakari, carefully divided into significant units according to the subject, and translates and interprets them. Its commentary makes use of the primary interpretation in Sanskrit contained especially in the Ramarudri and Subodhini. The book begins with the Sanskrit texts of Karikavali and Muktavali; followed by English translation of these texts. Next is given the Sanskrit text of Dinakari which comments on the first two texts, followed by its English translation. Lastly, the book contains a commentary on all the texts included.

This text examines the boundary between logic and philosophy in Kant and Hegel. Through a detailed analysis of 'quantity', it highlights the different ways Kant and Hegel handle this boundary. Kant is consistent in maintaining this boundary, but Hegel erases it and in the process transforms both logic and philosophy.

Possible Worlds presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

Reissue from the classic Muirhead Library of Philosophy series (originally published between 1890s - 1970s).

Possible Worlds presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

Reissue from the classic Muirhead Library of Philosophy series (originally published between 1890s - 1970s).

Vagueness, volume XX, contains twenty-seven essays, with issues covered including: nihilism, phenomenal sorites, degrees of truth, epistemicism, higher-order vagueness, contextualism, and intuitionism. Written by leading contemporary philosophers, these essays will be of interest to researchers in philosophy of language, philosophical logic, metaphysics and epistemology; as well as those in natural language semantics, artificial intelligence and cognitive science more generally. A substantial introduction written by the editors provides a guide to the topic and to the essays in the volume.

This volume collects 22 essays on the history of logic written by outstanding specialists in the field. The book was originally prompted by the 2018-2019 celebrations in honor of Massimo Mugnai, a world-renowned historian of logic, whose contributions on Medieval and Modern logic, and to the understanding of the logical writings of Leibniz in particular, have shaped the field in the last four decades. Given the large number of recent contributions in the history of logic that have some connections or debts with Mugnai's work, the editors have attempted to produce a volume showing the vastness of the development of logic throughout the centuries. We hope that such a volume may help both the specialist and the student to realize the complexity of the history of logic, the large array of problems that were touched by the discipline, and the manifold relations that logic entertained with other subjects in the course of the centuries. The contributions of the volume, in fact, span from Antiquity to the Modern Age, from semantics to linguistics and proof theory, from the discussion of technical problems to deep metaphysical questions, and in it the history of logic is kept in dialogue with the history of mathematics, economics, and the moral sciences at large.

Contents:
Introduction
1. Plural Quantifications
1. Singular Versus Plural Quantifications
2. Implication
3. Paraphrase
2. The Logic of Plurals
1. Language
2. Logic
Appx: Partial Axiomatization of the Logic of Plurals
3. Is Two a Property?
1. Why Property Two?
2. A Theory of Plural Properties
3. Two As an Intrinsic Plural Property
4. Concluding Remarks
4. What Numbers Should Be
1. Are Numbers Objects?
2. Plural Properties As Components of Numerical Facts
3. Analysis of Numerical Facts
4. Numbers Are Properties
5. How Sets Are Determined by Their Members
1. The Hierarchy of Sets and the Determination of Sets by Their Members
2. Reference to Set-like Objects
Plural Reference to Mundane Objects
3. Exclusive Reference to Mundane Objects
4. Concluding Remarks
References
Index

Knocking on Heaven's Door is the oldest human dream that seems unrealized still. Religious discourse does show the road, but it requires a blind faith in return. In this book logicians try to hear Heaven's Call and to analyze religious discourse. As a result, the notion of religious logic as a part of philosophical logic is introduced. Its tasks are (1) to construct consistent logical systems formalizing religious reasoning that at first sight seems inconsistent (this research is fulfilled within the limits of modal logic, paraconsistent logic and many-valued logic), (2) to carry out an illocutionary analysis of religious discourse (this research is fulfilled in frames of illocutionary logics), and (3) to formalize Ancient and Medieval logical theories used in the theology of an appropriate religion (they could be studied within the limits of unconventional logics, such as non-monotonic logics, non-well-founded logics, etc.).

This volume discusses some crucial ideas of the founders of the analytic philosophy: Gottlob Frege, Bertrand Russell and Ludwig Wittgenstein, or the 'golden trio'. The book shows how these 'old' ideas are still present and influential in the current philosophical debates and to what extent these debates echo the original ideas. The collection aim is twofold: to better understand these fruitful ideas by placing them in the original setting, and to systematically examine these ideas in the context of the current debates animating philosophical discussions today. Divided into five sections, the book first sets the stage and offers a general introduction to the background influences, as well as delimitations of the initial foundational positions. This first section contains two papers dedicated to the discussion of realism and the status of science at that time, followed by two papers that tackle the epistemic status of logical laws. The next three sections constitute the core of the volume, each being dedicated to the most important figures in the early analytic tradition: Frege, Russell, and Wittgenstein. The last section gathers several essays that discuss either the relation between two or more analytic thinkers, or various important concepts such as 'predicativism' and 'arbitrary function', or the principles of abstraction and non-contradiction.

First published in 1998, Taking on Wittgensteinianism themes, but also using, or relying on several mathematical results, Slater in this book explores the idea of realism and further argues how in a philosophical viewpoint is incorrect. Slater also surveys various philosophers in the field of logic to argue against the idea of realism.

Morton Schoolman explores what makes humankind capable of genocide in this fascinating interpretation of Horkheimer and Adorno. He recasts their views on diversity and individuality before and after the Holocaust, as well as re-examining Nietzsche and even Whitman and Tocqueville. He argues that the sensibility the critical theorists argued for is actually nurtured in a democracy, and concludes that to avoid the possibility of genocide people must also change the way they feel, and cultivate an aesthetic sensibility.

Morton Schoolman explores what makes humankind capable of genocide in this fascinating interpretation of Horkheimer and Adorno. He recasts their views on diversity and individuality before and after the Holocaust, as well as re-examining Nietzsche and even Whitman and Tocqueville. He argues that the sensibility the critical theorists argued for is actually nurtured in a democracy, and concludes that to avoid the possibility of genocide people must also change the way they feel, and cultivate an aesthetic sensibility.

Originally published in 1964. This book is concerned with general arguments, by which is meant broadly arguments that rely for their force on the ideas expressed by all, every, any, some, none and other kindred words or phrases. A main object of quantificational logic is to provide methods for evaluating general arguments. To evaluate a general argument by these methods we must first express it in a standard form. Quantificational form is dealt with in chapter one and in part of chapter three; in the remainder of the book an account is given of methods by which arguments when formulated quantificationally may be tested for validity or invalidity. Some attention is also paid to the logic of identity and of definite descriptions. Throughout the book an attempt has been made to give a clear explanation of the concepts involved and the symbols used; in particular a step-by-step and partly mechanical method is developed for translating complicated statements of ordinary discourse into the appropriate quantificational formulae. Some elementary knowledge of truth-functional logic is presupposed.

Originally published in 1962. This book gives an account of the concepts and methods of a basic part of logic. In chapter I elementary ideas, including those of truth-functional argument and truth-functional validity, are explained. Chapter II begins with a more comprehensive account of truth-functionality; the leading characteristics of the most important monadic and dyadic truth-functions are described, and the different notations in use are set forth. The main part of the book describes and explains three different methods of testing truth-functional aguments and agument forms for validity: the truthtable method, the deductive method and the method of normal forms; for the benefit mainly of readers who have not acquired in one way or another a general facility in the manipulation of symbols some of the procedures have been described in rather more detail than is common in texts of this kind. In the final chapter the author discusses and rejects the view, based largely on the so called paradoxes of material implication, that truth-functional logic is not applicable in any really important way to arguments of ordinary discourse.

Originally published in 1962. A clear and simple account of the growth and structure of Mathematical Logic, no earlier knowledge of logic being required. After outlining the four lines of thought that have been its roots - the logic of Aristotle, the idea of all the parts of mathematics as systems to be designed on the same sort of plan as that used by Euclid and his Elements, and the discoveries in algebra and geometry in 1800-1860 - the book goes on to give some of the main ideas and theories of the chief writers on Mathematical Logic: De Morgan, Boole, Jevons, Pierce, Frege, Peano, Whitehead, Russell, Post, Hilbert and Goebel. Written to assist readers who require a general picture of current logic, it will also be a guide for those who will later be going more deeply into the expert details of this field.

Originally published in 1966. Professor Rescher's aim is to develop a "logic of commands" in exactly the same general way which standard logic has already developed a "logic of truth-functional statement compounds" or a "logic of quantifiers". The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of validity in command inference, so that the logical relationships among commands can be studied with something of the rigour to which one is accustomed in other branches of logic.

Originally published in 1934. This fourth edition originally published 1954., revised by C. W. K. Mundle. "It must be the desire of every reasonable person to know how to justify a contention which is of sufficient importance to be seriously questioned. The explicit formulation of the principles of sound reasoning is the concern of Logic". This book discusses the habit of sound reasoning which is acquired by consciously attending to the logical principles of sound reasoning, in order to apply them to test the soundness of arguments. It isn't an introduction to logic but it encourages the practice of logic, of deciding whether reasons in argument are sound or unsound. Stress is laid upon the importance of considering language, which is a key instrument of our thinking and is imperfect.

Originally published in 1973. This book is directed to the student of philosophy whose background in mathematics is very limited. The author strikes a balance between material of a philosophical and a formal kind, and does this in a way that will bring out the intricate connections between the two. On the formal side, he gives particular care to provide the basic tools from set theory and arithmetic that are needed to study systems of logic, setting out completeness results for two, three, and four valued logic, explaining concepts such as freedom and bondage in quantificational logic, describing the intuitionistic conception of the logical operators, and setting out Zermelo's axiom system for set theory. On the philosophical side, he gives particular attention to such topics as the problem of entailment, the import of the Loewenheim-Skolem theorem, the expressive powers of quantificational logic, the ideas underlying intuitionistic logic, the nature of set theory, and the relationship between logic and set theory. There are exercises within the text, set out alongside the theoretical ideas that they involve.

Originally published in 1988. This text gives a lucid account of the most distinctive and influential responses by twentieth century philosophers to the problem of the unity of the proposition. The problem first became central to twentieth-century philosophy as a result of the depsychoiogising of logic brought about by Bradley and Frege who, responding to the 'Psychologism' of Mill and Hume, drew a sharp distinction between the province of psychology and the province of logic. This author argues that while Russell, Ryle and Davidson, each in different ways, attempted a theoretical solution, Frege and Wittgenstein (both in the Tractatus and the Investigations) rightly maintained that no theoretical solution is possible. It is this which explains the importance Wittgenstein attached in his later work to the idea of agreement in judgments. The two final chapters illustrate the way in which a response to the problem affects the way in which we think about the nature of the mind. They contain a discussion of Strawson's concept of a person and provide a striking critique of the philosophical claims made by devotees of artificial intelligence, in particular those made by Daniel Dennett.

Originally published in 1937. A short account of the traditional logic, intended to provide the student with the fundamentals necessary for the specialized study. Suitable for working through individualy, it will provide sufficient knowledge of the elements of the subject to understand materials on more advanced and specialized topics. This is an interesting historic perspective on this area of philosophy and mathematics.

Originally published in 1941. Professor Ushenko treats of current problems in technical Logic, involving Symbolic Logic to a marked extent. He deprecates the tendency, in influential quarters, to regard Logic as a branch of Mathematics and advances the intuitionalist theory of Logic. This involves criticism of Carnap, Russell,Wittgenstein, Broad and Whitehead, with additional discussions on Kant and Hegel. The author believes that the union of Philosophy and Logic is a natural one, and that an exclusively mathematical treatment cannot give an adequate account of Logic. A fundamental characteristic of Logic is comprehensiveness, which brings out the affinity between logic and philosophy, for to be comprehensive is the aim of philosophical ambition.

The articles in this volume are all landmarks in the evolution of modern studies in Indian logic. The book traces the development of modern studies in Indian logic from their beginnings right up to 1998. Each of the articles has very specific reasons for its inclusion.

The articles in this volume are all landmarks in the evolution of modern studies in Indian logic. The book traces the development of modern studies in Indian logic from their beginnings right up to the latest work.