In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the (...) natural deduction system of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, (...) proofs, fstructures) are somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...) many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

Truth in a correspondence sense is objective in two ways. It is objective because the relation of correspondence is objective and because the facts to which truths correspond are objective. Truth about artifacts is problematic because artifacts are intentionally designed to perform certain functions, and so are not entirely mind independent. Against this, it is argued in this paper that truth about artifacts is perfectly objective despite the role played by intention and purpose in the production of artifacts.

What is the relation between method and truth? Are we justified in accepting a theory that satisfies the rules of scientific method as true? Such questions divide realism from anti-realism in the philosophy of science. Scientific realists take the methods of science to promote the realist aim of correspondence truth. Anti-realists either claim that the methods of science promote lesser epistemic goals than realist truth, or else they reject the realist conception of truth altogether. In this paper, I propose (...) a realist theory of the relation between method and truth. The theory consists of three basic elements: (a) a naturalistic treatment of epistemic normativity, (b) an instrumentalist conception of the nature of methodological rules, and (c) an abductive argument for the truth-conduciveness of the rules of scientific method. (shrink)

The paper examines the role played by the notion of truth in the version of scientific realism known as scientific entity realism. Scientific entity realism is the thesis that the unobservable entities postulated by scientific theories are real. As such, it is an ontological thesis about the existence of certain entities. By contrast, scientific realism is often characterised as a thesis primarily involving the truth of theories. Sometimes scientific realism is expressed as the thesis that theoretical statements are intended as (...) true descriptions of reality. Another favoured theme is that theoretical statements are objectively true or false in virtue of the way the world is independently of us. To such formulations it is usually added that the sense of 'true' required by scientific realism is the correspondence sense. To mark the contrast with scientific entity realism, I shall say that a formulation of scientific realism in terms of truth is a semantic version of scientific realism. [For footnotes, see The Semantic Stance of Scientific Entity Realism Corrigenda in Philosophia 25 3-4 1997 481-482]. (shrink)

We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

In the first of the Insolubles in Chapter 8 of his Sophismata, Buridan contends that the inference Omnis propositio est affirmativa; ergo, nulla propositio est negativa (PS) is valid, even though it appeals to the self-reference in the conclusion to show that what we (following Read 2001) call the classical conception of validity (CCV) fails. This requires that we accept that there are good inferences in which a false conclusion follows from true premises. Partially following Hughes’ proposal (1982), we argue (...) that the First Sophism (PS) involves three different notions of validity. Two of them correspond to the ones described by Hughes (1982, 80–86), who calls them Theory A and Theory B. The third one—that will we call Theory C—is not mentioned by Hughes; instead, it is suggested by Buridan himself in the first three arguments in favor of the validity of PS. We show that: a) from what Buridan says in his Theory C it follows that PS is a formal and material consequence, and hence, a valid one. Then we show that: b) the rejection of CCV and the acceptance of Nulla propositio est negativa (NPN) as a (formal) consequence of Omnis propositio est affirmativa (OPA) leads to a paradox that bears similarities with the one put forward by Pseudo Scotus—which has been studied by Read (2001) and is related to Curry’s paradox. However, there are enough differences to merit considering this paradox separately, especially in relation to the so-called validity paradoxes. Interestingly, our work suggests that Buridan was aware of these problems, which explains why he introduced a new criterion for validity, one that is not based on truth-preservation but on what Spade (1988) calls firmness, and Klima (2016) correspondence. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

Emotions are an integral part of human cognition and they guide not only our understanding of the world but also our actions within it. As such, whether we soothe or flame an emotion is not inconsequential. Recent work in conversational AI has focused on responding empathetically to users, validating and soothing their emotions without a real basis. This AI-aided emotional regulation can have negative consequences for users and society, tending towards a one-noted happiness defined as only the absence of "negative" (...) emotions. We argue that we must carefully consider whether and how to respond to users' emotions. (shrink)

