In a recent article, I criticized Anthony L. Brueckner and John Martin Fischer’s influential argument—appealing to the rationality of our asymmetric attitudes towards past and future pleasures—against the Lucretian claim that death and prenatal non-existence are relevantly similar. Brueckner and Fischer have replied, however, that my critique involves an unjustified shift in temporal perspectives. In this paper, I respond to this charge and also argue that even if it were correct, it would fail to defend Brueckner and Fischer’s proposal against (...) my critique. (shrink)

According to the standard version of the counterfactual comparative account of harm, an event is overall harmful for an individual if and only if she would have been on balance better off if it had not occurred. This view faces the “preemption problem.” In the recent literature, there are various ingenious attempts to deal with this problem, some of which involve slight additions to, or modifications of, the counterfactual comparative account. We argue, however, that none of these attempts work, and (...) that the preemption problem continues to haunt the counterfactual comparative account. (shrink)

Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England played a crucial role (...) in popularising Euler(-type) diagrams. In this paper, the role of the Kantians in the late eighteenth and early nineteenth centuries will be analysed in more detail. It shows that diagrams (or intuition in general) were a highly contentious topic that depend on the philosophical attitude and went beyond logic to touch on issues of physics, metaphysics, linguistics and, above all, mathematics. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in a (...) dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

In this paper, we critically examine Molly Gardner’s favored solution to what she calls “the problem of justified harm.” We argue that Gardner’s view is false and that her arguments in support of it are unconvincing. Finally, we briefly suggest an alternative solution to the problem which avoids the difficulties that beset Gardner’s proposal.

How can work be a genuine good in life? I argue that this requires overcoming a problem akin to that studied by Marx scholars as the problem of work, freedom and necessity: how can work be something we genuinely want to do, given that its content is not up to us, but is determined by necessity? I argue that the answer involves valuing contributing to the good of others, typically as valuing active pro-sociality – that is, valuing actively doing something (...) good for others. This makes work better in one way, and may even make work something we are genuinely glad to have in our lives. Contemporary philosophical thinking about good work tends to focus on how work can be good for the person doing it, by providing, for example, self-realization or social relationships, while underappreciating the special importance of valuing social contribution. People will typically only really want work if they want a part of their lives to be about the good of others. This also means that work may be a part of the best life, something we should take into account when discussing work-related policies and the desirability of a ‘post-work’ future. (shrink)

John Martin Fischer and Anthony L. Brueckner have argued that a person’s death is, in many cases, bad for him, whereas a person’s prenatal non-existence is not bad for him. Their suggestion relies on the idea that death deprives the person of pleasant experiences that it is rational for him to care about, whereas prenatal non-existence only deprives him of pleasant experiences that it is not rational for him to care about. In two recent articles in The Journal of Ethics, (...) I have objected that it is irrelevant what it is in fact rational for the person to care about. Fischer and Brueckner have replied to my critique. In this paper I respond to their latest pair of replies. (shrink)

Many have argued that there is something that is a priori about all necessary truths, including a posteriori necessities. According to a particularly popular claim of this kind, one can know a priori whether a sentence is G-necessary, i.e. whether it is either necessarily true or necessarily false. In this paper, I identify the most plausible version of this claim and I argue that it fails. My discussion also reveals, and depends upon, an important feature of putative natural kind terms (...) that has been widely overlooked. I conclude by outlining a proposal of what is really a priori about necessities. (shrink)

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman (inspired by Thomas Nagel) and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly (...) different from death. This paper criticizes these responses. (shrink)

A pure time preference is a preference for something to occur at one point in time rather than another, merely because of when it occurs in time. Such preferences are widely regarded as paradigm examples of irrational preferences. However, Rosemary Lowry and Martin Peterson have recently argued that, for instance, a pure time preference to go to the opera tonight rather than next month may be rationally permissible, even if the amounts of intrinsic value realized in both cases are identical. (...) In this reply, we argue that Lowry and Peterson's argument is unsuccessful. (shrink)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But (...) in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

