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 1968. This is a critical study of the concept of 'rule' featuring in law, ethics and much philosophical analysis which the author uses to investigate the concept of 'rationality'. The author indicates in what manner the modes of reasoning involved in reliance upon rules are unique and in what fashion they provide an alternative both to the modes of logico-mathematical reasoning and to the modes of scientific reasoning. This prepares the groundwork for a methodology meeting the requirements of the fields using rules such as law and ethics which could be significant for communications theory and the use of computers in normative fields. Other substantive issues related to the mainstream of legal philosophy are discussed - theories of interpretation, the notion of purpose and the requirements of principled decision-making. The book utilizes examples drawn from English and American legal decisions to suggest how the positions of legal positivism and of natural law are equally artificial and misleading.

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 1985. This book is about a single famous line of argument, pioneered by Descartes and deployed to full effect by Kant. That argument was meant to refute scepticism once and for all, and make the world safe for science. 'I think, so I exist' is valid reasoning, but circular as proof. In similar vein, Kant argues from our having a science of geometry to Space being our contribution to experience: a different conclusion, arrived at by a similar fallacy. Yet these arguments do show something: that certain sets of opinions, if professed, show an inbuilt inconsistency. It is this second-strike capacity that has kept transcendental arguments going for so long. Attempts to re-build metaphysics by means of such transcendental reasoning have been debated. This book offers an introduction to the field, and ventures its own assessment, in non-technical language, without assuming previous training in logic or philosophy.

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 1931. This inquiry investigates and develops John Cook Wilson's view of the province of logic. It bases the study on the posthumous collected papers Statement and Inference. The author seeks to answer questions on the nature of logic using Cook Wilson's thought. The chapters introduce and consider topics from metaphysics to grammar and from psychology to knowledge. An early conception of logic in the sciences and presenting the work of an important twentieth century philosopher, this is an engaging work.

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.

Originally published in 1990. A common complaint of philosophers, and men in general, has been that women are illogical. On the other hand, rationality, defined as the ability to follow logical argument, is often claimed to be a defining characteristic of man. Andrea Nye undermines assumptions such as: logic is unitary, logic is independent of concrete human relations, logic transcends historical circumstances as well as gender. In a series of studies of the logics of historical figures Parmenides, Plato, Aristotle, Zeno, Abelard, Ockham, and Frege she traces the changing interrelationships between logical innovation and oppressive speech strategies, showing that logic is not transcendent truth but abstract forms of language spoken by men, whether Greek ruling citizens, imperial administrators, church officials, or scientists. She relates logical techniques, such as logical division, syllogisms, and truth functions, to ways in which those with power speak to and about those subject to them. She shows, in the specific historical settings of Ancient and Hellenistic Greece, medieval Europe, and Germany between the World Wars, how logicians reworked language so that dialogue and reciprocity are impossible and one speaker is forced to accept the words of another. In the personal, as well as confrontative style of her readings, Nye points the way to another power in the words of women that might break into and challenge rational discourses that have structured Western thought and practice.

Originally published in 1994, The Incommensurability Thesis is a critical study of the Incommensurability Thesis of Thomas Kuhn and Paul Feyerabend. The book examines the theory that different scientific theories may be incommensurable because of conceptual variance. The book presents a critique of the thesis and examines and discusses the arguments for the theory, acknowledging and debating the opposing views of other theorists. The book provides a comprehensive and detailed discussion of the incommensurability thesis.

This book provides a fresh reading of Aquinas' metaphysics in the light of insights from the works of Frege. In particular, Ventimiglia argues that Aquinas' doctrine of being can be better understood through Frege's distinction between the 'there is' sense and the 'present actuality' sense of being, as interpreted by Peter Geach and Anthony Kenny. Aquinas' notion of essence becomes clearer in the light of Frege's distinction between objects and concepts and his account of concepts as functions. Aquinas' doctrine of trancendentals is clarified with the help of Frege's accounts of assertion and negation. Aquinas after Frege provides us with a new Aquinas, which pays attention to his texts and their historical context. Ventimiglia's development of 'British Thomism' furnishes us with a lucid and exciting re-reading of Aquinas' metaphysics.