Background: Current practice frequently fails to provide care consistent with the preferences of decisionally-incapacitated patients. It also imposes significant emotional burden on their surrogates. Algorithmic-based patient preference predictors (PPPs) have been proposed as a possible way to address these two concerns. While previous research found that patients strongly support the use of PPPs, the views of surrogates are unknown. The present study thus assessed the views of experienced surrogates regarding the possible use of PPPs as a means to help make (...) treatment decisions for decisionally-incapacitated patients. -/- Methods: This qualitative study used semi-structured interviews to determine the views of experienced surrogates [n=26] who were identified from two academic medical centers and two community hospitals. The primary outcomes were respondents’ overall level of support for the idea of using PPPs and the themes related to their views on how a PPP should be used, if at all, in practice. -/- Results: Overall, 21 participants supported the idea of using PPPs. The remaining five indicated that they would not use a PPP because they made decisions based on the patient’s best interests, not based on substituted judgment. Major themes which emerged were that surrogates, not the patient’s preferences, should determine how treatment decisions are made, and concern that PPPs might be used to deny expensive care or be biased against minority groups. -/- Conclusions: Surrogates, like patients, strongly support the idea of using PPPs to help make treatment decisions for decisionally-incapacitated patients. These findings provide support for developing a PPP and assessing it in practice. At the same time, patients and surrogates disagree over whose preferences should determine how treatment decisions are made, including whether to use a PPP. These findings reveal a fundamental disagreement regarding the guiding principles for surrogate decision-making. Future research is needed to assess this disagreement and consider ways to address it. (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)

When people are making certain medical decisions – especially potentially transformative ones – the specter of regret may color their choices. In this paper, I ask: can predicting that we will regret a decision in the future serve any justificatory role in our present decision-making? And if so, what role? While there are many pitfalls to such reasoning, I ultimately conclude that considering future retrospective emotions like regret in our decisionmaking can be both rational and authentic. Rather than indicating that (...) one is about to make a mistake or that there is some underlying value that one already cares about but is overlooking, the prediction that one will regret a decision in the future makes one confront how her present values and priorities may change as a result of her choice in ways she cannot presently anticipate. (shrink)

Psychometric g—a statistical factor capturing intercorrelations between scores on different IQ tests—is of theoretical interest despite being a low-fidelity model of both folk psychological intelligence and its cognitive/neural underpinnings. Psychometric g idealizes away from those aspects of cognitive/neural mechanisms that are not explanatory of the relevant variety of folk psychological intelligence, and it idealizes away from those varieties of folk psychological intelligence that are not generated by the relevant cognitive/neural substrate. In this manner, g constitutes a high-fidelity bridge model of (...) the relationship between its two targets and, thereby, helps demystify the relationship between folk and scientific psychology. (shrink)

This article offers an interpretation of Descartes’s method of doubt. It wields an examination of Descartes’s pedagogy—as exemplified by The Search for Truth as well as the Meditations—to make the case for the sincerity (as opposed to artificiality) of the doubts engendered by the First Meditation. Descartes was vigilant about balancing the need to use his method of doubt to achieve absolute certainty with the need to compensate for the various foibles of his scholastic and unschooled readers. Nevertheless, Descartes endeavored (...) to instill willful, context-independent, universal doubt across his readership. If all goes well, readers of the Meditations are like method actors; the Meditator is the character they are meant to bring to life, via the method of meditating on reasons for doubt. The article concludes with the suggestion that Descartes was the same kind of skeptic as the early Academic skeptics Arcesilaus and Carneades. (shrink)

In some circles, faith is said to be one of three theological virtues, along with hope and agape. But not everyone thinks faith is a virtue, theological or otherwise. Indeed, depending on how we understand it, faith may well conflict with the virtues. In this chapter we will focus on the virtue of humility. Does faith conflict with humility, or are they in concord? In what follows, we will do five things. First, we will sketch a theory of the virtue (...) of humility. Second, we will summarize a common view of faith, arguably held by Thomas Aquinas among others, and we will argue that Thomistic faith is not an intellectual virtue and that it conflicts with humility in the domain of inquiry. Third, we will plump for an older view of faith, one that predates Aquinas by at least 1500 years, Markan faith. Fourth, we will argue that Markan faith is an intellectual virtue and it is in concord with humility in the domain of inquiry. Fifth, we will argue that Markan faith, unlike Thomistic faith, is a personal virtue and that it is in concord with humility in the domain of personal relationships, both human-human and human-divine. (shrink)

