No catches, no fine print just unadulterated book loving, with your favourite books saved to your own digital bookshelf.
New members get entered into our monthly draw to win £100 to spend in your local bookshop Plus lots lots more…Find out more
See below for a selection of the latest books from Philosophy: logic category. Presented with a red border are the Philosophy: logic books that have been lovingly read and reviewed by the experts at Lovereading. With expert reading recommendations made by people with a passion for books and some unique features Lovereading will help you find great Philosophy: logic books and those from many more genres to read that will keep you inspired and entertained. And it's all free!
In the twenty-first century there are two ways to study logic. The more recent approach is symbolic logic. The history of teaching logic since World War II, however, casts doubt on the idea that symbolic logic is best for a first logic course. Logic as a Liberal Art is designed as part of a minority approach, teaching logic in the verbal way, in the student's natural language, the approach invented by Aristotle. On utilitarian grounds alone, this verbal approach is superior for a first course in logic, for the whole range of students. For millennia, this verbal approach to logic was taught in conjunction with grammar and rhetoric, christened the trivium. The decline in teaching grammar and rhetoric in American secondary schools has led Rollen Edward Houser to develop this book. The first part treats grammar, rhetoric, and the essential nature of logic. Those teachers who look down upon rhetoric are free, of course, to skip those lessons. The treatment of logic itself follows Aristotle's division of the three acts of the mind (Prior Analytics 1.1). Formal logic is then taken up in Aristotle's order, with Parts on the logic of Terms, Propositions, and Arguments. The emphasis in Logic as a Liberal Art is on learning logic through doing problems. Consequently, there are more problems in each lesson than would be found, for example, in many textbooks. In addition, a special effort has been made to have easy, medium, and difficult problems in each Problem Set. In this way the problem sets are designed to offer a challenge to all students, from those most in need of a logic course to the very best students.
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest's research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism-the thesis that there exist true but inconsistent sentences-and paraconsistency-an account of deduction in which contradictory premises do not entail the truth of arbitrary sentences. Priest's work has regularly challenged researchers to reappraise many assumptions about rationality, ontology, and truth. This book collects original research by some of the most esteemed scholars working in philosophical logic, whose contributions explore and appraise Priest's work on logical approaches to problems in philosophy, linguistics, computation, and mathematics. They provide fresh analyses, critiques, and applications of Priest's work and attest to its continued relevance and topicality. The book also includes Priest's responses to the contributors, providing a further layer to the development of these themes .
The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski's motivation and presents discussions about his ideas (pro and contra) as well as points out various applications of the semantic theory of truth to philosophical problems (truth-criteria, realism and anti-realism, future contingents or the concept of correspondence between language and reality).
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 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.
Originally published in 1973. This book presents a valid mode of reasoning that is different to mathematical probability. This inductive logic is investigated in terms of scientific investigation. The author presents his criteria of adequacy for analysing inductive support for hypotheses and discusses each of these criteria in depth. The chapters cover philosophical problems and paradoxes about experimental support, probability and justifiability, ending with a system of logical syntax of induction. Each section begins with a summary of its contents and there is a glossary of technical terms to aid the reader.
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. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. Part I expounds and discusses implicational calculi, modal logics and many-valued logics and their associated calculi. Part II considers the detailed development of various many-valued calculi, and some of the important metathereoms which have been proved for them. Applications of the calculi to problems in the philosophy are also surveyed. This work combines criticism with exposition to form a comprehensive but concise survey of the 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 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 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 1969. This book is for undergraduates whether specializing in philosophy or not. It assumes no previous knowledge of logic but aims to show how logical notions arise from, or are abstracted from, everyday discourse, whether technical or non-technical. It sets out a knowledge of principles and, while not historical, gives an account of the reasons for which modern systems have emerged from the traditional syllogistic logic, demonstrating how certain central ideas have developed. The text explains the connections between everyday reasoning and formal logic and works up to a brief sketch of systems of propositional calculus and predicate-calculus, using both the axiomatic method and the method of natural deduction. It provides a self-contained introduction but for those who intend to study the subject further it contains many suggestions and a sound basis for more advanced study.