John McDowell and Wilfrid Sellars respectively intend to develop a conception of the relationship between mind and world that must subvert a fundamental dilemma between the Myth of the Given and Coherentism: both are committed to the “transcendental task” of accounting for the way in which conceptual activity is directed towards a reality that is not a mere reflection of it. This article focuses on a divergence between their respective conceptions of this transcendental task. According to McDowell, this task involves (...) accounting for the intentional properties of experience in terms of the actualization of semantic properties: a central thesis of Mind and World is that thought and reality meet in the realm of sense if we are to avoid the Myth of the Given. On the other hand, Sellars argues that in order to give an adequate account of the transcendental task, we need to leave the realm of sense. The argument defended in this article is that the central thesis of Mind and World threatens to make McDowell fall back into a (sophisticated) form of coherentism: the actualization of semantic properties has, according to Sellars, only limited explanatory scope to account for the intentionality of experience. -/- . (shrink)

In this paper, we defend two main claims. The first is a moderate claim: we have a negative duty to not use binary gender-specific pronouns he or she to refer to genderqueer individuals. We defend this with an argument by analogy. It was gravely wrong for Mark Latham to refer to Catherine McGregor, a transgender woman, using the pronoun he; we argue that such cases of misgendering are morally analogous to referring to Angel Haze, who identifies as genderqueer, as he (...) or she. The second is a radical claim: we have a negative duty to not use any gender-specific pronouns to refer to anyone, regardless of their gender identity. We offer three arguments in favor of this claim (which appeal to concerns about inegalitarianism and risk, invasions of privacy, and reinforcing essentialist ideologies). We also show why the radical claim is compatible with the moderate claim. Before concluding, we examine common concerns about incorporating either they or a neologism such as ze as a third-person singular gender-neutral pronoun. These concerns, we argue, do not provide sufficient reason to reject either the moderate or radical claim. (shrink)

We live in a world saturated in both racial and gendered divisions. Our focus is on one place where attitudes about these divisions diverge: language. We suspect most everyone would be horrified at the idea of adding race-specific pronouns, honorifics, generic terms, and so on to English. And yet gender-specific terms of the same sort are widely accepted and endorsed. We think this asymmetry cannot withstand scrutiny. We provide three considerations against incorporating additional race-specific terms into English, and argue that (...) these considerations also support eliminating the analogous gender-specific terms. With respect to these parts of speech, English should be no more gender-specific than it already is race-specific. (shrink)

The algorithm, a building block of computer science, is defined from an intuitive and pragmatic point of view, through a methodological lens of philosophy rather than that of formal computation. The treatment extracts properties of abstraction, control, structure, finiteness, effective mechanism, and imperativity, and intentional aspects of goal and preconditions. The focus on the algorithm as a robust conceptual object obviates issues of correctness and minimality. Neither the articulation of an algorithm nor the dynamic process constitute the algorithm itself. Analysis (...) for implications in computer science and philosophy reveals unexpected results, new questions, and new perspectives on current questions, including the relationship between our informally construed algorithms and Turing machines. Exploration in terms of current computational and philosophical thinking invites further developments. (shrink)

