Film and the Emotions explores the complicated relationship between filmed entertainment, such as movies and television shows, and our capacity to feel emotions. This volume of The Midwest Studies in Philosophy covers topics such as the role of imagination in our capacity to respond emotionally to films, how emotions felt in response to films relate to emotions felt about real events, and the moral implications of responding emotionally to fictions, among others. This collection includes nineteen original articles from experts on (...) film and emotion, including Noel Carroll, Gregory Currie, Susan Feagin, Stacie Friend, Robert Hopkins, Peter Lamarque and Peter Goldie, Derek Matravers, Carl Plantinga, and Murray Smith. (shrink)

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

In order to allow the use of axioms in a second‐order system of extracting programs from proofs, we define constant terms, a form of Curry‐Howard terms, whose types are intended to correspond to those axioms. We also define new reduction rules for these new terms so that all consequences of the axioms can be represented. We finally show that the extended Curry‐Howard terms are strongly normalizable.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization (...) corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to (...) Girard's proof using proof-nets. (shrink)

This paper introduces a natural deduction calculus for intuitionistic logic of belief \ which is easily turned into a modal \-calculus giving a computational semantics for deductions in \. By using that interpretation, it is also proved that \ has good proof-theoretic properties. The correspondence between deductions and typed terms is then extended to a categorical semantics for identity of proofs in \ showing the general structure of such a modality for belief in an intuitionistic framework.

Proofs from assumptions are amongst the most fundamental reasoning techniques. Yet the precise nature of assumptions is still an open topic. One of the most prominent conceptions is the placeholder view of assumptions generally associated with natural deduction for intuitionistic propositional logic. It views assumptions essentially as holes in proofs, either to be filled with closed proofs of the corresponding propositions via substitution or withdrawn as a side effect of some rule, thus in effect making them an auxiliary notion subservient (...) to proper propositions. The Curry–Howard correspondence is typically viewed as a formal counterpart of this conception. I will argue against this position and show that even though the Curry–Howard correspondence typically accommodates the placeholder view of assumptions, it is rather a matter of choice, not a necessity, and that another more assumption-friendly view can be adopted. (shrink)