The aim of this volume is to open up new perspectives and to raise new research questions about a unified approach to truth, modalities, and propositional attitudes. The volume's essays are grouped thematically around different research questions. The first theme concerns the tension between the theoretical role of the truth predicate in semantics and its expressive function in language. The second theme of the volume concerns the interaction of truth with modal and doxastic notions. The third theme covers higher-order solutions to the semantic and modal paradoxes, providing an alternative to first-order solutions embraced in the first two themes. This book will be of interest to researchers working in epistemology, logic, philosophy of logic, philosophy of language, philosophy of mathematics, and semantics. The Open Access version of this book, available at www.taylorfrancis.com, has been made available under a Creative Commons Attribution-Non Commercial-No Derivatives 4.0 license.

This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created.

How do we think? What does a faithful use of logic look like? Without even pausing to think about it, we exercise our capacity for rational thought. But how exactly does logic work? What makes some arguments valid and others not? In this Questions in Christian Philosophy volume, philosopher Forrest Baird offers an introduction to logic. He considers the basic building blocks of human reason, including types of arguments, fallacies, syllogisms, symbols, and proofs, all of which are demonstrated with exercises for students throughout. In addition, he reflects on the relationship between the use of reason and the Christian faith. With this academic but accessible primer, readers will be introduced to the basics of logic-and encouraged to reason better. The Questions in Christian Philosophy Series features introductory textbooks that offer students a Christian perspective on the various branches of philosophy, enabling them as they seek to understand all facets of life including existence, knowledge, ethics, art, and more.

Originally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. The book deals with "propositional" logic by the truth-table method, briefly introducing axiomatic procedures, and proceeds to the theory of the syllogism, the logic of one-place predicates, and elementary parts of the logic of many-place predicates. Revision material is provided covering the main parts of the course. The course represents from eight to twenty hours work. depending on the student's speed of work and on whether optional chapters are taken.

Originally published in 1967. The common aim of all logical enquiry is to discover and analyse correctly the forms of valid argument. In this book concise expositions of traditional, Aristotelian logic and of modern systems of propositional and predicative logic show how far that aim has been achieved.

Originally published in 1990. This study was first written in 1965 when interest in Leibniz was intensifying. The book looks in detail at the doctrine of necessity - that necessary truths are those derivable from the principle of identity by the substitution of definitions. It first considers views of philosophic predecessors, relating Leibniz' doctrine to Aristotle and Hobbes among others. The second section examines the conflict between his reductionistic and formalistic views and the opposing intuitionism and anti-reductionism of Descartes and Locke. The author critically examines the theory of necessity, including Leibniz's arguments against the views of Hobbes and Locke, concluding with distinctions between necessary and contingent truths.

Originally published in 1985. This study concerns the problem of treating identity as a relation between an object and itself. It addresses the Russellian and Fregean solutions and goes on to present in the first part a surfacist account of belief-context ambiguity requiring neither differences in relative scope nor distinctions between sense and reference. The second part offers an account of negative existentials, necessity and identity-statements which resolves problems unlike the Russell-Frege analyses. This is a detailed work in linguistics and philosophy.

Originally published in 1973. This final collection of thought by founder of the New School for Social Research in New York, Horace M. Kallen, touches on topics from language to death and from freedom to value. The author's treatise explores his understanding of logic and existence.

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 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.

The primary purpose of this book has not been to recount all that past scholars have said about the science, but rather to record the first appearances of those ideas which seem most important in the logic of our own day.

Originally published in 1972, Medieval Logic and Metaphysics shows how formal logic can be used in the clarification of philosophical problems. An elementary exposition of Lesniewski's Onotology, an important system of contemporary logic, is followed by studies of central philosophical themes such as Negation and Non-being, Essence and Existence, Meaning and Reference, Part and Whole. Philosophers and theologians discussed include St Anselm, St Thomas Aquinas, Abelard, Ockham, Scotus, Hume and Russell.

This innovative text reinvigorates argumentation studies by exploring the experience of argument across cultures, introducing an anthropological perspective into the domains of rhetoric, communication, and philosophy. The Anthropology of Argument fills an important gap in contemporary argumentation theory by shifting the focus away from the purely propositional element of arguments and onto how they emerge from the experiences of peoples with diverse backgrounds, demonstrating how argumentation can be understood as a means of expression and a gathering place of ideas and styles. Confronting the limitations of the Western tradition of logic and searching out the argumentative roles of place, orality, myth, narrative, and audience, it examines the nature of multi-modal argumentation. Tindale analyzes the impacts of colonialism on the field and addresses both optimistic and cynical assessments of contextual differences. The results have implications for our understanding of contemporary argumentative discourse in areas marked by deep disagreement, like politics, law, and social policy. The book will interest scholars and upper-level students in communication, philosophy, argumentation theory, anthropology, rhetoric, linguistics, and cultural studies.