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.

This volume opens up stimulating new perspectives on a broad variety of Barcan Marcus's concerns ranging from the systematic foundation and interpretation of quantified modal logic, nature of extensionality, necessity of identity, direct reference theory for proper names, notions of essentialism, second-order modal logic, modal metaphysics, properties and classes, substitutional and objectual quantification, actualism, the Barcan formula, possibilia and possible-world semantics to epistemic and deontic modalities, non-language-centered theories of belief, accounts of rationality, consistency of a moral code, moral dilemmas, and much more. The contributions demonstrate that Barcan Marcus's original and clear ideas have had a formative influence on the direction in which certain themes central to today's philosophical debate have developed. Furthermore, the volume includes an illuminating intellectual autobiography from Barcan Marcus herself as well as an informal interview containing her unfiltered, frank answers. The book brings together contributions by Ruth Barcan Marcus, Timothy Williamson, Dagfinn Follesdal, Joelle Proust, Pascal Engel, Edgar Morscher, Erik J. Olsson, and Michael Frauchiger.

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.

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 book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard (and not so standard) logical systems that were established during the short history of modern logic.

This collection addresses metaphysical issues at the intersection between philosophy and science. A unique feature is the way in which it is guided both by history of philosophy, by interaction between philosophy and science, and by methodological awareness. In asking how metaphysics is possible in an age of science, the contributors draw on philosophical tools provided by three great thinkers who were fully conversant with and actively engaged with the sciences of their day: Kant, Husserl, and Frege. Part I sets out frameworks for scientifically informed metaphysics in accordance with the meta-metaphysics outlined by these three self-reflective philosophers. Part II explores the domain for co-existent metaphysics and science. Constraints on ambitious critical metaphysics are laid down in close consideration of logic, meta-theory, and specific conditions for science. Part III exemplifies the role of language and science in contemporary metaphysics. Quine's pursuit of truth is analysed; Cantor's absolute infinitude is reconstrued in modal terms; and sense is made of Weyl's take on the relationship between mathematics and empirical aspects of physics. With chapters by leading scholars, Metametaphysics and the Sciences is an in-depth resource for researchers and advanced students working within metaphysics, philosophy of science, and the history of philosophy.

The late Mario Mignucci was one of the most authoritative, original, and influential scholars in the area of ancient philosophy, especially ancient logic. Collected here for the first time are sixteen of his most important essays on Ancient Logic, Language, and Metaphysics. These essays show a perceptive historian and a skillful logician philosophically engaged with issues that are still at the very heart of history and philosophy of logic, such as the nature of predication, identity, and modality. As well as essays found in disparate publications, often not easily available online, the volume includes an article on Plato and the relatives translated into English for the first time and an unpublished paper on De interpretatione 7. Mignucci thinks rigorously and writes clearly. He brings the deep knowledge of a scholar and the precision of a logician to bear on some of the trickiest topics in ancient philosophy. This collection deserves the close attention of anyone concerned with logic, language, and metaphysics, whether in ancient or contemporary philosophy.

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.

The limit of language is one of the most pervasive notions found in Wittgenstein's work, both in his early Tractatus Logico-Philosophicus and his later writings. Moreover, the idea of a limit of language is intimately related to important scholarly debates on Wittgenstein's philosophy, such as the debate between the so-called traditional and resolute interpretations, Wittgenstein's stance on transcendental idealism, and the philosophical import of Wittgenstein's latest work On Certainty. This collection includes thirteen original essays that provide a comprehensive overview of the various ways in which Wittgenstein appeals to the limit of language at different stages of his philosophical development. The essays connect the idea of a limit of language to the most important themes discussed by Wittgenstein-his conception of logic and grammar, the method of philosophy, the nature of the subject, and the foundations of knowledge-as well as his views on ethics, aesthetics, and religion. The essays also relate Wittgenstein's thought to his contemporaries, including Carnap, Frege, Heidegger, Levinas, and Moore.

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its 'pyramidal' graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids are the central organizing concept. The pyramidal schema enables both the content of concepts and the relations between the concept positions in the pyramid to be read off from the graph. Logical connectors are analyzed in terms of the direction in which they connect within the pyramid.

Additionally, the author shows that logical connectors are of fundamentally different types: only one sort generates propositions with truth values, while the other yields conceptual expressions or complex concepts. On this basis, strong arguments are developed against adopting the non-discriminating connector definitions implicit in Wittgensteinian truth-value tables. Special consideration is given to mathematical connectors so as to illuminate the formation of concepts in the natural sciences. To show what the pyramidal method can contribute to science, a pyramid of the number concepts prevalent in mathematics is constructed. The book also counters the logical dogma of 'false' contradictory propositions and sheds new light on the logical characteristics of probable propositions, as well as on syllogistic and other inferences.

This book aims to discuss probability and David Hume's inductive scepticism. For the sceptical view which he took of inductive inference, Hume only ever gave one argument. That argument is the sole subject-matter of this book. The book is divided into three parts. Part one presents some remarks on probability. Part two identifies Hume's argument for inductive scepticism. Finally, the third part evaluates Hume's argument for inductive scepticism.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.
A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works.
The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming.

This unique introduction fully engages and clearly explains pragmatism, an approach to knowledge and philosophy that rejects outmoded conceptions of objectivity while avoiding relativism and subjectivism. It follows pragmatism's focus on the process of inquiry rather than on abstract justifications meant to appease the skeptic. According to pragmatists, getting to know the world is a creative human enterprise, wherein we fashion our concepts in terms of how they affect us practically, including in future inquiry. This book fully illuminates that enterprise and the resulting radical rethinking of basic philosophical conceptions like truth, reality, and reason. Author Cornelis de Waal helps the reader recognize, understand, and assess classical and current pragmatist contributions-from Charles S. Peirce to Cornel West-evaluate existing views from a pragmatist angle, formulate pragmatist critiques, and develop a pragmatist viewpoint on a specific issue. The book discusses: Classical pragmatists, including Peirce, James, Dewey, and Addams; Contemporary figures, including Rorty, Putnam, Haack, and West; Connections with other twentieth-century approaches, including phenomenology, critical theory, and logical positivism; Peirce's pragmatic maxim and its relation to James's Will to Believe; Applications to philosophy of law, feminism, and issues of race and racism.

Throughout his corpus, Kant repeatedly and resolutely denies that there is a duty to promote one's own happiness, and most present-day Kantians seem to agree with him. In Kant, Ought Implies Can, the Principle of Alternate Possibilities, and Happiness, Samuel Kahn argues that this denial rests on two main ideas: (1) a conception of duty that makes the principle of ought implies can (OIC) and the principle of alternate possibilities (PAP) analytic, and (2) the claim that humans necessarily promote their own happiness. This book defends OIC and PAP but nonetheless attacks the second idea, and it supplements this attack with two additional arguments-an interpersonal one and an intrapersonal one-for the claim that a modern day Kantian ethics should affirm a duty to promote one's own happiness.