Short Arguments: Some General Rules Arguments begin by marshaling reasons and organizing them in a clear and fair way. Chapter I offers general rules for ...

Taking a refreshingly hands-on approach to introductory ethics, A 21st Century Ethical Toolbox provides students with a set of tools to help them understand and make a constructive difference in real-life moral controversies. Thoroughly optimistic, it invites students to approach ethical issues with a reconstructive intent, making room for more and better options than the traditional "pro" and "con" positions that have grown up around tough problems like abortion and animal rights. Ideal for introductory and applied ethics courses, this unique (...) text does not treat ethics as a purely academic, historical, or theoretical subject, but as a wide-ranging and ongoing set of challenges that calls for multiple and interwoven kinds of intelligence. It covers the skills that are most vital to making real progress in ethics, including paying careful attention to the values at stake on all sides of an issue; looking for creative opportunities within difficult problems; critical-thinking skills such as defining key terms and making sure to judge similar cases alike; and learning how to engage in constructive dialogue. Instructors can readily use the experiential and applied activities inspired by this "toolbox" of practical skills to design an interactive and collaborative ethics course. Students can carry these essential skills directly from this book into such projects as campaigning for environmental awareness and staffing local homeless shelters. In addition to his own discussion, Weston includes gripping and provocative short selections from essayists, activists, and philosophers, and also cites his own students. Extensive "Exercises and Notes" sections end each chapter, and a detailed appendix offers instructors advice on how to use the Toolbox in the classroom. (shrink)

A Practical Companion to Ethics, Fourth Edition, is a concise and accessible introduction to the basic attitudes and skills that make ethics work, like thinking for oneself, creative and integrative problem-solving, and keeping an open mind. This unique volume illuminates the broad kinds of practical intelligence required in moral judgment, complementing the narrower theoretical considerations that often dominate ethics courses. The optimistic tone and brisk pace of the narrative provide an entertaining and intelligent guide to "everyday" morality. The fourth edition (...) features a new chapter on ethical theories; significantly revised and expanded chapters on conflicts of value and creative problem- solving in ethics; and a new concluding chapter on "Making a Difference, " which explains how students can incorporate ethical thinking and practice into their daily lives. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This popular selection of Wittgenstein’s key writings has now been updated to include new material relevant to recent debates about the philosopher. Follows the evolution of Wittgenstein’s philosophical thought from the Tractatus Logico-Philosophicus through to the Philosophical Investigations. Excerpts are arranged by topic and introduce readers to all the central concerns of Wittgenstein’s philosophy. Now includes a new chapter on ‘Sense, Nonsense and Philosophy’ incorporating material relevant to recent debates about Wittgenstein.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...) logic and propositional multiplicative intuitionistic linear logic. The predicate version of BI includes, in addition to standard additive quantifiers, multiplicative (or intensional) quantifiers ∀ new and ∃ new which arise from observing restrictions on structural rules on the level of terms as well as propositions. We discuss computational interpretations, based on sharing, at both the propositional and predicate levels. (shrink)

Introspective evidence is still treated with great suspicion in cognitive science. This work is designed to encourage cognitive scientists to take more account of the subject's unique perspective.

First published in 1973, Sir Anthony Kenny’s classic introduction to Wittgenstein was widely praised for offering a lucid and historically informed account of the philosopher’s core concerns. Kenny's study is also remarkable for demonstrating the continuity between Wittgenstein’s early and late writings. Focusing on Wittgenstein’s philosophy of mind and language, Kenny closely examines the works of the middle years. He exposes apparent conflicts and then goes on to reconcile them, providing a persuasive argument for the unity of Wittgenstein’s thought. (...) This revised edition includes an extensive new introduction in which Kenny outlines developments in Wittgenstein scholarship since the book was first published and assesses Wittgenstein’s influence in the latter part of the twentieth century. (shrink)

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer’s conceptual model of a program’s manipulation of computer memory with the logical model that interprets what sentences in the logic are true, and because it has a proof theory which aids in the crucial problem of scaling the reasoning (...) task. Scalability is a central problem, and some would even say the central problem, in appli- cations of logic in computer science. Separation Logic is an interesting case because of its widespread success in verification tools. For these two senses of model—the engineering/conceptual and the logical—to merge in a genuine sense, each must maintain their norms of use from their home disciplines. When this occurs, both the logic and engineering benefit greatly. Seeking this intersection of two different senses of model provides a strategy for how computer scientists and logicians may be successful. Furthermore, the history of Separation Logic for analysing programs provides a novel case for philosophers of science of how software engineers and computer scientists develop models and the components of such models. We provide three contributions: an exploration of the extent of models merging that is necessary for success in computer science; an introduction to the technical details of Separation Logic, which can be used for reasoning about other exhaustible resources; and an introduction to the problems, process, and results of computer scientists for those outside the field. (shrink)

