In our lives, we aim to achieve welfare for ourselves, that is, to live good lives. But we also have another, more impartial perspective, where we aim to balance our concern for our own welfare against a concern for the welfare of others. This is a perspective of justice. Nils Holtug examines these two perspectives and the relations between them.

The contributors to the volume are: Richard Arneson, Linda Barclay, Thomas Christiano, Nils Holtug, Susan Hurley, Kasper Lippert-Rasmussen, Dennis McKerlie, ...

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...) rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

If a work of literary fiction prescribes us to imagine that the Devil made a bet with God and transformed into a poodle, then that claim is true in the fiction and we imagine accordingly. Generally, we cooperate imaginatively with literary fictions, however bizarre, and the things authors write into their stories become true in the fiction. But for some claims, such as moral falsehoods, this seems not to be straightforwardly the case, which raises the question: Why not? The puzzles (...) such cases raise are sometimes grouped under the heading “imaginative resistance”. In this paper, I argue against what I take to be the best attempts to dismiss the puzzles and solve them. I also tease out subtleties not sufficiently addressed in the existing literature and end by defending a unified solution of my own. According to this solution, the puzzling phenomena occur when literary works offer inadequate and exhaustive grounds for claims. The solution’s novelty lies in its giving a normative rather than psychological or alethic explanation for the puzzling phenomena, the relevant norms being those of proper artistic appreciation. (shrink)

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

According to several recent studies, a big chunk of college students in North America and Europe uses so called ‘smart drugs' to enhance their cognitive capacities aiming at improving their academic performance. With these practices, there comes a certain moral unease. This unease is shared by many, yet it is difficult to pinpoint and in need of justification. Other than simply pointing to the medical risks coming along with using non-prescribed medication, the salient moral question is whether these practices are (...) troubling in and of themselves. In due consideration of empirical insights into the concrete effects of smart drugs on brain and behavior, our attempt is to articulate wherein this moral unease consists and to argue for why the authors believe cognitive enhancement to be morally objectionable. The authors will contend that the moral problem with these practices lies less in the end it seeks, than in the underlying human disposition it expresses and promotes. Some might ask, what is wrong with molding our cognitive capacities to achieve excellence, get a competitive edge, or, as the whim takes us? In all of these occasions, the usage of smart drugs serves a certain goal, a telos. The goal is, broadly speaking, this: outsmarting opponents in an arms race for limited resources and thereby yielding a competitive edge. In plain words: competition is valued higher than cooperation or solidarity. What is wrong with striving for this goal? The authors submit that the question whether people really want to live in a society that promotes the mentality ‘individual competition over societal cooperation' deserves serious consideration. In developing their answer, the authors draw on an ‘Ethics of Constraint' framework, arguing that widespread off-label use of smart drugs bears the risk of negative neural/behavioral consequences for the individual that might, in the long run, be accompanied by changing social value orientations for the worse. (shrink)

In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.

F. P. Ramsey was a remarkably creative and subtle philosopher who in the briefest of academic careers made significant contributions to logic, philosophy of mathematics, philosophy of language and decision theory. His few published papers reveal him to be a figure or comparable importance to Russell, Carnap and Wittgenstein in the history of analytical philosophy. This book was the first critical study of Ramsey's work, offering a thorough exposition and interpretation of his ideas, setting the ideas in their historical context, (...) and assessing their significance for contemporary research. The study is intended to complement the reissue of Ramsey's papers edited by Professor Hugh Mellor. (shrink)

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)

This is a comprehensive introduction to the history of Western Philosophy from the Pre-Socratics to Twentieth Century thought. In addition to all the key figures, the book covers figures whose contributions have so far been overlooked, such as Vico, Montesquieu, Durkheim and Weber. Along with in-depth discussion of the philosophical movements, Skirbekk and Gilje also discuss the natural sciences, the establishment of the Humanities, Socialism and Fascism, Psychoanalysis, and the rise of the social sciences. _History of Western Thought_ is an (...) ideal introduction to philosophy and the sociological and scientific structures that have shaped modern day philosophy. (shrink)

The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ project of (...) providing a logical basis for metaphysics only relies on the restricted assumption. (shrink)

