French mathematician and natural philosopher René Descartes in the early seventeenth century developed his “thinking thing” definition of human being. This ontological construct that places the rational intellect of mankind as separate and superior to the natural world became the centerpiece of the Enlightenment and established the Modern Age. Descartes’s definition underlay the scientific and industrial revolution, colonialism, and the cultural imperialism of the West to become globalized along with modernity. With the marvelous technological advances of the worldwide spread of (...) modernity also came devastating climate change and massive biodiversity loss that threatens our species sustainability. The American philosopher John Deely in the early twenty-first century developed his “semiotic animal” definition of human being that places our species within the natural world while being endowed with a unique responsibility toward its preservation and restoration. Deely’s definition is viewed as in consonance with our sustainable Paleolithic animistic ontological orientation centered on accurately interpreting relational being while going beyond it through clarifying the semiotic processes involved in accurate discernment of sustainable activities. It is asserted that replacing Descartes’s thinking thing definition with Deely’s semiotic animal and globalizing it through contemporary communication technology such as the Internet will launch a Semiotic Age and resolve our sustainability crisis. (shrink)

In its comprehensive overview of Alain Locke's pragmatist philosophy this book captures the radical implications of Locke's approach within pragmatism, the critical temper embedded in Locke's works, the central role of power and empowerment of the oppressed and the concept of broad democracy Locke employed.

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.

Curry claims that the positive paradox principle, ` A ⊃ in his elementary statement presentation, ‘is valid in any normal interpretation’ . By previous definition, ‘an interpretation of a system S is a normal interpretation just when the proposition A is true when and only when ` A’ . But his argument to normal validity is interestingly, and relevantly, invalid.

Any set of truth-functional connectives has sequent calculus rules that can be generated systematically from the truth tables of the connectives. Such a sequent calculus gives rise to a multi-conclusion natural deduction system and to a version of Parigot’s free deduction. The elimination rules are “general,” but can be systematically simplified. Cut-elimination and normalization hold. Restriction to a single formula in the succedent yields intuitionistic versions of these systems. The rules also yield generalized lambda calculi providing proof terms for natural (...) deduction proofs as in the Curry-Howard isomorphism. Addition of an indirect proof rule yields classical single-conclusion versions of these systems. Gentzen’s standard systems arise as special cases. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Drieu, Céline: French Fascism, Scapegoating, and the Price of Revelation Richard J. Golsan Texas A &M University Although the Girardian concept of the scapegoat and its attendant phenomena have a number of obvious implications for the study of fascism, to date the connection has been addressed only in broadly theoretical terms. In Des Choses cachées and in subsequent works, René Girard has alluded to modern political scapegoating such (...) as the Nazi persecution of the Jews as examples of mass victimizations where the enormous number of victims represents an effort to compensate for the failure of the scapegoating process itself in the wake of Christian revelation.1 While the victims are initially vilified, they are not sacralized after their sacrifice, and order is maintained only so long as a steady stream of victims is forthcoming. As Andrew McKenna explains in Violence and Difference, "with the passing of the sacred order, of the sacred tout court, sacrifice becomes less and less capable of uniting the community and therefore demands more and more victims... the decline of symbolic violence brings an increase of real victims; their quantity mounts in inverse proportion to the ritual efficacy of sacrifice, and victimage appears more and more gratuitous" (159-60). Moreover, McKenna continues, victimage of this sort becomes increasingly untraceable, rootless, and it is this aspect of official Nazi anti-Semitism, for example, which allowed many Nazis in their postwar trials to proclaim their innocence for their roles in the Final Solution by insisting that they were "only following orders" (162-3). 1 See Things Hidden 128-9. For a more general discussion of the persecution of ethnic minorities as a source of social cohesiveness, see the essays "Violence and Representation" and "Generative Scapegoating." Drieu, Céline: French Fascism173 These observations certainly help to illuminate the role of scapegoating in Nazi racial politics and in the Holocaust in particular. They are less helpful, however, in understanding other paradigms of fascism in which antiSemitism did not play as central a role or in cases in which fascist ideology was not synonymous with government policy or political hegemony. The role of scapegoating in Italian Fascism, for example, is more difficult to ascertain than it is in Nazism because anti-Semitism was less crucial as a means of establishing social cohesiveness, at least until Nazi influence became predominant during World War II (Soucy xviii). In France, the presence of a number of fascist movements from the twenties through the end of the Occupation, and the absence of an autonomous fascist state during the same period, make the task of assessing the role of scapegoating even more difficult. This is especially true in light of the fact that a number of French fascist movements were not anti-Semitic, at least until it became expedient to be so to curry favor with the Nazis. In French Fascism: The First Wave, Robert Soucy notes that during the interwar years, fascist groups including "the Jeunesse Patriotes, the Croix de Feu and the Faisceau... welcomed Jews into their ranks" (xviii). The lack of a consistent attitude towards the Jews is, in fact, just one of several points of divergence among French fascists and fascist groups prior to World War Two. As a result, historians and political theorists who have studied French fascism have strongly disagreed as to its origins as well as its basic ideology. In Neither Right nor Left: Fascist Ideology in France, Zeev Sternhell argues that "the history of fascism can be described as a continuous attempt to revise marxism and create a national form of socialism" (20). Soucy, on the other hand, insists that on many of the most important social and political issues, including "taxation, government spending, nationalization, property rights, class conflict, religion, education, and foreign policy, French Fascism was overwhelmingly conservative" (xi). Other historians, especially among the French themselves, have gone so far as to insist that there is no such thing as French fascism, that such a creature, if it existed at all, was merely an import, a watered-down version of Nazism or Italian Fascism.2 If no consensus as to the nature or even the existence of French fascism can be reached by analyzing the programs... (shrink)

