This book is the first detailed and focused defense of necessitarianism. The author's original account of necessitarianism encourages a reexamination of commonly held metaphysical positions as well as important issues in other, related areas of philosophy. Necessitarianism is the view that absolutely nothing about the world could have been otherwise in any way, whatsoever. Most philosophers believe that necessitarianism is just plain false and presume that some things could have been otherwise than what they are. In this book, the author argues that necessitarianism is true and the view that some things in the world are contingent-what the author terms contingentarianism-is false. The author assesses various theories of contingency, including the possible worlds theory, combinatorialism, and dispositionalism, and argues that no theory can successfully explain why an entity is such as it is rather than not. She then lays out a case for necessitarianism and provides responses to various objections. The book concludes with an explanation of the ways in which necessitarianism is relevant to issues in ethics, philosophy of mind, and social philosophy. A Case for Necessitarianism will be of interest to scholars and advanced students working in metaphysics, logic, and philosophy of science.

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory, and social choice theory. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms.

First published in 1993. Why do mirrors reverse left and right but not up and down? Does time flow at an even rate These are just two of the questions that won't be answered in Pseudo-Problems. This book explains how problems are dissolved rather than solved. Roy Sorenson takes the most important and interesting examples from one hundred years of analytic philosophy (and the odd one from the centuries before) to consolidate a new theory of dissolution. Pseudo-Problems is a fast-moving, fascinating alternative history of twentieth-century analytic philosophy, and a fine example of what philosophical analysis should be. Not least, it is an important contribution to the debates about creativity and problem solving.

Providing a clear interpretation of Hegel's characterizations of possibility and actuality in the Science of Logic, this book departs from the standard understandings of these concepts to break new ground in Hegelian scholarship. The book draws out some of the implications of Hegel's view of immanent possibility, especially as it relates to Leibniz's thesis of modal optimism: his view that this world is the best of all possible worlds. Reading Hegel as a philosopher of possibility, against a tradition that has conceived of him primarily as a philosopher of necessity, rationality, and finitude, Nahum Brown demonstrates the historical background and philosophical traditions from which Hegel's concept of possibility emerges. Systematically outlining Hegel's conceptions of positive and negative freedom, Brown reveals the Hegelian underpinnings of our conception of reality and what it is to be in the world itself. Original and convincing, this book is crucial for philosophers approaching modality from any tradition.

This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. Part I focuses on major authors like Frege, Dedekind, and Russell, providing a historical and theoretical exploration of such figures in the philosophical and mathematical milieu in which logicist views were first expounded. Part II sheds new light on the interconnections between these founding figures and a number of influential other traditions, represented by authors like Hilbert, Husserl, and Peano, as well as on the reconsideration of logicism by Carnap and the logical empiricists. Finally, Part III assesses the legacy of such authors and of logicist themes for contemporary philosophy of mathematics, offering new perspectives on highly debated topics-neo-logicism and its extension to accounts of ordinal numbers and set-theory, the comparison between neo-Fregean and neo-Dedekindian varieties of logicism, and the relation between logicist foundational issues and empirical research on numerical cognition-which define the prospects of logicism in the years to come. This book offers a comprehensive account of the development of logicism and its contemporary relevance for the logico-philosophical foundations of mathematics. It will be of interest to graduate students and researchers working in philosophy of mathematics, philosophy of logic, and the history of analytic philosophy.

First published in 1972, Philosophical Tasks was written to identify and examine some central themes in contemporary Anglo-American philosophy. The book explores the claim that philosophy is essentially linguistic, and considers in particular such topics as philosophy and science, fact and language, conceptual analysis, first- and second-order tasks, scepticism, ordinary language, and conceptual frameworks.

This book provides an account of the emergence of norms. Put very crudely, the main thesis of this book is that certain types of norms are possible solutions to problems posed by certain types of social interaction situations. The problems are such that they inhere in the structure (in the game-theoretical sense of structure) of the situations concerned. Three types of paradigmatic situations are dealt with. They are referred to as Prisoners' Dilemma-type situations; co-ordination situations; and inequality (or partiality) situations. Each of them, it is claimed, poses a basic difficulty, to some or all of the individuals involved in them. Three types of norms, respectively, are offered as solutions to these situational problems. It is shown how, and in what sense, the adoption of these norms of social behaviour can indeed resolve the specified problems.

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines. The book covers classical first-order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems. Online support material includes a detailed student solutions manual with a running commentary on all starred exercises, and a set of editable slide presentations for course lectures. Key Features Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic Carefully considers the ways natural language both resists and lends itself to formalization Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle's ontological square, logical oppositions in Avicenna's hypothetical logic, and the power of the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel's opposition to diagrams De Morgan's unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan's four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts.