This is the original English version of the introduction to Ciencia, Realidad y Racionalidad (University of Cauca Press, 2015), which is a collection of my essays translated into Spanish by Juan Carlos Aguirre Garcia.

An interview about realism conducted in English and translated into Persian by Reza Alizadeh Mamaghani.

This article reconsiders the relationship between interpretivism about belief and normative standards. Interpretivists have traditionally taken beliefs to be fixed in relation to norms of interpretation. However, recent work by philosophers and psychologists reveals that human belief attribution practices are governed by a rich diversity of normative standards. Interpretivists thus face a dilemma: either give up on the idea that belief is constitutively normative or countenance a context-sensitive disjunction of norms that constitute belief. Either way, interpretivists should embrace the intersubjective (...) indeterminacy of belief. (shrink)

Success semantics holds, roughly, that what it is for a state of an agent to be a belief that P is for it to be disposed to combine with her desires to cause behaviour that would fulfill those desires if P. J. T. Whyte supplements this with an account of the contents of an agent's “basic desires” to provide an attractive naturalistic theory of mental content. We argue that Whyte's strategy can avoid the objections raised against it by restricting “basic (...) desires” to sensory inclinations that cause us to do things independently of our beliefs about their contents. -/- La sémantique du succès soutient, en gros, que ce qu'il faut pour qu'un état d'un agent soit une croyance en P, c'est que cet état soit disposé à se combiner avec ses désirs pour provoquer un comportement qui répondrait à ces désirs si P. J. T. Whyte complète cela par un compte-rendu du contenu des « désirs de base » d'un agent pour fournir une théorie naturaliste attrayante du contenu mental. Nous soutenons que la stratégie de Whyte peut éviter les objections qui lui sont faites en restreignant les « désirs de base » aux inclinations sensorielles qui nous font agir indépendamment de nos croyances sur leur contenu. (shrink)

It has recently been argued that when one conducts an inquiry into some question one ought to suspend belief with respect to that question. But what about hunches? In this short note, a hunch about the cause of a phenomenon is described. The hunch plays a role in the inquiry into the cause of the phenomenon. It appears that the hunch constitutes a belief that need not be suspended during the inquiry even though belief about the precise cause of the (...) phenomenon is suspended. (shrink)

Why should we refrain from doing things that, taken collectively, are environmentally destructive, if our individual acts seem almost certain to make no difference? According to the expected consequences approach, we should refrain from doing these things because our individual acts have small risks of causing great harm, which outweigh the expected benefits of performing them. Several authors have argued convincingly that this provides a plausible account of our moral reasons to do things like vote for policies that will reduce (...) our countries’ greenhouse gas emissions, adopt plant-based diets, and otherwise reduce our individual emissions. But this approach has recently been challenged by authors like Bernward Gesang and Julia Nefsky. Gesang contends that it may be genuinely impossible for our individual emissions to make a morally relevant difference. Nefsky argues more generally that the expected consequences approach cannot adequately explain our reasons not to do things if there is no precise fact of the matter about whether their outcomes are harmful. -/- In the following chapter, author Howard Nye defends the expected consequences approach against these objections. Nye contends that Gesang has shown at most that our emissions could have metaphysically indeterministic effects that lack precise objective chances. He argues, moreover, that the expected consequences approach can draw upon existing extensions to cases of indeterminism and imprecise probabilities to deliver the result that we have the same moral reasons to reduce our emissions in Gesang’s scenario as in deterministic scenarios. Nye also shows how the expected consequences approach can draw upon these extensions to handle Nefsky’s concern about the absence of precise facts concerning whether the outcomes of certain acts are harmful. The author concludes that the expected consequences approach provides a fully adequate account of our moral reasons to take both political and personal action to reduce our ecological footprints. (shrink)