Recent revisionists about Frege have suggested that, contrary to Dummett's monumental work, Frege is to be understood as primarily an epistemologist, not a theorist of meaning. Currie's book is a valuable contribution to this new way of looking at Frege. Where Sluga, for example, focuses on the historical context of Frege's work and other writers are concerned with special topics such as naming and proof theory, Currie surveys the whole of Frege's career, highlighting his fundamental interest in the nature of (...) mathematical knowledge. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch (...) on consistency. Belnap, N. D., Jr. Grammatical propaedeutic. Thomason, R. H. Decidability in the logic of conditionals. Myhill, J. Levels of implication.--Deontic, epistemic, and erotetic logic: Bacon, J. Belief as relative knowledge. Wu, K. J. Believing and disbelieving. Kordig, C. R. Relativized deontic modalities. Harrah, D. A system for erotetic sentences. (shrink)

Tommy J. Curry’s Another white Man’s Burden is an excellent study of Josiah Royce’s philosophy, particularly his social philosophy, within its historical milieu. I think that Curry is right with respect to his criticism of Royce’s social philosophy. As I read Another white Man’s Burden, I found myself distinguishing between the “good Royce” and the “bad Royce,” along the lines of the simplistic yet fruitful good-bad dichotomy Richard Rorty used to characterize philosophers such as John Dewey. By (...) the “good Royce,” I mean the Royce whose thought is neither necessarily anti-black and racist, nor advances the cause of Anglo-Saxon cultural superiority. By the “bad Royce,” I mean the Royce whose... (shrink)

Philosophers and psychologists discuss new collaborative work in moral philosophy that draws on evolutionary psychology, cognitive science, and neuroscience. For much of the twentieth century, philosophy and science went their separate ways. In moral philosophy, fear of the so-called naturalistic fallacy kept moral philosophers from incorporating developments in biology and psychology. Since the 1990s, however, many philosophers have drawn on recent advances in cognitive psychology, brain science, and evolutionary psychology to inform their work. This collaborative trend is especially strong in (...) moral philosophy, and these volumes bring together some of the most innovative work by both philosophers and psychologists in this emerging interdisciplinary field. The contributors to volume 1 discuss recent work on the evolution of moral beliefs, attitudes, and emotions. Each chapter includes an essay, comments on the essay by other scholars, and a reply by the author of the original essay. Topics include a version of naturalism that avoids supposed fallacies, distinct neurocomputational systems for deontic reasoning, the evolutionary psychology of moral sentiments regarding incest, the sexual selection of moral virtues, the evolution of symbolic thought, and arguments both for and against innate morality. Taken together, the chapters demonstrate the value for both philosophy and psychology of collaborative efforts to understand the many complex aspects of morality. Contributors William Casebeer, Leda Cosmides, Oliver Curry, Michael Dietrich, Catherine Driscoll, Susan Dwyer, Owen Flanagan, Jerry Fodor, Gilbert Harman, Richard Joyce, Debra Lieberman, Ron Mallon, John Mikhail, Geoffrey Miller, Jesse Prinz, Peter Railton, Michael Ruse, Hagop Sarkissian, Walter Sinnott-Armstrong, Chandra Sekhar Sripada, Valerie Tiberius, John Tooby, Peter Tse, Kathleen Wallace, Arthur Wolf, David Wong. (shrink)

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any “truly satisfying, consistent solution”. I argue that this conclusion is too strong. Heck's Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke's and Field's. Moreover, the new Liar gives us no reasons to think that (versions of) (...) these principles cannot be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

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)

CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...