Written by one of today's most creative and innovative philosophers, Ruth Garrett Millikan, this book examines basic empirical concepts; how they are acquired, how they function, and how they have been misrepresented in the traditional philosophical literature. In a radical departure from current philosophical and psychological theories of concepts, this book provides the first in-depth discussion on the psychological act of reidentification. It will be of interest to a broad range of students of philosophy, especially those interested in the application of evolutionary theory to analytic philosophy.

Cognition is a paradoxical process, from the moment of the formation of human subjectivity, through its relationship with the Other (or more precisely: l'autre) and with the world, to the ontological status of the world as such. This is what this book has at stake. The book deals with selected aspects of poststructural thought which are introduced into the language of contemporary science, prose, and poetry. Such an enterprise is possible by treating philosophy, science, and poetry as languages which can try to enter into a dialogue through metaphors. This is the ground on which the project is implemented.

Originally published in 1982, this volume examines the sources of British Hegelian thinking, the lines of its development and intellectual relationships among members of the school. The sources in this book include twentieth century Marxians who pioneered the move 'back to Hegel' such as Gramsci and Lukacs. It includes brief biographical entries of the principal British Hegelians and of minor figures wo paved the way for Hegel's entry into British philosophy.

Originally published in 1987, this volume reflects the diversity in Hegelianism and every branch of philosophy which he contributed to. It includes essays on his contribution to contemporary social philosophy, logic and the philosophy of religion. His work is examined in relation to Marx, Wittgenstein and his social philosophy discussed from a feminist standpoint.

Originally published in 1991, this volume examines Hegel's political philosophy from the perspective of his argument for constitutional monarchy. It offers an interpretation of Hegelian theory that is relevant for the understanding of modern republican constitutions. Modern republican theories are assessed together with those of Plato, Kant and Marx in order to put Hegel's model to the most rigorous test. The arguments are based on fresh analysis of Hegel's system and on new translations of key passages in Hegel's text.

This book presents a philosophical approach to probability and probabilistic thinking, considering the underpinnings of probabilistic reasoning and modeling, which effectively underlie everything in data science. The ultimate goal is to call into question many standard tenets and lay the philosophical and probabilistic groundwork and infrastructure for statistical modeling. It is the first book devoted to the philosophy of data aimed at working scientists and calls for a new consideration in the practice of probability and statistics to eliminate what has been referred to as the "Cult of Statistical Significance." The book explains the philosophy of these ideas and not the mathematics, though there are a handful of mathematical examples. The topics are logically laid out, starting with basic philosophy as related to probability, statistics, and science, and stepping through the key probabilistic ideas and concepts, and ending with statistical models. Its jargon-free approach asserts that standard methods, such as out-of-the-box regression, cannot help in discovering cause. This new way of looking at uncertainty ties together disparate fields - probability, physics, biology, the "soft" sciences, computer science - because each aims at discovering cause (of effects). It broadens the understanding beyond frequentist and Bayesian methods to propose a Third Way of modeling.

Philosophical logic has been, and continues to be, a driving force behind much progress and development in philosophy more broadly. This collection by up-and-coming philosophical logicians deals with a broad range of topics, including, for example, proof-theory, probability, context-sensitivity, dialetheism and dynamic semantics.

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.

This book features original essays by leading epistemologists that address questions related to epistemic dilemmas from a variety of new, sometimes unexpected, angles. It seems plausible that there can be "no win" moral situations in which no matter what one does one fails some moral obligation. Is there an epistemic analog to moral dilemmas? Are there epistemically dilemmic situations-situations in which we are doomed to violate an epistemic requirement? If there are, when exactly do they arise and what can we learn from them? The contributors to this volume cover a wide variety of positions on epistemic dilemmas. The coverage ranges from discussions of the nature of epistemic dilemmas to arguments that there are no such things to suggestions for how to resolve (or at least live with) epistemic dilemmas to proposals for how thinking about epistemic dilemmas can be used to inform theorizing in other areas of epistemology. Epistemic Dilemmas will be of interest to scholars and advanced students in epistemology working on the nature of justification and evidential support, higher-order requirements, or suspension of judgment.

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. This book conducts a sustained and detailed examination of the structure of tractable and intelligible reasoning in cognitive science and artificial intelligence. Working from the perspective of formal epistemology and cognitive science, Andreas uses structuralist notions from Bourbaki and Sneed to provide new foundational analyses of frames, object-oriented programming, belief revision, and truth maintenance. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic. Put together, these logical analyses and tractability results provide new understandings of dynamic and inferential reasoning. Jon Doyle, North Carolina State University

The book offers a reflection on the nature, scope, and limits of knowledge that have been at the focus of the author's work over decades. The essays collected in this volume expound and extend these efforts in exploring the outer fringes of understanding: the outer boundaries of conceivability, the limits of cognition, and the ramifications of ineffability and paradox. They join in exploring the lay of the land at the boundaries of knowledge. The first chapters address basic facts regarding the conceptualization of knowledge. This is followed by a study on how to deal with problems relating to the affirmation and considerations of truth. The final chapters scrutinize the limits of demonstration and the inherent impossibility of realizing an ideal systematization of our knowledge of totalities. The book affords novel perspectives regarding the thought of a widely appreciated philosopher. It is an original work aimed for readers interested in the theory of knowledge and philosophy of cognition.

We do not perceive the present as it is and in totality, nor do we infer the future from the present with any high degree of dependability, nor yet do we accurately know the consequences of our own actions. In addition, there is a fourth source of error to be taken into account, for we do not execute actions in the precise form in which they are imaged and willed. Frank H. Knight [R4.34, p. 202] The "degree" of certainty of confidence felt in the conclusion after it is reached cannot be ignored, for it is of the greatest practical signi- cance. The action which follows upon an opinion depends as much upon the amount of confidence in that opinion as it does upon fav- ableness of the opinion itself. The ultimate logic, or psychology, of these deliberations is obscure, a part of the scientifically unfathomable mystery of life and mind. Frank H. Knight [R4.34, p. 226-227] With some inaccuracy, description of uncertain consequences can be classified into two categories, those which use exclusively the language of probability distributions and those which call for some other principle, either to replace or supplement.

This important collection of essays is a synthesis of foundational studies in Bayesian decision theory and statistics. An overarching topic of the collection is understanding how the norms for Bayesian decision making should apply in settings with more than one rational decision maker and then tracing out some of the consequences of this turn for Bayesian statistics. The volume will be particularly valuable to philosophers concerned with decision theory, probability, and statistics, statisticians, mathematicians, and economists.

Ludwig Wittgenstein's brief Tractatus Logico-Philosophicus (1922) is one of the most important philosophical works of the twentieth century, yet it offers little orientation for the reader. The first-time reader is left wondering what it could be about, and the scholar is left with little guidance for interpretation. In Tractatus in Context, James C. Klagge presents the vital background necessary for appreciating Wittgenstein's gnomic masterpiece. Tractatus in Context contains the early reactions to the Tractatus, including the initial reviews written in 1922-1924. And while we can't talk with Wittgenstein, we can do the next best thing-hear what he had to say about the Tractatus. Klagge thus presents what Wittgenstein thought about germane issues leading up to his writing the book, in discussions and correspondence with others about his ideas, and what he had to say about the Tractatus after it was written-in letters, lectures and conversations. It offers, you might say, Wittgenstein's own commentary on the book. Key Features: Illuminates what is at stake in the Tractatus, by providing the views of others that engaged Wittgenstein as he was writing it. Includes Wittgenstein's earlier thoughts on ideas in the book as recorded in his notebooks, letters, and conversations as well as his later, retrospective comments on those ideas. Draws on new or little-known sources, such as Wittgenstein's coded notebooks, Hermine's notes, Frege's letters, Hansel's diary, Ramsey's notes, and Skinner's dictations. Draws connections between the background context and specific passages in the Tractatus, using a proposition-by-proposition commentary.