Colin Howson offers a solution to one of the central, unsolved problems of Western philosophy, the problem of induction. In the mid-eighteenth century David Hume argued that successful prediction tells us nothing about the truth or probable truth of the predicting theory. Howson claims that Hume's argument is correct, and examines what follows about the relation between science and its empirical base.

This contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of logic: the first as an innate human ability and the second as a skill that can be learned and mastered. Chapters focus on the social and political dynamics of the use of logic throughout history, utilizing case studies and critical analyses. Specific topics covered include: the rise of logical skills problems concerning medieval notions of idiocy and rationality decolonizing natural logic natural logic and the course of time Logical Skills: Social-Historical Perspectives will appeal to undergraduate and graduate students, as well as researchers in the fields of history, sociology, philosophy, and logic. Psychology and colonial studies scholars will also find this volume to be of particular interest.

This collection will prove a valuable resource for our understanding of the historic Carnap and the living philosophical issues with which he grappled. It arose out of a symposium on Carnap's work (Vienna, 2001). With essays by Graham H. Bird, Jaakko Hintikka, Ilkka Niiniluoto, Jan Wolenski, this volume will interest graduate students of the philosophy of language and logic, as well as professional philosophers, historians of analytic philosophy, and philosophically inclined logicians.

In 1986, the emergence of a novel brain disease in British cattle presented a unique challenge to scientists. How that challenge was addressed has been the subject of a public inquiry and numerous academic studies conducted to date. However, none of these investigations has sought to examine the reasoning of scientists during this critical period in the public health of the UK. Using concepts and techniques in informal logic, argumentation and fallacy theory, this study reconstructs and evaluates the reasoning of scientists in the ten-year period between 1986 and 1996. Specifically, a form of presumptive reasoning is described in which extensive use is made of arguments traditionally identified as informal fallacies. In the context of the adverse epistemic conditions that confronted scientists during the BSE epidemic, these arguments were anything but fallacious, serving instead to confer a number of epistemic gains upon scientific inquiry. This book argues for a closer integration of philosophy with public health science, an integration that is exemplified by the case of scientific reasoning during the BSE affair. It will therefore be of interest to advanced students, academics, researchers and professionals in the areas of public health science and epidemiology, as well as philosophical disciplines such as informal logic, argumentation and fallacy theory and epistemology.

William G. Lycan offers a fresh original approach to the long-running debate among philosophers and logicians about the best way to analyse and understand conditional sentences. Lycan attends not just to the semantics of such sentences, but equally to their syntax, making use of insights from linguistic theory. Real Conditionals is the definitive presentation of Lycan's view, written in his characteristically lively style.

In this innovative and groundbreaking work, the structure and evolution of scientific theories is examined in meticulous detail and rigorously analysed as never before. For the first time, scientific revolutions are presented as a natural consequence of the evolution of scientific theories and described with mathematical precision. Many new techniques are introduced and with the more precise understanding of the nature of the scientific enterprise obtained thereby, old philosophical problems are cast into a new light and shown to be susceptible to the same rigorous approach by which they may be completely solved. Numerous real examples from the sciences are given and discussed in detail, culminating in some startling results concerning the future development of science and that Holy Grail of physics, the possibility of a final, all-embracing Theory of Everything. Written in an eloquent and engaging style interspersed with occasional flashes of delicious humour, this book is destined to become a classic in the Philosophy of Science. It will doubtless be appreciated equally by philosophers and scientists alike as well as a wider, less specialised audience. Truly an important document and a major contribution to the literature; this is a work for the twenty-first century.

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.

Stoicism (third century BC to second century AD) is one of the richest and most influential intellectual traditions of antiquity. Leading scholars here contribute new studies of a set of topics which are the focus of current research in this area. They combine careful analytical attention to the original texts with historical sensitivity and philosophical acuity, to provide the basis for a better understanding of Stoic ethics, political theory, logic, and physics. Whereas till recently the study of Hellenistic philosophy has been mainly a historical enterprise, these essays demonstrate that a proper treatment of Stoicism engages us in philosophical questions of considerable current relevance and interest.