A recent approach to the problem of logical omniscience holds that belief is question-sensitive: what an agent believes depends on what question they try to answer (Pérez Carballo, 2016; Yalcin, 2018; Hoek, 2022). While the question-sensitive approach can avoid some logical omniscience problems, we argue that it suffers from nearby problems. First, these accounts all validate closure principles that are just as implausible as the ones it was designed to avoid. Second, question-sensitivity by itself isn’t suitable for explaining many kinds (...) of failures of logical omniscience. Recognizing the flaws of this approach, however, naturally leads to a more promising solution. Our account generalizes the question-sensitive approach by appealing to (1) the defeasible nature of dispositions toward action associated with belief and (2) the algorithms an agent uses to make decisions. On our view, then, believing that φ means being disposed to employ an algorithm which outputs acting on the information that φ in normal circumstances associated with φ. We argue that this account naturally generalizes the question-sensitive accounts while avoiding their faults. (shrink)

According to epistemic two-dimensionalism, or simply two-dimensionalism, linguistic expressions are associated with two intensions, one of which represents an expression’s a priori implications. The author investigates the prospects of conceptual analysis on the basis of a two-dimensionalist theory of meaning. He discusses a number of arguments for and against two-dimensional semantics and argues that properly construed, two-dimensionalism provides a potent and plausible account of meaning. Against the background of this account, the author then goes on to assess the value of (...) conceptual analysis in philosophical practice, outlining its goals, its promises, but also its limitations. (shrink)

Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...) Logik Schopenhauers vorgestellt. Es wird gezeigt, dass Schopenhauers Logikdiagramme auf Ideen der Mathematiker Leonhard Euler (1707–1783), Bernhard Friedrich Thibaut (1775–1832) und Franz Ferdinand Schweins (1780–1856) zurückgehen und dass Schopenhauer diese Logikdiagramme auch bereits zur Analyse mathematischer Begriffe verwendet. Kapitel 4 beschäftigt sich mit der Schopenhauer-Rezeption Diesterwegs. Es wird die Frage behandelt, inwieweit Diesterweg in der Mathematik von Schopenhauer beeinflusst war und welche Rolle dieser Einfluss auf sein Verständnis von Logik und Mathematik hatte. In Kapitel 5 wird schließlich gezeigt, dass Diesterweg die schopenhauersche Begriffsanalyse der Mathematik mit Hilfe von Logikdiagrammen aufgreift und weiterführt. Da Diesterweg einer der einflussreichsten Pädagogen und Mathematikdidaktiker des 20. Jahrhunderts war, ist anzunehmen, dass sich Spuren dieser Methode noch heute finden lassen. Inwiefern dies wahrscheinlich ist, wird in der Zusammenfassung (Kapitel 6) thematisiert. (shrink)

Several attractive principles about prudential concern and moral responsibility seem to speak against animalism. I criticize some animalist responses to this kind of problem, and suggest another answer, which has similarites with the most important argument in favor of animalism: the “thinking animal” argument.

In this paper, I identify and discuss the following feature of our judgments about hypothetical scenarios concerning the identity of persons: with respect to the vast majority of scenarios, both members of a pair of logically complementary propositions about personal identity are conceivable. I consider a number of explanations of this feature that draw on the metaphysics and the epistemology of personal identity, none of which prove to be satisfactory. I then argue that in order to give an adequate explanation, (...) one needs to recognize an important characteristic of our concept of personal identity: it is such that if there are mental substances (or the like), they constitute personal identity. At the same time, there can still be persons if there are no such substances. Since this finding casts doubts on the way that thought experiments about personal identity are usually set up, I end by outlining its potential consequences for the debate over the identity of persons. (shrink)

This paper critically examines Timothy Williamson’s claim that knowledge figures essentially in explanations of behavior. Since this claim implies that knowledge is causally efficacious in bringing about actions, it plays a key role in Williamson’s case for knowledge being a mental state. I first discuss a central example of Williamson, in which a burglar ransacks a house. I dispute Williamson’s claim that the best explanation of the burglar’s behavior invokes the burglar’s state of knowledge as he enters the house, by (...) arguing that there is a better explanation that only mentions the burglar’s beliefs. Since the reasons that explain the superiority of my proposed explanation generalize, I conclude that one does not have to invoke a subject’s state of knowledge to explain behavior. Nevertheless, Williamson’s explanation is superior to belief-based explanations if one only considers facts that obtain before the action takes place. In the final part of the paper, I argue that this fact does not help Williamson’s case for considering knowledge as a mental state. (shrink)