This is a comment on Moti Mizrahi's paper ' You Can't Handle the Truth: Knowledge = Epistemic Certainty'. Mizrahi claims that the factivity of knowledge entails that knowledge requires epistemic certainty. But the argument that Mizrahi presents does not proceed from factivity to certainty. Instead, it proceeds from a premise about the relationship between grounds and knowledge to the conclusion about certainty.

For Kuhn, there are a number of values which provide scientists with a shared basis for theory-choice. These values include accuracy, breadth, consistency, simplicity and fruitfulness. Each of these values may be interpreted in different ways. Moreover, there may be conflict between the values in application to specific theories. In this short paper, Kuhn's idea of scientific values is extended to the value of academic freedom. The value of academic freedom may be interpreted in a number of different ways. Moreover, (...) there are other values which play a role in the functioning of our academic institutions. As with the possible conflict between scientific values, there may be conflict among the academic values. (shrink)

It is argued that in the absence of an algorithm of theory-choice, a role must be played by deliberative judgement in the process of choosing rationally between theories.

There’s a long but relatively neglected tradition of attempting to explain why many researchers working on the nature of phenomenal consciousness think that it’s hard to explain.1 David Chalmers argues that this “meta-problem of consciousness” merits more attention than it has received. He also argues against several existing explanations of why we find consciousness hard to explain. Like Chalmers, we agree that the meta-problem is worthy of more attention. Contra Chalmers, however, we argue that there’s an existing explanation that is (...) more promising than his objections suggest. We argue that researchers find phenomenal consciousness hard to explain because phenomenal concepts are complex demonstratives that encode the impossibility of explaining consciousness as one of their application conditions. (shrink)

Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to have different epistemic characters. (...) Theoretical modelling is grounded in explicit and known analogies between model and target. By contrast, inferences from model organisms are empirical extrapolations. Often such extrapolation is based on shared ancestry, sometimes in conjunction with other empirical information. One implication is that such inferences are unique to biology, whereas theoretical models are common across many disciplines. We close by discussing the diversity of uses to which model organisms are put, suggesting how these relate to our overall account. 1 Introduction2 Volterra and Theoretical Modelling3 Drosophila as a Model Organism4 Generalizing from Work on Model Organisms5 Phylogenetic Inference and Model Organisms6 Further Roles of Model Organisms6.1 Preparative experimentation6.2 Model organisms as paradigms6.3 Model organisms as theoretical models6.4 Inspiration for engineers6.5 Anchoring a research community7 Conclusion. (shrink)

This is a response to Dragan Jakowljewitsch's 'The Successes of Science and Scientific-Theoretical Realism: A Less Than Direct Connection'.

This brief reply to McCain and Poston's chapter problematizes both their objections to my chapter on experience justifying belief and their version of epistemological coherentism.

Many psychologists studying lay belief attribution and behavior explanation cite Donald Davidson in support of their assumption that people construe beliefs as inner causes. But Davidson’s influential argument is unsound; there are no objective grounds for the intuition that the folk construe beliefs as inner causes that produce behavior. Indeed, recent experimental work by Ian Apperly, Bertram Malle, Henry Wellman, and Tania Lombrozo provides an empirical framework that accords well with Gilbert Ryle’s alternative thesis that the folk construe beliefs as (...) patterns of living that contextualize behavior. (shrink)

In Go Set a Watchman, Harper Lee reveals that American man of integrity Atticus Finch harbors deep-seated racist beliefs. Bob Ewell, Finch's nemesis in To Kill a Mockingbird, harbors the same beliefs. But the two men live out their shared racist beliefs in dramatically different fashions. This article argues that extant dispositionalist accounts of belief lack the tools to accommodate Finch and Ewell's divergent styles of believing. It then draws on literary and philosophical character studies to construct the required tools.