Originally published in 1966 On the Syllogism and Other Logical Writings assembles for the first time the five celebrated memoirs of Augustus De Morgan on the syllogism. These are collected together with the more condensed accounts of his researches given in his Syllabus of a Proposed System of Logic an article on Logic contributed to the English Cyclopaedia. De Morgan was among the most distinguished of nineteenth century British mathematicians but is chiefly remembered today as one of the founders of modern mathematical logic. His writings on this subject have been little read, however since apart from his Formal Logic, they lie buried for the most part in inaccessible periodicals. De Morgan's own later amendments are inserted in the text and the editorial introduction gives a summary of the whole and traces in some detail the course of the once-famous feud with Sir William Hamilton of Edinburgh.

How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author's career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska's scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. The book addresses these paradoxes using a new theory of infinity, which entails that an infinite series is uncompletable when it requires something to possess an infinite intensive magnitude. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters. The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity. It discussing the purposes of studying infinity and the troubles with traditional approaches to the problem, and concludes by offering a solution to some existing paradoxes.

This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself. These lectures record the culmination of Russell's thought in response to discussions with Wittgenstein on the nature of judgement and philosophy of logic and with Moore and other philosophical realists about epistemology and ontological atomism, and to Whitehead and Russell's novel extension of revolutionary nineteenth-century work in mathematics and logic. Russell's logical atomism lectures have had a lasting impact on analytic philosophy and on Russell's contemporaries including Carnap, Ramsey, Stebbing, and Wittgenstein. Comprised of 14 original essays, this book will demonstrate how the direct and indirect influence of these lectures thus runs deep and wide.

As philosophy departments attempt to define their unique value amid program closures in the humanities and the rise of interdisciplinary research, metaphilosophy has become an increasingly important area of inquiry. Richard Fumerton here lays out a cogent answer to the question asked in the book's title, What is Philosophy?. Against those who argue that philosophy is not sharply distinguishable from the sciences, Fumerton makes a case for philosophy as an autonomous discipline with its own distinct methodology. Over the course of nine engaging and accessible chapters, he shows that answering fundamental philosophical questions requires one to take a radical first-person perspective that divorces the truth conditions of philosophical claims from the kind of contingent truths investigated by the empirical sciences. Along the way, Fumerton briefly discusses the historical controversies that have surrounded the nature of philosophy, situating his own argument within the larger conversation. Key Features Illuminates the unique role of thought experiments and especially the "paradox of analysis" in understanding the purpose and value of philosophy. Shows that philosophy asks fundamental questions, unanswerable by the sciences, that are critical to thinking clearly and rationally about the world. Highlights the distinct character of philosophical questions in specific subject areas: philosophy of language, epistemology, ethics, philosophy of mind, and philosophy of science. Concludes by making a unique case for philosophy's contribution to cross-disciplinary work in ethics, politics, mathematics, and the empirical sciences. Written in a way to be engaging and accessible for advanced undergraduate readers.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR'015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning.

This text presents a clear and philosophically sound method for identifying, interpreting, and evaluating arguments as they appear in non-technical sources. It focuses on a more functional, real-world goal of argument analysis as a tool for figuring out what is reasonable to believe rather than as an instrument of persuasion. Methods are illustrated by applying them to arguments about different topics as they appear in a variety of contexts - e.g., newspaper editorials and columns, short essays, informal reports of scientific results, etc.

This book collects original essays on the epistemology of modality and related issues in modal metaphysics and philosophical methodology.

As philosophy departments attempt to define their unique value amid program closures in the humanities and the rise of interdisciplinary research, metaphilosophy has become an increasingly important area of inquiry. Richard Fumerton here lays out a cogent answer to the question asked in the book's title, What is Philosophy?. Against those who argue that philosophy is not sharply distinguishable from the sciences, Fumerton makes a case for philosophy as an autonomous discipline with its own distinct methodology. Over the course of nine engaging and accessible chapters, he shows that answering fundamental philosophical questions requires one to take a radical first-person perspective that divorces the truth conditions of philosophical claims from the kind of contingent truths investigated by the empirical sciences. Along the way, Fumerton briefly discusses the historical controversies that have surrounded the nature of philosophy, situating his own argument within the larger conversation. Key Features Illuminates the unique role of thought experiments and especially the "paradox of analysis" in understanding the purpose and value of philosophy. Shows that philosophy asks fundamental questions, unanswerable by the sciences, that are critical to thinking clearly and rationally about the world. Highlights the distinct character of philosophical questions in specific subject areas: philosophy of language, epistemology, ethics, philosophy of mind, and philosophy of science. Concludes by making a unique case for philosophy's contribution to cross-disciplinary work in ethics, politics, mathematics, and the empirical sciences. Written in a way to be engaging and accessible for advanced undergraduate readers.

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.

