The analytic/synthetic distinction looks simple. It is a distinction between two different kinds of sentence. Synthetic sentences are true in part because of the way the world is, and in part because of what they mean. Analytic sentences - like all bachelors are unmarried and triangles have three sides - are different. They are true in virtue of meaning, so no matter what the world is like, as long as the sentence means what it does, it will be true.
This distinction seems powerful because analytic sentences seem to be knowable in a special way. One can know that all bachelors are unmarried, for example, just by thinking about what it means. But many twentieth-century philosophers, with Quine in the lead, argued that there were no analytic sentences, that the idea of analyticity didn't even make sense, and that the analytic/synthetic distinction was therefore an illusion. Others couldn't see how there could fail to be a distinction, however ingenious the arguments of Quine and his supporters.
But since the heyday of the debate, things have changed in the philosophy of language. Tools have been refined, confusions cleared up, and most significantly, many philosophers now accept a view of language - semantic externalism - on which it is possible to see how the distinction could fail. One might be tempted to think that ultimately the distinction has fallen for reasons other than those proposed in the original debate.
In Truth in Virtue of Meaning, Gillian Russell argues that it hasn't. Using the tools of contemporary philosophy of language, she outlines a view of analytic sentences which is compatible with semantic externalism and defends that view against the old Quineanarguments. She then goes on to draw out the surprising epistemological consequences of her approach.