The reduction of the lambda calculus to the theory of combinators in [Sch¨ onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lambda calculus, where the types are built up from atomic types by means of the operation A −→ B, to show that the lambda operator can be eliminated in favor of combinators K and S of each type A −→ (B −→ A) and (A −→ (B −→ C)) −→ ((A −→ B) −→ (A −→ C)), (...) respectively.1 I will extend that result to the case in which the types are built up by means of the general function type ∀x : A.B(x) as well as the disjoint union type ∃x : A.B(x)– essentially to the theory of [Howard, 1980]. To extend the treatment of −→ to ∀ we shall need a generalized form of the combinators K and S, and to deal with ∃ we will need to introduce a new form of the combinator S.. (shrink)

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. (...) This is illustrated by an account of Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject, and develop a further understanding. An appendix contains complete solutions of these exercises. (shrink)

This important book provides a theory about the nature of fiction, and about the relation between the author, the reader and the fictional text. The approach is philosophical: that is to say, the author offers an account of key concepts such as fictional truth, fictional characters, and fiction itself. The book argues that the concept of fiction can be explained partly in terms of communicative intentions, partly in terms of a condition which excludes relations of counterfactual dependence between the world (...) and the text. This communicative model is then applied to the following problems: how can something be 'true in the story' without being explicitly stated in the text? In what ways does interpreting a fictional story depend upon grasping its author's intentions? Is there always a unique best interpretation of a fictional text? What is the correct semantics for fictional names? What is the nature of our emotional response to a fictional work? In answering these questions the author explores the complex interaction between author, reader, and text. This interaction requires the reader to construct a 'fictional author' - a character in the story whose personality, beliefs and emotional states must be interpreted if the reader is to grasp the meaning of the work. (shrink)

Studie over het werk van de Duitse wijsgeer Friedrich Ludwig Gottlob Frege (1848-1925).

Infallibilism is the view that a belief cannot be at once warranted and false. In this essay we assess three nonpartisan arguments for infallibilism, arguments that do not depend on a prior commitment to some substantive theory of warrant. Three premises, one from each argument, are most significant: if a belief can be at once warranted and false, then the Gettier Problem cannot be solved; if a belief can be at once warranted and false, then its warrant can be transferred (...) to an accidentally true belief; if a belief can be at once warranted and false, then it can be warranted and accidentally true. We argue that each of these is either false or no more plausible than its denial. Along the way, we offer a solution to the Gettier Problem that is compatible with fallibilism. (shrink)

[This book offers] compilation of examples from TV, newspapers, magazines, advertisements, and our nation's political dialogue.

There is considerable evidence that the hippocampal system contributes both to (1) the temporary maintenance of memories and to (2) the processing of a particular type of memory representation. The findings on amnesia suggest that these two distinguishing features of hippocampal memory processing are orthogonal. Together with anatomical and physiological data, the neuropsychological findings support a model of cortico-hippocampal interactions in which the temporal and representational properties of hippocampal memory processing are mediated separately. We propose that neocortical association areas maintain (...) shortterm memories for specific items and events prior to hippocampal processing as well as providing the final repositories of long-term memory. The parahippocampal region supports intermediate-term storage of individual items, and the hippocampal formation itself mediates an organization of memories according to relevant relationships among items. Hippocampal-cortical interactions produce (i) strong and persistent memories for events, including their constituent elements and the relationships among them, and (ii) a capacity to express memories flexibly across a wide range of circumstances. (shrink)

The concept of a reason is now central to many areas of contemporary philosophy. Key theses in ethics, epistemology, political philosophy, philosophy of action, and the philosophy of the emotions, among others, have come to be framed in terms of reasons. And yet, despite their centrality, theorists seem to take inconsistent things for granted about how reasons work, what kinds of things can be reasons, what reasons favor, and more. Somehow reasons have come to be both indispensable and impenetrable. -/- (...) The Fundamentals of Reasons offers a comprehensive introduction to the philosophy of reasons. Focusing on the twin roles of reasons in explanation and deliberation, the book not only emphasizes what has made reasons central across philosophy but it also explores why philosophers have such incompatible pictures about what reasons are and how they work. Working from the inside out, Howard and Schroeder identify contentious assumptions about not only the internal structure of reasons but also their relationship to other important concepts, and then show how these contentious assumptions shape the many downstream applications of reasons in ethics, epistemology, political philosophy, and beyond. -/- This mildly opinionated exploration of key questions about the significance and nature of reasons helps the reader to navigate this important part of the philosophical landscape and to get clearer about why reasons seem important and what their import, ultimately, is. (shrink)

This book is collection of published and unpublished essays on the philosophy of religion by Howard Wettstein, who is a widely respected analytic philosopher. Over the past twenty years, Wettstein has attempted to reconcile his faith with his philosophy, and he brings his personal investment in this mission to the essays collected here. Influenced by the work of George Santayana, Wittgenstein, and A.J. Heschel, Wettstein grapples with central issues in the philosophy of religion such as the relationship of religious (...) practice to religious belief, what is at stake in the debate between atheists and theists, and the place of doctrine in religion. His discussions draw from Jewish texts as well as Christianity, Islam, and classical philosophy. The challenge Wettstein undertakes throughout the volume is to maintain a philosophical naturalism while pursuing an encounter with God and traditional religion. In the Introduction to this volume, Wettstein elucidates the uniting themes among the collected essays. (shrink)

Since 1962 Kuhn's concept of incommensurability has undergone a process of transformation. His current account of incommensurability has little in common with his original account of it. Originally, incommensurability was a relation of methodological, observational and conceptual disparity between paradigms. Later Kuhn restricted the notion to the semantical sphere and assimilated it to the indeterminacy of translation. Recently he has developed an account of it as localized translation failure between subsets of terms employed by theories.

The paper presents a realist account of the epistemic objectivity of science. Epistemic objectivity is distinguished from ontological objectivity and the objectivity of truth. As background, T.S. Kuhn’s idea that scientific theory-choice is based on shared scientific values with a role for both objective and subjective factors is discussed. Kuhn’s values are epistemologically ungrounded, hence provide a minimal sense of objectivity. A robust account of epistemic objectivity on which methodological norms are reliable means of arriving at the truth is presented. (...) The problem remains that deliberative judgement is required to determine the relevance and relative significance of a range of methodological norms. A role is sketched for cognitive virtues which may be exercised in the course of the deliberative judgement. (shrink)

An argument that we should be optimistic about the capacity of “methodologically omnivorous” geologists, paleontologists, and archaeologists to uncover truths about the deep past. -/- The “historical sciences”—geology, paleontology, and archaeology—have made extraordinary progress in advancing our understanding of the deep past. How has this been possible, given that the evidence they have to work with offers mere traces of the past? In Rock, Bone, and Ruin, Adrian Currie explains that these scientists are “methodological omnivores,” with a variety of strategies (...) and techniques at their disposal, and that this gives us every reason to be optimistic about their capacity to uncover truths about prehistory. Creative and opportunistic paleontologists, for example, discovered and described a new species of prehistoric duck-billed platypus from a single fossilized tooth. Examining the complex reasoning processes of historical science, Currie also considers philosophical and scientific reflection on the relationship between past and present, the nature of evidence, contingency, and scientific progress. -/- Currie draws on varied examples from across the historical sciences, from Mayan ritual sacrifice to giant Mesozoic fleas to Mars's mysterious watery past, to develop an account of the nature of, and resources available to, historical science. He presents two major case studies: the emerging explanation of sauropod size, and the “snowball earth” hypothesis that accounts for signs of glaciation in Neoproterozoic tropics. He develops the Ripple Model of Evidence to analyze “unlucky circumstances” in scientific investigation; examines and refutes arguments for pessimism about the capacity of the historical sciences, defending the role of analogy and arguing that simulations have an experiment-like function. Currie argues for a creative, open-ended approach, “empirically grounded” speculation. (shrink)

Faith in God conflicts with reason—or so we’re told. We focus on two arguments for this conclusion. After evaluating three criticisms of them, we identify an assumption they share, namely that faith in God requires belief that God exists. Whether the assumption is true depends on what faith is. We sketch a theory of faith that allows for both faith in God without belief that God exists, and faith in God while in belief-cancelling doubt God’s existence. We then argue that (...) our theory, unlike the theory of Thomas Aquinas, makes sense of four central items of faith-data: (i) pístis in the Synoptics, (ii) ʾemunāh in the Hebrew scriptures, (iii) exemplars of faith in God, including Abraham, Jesus, and Mother Teresa, and (iv) the widespread experience of people of faith today. We close by assessing revisions of the two arguments we began with, revisions that align with our theory of faith, and find them dubious, at best. (shrink)

Published in 1982 by CUP (pb. 2009) it discusses the forms of materialism then current, including Davidson, early Rorty, but concentrating on Smart and Armstrong, and arguing that central state materialism fails to give a better 'occurrent' account of conscious states than does behaviourism/functionalism, as Armstrong claims. The book starts with a version of the 'knowledge argument' and ends with a chapter claiming that our conception of matter/the physical is more problematic than our conception of mind.

In this chapter I defend a methodological view about how we should conduct substantive ethical inquiries in the fields of normative and practical ethics. I maintain that the direct plausibility and implausibility of general ethical principles – once fully clarified and understood – should be foundational in our substantive ethical reasoning. I argue that, in order to expose our ethical intuitions about particular cases to maximal critical scrutiny, we must determine whether they can be justified by directly plausible principles. To (...) expose apparently plausible principles to maximal critical scrutiny, we must determine whether their direct plausibility can survive careful clarification of what they are really saying. This means that intuitions about cases are useful only in (a) suggesting principles that must stand on their own two feet, and (b) illustrating or otherwise helping us clarify what a principle is really saying. We should not reject principles that seem most directly plausible after we have fully clarified their content simply because they conflict with our intuitions about cases, because to do so is to side with uncritical prejudices over the teachings of critical scrutiny. (shrink)

For William James, work was the problem. Ultimately, going to work was the resolution, and James's quest for meaningful work remains as relevant at the end of the twentieth century as it was in the nineteenth. Weaving letters, diaries, drawings, and published texts, Becoming William James provides a convincing biographical analysis rich in detail and tone. In his new introduction, Howard M. Feinstein adds biological psychiatry to psychoanalytic and family systems theories to inform our understanding of a complex man. (...) In addition, he discusses whether James's mental illness might have been treated with drugs. (shrink)

Howard J. Curzer presents a fresh new reading of Aristotle's Nicomachean Ethics, which brings each of the virtues alive. He argues that justice and friendship are symbiotic in Aristotle's view; reveals how virtue ethics is not only about being good, but about becoming good; and describes Aristotle's ultimate quest to determine happiness.

Some rules seem more important than others. The moral rule to keep promises seems more important than the aesthetic rule not to wear brown with black or the pool rule not to scratch on the eight ball. A worrying number of metaethicists are increasingly tempted to explain this difference by appealing to something they call “authoritative normativity” – it’s because moral rules are “authoritatively normatively” that they are especially important. The authors of this chapter argue for three claims concerning “authoritative (...) normativity”: (1) that motivation for it originates in a parochial conception of “normative flavours”; (2) that arguments against alternative ways of explaining e.g., morality’s importance are overblown; and (3) that there are strong reasons against theorizing in terms of “authoritative normativity”. The overarching aim is not to show that “authoritative normativity” is incoherent or entirely unmotivated. Rather, it is to discuss some of “authoritative normativity’s” deeper commitments to correct the impression that is it largely benign or that it is entailed by familiar and popular “metanormative” positions. Authoritative normativity, it seems to us, is a solution in search of a problem. (shrink)

Questions the research, assumptions, and intention behind Danish statistician Bj²rn Lomborg's attacks on peer-reviewed scientific theories of global warming.

A philosophical exploration of the origin and limits of the modern world.

For many people the existence of God is by no means a sufficiently clear feature of reality. This problem, the fact of divine hiddenness, has been a source of existential concern and has sometimes been taken as a rationale for support of atheism or agnosticism. In this collection of essays, a distinguished group of philosophers of religion explore the question of divine hiddenness in considerable detail. The issue is approached from several perspectives including Jewish, Christian, atheist and agnostic. There is (...) coverage of the historical treatment of divine hiddenness as found in the work of Maimonides, St. John of the Cross, Jonathan Edwards, Kierkegaard, and various Biblical writers. A substantial introduction clarifies the main problems of and leading solutions to divine hiddenness. Primarily directed at philosophers of religion, theologians, and scholars of religious studies, this collection could also serve as a textbook for upper-level courses in philosophy of religion. (shrink)

In this major reinterpretation, Howard Caygill argues that all of Benjamin's work is characterized by its focus on a concept of experience derived from Kant but applied by Benjamin to objects as diverse as urban experience, visual art, literature and philosophy. The book analyzes the development of Benjamin's concept of experience in his early writings showing that it emerges from an engagement with visual experience, and in particular the experience of colour. By representing Benjamin as primarily a thinker of (...) the visual field, Caygill is able to bring forward previously neglected texts on inscription and the visual field and to cast many of his more familiar texts, for instance the Work of Art in an Age of Mechanical Reproduction in a new light. (shrink)

I develop an account of homology and homoplasy drawing on their use in biological inference and explanation. Biologists call on homology and homoplasy to infer character states, support adaptationist explanations, identify evolutionary novelties and hypothesize phylogenetic relationships. In these contexts, the concepts must be understood phylogenetically and kept separate: as they play divergent roles, overlap between the two ought to be avoided. I use these considerations to criticize an otherwise attractive view defended by Gould, Hall, and Ramsey & Peterson. By (...) this view, homology and homoplasy can only be delineated qua some level of description, and some homoplasies (parallelisms) are counted as homologous. I develop an account which retains the first, but rejects the second, aspect of that view. I then characterize parallelisms and convergences in terms of their causal role. By the Strict Continuity account, homology and homoplasy are defined phylogenetically and without overlaps, meeting my restriction. Convergence and parallelisms are defined as two types of homoplasy: convergent homoplasies are largely constrained by external factors, while parallelisms are due to internal constraints. (shrink)

The New Zealand philosopher, Robert Nola (1940-2022), has died. He was a kind man, a good friend, and a fine philosopher. Here is how I remember him.