This is a sequel to my paper, ‘What is Scientific Realism?’, which appeared in an earlier issue of this journal (Sankey, 2000a). A number of papers by other authors on topics relating to scientific realism have followed in subsequent issues. In this paper I revisit some of the themes developed in my earlier paper in the light of these later papers. I begin by restating the key ideas of the earlier paper. Next, I mention a number of afterthoughts which I (...) have had since the appearance of the paper. I then offer some comments on three of these subsequent papers. I hope these comments advance the discussion by clarifying and developing a number of key points. (shrink)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)

In a recent article in this journal, Krzysztof Poslajko reconstructs—and endorses as probative—a dilemma for interpretivism first posed by Alex Byrne. On the first horn of the dilemma, the interpretivist takes attitudes to emerge in relation to an ideal interpreter (and thus loses any connection with actual folk psychological practices). On the second horn, the interpretivist takes attitudes to emerge in relation to individuals’ judgements (and thus denies the possibility of error). I show that this is a false dilemma. By (...) taking a model-theoretic approach to folk psychology, and marrying interpretivism with dispositionalism, interpretivists can viably reject the notion of an ideal (or canonical) interpreter—and relativize attitudes to actual lay interpreters—without taking on board the unacceptable epistemological consequences of allowing that attitudes are judgement-dependent. (shrink)

In this article, I explore how researchers’ metaphysical commitments can be conducive—or unconducive—to progress in animal cognition research. The methodological dictum known as Morgan’s Canon exhorts comparative psychologists to countenance the least mentalistic fair interpretation of animal actions. This exhortation has frequently been misread as a blanket condemnation of mentalistic interpretations of animal behaviors that could be interpreted behavioristically. But Morgan meant to demand only that researchers refrain from accepting default interpretations of (apparent) actions until other fair interpretations have been (...) duly considered. The Canon backfired largely because of Morgan’s background metaphysical commitment to a univocal, hierarchical, and anthropocentric account of cognitive architecture. I make the case that, going forward, comparative psychologists would do well to pair judicious use of Morgan’s Canon with an openness to the existence of non-humanlike animal minds comprising phenomena belonging to distinct cognitive and folk psychological ontologies. And I argue that this case gives us pragmatic reason to reconcile deep—e.g., psychofunctionalist—and superficial—e.g., dispositionalist—approaches to the metaphysics of belief. (shrink)

Rational argument doesn't often change minds. I explore the reasons why the usual processes of argument seldom convince people on the other side.

I have proposed wedding the theories of belief known as dispositionalism and interpretivism. Krzysztof Poslajko objects that dispositionalism does just fine on its own and, moreover, is better off without interpretivism’s metaphysical baggage. I argue that Poslajko is wrong: in order to secure a principled criterion for individuating beliefs, dispositionalism must either collapse into psychofunctionalism (or some other non-superficial theory) or accept interpretivism’s hand in marriage.

Double dissociations between perceivable colors and physical properties of colored objects have led many philosophers to endorse relationalist accounts of color. I argue that there are analogous double dissociations between attitudes of belief—the beliefs that people attribute to each other in everyday life—and intrinsic cognitive states of belief—the beliefs that some cognitive scientists posit as cogs in cognitive systems—pitched at every level of psychological explanation. These dissociations provide good reason to refrain from conflating attitudes of belief with intrinsic cognitive states (...) of belief. I suggest that interpretivism provides an attractive account of the former. Like colors, attitudes of belief evolved to be ecological signifiers, not cogs in cognitive systems. (shrink)

A pluralistic approach to folk psychology must countenance the evaluative, regulatory, predictive, and explanatory roles played by attributions of intelligence in social practices across cultures. Building off of the work of the psychologist Robert Sternberg and the philosophers Gilbert Ryle and Daniel Dennett, I argue that a relativistic interpretivism best accounts for the many varieties of intelligence that emerge from folk discourse. To be intelligent is to be comparatively good at solving intellectual problems that an interpreter deems worth solving.