Psychiatry as a discipline oscillates between the language of emotions and that of biology; ranging from the immersion into the subjective experience of another person to the objective approach of biomedical science. The tension between these different approaches may seem irreconcilable and confusing to some. This was not the case for Karl Jaspers who pioneered a systematic reflection on the concepts underlying psychiatric theory and practice. In this essay, we engage with Jaspers' thinking and create a dialogue with contemporary psychiatric (...) research and philosophy of mind. Jaspers' conception of erklären and verstehen and his position on research in the neuroscience of mental disorders is brought together with the thought of Thomas Nagel and John Searle. We argue for the compatibility of Jaspers' ideas with Nagel's and Searle's views on the mind/body problem. Furthermore, we look at current trends in biological research in psychiatry through the lens of Jaspers' General Psychopathology, from there we derive suggestions and insights for psychiatric theory and practice. (shrink)

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

This is only a very short essay on negation and harmony in philosophical logic. If you buy it anyway, you'll help me pay the bills and I'll be able to write longer things.

Ph.D. thesis submitted for Philosophy (KCL) on 24 July 2007. Supervisors: Keith Hossack, Mark Sainsbury and Wilfried Meyer-Viol.

Emergence is a universal phenomenon that can be defined mathematically in a very general way. This is useful for the study of scientifically legitimate explanations of complex systems, here defined as hyperstructures. A requirement is that the observation mechanisms are considered within the general framework. Two notions of emergence are defined, and specific examples of these are discussed.

Designed to be used on its own or with its companion text, Ultimate Questions: Thinking About Philosophy 3e, this collection of readings covers the major topic areas in philosophy: Knowledge; Free Will; Personal Identity; Mind/Body; God; Ethics; and Political Philosophy. While focusing primarily on contemporary philosophy, it also includes many of the classic works essential to an introductory course.

A handful of scholars have connected objectification (treating people like objects) to personification (treating objects like people). The recurring idea is that personification may entail objectification and therefore share in the latter's ethical difficulties. This idea is defended by various feminist philosophers. They focus on how the connection manifests in the male, heterosexual consumption of pornography, grounding a constitutive ethical criticism of this pornography. In this paper, I schematize the only two arguments for this connection, showing why each fails. I (...) revise one of the arguments to overcome my objection before showing, most significantly, that any argument with the same form must fail. I conclude by suggesting that thinking about the ethics of the imagination offers a promising alternative approach that preserves the spirit of these failed arguments. (shrink)

According to impersonal moralities, welfare is good, period. Therefore, it is good that welfare is realised, whether by the benefiting of individuals who already exist or by the bringing of new...

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

What is objectionable about “blacking up” or other comparable acts of imagining involving unethical attitudes? Can such imaginings be wrong, even if there are no harmful consequences and imaginers are not meant to apply these attitudes beyond the fiction? In this article, we argue that blackface—and imagining in general—can be ethically flawed in virtue of being oppressive, in virtue of either its content or what imaginers do with it, where both depend on how the imagined attitudes interact with the imagining’s (...) context. We explain and demonstrate this using speech act theory alongside a detailed case study of blackface. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (shrink)

Interessen for og fascinationen af middelalderen er for tiden så stor, at Umberto Eco i Slagmark nr. 5 ligefrem kan opstille ti forskellige "middelaldre", der rumsterer i den bølge, som ikke mindst hans egen "Rosens navn" er en vigtig del af.

Inference to the best explanation (IBE) is the principle of inference according to which, when faced with a set of competing hypotheses, where each hypothesis is empirically adequate for explaining the phenomena, we should infer the truth of the hypothesis that best explains the phenomena. When our theories correctly display this principle, we call them our ‘best’. In this paper, I examine the explanatory role of mathematics in our best scientific theories. In particular, I will elucidate the enormous utility of (...) mathematical structures. I argue from a reformed indispensability argument that mathematical structures are explanatorily indispensable to our best scientific theories. Therefore, IBE scientific realism entails mathematical realism. I develop a naturalistic, neo-Quinean ontology, which grounds physical and mathematical entities in structures. Mathematical structures are the truthmakers for the entities of our quantificational discourse. I also develop an ‘ontic conception’ of explanation, according to which explanations exist in the world, whether or not we discover and model them. I apply the ontic account to mathematical structures, arguing that these structures are the explanations for particles, forces, and even the conservation laws of physics. As such, mathematical structures provide the fundamental grounding for ontological commitment. I conclude by reviewing the evidence from modern physics for the existence of mathematical structures. (shrink)