While philosophers of mind have been arguing over the status of mental representations in cognitive science, cognitive scientists have been quietly engaged in studying perception, action, and cognition without explaining them in terms of mental representation. In this book, Anthony Chemero describes this nonrepresentational approach, puts it in historical and conceptual context, and applies it to traditional problems in the philosophy of mind. Radical embodied cognitive science is a direct descendant of the American naturalist psychology of William James and (...) John Dewey, and follows them in viewing perception and cognition to be understandable only in terms of action in the environment. Chemero argues that cognition should be described in terms of agent-environment dynamics rather than in terms of computation and representation. After outlining this orientation to cognition, Chemero proposes a methodology: dynamical systems theory, which would explain things dynamically and without reference to representation. He also advances a background theory: Gibsonian ecological psychology, "shored up" and clarified. Chemero then looks at some traditional philosophical problems through the lens of radical embodied cognitive science and concludes that the comparative ease with which it resolves these problems, combined with its empirical promise, makes this approach to cognitive science a rewarding one. "Jerry Fodor is my favorite philosopher," Chemero writes in his preface, adding, "I think that Jerry Fodor is wrong about nearly everything." With this book, Chemero explains nonrepresentational, dynamical, ecological cognitive science as clearly and as rigorously as Jerry Fodor explained computational cognitive science in his classic work The Language of Thought. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| and (...) |$S4$|⁠, with |$\square $| as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between |$\square $| and a natural presentation of |$\lozenge $|⁠. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Despite recent increasing support for the brain disease model of alcohol and drug addiction, the extent to which the model may clinically impact addiction treatment and client behaviour remains unclear. This qualitative study explored the views of community-based clinicians in Australia and examined: whether Australian community-based clinicians support the BDM of addiction; their attitudes on the impact the model may have on clinical treatment; and their views on how framing addiction as a brain disease may impact addicted clients’ behaviour. Six (...) Australian community-based clinicians participated in semi-structured in-depth interviews that were analysed using thematic analysis. Whilst the BDM was not fully supported by this purposive sample of Australian community-based clinicians, there was acceptance that addiction neuroscience formed a key part of a wider addiction framework. Participants believed the BDM ignored key social, psychological and environmental factors important for successful treatment. The BDM was seen as potentially irrelevant for certain client types, however the model was believed to integrate with particular therapies. Participants believed that for clients viewing their addiction in terms of a brain disease, there were potential positive and negative impacts on client behaviour. Implications for addiction treatment practice and public health policy are discussed. (shrink)

The significance of consciousness in modern science is discussed by leading authorities from a variety of disciplines. Presenting a wide-ranging survey of current thinking on this important topic, the contributors address such issues as the status of different aspects of consciousness; the criteria for using the concept of consciousness and identifying instances of it; the basis of consciousness in functional brain organization; the relationship between different levels of theoretical discourse; and the functions of consciousness.

The lambdaPi-calculus, a theory of first-order dependent function types in Curry-Howard-de Bruijn correspondence with a fragment of minimal first-order logic, is defined as a system of (linearized) natural deduction. In this paper, we present a Gentzen-style sequent calculus for the lambdaPi-calculus and prove the cut-elimination theorem. The cut-elimination result builds upon the existence of normal forms for the natural deduction system and can be considered to be analogous to a proof provided by Prawitz for first-order logic. The type-theoretic setting considered (...) here elegantly illustrates the distinction between the processes of normalization in a natural deduction system and cut-elimination in a Gentzen-style sequent calculus. (shrink)