This article examines the controversy that has arisen concerning the interpretation of Immanuel Kant's account of European colonialism. One the one hand there are those interpreters such as Robert Bernasconi who see Kant's account as all of a piece with his earlier views on race which demonstrate a certain narrow mindedness in relation to black and coloured people and, on the other hand, there are those such as Pauline Kleingeld and Allen Wood who argue that the earlier writings on race (...) are not wholly typical of Kant's approach and suggest that Kant's later discussions of colonialism in Perpetual Peace and the Metaphysics of Morals provide a better indication of Kant's progressive views on the treatment of non-European societies. The article draws attention to the very strong evidence of Kant's dislike for the pattern of European expansion to other parts of the globe and indicates that within Kant's writings there are the seeds of a wholly unconventional critical understanding of western colonialism that have yet to be developed fully. The article suggests that this critical understanding surpasses the unsystematic objections made to colonialism in post - modernist thought and also the critique proffered by the determinist Marxist account. (shrink)

This article examines where Kant stands on the question of the redistribution of wealth and income both nationally and globally. Kant is rightly seen as a radical reformer of the world order from a political standpoint seeking a republican, federative worldwide system; can he also be seen as wanting to bring about an equally dramatic shift from an economic perspective? To answer this question we have first of all to address the question of whether he is an egalitarian or an (...) inegalitarian at the national level. Certainly there are certain social and material inequalities within a civil society Kant is prepared to accept and there are some he is not. This would imply that he would affirm certain inequalities at an international level and that there are others upon which he would recommend action. Thus the question arises as to whether or not it is appropriate for Kantians to regard the current enormous inequalities in wealth and income between individuals living in different parts of the globe as scandalous and in need of change. The paper throughout relates the problem of distributive justice within the state to the problem of distributive justice amongst states, arguing that this approach is warranted by Kant's own method. Particular attention is paid to how Kant's own approach to political philosophy may be deployed to underpin a change to a distinctive type of international distributive justice. (shrink)

This book presents a critical analysis of the semantic incommensurability thesis of Thomas Kuhn and Paul Feyerabend. In putting forward the thesis of incommensurability, Kuhn and Feyerabend drew attention to complex issues concerning the phenomenon of conceptual change in science. They raised serious problems about the semantic and logical relations between the content of theories which deploy unlike systems of concepts. Yet few of the more extreme claims associated with incommensurability stand scrutiny. The argument of this book is as follows. (...) The terms of theories with different concepts diverge semantically and the vocabularies of such theories may not be fully intertranslatable. Given the possibility of referential overlap between the terms of conceptually divergent theories, it does not follow that the content of such theories is incomparable. Nor, given the distinction between understanding a language and translation from one language into another, does it follow that the proponents of mutually untranslatable theories are unable to communicate. Neither is it the case that the shift between conceptually divergent theories involves a discontinuous transition between theories which have no common reference or that refer to distinct worlds of their own making. The semantic differences resulting from conceptual variance may be embraced within a thoroughly realist framework on which they are construed as diverse linguistic relations to a fixed and independent reality. -/- The book, which was originally published in 1994, has now been re-issued in the Routledge Revivals series. -/- . (shrink)

This 9,000+ word entry briefly assesses five models of the Trinity, those espoused by (i) Richard Swinburne, (ii) William Lane Craig, (iii) Brian Leftow, (iv) Jeff Brower and Michael Rea, and (v) Peter van Inwagen.

Why is there a long-standing debate about paraphrase in poetry? Everyone agrees that paraphrase can be useful; everyone agrees that paraphrase is no substitute for the poem itself. What is there to disagree about? Perhaps this: whether paraphrase can specify everything that counts as a contribution to the meaning of a poem. There are, we say, two ways to take the question; on one way of taking it, the answer is that paraphrase cannot. Does this entail that there is meaning (...) mysteriously locked in a poem, meaning that cannot be represented in any way other than via the poem itself? If that were so it would have profound implications for poetry’s capacity to convey insight. We suggest reasons for thinking that the entailment does not hold. Throughout, we connect the traditional debate over paraphrase, which has largely been conducted within the fields of philosophy and literary theory, with recent empirically oriented thinking about the communicability of meaning, represented by work in pragmatics. We end with a suggestion about what is to count as belonging to meaning, and what as merely among the things that determine meaning. (shrink)