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.

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.

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.

This Handbook offers students and more advanced readers a valuable resource for understanding linguistic reference; the relation between an expression (word, phrase, sentence) and what that expression is about. The volume's forty-one original chapters, written by many of today's leading philosophers of language, are organized into ten parts: I Early Descriptive Theories II Causal Theories of Reference III Causal Theories and Cognitive Significance IV Alternate Theories V Two-Dimensional Semantics VI Natural Kind Terms and Rigidity VII The Empty Case VIII Singular (De Re) Thoughts IX Indexicals X Epistemology of Reference Contributions consider what kinds of expressions actually refer (names, general terms, indexicals, empty terms, sentences), what referring expressions refer to, what makes an expression refer to whatever it does, connections between meaning and reference, and how we know facts about reference. Many contributions also develop connections between linguistic reference and issues in metaphysics, epistemology, philosophy of mind, and philosophy of science.

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.

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato's dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. Naturalizing Logico-Mathematical Knowledge contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers' willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies.

Real Essentialism presents a comprehensive defence of neo-Aristotelian essentialism. Do objects have essences? Must they be the kinds of things they are in spite of the changes they undergo? Can we know what things are really like - can we define and classify reality? Many, if not most, philosophers doubt this, influenced by centuries of empiricism, and by the anti-essentialism of Wittgenstein, Quine, Popper, and other thinkers. Real Essentialism reinvigorates the tradition of realist, essentialist metaphysics, defending the reality and knowability of essence, the possibility of objective, immutable definition, and its relevance to contemporary scientific and metaphysical issues such as whether essence transcends physics and chemistry, the essence of life, the nature of biological species, and the nature of the person.

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.

Philosophical questions regarding the nature and methodology of philosophical inquiry have garnered much attention in recent years. Perhaps nowhere are these discussions more developed than in relation to the field of metaphysics. The Routledge Handbook of Metametaphysics is an outstanding reference source to this growing subject. It comprises thirty-eight chapters written by leading international contributors, and is arranged around five themes: * The history of metametaphysics * Neo-Quineanism (and its objectors) * Alternative conceptions of metaphysics * The epistemology of metaphysics * Science and metaphysics. Essential reading for students and researchers in metaphysics, philosophical methodology, and ontology, The Routledge Handbook of Metametaphysics will also be of interest to those in closely related subjects such as philosophy of language, logic, and philosophy of science.

The Process of Argument: An Introduction is a necessary companion for anyone seeking to engage in successful persuasion: To organize, construct, and communicate arguments. It is both comprehensive and accessible: An authoritative guide to logical thinking and effective communication. The book begins with techniques to improve reading comprehension, including guides on navigating through fake news and internet trolls. Then, readers are taught how to reconstruct deductive, inductive, and abductive presentations so that the logical structure is explicit. And finally, there is a step-by-step guide for responding to these texts via the argumentative essay. Along the way are current examples from social media and elsewhere on the internet along with guides for assessing truth claims in an ever-complicated community worldview. Throughout, are carefully selected reading questions and exercises that will pace readers in order to ensure that the text is securely grasped and successfully applied. Key Features Offers guidance on how to read a text through self-analysis and social criticism Provides a step-by-step procedure for allowing the student to move from reading to reconstruction to being prepared to write an effective argumentative essay Presents truth theory and shows readers how they can helpfully acquaint themselves with a version of realistic, foundational epistemology Offers guidelines and helpful tools on how best to structure an argumentative, pro or con, essay Includes expansive coverage of inductive logic through the use and assessment of statistics Covers abductive logic as it applies to the analysis of narrative in argumentative writing Has up-to-date examples from the media, including from blogs, social media, and television Includes a helpful glossary of all important terms in the book

Martin Heidegger's 1925-26 lectures on truth and time provided much of the basis for his momentous work, Being and Time. Not published until 1976 as volume 21 of the Complete Works, three months before Heidegger's death, this work is central to Heidegger's overall project of reinterpreting Western thought in terms of time and truth. The text shows the degree to which Aristotle underlies Heidegger's hermeneutical theory of meaning. It also contains Heidegger's first published critique of Husserl and takes major steps toward establishing the temporal bases of logic and truth. Thomas Sheehan's elegant and insightful translation offers English-speaking readers access to this fundamental text for the first time.

This book develops new techniques in formal epistemology and applies them to the challenge of Cartesian skepticism. It introduces two formats of epistemic evaluation that should be of interest to epistemologists and philosophers of science: the dual-component format, which evaluates a statement on the basis of its safety and informativeness, and the relative-divergence format, which evaluates a probabilistic model on the basis of its complexity and goodness of fit with data. Tomoji Shogenji shows that the former lends support to Cartesian skepticism, but the latter allows us to defeat Cartesian skepticism. Along the way, Shogenji addresses a number of related issues in epistemology and philosophy of science, including epistemic circularity, epistemic closure, and inductive skepticism.

First published in 1999, this volume re-examines Bertrand Russell's views on modal logic and logical relevance, arguing that Russell does in fact accommodate modality and modal logic. The author, Jan Dejnozka, draws together Russell's comments and perspectives from throughout his canon in order to demonstrate a coherent view on logical modality and logical relevance. To achieve this, Dejnozka explores questions including whether Russell has a possible worlds logic, Rescher's case against Russell, Russell's three levels of modality and the motives and origins of Russell's theory of modality.

J. Anthony Blair is a prominent international figure in argumentation studies. He is among the originators of informal logic, an author of textbooks on the informal logic approach to argument analysis and evaluation and on critical thinking, and a founder and editor of the journal Informal Logic. Blair is widely recognized among the leaders in the field for contributing formative ideas to the argumentation literature of the last few decades. This selection of key works provides insights into the history of the field of argumentation theory and various related disciplines. It illuminates the central debates and presents core ideas in four main areas: Critical Thinking, Informal Logic, Argument Theory and Logic, Dialectic and Rhetoric.

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science. The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.

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

David E. Over is a leading cognitive scientist and, with his firm grounding in philosophical logic, he also exerts a powerful influence on the psychology of reasoning. He is responsible for not only a large body of empirical work and accompanying theory, but for advancing a major shift in thinking about reasoning, commonly known as the 'new paradigm' in the psychology of human reasoning. Over's signature mix of philosophical logic and experimental psychology has inspired generations of researchers, psychologists, and philosophers alike over more than a quarter of a century. The chapters in this volume, written by a leading group of contributors including a number who helped shape the psychology of reasoning as we know it today, each take their starting point from the key themes of Over's ground-breaking work. The essays in this collection explore a wide range of central topics-such as rationality, bias, dual processes, and dual systems-as well as contemporary psychological and philosophical theories of conditionals. It concludes with an engaging new chapter, authored by David E. Over himself, which details and analyses the new paradigm psychology of reasoning. This book is therefore important reading for scholars, researchers, and advanced students in psychology, philosophy, and the cognitive sciences, including those who are not familiar with Over's thought already.

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.