What do philosophy and computer science have in common? It turns out, quite a lot! In providing an introduction to computer science (using Python), Daniel Lim presents in this book key philosophical issues, ranging from external world skepticism to the existence of God to the problem of induction. These issues, and others, are introduced through the use of critical computational concepts, ranging from image manipulation to recursive programming to elementary machine learning techniques. In illuminating some of the overlapping conceptual spaces of computer science and philosophy, Lim teaches the reader fundamental programming skills and also allows her to develop the critical thinking skills essential for examining some of the enduring questions of philosophy. Key Features Teaches readers actual computer programming, not merely ideas about computers Includes fun programming projects (like digital image manipulation and Game of Life simulation), allowing the reader to develop the ability to write larger computer programs that require decomposition, abstraction, and algorithmic thinking Uses computational concepts to introduce, clarify, and develop a variety of philosophical issues Covers various aspects of machine learning and relates them to philosophical issues involving science and induction as well as to ethical issues Provides a framework to critically analyze arguments in classic and contemporary philosophical debates

This book introduces a new form of argumentative analysis: rhetorical heuremes. The method applies the concepts of heuristic thinking, probability, and contingency in order to develop a better understanding of complex arguments in classical oratory. A new theory is required because Greek and Roman rhetoric cannot provide detailed answers to problems of strategic argumentation in the analysis of speeches. Building on scholarship in Ciceronian oratory, this book moves beyond the extant terminology and employs a concept of heuristic reasoning derived from the psychology of decision making and mathematical problem solving. The author analyses selected passages from Cicero's forensic speeches where arguments of probability are deployed, and shows that the Sophistic concept of probability can link ancient rhetoric and modern theories of argumentation. Six groups of heuremes are identified, each of which represents a form of probabilistic reasoning by which the orator plays upon the perception of the jurors.

We all engage in the process of reasoning, but we don't always pay attention to whether we are doing it well. This book offers the opportunity to practise reasoning in a clear-headed and critical way, with the aims of developing an awareness of the importance of reasoning well and of improving the reader's skill in analyzing and evaluating arguments. In this third edition, Anne Thomson has updated and revised the book to include fresh and topical examples which will guide students through the processes of critical reasoning in a clear and engaging way. In addition, two new chapters on evaluating the credibility of evidence and decision making and dilemmas will fully equip students to reason well. By the end of the book students should be able to: identify flaws in arguments analyze the reasoning in newspaper articles, books and speeches assess the credibilty of evidence and authorities make sound decisions and solve dilemmas approach any topic with the ability to reason and think critically.

This volume contains 12 papers addressed to researchers and advanced students in informal logic and related fields, such as argumentation, formal logic, and communications. Among the issues discussed are attempts to rethink the nature of argument and of inference, the role of dialectical context, and the standards for evaluating inferences, and to shed light on the interfaces between informal logic and argumentation theory, rhetoric, formal logic and cognitive psychology.

The aim of the present book is to give a comprehensive account of the 'state of the art' of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy challenges the widespread idea of formal logic as inherently monolithic, universal, and ahistorical. Written by both leading and up-and-coming scholars, and edited by Admir Skodo, Other Logics offers a wide variety of historical and philosophical alternatives to this idea, all arguing that logic is a historical, concrete, and multi-dimensional phenomenon. To name a few examples, Frank Ankersmit lays down a representationalist logic, Alessandra Tanesini forcefully argues for the possibility of logical aliens, Christopher Watkin analyzes how leading contemporary French philosophers view the idea of logic, and Aaron Wendland unearths Heidegger's critique of formal logic. In Other Logics readers will find provocative interventions in a highly contested field in contemporary philosophy. Contributors include: Frank Ankersmit, Christopher Watkin, Giuseppina D'Oro, Alessandra Tanesini, Admir Skodo, Aaron Wendland, Ervik Cejvan, Anders Kraal, Christopher Fear, Karim Dharamsi, Johan Modee, and Thord Svensson.