What is morality? How many moral values are there? And what are they? According to the theory of morality-as-cooperation, morality is a collection of biological and cultural solutions to the problems of cooperation recurrent in human social life. This theory predicts that there will be as many different types of morality as there are different types of cooperation. Previous research, drawing on evolutionary game theory, has identified at least seven different types of cooperation, and used them to explain seven different (...) types of morality: family values, group loyalty, reciprocity, heroism, deference, fairness and property rights. Here we explore the conjecture that these simple moral ‘elements’ combine to form a much larger number of more complex moral ‘molecules’, and that as such morality is a combinatorial system. For each combination of two elements, we hypothesise a candidate moral molecule, and successfully locate an example of it in the professional and popular literature. These molecules include: fraternity, blood revenge, family pride, filial piety, gavelkind, primogeniture, friendship, patriotism, tribute, diplomacy, common ownership, honour, confession, turn taking, restitution, modesty, mercy, munificence, arbitration, mendicancy, and queuing. These findings indicate that morality – like many other physical, biological, psychological and cultural systems – is indeed a combinatorial system. Thus morality-as-cooperation provides a principled and powerful theory, that explains why there are many moral values, and successfully predicts what they will be; and it generates a systematic framework that has the potential to explain all moral ideas, possible and actual. Pursuing the many implications of this theory will help to place the study of morality on a more secure scientific footing. (shrink)

Mark Richard presents an original theory of meaning, as the collection of assumptions speakers make in using it and expect their hearers to recognize as being made. Meaning is spread across a population, inherited by each new generation of speakers from the last, and evolving through the interactions of speakers with their environment.

For much of the twentieth century, philosophy and science went their separate ways. In moral philosophy, fear of the so-called naturalistic fallacy kept moral philosophers from incorporating developments in biology and psychology. Since the 1990s, however, many philosophers have drawn on recent advances in cognitive psychology, brain science, and evolutionary psychology to inform their work. This collaborative trend is especially strong in moral philosophy, and these volumes bring together some of the most innovative work by both philosophers and psychologists in (...) this emerging interdisciplinary field. The contributors to volume 1 discuss recent work on the evolution of moral beliefs, attitudes, and emotions. Each chapter includes an essay, comments on the essay by other scholars, and a reply by the author of the original essay. Topics include a version of naturalism that avoids supposed fallacies, distinct neurocomputational systems for deontic reasoning, the evolutionary psychology of moral sentiments regarding incest, the sexual selection of moral virtues, the evolution of symbolic thought, and arguments both for and against innate morality. Taken together, the chapters demonstrate the value for both philosophy and psychology of collaborative efforts to understand the many complex aspects of morality. Contributors: William Casebeer, Leda Cosmides, Oliver Curry, Michael Dietrich, Catherine Driscoll, Susan Dwyer, Owen Flanagan, Jerry Fodor, Gilbert Harman, Richard Joyce, Debra Lieberman, Ron Mallon, John Mikhail, Geoffrey Miller, Jesse Prinz, Peter Railton, Michael Ruse, Hagop Sarkissian, Walter Sinnott-Armstrong, Chandra Sekhar Sripada, Valerie Tiberius, John Tooby, Peter Tse, Kathleen Wallace, Arthur Wolf, David Wong Walter Sinnott-Armstrong is Professor of Philosophy and Hardy Professor of Legal Studies at Dartmouth College. (shrink)

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.

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)

Jacques Derrida, one of the most influential, controversial and complex thinkers of our time, has come to be at the centre of many political debates. This is the first book to consider the political implications of Derrida's deconstruction. It is a timely response both to Derrida's own recent shift towards thinking about the political, and to the political focus of contemparary Continental philosophy. Richard Beardsworth's study, Derrida and the Political , locates a way of thinking about deconstruction using the (...) tools of political philosophy. Richard Beardsworth has provided students of philosophy, politics and critical theory with a thought-provoking, upper level introduction to Derrida'a work as a political theorist. (shrink)

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.

The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of (...) the concepts involved. This article will offer an introduction to some of the main theories that have been proposed to solve the paradoxes and avert those doubts. Included is also a brief history of the semantic paradoxes from Eubulides to Tarski and Curry. (shrink)

Intersectionality has utilized various feminist theories that continue subculture of violence thinking about Black men and boys. While intersectional feminists often claim that intersectionality leads to a clearer social analysis of power and hierarchies throughout society and within groups, the categories and claims of intersectionality fail to distinguish themselves from previously racist theories that sought to explain race, class, and gender, based on subcultural values. This article is the first to interrogate the theories used to construct the gendered categories and (...) the assumptions behind Black male positionality under intersectional analyses. Contrary to its promises for more liberated Black identities, intersectionality merely replicates the pseudo-science of racist criminology and presents decades old theories as cutting-edge gender analyses. In short, while intersectionality has allowed Black women to create nuanced experiences and epistemological accounts of Black womanhood, the very same theory has confined Black male experience to the perpetration of violence and defined Black manhood as lesser—merely the exemplification of white masculinity’s pathological excess. (shrink)