Phenomenology, according to Husserl, is meant to be philosophy as rigorous science. It was Franz Brentano who inspired him to pursue the ideal of scientific philosophy. Though Husserl began his philosophical career as an orthodox disciple of Brentano, he eventually began to have doubts about this orientation. The Logische Unterschungen is the result of such doubts. Especially after the publication of that work, he became increasingly convinced that, in the interests of scientific philosophy, he had to go in a direction (...) which diverged from Brentano and other members of this school (`Brentanists') who believed in the same ideal. An attempt is made here to ascertain Husserl's philosophical relation to Brentano and certain other Brentanists (Carl Stumpf, Benno Kerry, Kasimir Twardowski, Alexius Meinong, and Anton Marty). The crucial turning point in the development of these relations is to be found in the essay which Husserl wrote in 1894 (particularly in response to Twardowski) under the title `Intentional Objects' (which is translated as an appendix in this volume). This study will be of interest to historians of philosophy and phenomenology in particular, but also to anyone concerned with the ideal of scientific philosophy. (shrink)

In this article I assess the problems and prospects of a microstructural approach to chemical substances. Saul Kripke and Hilary Putnam famously claimed that to be gold is to have atomic number 79 and to be water is to be H2O. I relate the first claim to the concept of element in the history of chemistry, arguing that the reference of element names is determined by atomic number. Compounds are more difficult: water is so complex and heterogeneous at the molecular (...) level that `water is H2O' seems false under some interpretations. I sketch a response to this problem. (shrink)

I propose a new concept of solidarity, which I call “solidarity from below,” that highlights an aspect of solidarity widely recognized in popular uses of the term, but which has hitherto been neglected in the philosophical literature. Solidarity from below is the collective ability of otherwise powerless people to organize themselves for transformative social change. I situate this concept with respect to four distinct but intertwined questions that have motivated extant theorizing about solidarity. I explain what it means to conceptualize (...) solidarity from below as a form of power, rather than as a feeling, disposition, duty, or scheme of social arrangements. Finally, I suggest that the moral-relational aspects of solidarity emerge secondarily from the process of collective power, and not the other way around. (shrink)

Cryonics is the preservation of legally dead human bodies at the temperature of liquid nitrogen in the hope that future technologies will be able to revive them. In philosophical debates surrounding this practice, arguments often focus on prudential implications of cryopreservation, or moral arguments on a societal level. In this paper, we claim that this debate is incomplete, since it does not take into account a significant relational concern about cryonics. Specifically, we argue that attention should be paid to the (...) potential implications of cryopreservation for the mourning processes of surviving loved ones. Cryopreservation increases the likelihood of disruption of the practical and mental tasks involved in a successful mourning process, which can negatively impact survivors of the cryopreserved patient. To illustrate my argument, we will draw on a case study from the 2019 documentaryHope Frozen. We aim to introduce this concern, in order to gain a more complete view on the potential implications of cryopreservation. (shrink)

In this peer commentary on Maura Priest's "Transgender Children and the Right to Transition: Medical Ethics When Parents Mean Well but Cause Harm", I argue against the "mismatch" model of trans identity. On this model, which is prevalent in institutional and medical contexts, to be trans is to have one's gender identity "mismatch" with one's sexed body.

Appraisal research based on participants' self-report of emotional experiences is predicated on the assumption that the academic community and the lay public share comparable meanings of the emotion terms used. However, this can be a risky assumption to make, as in the case of the emotion disgust which appears in common usage to reflect irritation, or anger, as often as repulsion. To examine the theoretical versus the lay meaning of disgust, 140 undergraduates were asked to recall a time when they (...) felt either angry, disgust, disgusted, revulsion, or grossed out. Analysis of event recall responses and emotional experience measures suggests that the common understanding of the word disgust reflects a combination of the conceptual meanings of disgust and anger whereas the slang term grossed out more closely captures the theoretical construct of disgust. Implications of these findings for emotion research based on self-report are discussed. (shrink)

In the dissertation I examine the split between cognition and eros in Kant's notion of objectivity, which has become paradigmatic for modern theories about knowledge. I argue that the split between cognition, on the one hand, and feelings and desires, on the other, does not capture the necessary conditions of knowledge, as Kant claims, but involves a suppression of erotic factors of existence. ;The split between pure knowledge and sensual existence in Kant's thought reflects an ascetic tradition inherited from both (...) Greek and Christian sources, which views the body, sexuality, and in particular women's sexuality as a source of pollution. According to this tradition, since thought must be divested of the pollution of sensuous existence, women's sexuality precludes them from rational activity. Consequently, the philosophical commitment to purity has justified the exclusion of women from the practice of knowledge. ;The particular form of asceticism which is evident in Kant's treatment of sensibility of objective knowledge, of morality, and of aesthetic judgement, reflects the reified nature of relations in an emerging capitalist economy. The suppression of the immediate, sensual qualities in both the subject and object of knowledge, in Kant's system, corresponds to the suppression of the immediate, qualitative features of the subject and object in the process of commodity production. Both persons and things become reduced to a formal abstract equivalence. Kant's notion of objectivity makes normative this objectification of relations between persons and things. ;Thus, the paradigm of objective knowledge is not only damaging to the thinker, who must detach himself from the emotional and sensual facets of existence. It serves as an ideology which has justified the exclusion of women from the pursuit of knowledge, and which more generally legitimates the distorted human relations generated by the world of commodity production. ;By considering Kant's commitment to pure knowledge in the context of the genealogy of the concept of purity, the themes of asceticism and fetishism emerged as mutually illuminating. Implicit in the ascetic denial of sensuality is a dialectic which leads to an objectification of persons and things. Moreover, the fetishism of commodities involves a detachment of erotic interests from persons which results in an obsessive interest in objects. (shrink)

Originally published in 1987 and re-issued in 2020 with a new Preface, this book presents and elaborates interrelated solutions to a number of problems in moral philosophy, from the location of intrinsic value and the nature of a worthwhile life, via the limits of obligation and the nature of justice, to the status of moral utterances. After developing a biocentric account of moral standing, the author locates worthwhile life in the development of the generic capacities of a creature, whether human (...) or nonhuman, and presents an account of relative intrinsic value which later generates a theory of interspecific justice. This value-theory also informs a consequentialist understanding of obligation, of moral rightness and of supererogation. The understanding thus supplied is shown to cope with the problems of integrity, of justice and of the 'Repugnant Conclusion' in population ethics. A cognitivist account of ethical conclusions such as those so far reached is then defended against non-cognitivist and relativist objections and a far-reaching naturalist theory is defended, integrating earlier conclusions with an account of the logic of the fundamental ethical concepts. This wide-ranging volume which maps the whole area of morality is thoroughly argued with reference both to contemporary philosophical developments and to classical theories. (shrink)

"The doctrine of materialism is one of the perennial and most controversial ideas in the arts and sciences. Throughout history it has aroused strong passions, and in the Sixteenth and Twentieth centuries was a doctrine over which people were persecuted and killed. Yet it has been equally aligned with empirical, enlightened and tolerant thinking. This book explores the fascinating and important philosophy of materialism in an engaging and thought-provoking way. Opening with an overview of the ideas of some of the (...) most important materialists, including Lucretius, Epicurus, Hobbes and Hume up to Darwin and Marx, Brown and Ladyman show how materialism's origins were twofold: it was an early form of scientific explanation but also an intellectual outlook, or belief-system, about the world in general. They then explain how materialism's beginnings as imaginative vision of the true nature of things faced a major challenge from modern physics, in the form of quantum theory and the general theory of relativity. This posed major questions for materialism: how could it be reconciled with unobservable entities and new discoveries about the nature of space and time? As the authors show, out of this challenge materialism did not die but re-emerged - as the new doctrine of physicalism. Drawing on colourful examples throughout - from modern physics, the nature of the mind, and atheism - the authors argue that whilst materialism may not have all the answers, its humanism and staunch belief in observation, evidence and experiment remains our best hope in a fragmented and hyper-specialised world"--. (shrink)

I consider the proper interpretation of the process of ecthesis which Aristotle uses several times in the Prior analytics for completing a syllogistic mood, i.e., showing how to produce a deduction of a conclusion of a certain form from premisses of certain forms. I consider two interpretations of the process which have been advocated by recent scholars and show that one seems better suited to most passages while the other best fits a single remaining passage. I also argue that ecthesis (...) for Aristotle really means ?setting out? the case to be proved using letters. Aristotle?s remarks about the use of letters in mathematical proofs suggest that he had some understanding of rules equivalent to universal generalization and existential instantiation; the ?proofs through ecthesis? are so called because they rest on the latter rule, with which use of letters is involved in a special way. (shrink)

The concept of yinyang lies at the heart of Chinese thought and culture. The relationship between these two opposing, yet mutually dependent, forces is symbolized in the familiar black and white symbol that has become an icon in popular culture across the world. The real significance of yinyang is, however, more complex and subtle. This brilliant and comprehensive analysis by one of the leading authorities in the field captures the richness and multiplicity of the meanings and applications of yinyang, including (...) its visual presentations. Through a vast range of historical and textual sources, the book examines the scope and role of yinyang, the philosophical significance of its various layers of meanings and its relation to numerous schools and traditions within Chinese philosophy. By putting yinyang on a secure and clear philosophical footing, the book roots the concept in the original Chinese idiom, distancing it from Western assumptions, frameworks and terms, yet also seeking to connect its analysis to shared cross-cultural philosophical concerns. (shrink)

We provide a formulation of physicalism, and show that this is to be favoured over alternative formulations. Much of the literature on physicalism assumes without argument that there is a fundamental level to reality, and we show that a consideration of the levels problem and its implications for physicalism tells in favour of the form of physicalism proposed here. Its hey elements are, fast, that the empirical and substantive part of physicalism amounts to a prediction that physics will not posit (...) new entities solely for the purpose of accounting for mental phenomena, nor new entities with essentially mental characteristics such as propositioned attitudes or intentions; secondly, that physicalism can safely make do with no more than a weak global formulation of supervenience. (shrink)

A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.

This book presents the case for belief in both creation and evolution at the same time as rejecting creationism. Issues of meaning supply the context of inquiry; the book defends the meaningfulness of language about God, and also relates belief in both creation and evolution to the meaning of life. Meaning, it claims, can be found in consciously adopting the role of steward of the planetary biosphere, and thus of the fruits of creation. Distinctive features include a sustained case for (...) a realist understanding of language about God; a contemporary defence of some of the arguments for belief in God and in creation; a sifting of different versions of Darwinism and their implications for religious belief; a Darwinian account of the relation of predation and other apparent evils to creation; a new presentation of the argument, from the world's value to the purposiveness of evolution; and discussions of whether or not meaning itself evolves, and of religious and secular bases for belief in stewardship. (shrink)

While many of the phenomenological currents in philosophy allegedly utilize a peculiar method, the type under consideration here is characterized by Franz Brentano s ambition to make philosophy scientific by adopting no other method but that of natural science. Brentano became particularly influential in teaching his students (such as Carl Stumpf, Anton Marty, Alexius Meinong, and Edmund Husserl) his descriptive psychology, which is concerned with mind as intentionally directed at objects. As Brentano and his students continued in their investigations in (...) descriptive psychology, another side of Austrian phenomenology, namely object theory, became more and more prominent. The philosophical orientation under consideration in this collection of essays is accordingly a two-sided discipline, concerned with both mind and objects, and applicable to various areas of philosophy such as epistemology, philosophy of language, value theory, and ontology.". (shrink)

In this paper, I critically reconstruct the development of Merleau-Pontyan phenomenology and “radical embodied cognitive science” out of Berlin-School Gestalt theory. I first lay out the basic principles of Gestalt theory and then identify two ways of revising that theory: one route, followed by enactivism and ecological psychology, borrows Gestaltist resources to defend a pragmatic ontology. I argue, however, that Merleau-Ponty never endorses this kind of ontology. Instead, I track his second route toward an ontology of “flesh.” I show how (...) Merleau-Ponty’s arguments for this ontology depend upon criticisms of Gestalt Psychology to which radical embodied cognitive science remains vulnerable, and show that it leads him to a romantic philosophy of nature. (shrink)

We confirm a conjecture, about neat embeddings of cylindric algebras, made in 1969 by J. D. Monk, and a later conjecture by Maddux about relation algebras obtained from cylindric algebras. These results in algebraic logic have the following consequence for predicate logic: for every finite cardinal α ≥ 3 there is a logically valid sentence X, in a first-order language L with equality and exactly one nonlogical binary relation symbol E, such that X contains only 3 variables (each of which (...) may occur arbitrarily many times), X has a proof containing exactly α + 1 variables, but X has no proof containing only α variables. This solves a problem posed by Tarski and Givant in 1987. (shrink)

The Oxford Handbook of Evolutionary Psychology is the definitive, comprehensive, and authoritative text on this burgeoning field. With contributions from over fifty experts in the field, the range and depth of coverage is unequalled. It will be an essential resource for students and researchers in psychology.

While the cultivation of genetically modified organisms (GMO) and the spread of genetically engineered (GE) foods has gone largely unnoticed by the majority of Americans, a growing number of vocal civil society groups are opposing the technology and with it the entire conventional system of food provision. As with other alternative food movements, non-GMO activists focus on changing individual consumption habits as the best means of altering the practices of food manufacturers and thereby what and how food is produced. In (...) this paper I argue that the increasing use of consumerist tactics reflect the neoliberalization of food activism in the United States – a process that rather than heralding sustainable agricultural and economic futures may reinforce the status quo. Using the emerging non-GMO movement, and the associated market for non-GMO products, I challenge the assumptions that consumer sovereignty and freedom of choice will bring about the small-scale, localized alternatives espoused by activists and scholars in the field. Specifically, I explore three critical limitations of contemporary alternative food politics. First, the neoliberalization of activism shifts the responsibility for social reforms from the state and manufactures to individual consumers, bringing with it important social justice implications. Second, focusing on choice opens new spaces for the profit without seriously threatening contemporary market structures or agro-ecological practices. Third, contemporary consumerist politics focus on eating right not less and thereby provide few alternatives to the current trends towards convenience and processed foods. (shrink)

The disappearing agent problem is traditionally cast as a tension between events and event-causation, on the one hand, and agents and agent-causation on the other. How- ever, as we show, the tension between events and agents can be recast as a tension between causation by agents and causation by parts of agents. If this is right, agent- causalists have their own disappearing agent problem to deal with. After setting out a version of this problem in the form of an overdetermination (...) argument, we present available responses to it. By examining these responses, our aim is to motivate the elaboration of an idea of derivative causation within agent-causal theories of action, whereby complex agents with parts cause whatever they must cause in order to act by way of their parts causing it. (shrink)

One of the most important students of Franz Brentano was Anton Marty, who made it his task to develop a philosophy of language on the basis of Brentano’s analysis of mind. It is most unfortunate that Marty does not receive the attention he deserves, primarily due to his detailed and distracting polemics. In the analysis presented here his philosophy of language and other aspects of his thought, such as his ontology , are examined first and foremost in their positive rather (...) than critical character. The analysis is moreover supplemented by translations of four important works by Marty, including his entire work On the Origin of Language. These are in fact the first English translations of any substantial writings by him. The resulting picture that emerges from the analysis and translations is that Marty has much to say that proves to be of enduring interest for the philosophy of language on a range of topics, especially the meanings of statements, of emotive expressions, and of names as regards both their communicative and their ontological aspects. The volume will be of interest not only to philosophers and historians of philosophy, but also to historians of linguistics and psychology. (shrink)

We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterized according to the outcome of certain games. The Lyndon conditions defining representable relation algebras (for the finite case) and a similar schema for cylindric algebras are derived. Finite relation algebras with homogeneous representations are characterized by first order formulas. Equivalence games are defined, and are used to establish whether an (...) algebra is ω-categorical. We have a simple proof that the perfect extension of a representable relation algebra is completely representable. An important open problem from algebraic logic is addressed by devising another two-player game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras. Other instances of this approach are looked at, and include the step by step method. (shrink)

ABSTRACTThis paper argues that decolonial theory can offer a distinctive and valuable ethical lens. Decolonial perspectives give rise to an ethics that is fundamentally global but distinct from, and critical of, moral cosmopolitanism. Decolonial ethics shares with cosmopolitanism a refusal to circumscribe normative commitments on the basis of existing political and cultural boundaries. It differs from cosmopolitanism, though, by virtue of its rejection of the individualism and universalism of cosmopolitan thought. Where cosmopolitan approaches tend to articulate abstract principles developed from (...) within a particular Western tradition, decolonial approaches reject abstract global designs in favour of inter-cultural dialogue amongst multiple people, including peoples who deem collective and non-human entities to be of fundamental moral importance. In addition, decolonial global ethics rejects universality in favour of ‘pluriversality’. (shrink)

There is an ongoing debate in the ontology of action about whether actions are processes, events, relations, or sui generis entities. This paper focuses on the process view, the view that actions are processes. I challenge it in two ways. First, I argue that some actions are not processes because their performance need not be associated with or accompanied by a process. Second, I critically discuss three main arguments that have been advanced to support the process view. My view, the (...) pluralist view, is that process-theorists are right to hold that certain actions are processes, but wrong to maintain that every action is a process: activities are processes, acts are not, and some acts are composed of a process whereas others are not. (shrink)

Biocentrism maintains that all living creatures have moral standing, but need not claim that all have equal moral significance. This moral standing extends to organisms generated through human interventions, whether by conventional breeding, genetic engineering, or synthetic biology. Our responsibilities with regard to future generations seem relevant to non-human species as well as future human generations and their quality of life. Likewise the Precautionary Principle appears to raise objections to the generation of serious or irreversible changes to the quality of (...) life of non-human species. Objections to the application of all this to new life-forms produced by synthetic biology are considered and addressed from a biocentric perspective. The bearing of biocentrism on religions is also considered, together with contrasting views about science, religion and the creation of life. (shrink)

In 1928, Friedrich Solmsen argued that Aristotle'sPosterior Analyticswas largely composed before thePrior Analytics. Ross rejected Solmsen's position in 1939, and a rather lengthy series of rebuttals and counter-attacks between the two scholars followed. Quite recently, Jonathan Barnes has revived this issue with arguments in favour of something very close to Solmsen's thesis: that Aristotle first developed a theory of demonstration (‘apodeictic’) before he had worked out the syllogistic, and that thePosterior Analyticswas originally conceived against this background. Subsequently, when Aristotle formulated (...) a syllogistic, he is supposed by Barnes to have revised or added to the contents of thePosterior Analyticsso as to make syllogistic the logic of Aristotelian science. Thus, Barnes says: ‘the syllogism is in fact an incidental adjunct to the theory of demonstration: the theory can be formulated without reference, explicit or implicit, to Syllogistic, and itcould havebeen discovered by someone who knew nothing whatever about the Syllogism’ (pp. 33–4). (shrink)

Philosophy had either ignored or attacked psychoanalysis: such responses are neither warranted nor helpful. One hundred years after its inception, isn't it time to find out what psychoanalysis has to offer us? In Passion in Theory Robyn Ferrell does just that, and returns with some surprising answers. Concentrating on the work of Freud and Lacan, Robyn Ferrell asks why their work had been so influential in European philosophy yet so marginal in the Anglo-American circles. Passion in Theory explores their conception (...) of the relationship between mind and body, and how it provides a key to many current philosophical questions. Passion in Theory is designed for students and researchers in psychoanalysis, traditional and continental philosophy. (shrink)

This paper is an argument against Truthmaker Necessitarianism—the doctrine that the existence of a truthmaker necessitates the truth of the proposition it makes true. Armstrong’s sufficiency argument for necessitarianism is examined and shown to be question begging. It is then argued in detail that truthmaking is a matter of grounding truth and that grounding is a dependency relation that neither entails nor reduces to necessitation.

There is no doubt that a person's gender could make a difference to their role in Greek sacrifices. But did it normally make a difference in Greece? And why did it make a difference? Two inscriptions from the island of Thasos neatly illustrate the problem. First, one dated to around 440 and found in the sanctuary of Herakles: [ρα]κλε Θασωι [αγ]α ο θμισ, ο– [δ] χορον οδ γ– [υ]ναικ; θμισ ο– [δ]' νατεεται ο– δ γρα τμνετα– ι οσ' θλται1.

We consider connections between number sense—the ability to judge number—and the interpretation of natural language quantifiers. In particular, we present empirical evidence concerning the neuroanatomical underpinnings of number sense and quantifier interpretation. We show, further, that impairment of number sense in patients can result in the impairment of the ability to interpret sentences containing quantifiers. This result demonstrates that number sense supports some aspects of the language faculty.

Considérez les énoncés suivants : « La bombe a causé la destruction du pont » ; « L’explosion de la bombe a causé la destruction du pont » ; « Booth a causé la mort de Lincoln » ; et « Le tir de Booth a causé la mort de Lincoln ». Ces énoncés suggèrent que les objets, tels que les bombes ou les personnes, font partie de la catégorie ontologique des causes, au même titre que les évènements, comme le (...) tir de Booth et l’explosion de la bombe. À première vue, le fait que les objets et les personnes puissent être des causes n’a rien de particulièrement surprenant. Cependant, les philosophes du XXe siècle ont fait preuve d’une extrême méfiance à l’égard de cette idée. Une majorité de philosophes ont trouvé l’idée même de causalité par des objets ou des agents inintelligible, à tel point que les théories standards de la causalité présupposent que les entités reliées comme causes à effets sont des évènements, ou encore des faits, des propriétés ou des états. Pourtant, cette hostilité à l’égard de la causalité des objets est relativement récente ; la causalité agentive semble, au moins jusqu’à Thomas Reid (1710-1796), avoir été la norme, et non le mystère. La mise à l’écart des objets et des agents de la catégorie de cause est-elle justifiée ? Un nombre grandissant de philosophes, les agentialistes (agent-causalists), soutiennent que non et cherchent à réhabiliter l’idée de causalité agentive (par des agents) et/ou substantielle (par des substances), tandis que d’autres, les évènementialistes (event-causalists), défendent que celle-ci est au mieux réductible à la causalité entre évènements, ou au pire que l’idée est incohérente. L’importance de cette question n’est pas négligeable, car elle revient à demander quels sont les moteurs du changement. En effet, nous voulons savoir si certains objets tels que les couteaux, les bombes, les animaux et les personnes sont parfois à l’origine du changement, ou si tout effet procède uniquement de changements antérieurs, d’évènements. Existe-t-il une relation causale, la causalité agentive ou substantielle, reliant objets et changements, différente des relations causales habituellement traitées par les philosophes de la causalité ? Quelle est sa relation avec la causalité évènementielle ? Et comment fonctionne-t-elle ? (shrink)

For every finite n ≥ 4 there is a logically valid sentence φ n with the following properties: φ n contains only 3 variables (each of which occurs many times); φ n contains exactly one nonlogical binary relation symbol (no function symbols, no constants, and no equality symbol): φ n has a proof in first-order logic with equality that contains exactly n variables, but no proof containing only n - 1 variables. This result was first proved using the machinery of (...) algebraic logic developed in several research monographs and papers. Here we replicate the result and its proof entirely within the realm of (elementary) first-order binary predicate logic with equality. We need the usual syntax, axioms, and rules of inference to show that φ n has a proof with only n variables. To show that φ n has no proof with only n - 1 variables we use alternative semantics in place of the usual, standard, set-theoretical semantics of first-order logic. (shrink)