In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim is to show completeness of the proof rules without any requirement for formal models. Establishing this for propositional intuitionistic logic raises some technical and conceptual issues. We relate Sandqvist’s (complete) base-extension semantics of intuitionistic propositional logic to categorical proof theory in presheaves, reconstructing categorically the soundness and (...) completeness arguments, thereby demonstrating the naturality of Sandqvist’s constructions. This naturality includes Sandqvist’s treatment of disjunction that is based on its second-order or elimination-rule presentation. These constructions embody not just validity, but certain forms of objects of justifications. This analysis is taken a step further by showing that from the perspective of validity, Sandqvist’s semantics can also be viewed as the natural disjunction in a category of sheaves. (shrink)

I teach a workshop on mending and repair at a local haberdashery shop called RayStitch in North London, and I usually begin each session by describing how my interest started. It was because of a sweater that was all worn out and full of holes, with thin and threadbare knitting in its forearms. It had already been repaired in several places, and that repair was visible. The thick white sweater had belonged to my great-uncle Roland and had been mended over (...) the years by his sister, my great-aunt Elizabeth. My great-uncle was a painter, and in old age he used to sit with a board across the arms of his chair and lean forward drawing on paper taped to the board.Roly and Elizabeth.The sleeves on Roly's sweater... (shrink)

This powerful critique of Marx's historical materialism - as a theory of power, as an account of history, and as a political theory -has been revised to take note of the profound intellectual and political changes that have occurred since the first edition was published. Reviews from the first edition 'Giddens draws upon a formidable knowledge of anthropology, archaeology, geography, and philosophy to demonstrate the limitations of Marxism and to formulate his own interpretation of the history of societies ... He (...) does a masterful job of setting his theory within a historical and critical framework of writings on Marx. His clarity of thought and his deft and often humorous handling of the unavoidable jargon of sociology and Marxist political theory makes this book a critical work of the highest quality.' Journal of International Law and Politics 'By contrast with many practictioners in the rather murky area of social theory, Giddens clearly seeks to make himself understood, and he has the useful quality of provoking one to argument. He has let light into some dark places.' The Times Higher Education Supplement 'Although Marx, Durkheim, and Weber continue to fill more index space than any other authors, Critique is Giddens's most explicit and committed statement of his own conceptualization of social theory ... It is his most original and therefore most vulnerable book, at once a cause for celebration and an invitation to critical reappraisal of the author's entire theoretical project.' Environment and Planning. (shrink)

In this paper, I examine a variety of agents that appear in Kantian ethics in order to determine which would be necessary to make a robot a genuine moral agent. However, building such an agent would require that we structure into a robot’s behavioral repertoire the possibility for immoral behavior, for only then can the moral law, according to Kant, manifest itself as an ought, a prerequisite for being able to hold an agent morally accountable for its actions. Since building (...) a moral robot requires the possibility of immoral behavior, I go on to argue that we cannot morally want robots to be genuine moral agents, but only beings that simulate moral behavior. Finally, I raise but do not answer the question that if morality requires us to want robots that are not genuine moral agents, why should we want something different in the case of human beings. (shrink)

Dr Edwards' stimulating and provocative book advances the thesis that the appropriate axiomatic basis for inductive inference is not that of probability, with its addition axiom, but rather likelihood - the concept introduced by Fisher as a measure of relative support amongst different hypotheses. Starting from the simplest considerations and assuming no more than a modest acquaintance with probability theory, the author sets out to reconstruct nothing less than a consistent theory of statistical inference in science.

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 207 Seiten: 279-301.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

Part 1 - Beginnings: from Pythagoras to Plato -- Schools of thought: from Aristotle to Augustine -- How to argue: logic -- Knowledge and its limits: epistemology -- How things happen: physics -- What there is: metaphysics -- Soul and mind -- How to live: ethics -- God.