In this paper, I examine how nudges affect the autonomy and freedom of those nudged. I consider two arguments put forth by Thaler and Sunstein for the claim that these effects can only be minor. According to the first of these arguments, nudges cannot significantly restrict a person’s autonomy or freedom since they are easy to resist. According to the second argument, the existence of nudges is inevitable, and thus, pursuing libertarian paternalism by nudging people doesn’t make a relevant difference (...) to people’s autonomy and freedom. After arguing that both of these arguments fail, I elucidate the general conditions in which, and the degrees to which, a person’s autonomy and freedom are affected by nudges. One focus of this discussion concerns how people’s autonomy and freedom are affected if—for example, due to progress in information technology—nudges become more effective, more individualized and more common, and affect more people. (shrink)

According to the modal account of propositional apriority, a proposition is a priori if it is possible to know it with a priori justification. Assuming that modal truths are necessarily true and that there are contingent a priori truths, this account has the undesirable consequence that a proposition can be a priori in a world in which it is false. Epistemic two-dimensionalism faces the same problem, since on its standard interpretation, it also entails that a priori propositions are necessarily a (...) priori. In response to this problem, Chalmers and Rabern propose an alternative conception of propositional apriority as well as two-dimensional truth-conditions for apriority statements. Their proposal is also supposed to avoid another problem for the modal account, namely that it entails the existence of false instances of ‘φ iff actually φ’. I discuss Chalmers and Rabern’s account and point out a number of problems with it. I then develop my own account of propositional apriority that solves the problems in question, that can be accepted by friends and foes of two-dimensionalism alike, and that is also neutral with respect to the question of how one construes the objects of propositional apriority. (shrink)

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.

Logicians commonly speak in a relatively undifferentiated way about pre-euler diagrams. The thesis of this paper, however, is that there were three periods in the early modern era in which euler-type diagrams (line diagrams as well as circle diagrams) were expansively used. Expansive periods are characterized by continuity, and regressive periods by discontinuity: While on the one hand an ongoing awareness of the use of euler-type diagrams occurred within an expansive period, after a subsequent phase of regression the entire knowledge (...) about the systematic application and the history of euler-type diagrams was lost. I will argue that the first expansive period lasted from Vives (1531) to Alsted (1614). The second period began around 1660 with Weigel and ended in 1712 with lange. The third period of expansion started around 1760 with the works of Ploucquet, euler and lambert. Finally, it is shown that euler-type diagrams became popular in the debate about intuition which took place in the 1790s between leibnizians and Kantians. The article is thus limited to the historical periodization between 1530 and 1800. (shrink)

In many social contexts, social influence seems to be inescapable: the behavior of others influences us to modify ours, and vice-versa. However, social psychology is full of examples of phenomena where individuals experience a discrepancy between their public behavior and their private opinion. This raises two central questions. First, how does an individual reason about the behavior of others and their private opinions in situations of social influence? And second, what are the laws of the resulting information dynamics? In this (...) paper, we address these questions by introducing a formal framework for representing reasoning about an individual’s private opinions and public behavior under the dynamics of social influence in social networks. Moreover, we dig deeper into the involved information dynamics by modeling how individuals can learn about each other based on this reasoning. This compels us to introduce a new formal notion of reflective social influence. Finally, we initialize the work on proof theory and automated reasoning for our framework by introducing a sound and complete tableaux system for a fragment of our logic. Furthermore, this constitutes the first tableau system for the “Facebook logic” of J. Seligman, F. Liu, and P. Girard. (shrink)

In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly different from death. This (...) paper criticizes these responses. (shrink)

One increasingly popular approach to personal identity is called ‘animalism.’ Unfortunately, it is unclear just what the doctrine says. In this paper, I criticise several different ways of stating animalism, and put forward one formulation that I find more promising.

Rebecca Roache’s recent critique of David Lewis’s cohabitation view assumes that a person cannot be properly concerned about something that rules out that she ever exists. In this brief response, I argue against this assumption.

Just as some illnesses and injuries are worse than others, so some deaths appear to be worse than others. This is so not only for the fairly trivial reason that those deaths that are bad are worse than those deaths that are not bad: less trivially, some bad deaths seem to be worse than other bad deaths. For instance, whereas it may well be bad for an eighty-year-old to die, it is likely to be even worse for a forty-year-old, and (...) still worse for a twenty-year-old. Supposing that the badness of death does indeed vary in this way, what factor or factors does it vary *with*? The example just given indicates that age is one such factor: in particular, the earlier one’s death occurs, the worse it is. For a number of reasons, however, things are more complicated—though not quite as complicated as some philosophers have suggested. (shrink)