The commentary of Alexander of Aphrodisias on Aristotle's Prior Analytics 1.8-22 is the main ancient commentary, by the 'greatest' commentator, on the chapters of the Prior Analytics in which Aristotle invented modal logic - the logic of propositions about what is necessary or contingent (possible). In this volume, which covers chapters 1.8-13, Alexander of Aphrodisias reaches the chapter in which Aristotle discusses the notion of contingency. Also included in this volume is Alexander's commentary on that part of Prior Analytics 1.17 which explains the conversion of contingent propositions (the rest of 1.17 is included in the second volume of Mueller's translation). Aristotle also invented the syllogism, a style of argument involving two premises and a conclusion. Modal propositions can be deployed in syllogism, and in the chapters included in this volume Aristotle discusses syllogisms consisting of two necessary propositions as well as the more controversial ones containing one necessary and one non-modal premiss. The discussion of syllogisms containing contingent propositions is reserved for Volume 2. In each volume, Ian Mueller provides a comprehensive explanation of Alexander's commentary on modal logic as a whole.

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895-1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce's writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

This volume provides a comprehensive collection of classic and contemporary readings in the philosophy of logic. The selections include some of the most important, technically exact, yet lucid and readable expositions of central concepts and controversies in philosophical logic. Areas of coverage include classical logic, truth, propositions and meaning, quantifiers and quantificational theory, validity, inference and entailment, and modality, intensionality and propositional attitude.

Since the articles are written from a variety of perspectives, the reader is able to critically assess the background and current trends in philosophical applications of symbolic logic. The volume also examines the limitations of classical and nonstandard logics.

The book complements "Philosophy of Mathematics: An Anthology" and "A Companion to Philosophical Logic, "also edited by Dale Jacquette.

The aim of Thinking through Error: The Moving Target of Knowledge is to describe knowledge as it works in our everyday attitude and behavior. Often in life, when making decisions and choices, we do not need to test the truth of our beliefs, so there must be another way to guide ourselves. With this in mind, Antomarini presents 'thinking through error' instead of 'excluding error'. That is, we act through a slow process of guess-work, followed by quick gestures. By using our own uncertainty and our exploratory abilities, we face unpredictable situations and at the same time we acknowledge the constant presence of error in our thinking. Every decision we make continuously determines and replaces an entire universe within which that decision is plausible. Our everyday knowledge is a balance between a feeling of the truth and its negation.

Alexander Broadie explains the theories of truth and validity of the great logicians of the fourteenth century. He shows how far they advanced beyond the logic of Aristotle, and reveals that much of what seems characteristically twentieth-century logic was familiar long ago. He has extensively revised his text for this second edition, while preserving the character of the first. There are now fuller accounts of supposition of intentional contexts, and of medieval syllogistics, and the conclusion has been substantially expanded.

The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches. It will be of interest to philosophers, computer scientists and all others interested in the scientific rationality.

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895-1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce's writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922-2014). The editors gather together noted experts to discuss the state of the art of various of Lambek's works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard's linear logic. In a surprising development (2000), he introduced a novel and deeper algebraic framework (which he called pregroup grammars) for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists.

This book offers insights relevant to modern history and epistemology of physics, mathematics and, indeed, to all the sciences and engineering disciplines emerging of 19th century. This research volume is the first of a set of three Springer books on Lazare Nicolas Marguerite Carnot's (1753-1823) remarkable work: Essay on Machines in General (Essai sur les machines en general [1783] 1786). The other two forthcoming volumes are: Principes fondamentaux de l'equilibre et du mouvement (1803) and Geometrie de position (1803). Lazare Carnot - l'organisateur de la victoire - in Essai sur le machine en general (1786) assumed that the generalization of machines was a necessity for society and its economic development. Subsequently, his new coming science applied to machines attracted considerable interest for technician, as well, already in the 1780's. With no lack in rigour, Carnot used geometric and trigonometric rather than algebraic arguments, and usually went on to explain in words what the formulae contained. His main physical- mathematical concepts were the Geometric motion and Moment of activity-concept of Work . In particular, he found the invariants of the transmission of motion (by stating the principle of the moment of the quantity of motion) and theorized the condition of the maximum efficiency of mechanical machines (i.e., principle of continuity in the transmission of power). While the core theme remains the theories and historical studies of the text, the book contains an extensive Introduction and an accurate critical English Translation - including the parallel text edition and substantive critical/explicative notes - of Essai sur les machines en general (1786). The authors offer much-needed insight into the relation between mechanics, mathematics and engineering from a conceptual, empirical and methodological, and universalis point of view. As a cutting-edge writing by leading authorities on the history of physics and mathematics, and epistemological aspects, it appeals to historians, epistemologist-philosophers and scientists (physicists, mathematicians and applied sciences and technology).

Bringing together scholars from a broad range of theoretical perspectives, The Language of Argumentation offers a unique overview of research at the crossroads of linguistics and theories of argumentation. In addition to theoretical and methodological reflections by leading scholars in their fields, the book contains studies of the relationship between language and argumentation from two different viewpoints. While some chapters take a specific argumentative move as their point of departure and investigate the ways in which it is linguistically manifested in discourse, other chapters start off from a linguistic construction, trying to determine its argumentative function and rhetorical potential. The Language of Argumentation documents the currently prominent research on stylistic aspects of argumentation and illustrates how the study of argumentation benefits from insights from linguistic models, ranging from theoretical pragmatics, politeness theory and metaphor studies to models of discourse coherence and construction grammar.

This classic text has introduced tens of thousands of students to sound reasoning using a wealth of current, relevant, and stimulating examples all put together and explained in a witty and invigorating writing style. Long the choice of instructors who want to "keep students interested", LOGIC AND CONTEMPORARY RHETORIC: THE USE OF REASON IN EVERYDAY LIFE, International Edition combines examples from television, newspapers, magazines, advertisements, and our nation's political dialogue. The text not only brings the concepts to life for students, but also puts critical-thinking skills into a context that students will retain and use throughout their lives. This is a book you can actually count on students to read.

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

In her innovative take on G.W. F. Hegel's The Encyclopaedia Logic, Julie E. Maybee uses pictures and diagrams to cut through the philosopher's dense, difficult writing. Picturing Hegel: An Illustrated Guide to Hegel's Encyclopaedia Logic utilizes diagrams in order to rehabilitate Hegel's logic for serious consideration by showing how each stage develops step-by-step from earlier stages according to definite, logical patterns. This interpretation makes Hegel's work accessible and understandable for new and experienced readers alike. Because Hegel uses the same logic in all of his works, Maybee's analysis and defense of the logic will capture the attention of those readers interested in Hegel's ethics, politics, history, philosophy of religion, and phenomenology. Through the included diagrams, Maybee is able to define central Hegelian concepts such as 'being-in-itself, ' and 'being-in-and-for-itself' with a new level of precision. Maybee argues that Hegel's logic does not include the one logistical pattern most often attributed to him; namely, the pattern 'thesis-antithesis-synthesis.' Rather, Hegel's model of logic was more scientific than formalistic in nature, as the philosopher himself pointed out. Hegel considered himself an encyclopedic culmination of Western philosophy in some ways, and indeed his work summarizes many of the presuppositions of Western philosophy. By picturing Hegel's logic, we can gain a greater understanding of ourselves.

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.

The Logic of Liberal Rights uses basic logic to develop a model of argument presupposed in all disputes about civil rights and liberties. No prior training in logic is required, as each step is explained. This analysis does not merely apply general logic to legal arguments but is also specifically tailored to the issues of civil rights and liberties. It shows that all arguments about civil rights and liberties presuppose one fixed structure and that there can be no original argument in rights disputes, except within the confines of that structure. Concepts arising in disputes about rights, like 'liberal' or 'democratic', are not mere abstractions but have a fixed and precise character.
This book integrates themes in legal theory, political science and moral philosophy, as well as the philosophy of logic and language. For the advanced scholar, the book provides a model presupposed by leading theoretical schools (liberal and critical, positivist and naturalist). For the student it provides a systematic theory of civil rights and liberties. Examples are drawn from the European Convention in Human Rights but no special knowledge of the Convention is assumed, as the issues analysed arise throughout the world. Such issues include problems of free speech, religious freedom, privacy, torture, unlawful detention and private property.

First published in 1990 The Philosopher's Habitat introduces the subject by investigating a variety of the problems which are currently engaging philosophers, and which can be made intelligible to an absolute beginner. Rather than introducing philosophy by examining, in the traditional way, the writings of great philosophers, the author has inverted this procedure. The idea is that the reader will become absorbed in these dramas, will thereby come to appreciate the ways in which the stage was set by the great writers of the past, and will feel the urge to participate. Questions at the end of each chapter encourage the reader to push beyond the text. This book is a must read for students of philosophy.

The quality of our lives is determined by the quality of our thinking. The quality of our thinking, in turn, is determined by the quality of our questions, for questions are the engine, the driving force behind thinking. Without questions, we have nothing to think about. Without essential questions, we often fail to focus our thinking on the significant and substantive. When we ask essential questions, we deal with what is necessary, relevant, and indispensable to a matter at hand. We recognize what is at the heart of the matter. Our thinking is grounded and disciplined. We are ready to learn. We are intellectually able to find our way about. To be successful in life, one needs to ask essential questions: essential questions when reading, writing, and speaking; when shopping, working, and parenting; when forming friendships, choosing life-partners, and interacting with the mass media and the Internet. Yet few people are masters of the art of asking essential questions. Most have never thought about why some questions are crucial and others peripheral. Essential questions are rarely studied in school. They are rarely modeled at home. Most people question according to their psychological associations. Their questions are haphazard and scattered. The ideas we provide are useful only to the extent that they are employed daily to ask essential questions. Practice in asking essential questions eventually leads to the habit of asking essential questions. But we can never practice asking essential questions if we have no conception of them. This mini-guide is a starting place for understanding concepts that, when applied, lead to essential questions. We introduce essential questions as indispensable intellectual tools. We focus on principles essential to formulating, analyzing, assessing, and settling primary questions. You will notice that our categories of question types are not exclusive. There is a great deal of overlap

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.

"Oh, no, not another philosophy book " After twenty-six centuries of reflecting and writing, what can be said about philosophy that hasn't already been said? This book is different because it is written for students who are not interested in philosophy or who are struggling to understand it. Professor Malikow makes it easy to understand the sophisticated ideas and profound truths of philosophy by his use of everyday language, analogies, examples, and stories mixed with a bit of humor.

The book presents results from research conducted by Zygmunt Zawirski on the theory of knowledge, quantum mechanics, logic, ontology and metaphysics. The works undertaken in the field of logic, methodology and philosophy of science, and in particular the philosophy of nature and natural science testify to a solid preparation for the fundamental task of developing contemporary scientific philosophy. The emerging mathematical natural science did not have those possibilities which emerged in the 20th Century and which Zygmunt Zawirski (1882-1948) used. In the development of scientific metaphysics, he took into account both the achievements of modern logic, mathematics and physics. Zawirski builds scientific metaphysics by referring to empiricism, broadly understood experience. Modern metaphysics should meet high standards of precision and uniqueness, which is why Zawirski attempts to apply the axiomatic method to both the analysis of the theory of physics and the scientific metaphysics.

This book argues that the primary function of human thinking in language is to make judgments, which are logical-normative connections of concepts. Robert Abele points out that this presupposes cognitive conditions that cannot be accounted for by empirical-linguistic analyses of language content or social conditions alone. Judgments rather assume both reason and a unified subject, and this requires recognition of a Kantian-type of transcendental dimension to them. Judgments are related to perception in that both are syntheses, defined as the unity of representations according to a rule/form. Perceptual syntheses are simultaneously pre-linguistic and proto-rational, and the understanding (Kant's Verstand) makes these syntheses conceptually and thus self-consciously explicit. Abele concludes with a transcendental critique of postmodernism and what its deflationary view of ontological categories-such as the unified and reasoning subject-has done to political thinking. He presents an alternative that calls for a return to normativity and a recognition of reason, objectivity, and the universality of principles.