In a typical non-identity case, the agent performs an action that causes someone to exist at a low but positive level of well-being, although an alternative was to create another, much happier person instead. There seem to be strong moral reasons against what the agent does, but it is difficult to explain how this can be so. In particular, it seems that on a simple counterfactual account of harm, the action does not harm anyone, as it does not make anyone (...) worse off than he or she would have been had the action not been performed. In this paper, I criticize the response that the action nevertheless harms the actual child, as well as the response that it makes the counterfactual child worse off. I argue that the following alternative view deserves attention: a compound of the actual and the counterfactual child is made worse off by the action. (shrink)

This chapter, which examines the argument of Epicurus about the timing problem of death, clarifies the Epicurean challenge and identifies some merits and disadvantages of the various anti-Epicurean views. It also explains the concept of several relevant principles including atemporalism, subsequentism, priorism, concurrentism, and eternalism, arguing that the Epicurean argument and its premises are valid.

This paper argues in favor of a hybrid conception of identity. A common conception of identity in datafied society is a split between a digital self and a real self, which has resulted in concepts such as the data double, algorithmic identity, and data shadows. These data-identity metaphors have played a significant role in the conception of informational privacy as control over information—the control of or restricted access to your digital identity. Through analyses of various data-identity metaphors as well as (...) philosophical accounts of identity, we argue in favor of a hybrid conception of identity that emphasizes the relations between the ‘real’ and the ‘digital’. A hybrid conception of identity—where the digital is an aspect on par with social relations, self-understanding, and values—ultimately calls for an understanding of privacy as the right to influence one’s own identity. (shrink)

It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works. One specific diagram depicts a high number of concepts in relation to Good and Evil. It is, hence, uncharacteristic as logicians of that time seldom used diagrams for more than three terms (the number demanded by syllogisms). The objective of this paper is to make sense of this diagram by explaining its function and inquiring whether it could be viewed as an early serious attempt (...) to construct complex diagrams. (shrink)

We propose a new dynamic hybrid logic to reason about social networks and their dynamics building on the work of “Logic in the Community” by Seligman, Liu and Girard. Our framework distinguishes between the purely private sphere of agents, namely their mental states, and the public sphere of their observable behavior, i.e., what they seem to believe. We then show how such a distinction allows our framework to model many social phenomena, by presenting the case of pluralistic ignorance as an (...) example and discussing some of its dynamic properties. (shrink)

Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...) that the ontology of CL enables numerically exact assertions and inferences. (shrink)

Spatial and diagrammatic reasoning is a significant part not only of logical abilities, but also of logical studies. The authors of this paper consider some novel trends in studying this type of reasoning. They show that there are the following two main trends in spatial logic: (i) logical studies of the distribution of various objects in space (logic of geometry, logic of colors, etc.); (ii) logical studies of the space algorithms applied by nature itself (logic of swarms, logic of fungi (...) colonies, etc.). (shrink)

The paper examines Schopenhauer's logic lectures and the eristic dialectics of the manuscript remains in particular. The content of the logic lectures is briefly presented, then the characteristics are highlighted and finally Schopenhauer’s Euler diagrams are examined. The section on eristic dialectics summarizes the history of the text and its origin and reflects the content and order of the document.

In previous research, Schopenhauer is regarded as a consistent representative of a classical picture theory of language. The paper shows, however, that Schopenhauer does not only present a use theory of meaning in his lectures on logic, but also justifies it with the help of the context principle. Furthermore, it is discussed to what extent Schopenhauer's use theory of meaning is similar to the semantic theory of Ludwig Wittgenstein and his successors.

Keyword analysis is used to compare the reporting strategies of three major UK newspapers on the topic of Edward Snowden and state surveillance. Differences are identified in the reporting strategies of The Guardian, Daily Mail and The Sun that provide insight into the ideology of the British press. There is significant variation in the style, content and stances of each newspaper towards state surveillance, as well as clear evidence of ideology within each paper: The Guardian is critical of surveillance and (...) defensive of its decision to publish classified documents; the Daily Mail focuses heavily on personalisation and the personal life of Edward Snowden; and The Sun perpetuates an us/them ideology that is highly supportive of state surveillance. These differences are motivated by each newspaper’s ideology, news values and audience considerations and demonstrate how British newspapers offer radically different perspectives on the same events. (shrink)

This paper is an introduction to the volume Language, Logic and Mathematics in Schopenhauer. It shows the basic interpretations discussed in Schopenhauer’s research, explains the aims and tasks of Schopenhauer’s philosophy and shows the importance of language, logic and mathematics in Schopenhauer’s system.