For relativistic particles with spin 1/2, which are described by the Dirac equation, a semiclassical trace formula is introduced that incorporates expectation values of observables in eigenstates of the Dirac-Hamiltonian. Furthermore, the semiclassical limit of an average of expectation values is expressed in terms of a classical average of the corresponding classical observable.

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)

In this paper, we present and defend an analysis of harm that we call the Negative Influence on Well-Being Account (NIWA). We argue that NIWA has a number of significant advantages compared to its two main rivals, the Counterfactual Comparative Account (CCA) and the Causal Account (CA), and that it also helps explain why those views go wrong. In addition, we defend NIWA against a class of likely objections, and consider its implications for several questions about harm and its role (...) in normative theorizing. (shrink)

The essays in this volume investigate the question of where, and in what sense, the bounds of intelligible thought, knowledge, and speech are to be drawn. Is there a way in which we are limited in what we think, know, and say? And if so, does this mean that we are constrained—that there is something beyond the ken of human intelligibility of which we fall short? Or is there another way to think about these limits of intelligibility—namely, as conditions of (...) our meaning and knowing anything, beyond which there is no specifiable thing we cannot do? -/- These issues feature prominently in the writings of Kant and Wittgenstein who each engaged with them in unique and striking ways. Their thoughts on the matter remain provocative and stimulating, and accordingly the contributions to this volume address the issues surrounding the limits of intelligibility both exegetically and systematically: they examine how they figure in Kant’s and Wittgenstein’s most significant works and put them in touch with contemporary debates that are shaped by their legacy. These debates concern, inter alia, logically and morally alien thought, the semantics and philosophy of negation, disjunctivism in philosophy of perception and ethics, paraconsistent approaches to contradiction, and the relation between art, literature, and philosophy. The book is divided into four parts: Part I gives a first assessment of the issues, Part II examines limits as they feature in Kant, Part III as they feature in Wittgenstein, and Part IV suggests some ways in which the questions at issue might be reconsidered, drawing upon ideas in phenomenology, dialetheism, metamathematics, and the works of other influential authors. -/- Limits of Intelligibility provides insight into a theme that is central to the thought of two of the most important figures in modern philosophy, as well as to recent metaphysics, philosophy of language, philosophy of logic, epistemology, and ethics. (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)

Advanced AI systems are rapidly making their way into medical research and practice, and, arguably, it is only a matter of time before they will surpass human practitioners in terms of accuracy, reliability, and knowledge. If this is true, practitioners will have a prima facie epistemic and professional obligation to align their medical verdicts with those of advanced AI systems. However, in light of their complexity, these AI systems will often function as black boxes: the details of their contents, calculations, (...) and procedures cannot be meaningfully understood by human practitioners. When AI systems reach this level of complexity, we can also speak of black-box medicine. In this paper, we want to argue that black-box medicine conflicts with core ideals of patient-centered medicine. In particular, we claim, black-box medicine is not conducive for supporting informed decision-making based on shared information, shared deliberation, and shared mind between practitioner and patient. (shrink)

A prominent objection to the counterfactual comparative account of harm is that it classifies as harmful some events that are, intuitively, mere failures to benefit. In an attempt to solve this problem, Duncan Purves has recently proposed a novel version of the counterfactual comparative account, which relies on a distinction between making upshots happen and allowing upshots to happen. In this response, we argue that Purves’s account is unsuccessful. It fails in cases where an action makes the subject occupy a (...) high well-being level though one of the available alternatives would have made it even higher. In fact, it fails even in some cases where each of the available alternatives to the action that was actually performed would have made the subject’s well-being level lower. (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)

Eristic has been studied more and more intensively in recent years in philosophy, law, communication theory, logic, proof theory, and A.I. Nevertheless, the modern origins of eristic, which almost all current researchers see in the philosopher Arthur Schopenhauer, are considered to be a theory of the illegitimate use of logical and rhetorical devices. Thus, eristic seems to violate the norms of discourse ethics. In this paper, I argue that this interpretation of eristic is based on prejudices that contradict the original (...) intention of modern eristic. Eristic is not an art of being right or winning an argument, but an art of protecting oneself from the one who deliberately violates norms of discourse ethics to gain argumentative acceptance. For this reason, eristic must be seen as a discipline of Enlightenment philosophy and a correlate of discourse ethics. Especially in the age of alternative facts and post-factual politics, this makes eristic a valuable discipline. (shrink)

According to luck egalitarianism, it is not unfair when people are disadvantaged by choices they are responsible for. This implies that those who are disadvantaged by choices that prevent disadvantage to others are not eligible for compensation. This is counterintuitive. We argue that the problem such cases pose for luck egalitarianism reveals an important distinction between responsibility for creating disadvantage and responsibility for distributing disadvantage which has hitherto been overlooked. We develop and defend a version of luck egalitarianism which only (...) holds people responsible for creating disadvantage. This revision enables luck egalitarianism to offer compensation to those who are disadvantaged by preventing disadvantage to others, like dependent caretakers, without compromising the responsibility–sensitivity at the heart of luck egalitarianism. (shrink)

Possible-worlds accounts of mental or linguistic content are often criticized for being too coarse-grained. To make room for more fine-grained distinctions among contents, several authors have recently proposed extending the space of possible worlds by "impossible worlds". We argue that this strategy comes with serious costs: we would effectively have to abandon most of the features that make the possible-worlds framework attractive. More generally, we argue that while there are intuitive and theoretical considerations against overly coarse-grained notions of content, the (...) same kinds of considerations also prohibit an overly fine-grained individuation of content. An adequate notion of content, it seems, should have intermediate granularity. However, it is hard to construe a notion of content that meets these demands. Any notion of content, we suggest, must be either implausibly coarse-grained or implausibly fine-grained (or both). (shrink)

To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly conflated with logical monism of Kantian provenance. This logical monism asserts that only one logic is authoritative, thereby rendering all other research in the field marginal and negating the possibility of acknowledging a history of logic. In this paper, I will show how this and many related issues have developed, and that they are founded on only (...) one prominent statement by Kant. I will argue, however, that this statement takes on a very different meaning in a broader context of the history and philosophy of science, and that Kant and his supporters never advocated the logical monism that they are still said to hold today. (shrink)

The Groundwork of the Metaphysics of Morals is Kant's central contribution to moral philosophy, and has inspired controversy ever since it was first published in 1785. Kant champions the insights of 'common human understanding' against what he sees as the dangerous perversions of ethical theory. Morality is revealed to be a matter of human autonomy: Kant locates the source of the 'categorical imperative' within each and every human will. However, he also portrays everyday morality in a way that many readers (...) find difficult to accept. The Groundwork is a short book, but its argument is dense, intricate and at times treacherous. This commentary explains Kant's arguments paragraph by paragraph, and also contains an introduction, a synopsis of the argument, six short interpretative essays on key topics of the Groundwork, and a glossary of key terms. It will be an indispensable tool for anyone wishing to study the Groundwork in detail. (shrink)

Some forms of argumentation are best performed through words. However, there are also some forms of argumentation that may be best presented visually. Thus, this paper examines the virtues of visual argumentation. What makes visual argumentation distinct from verbal argumentation? What aspects of visual argumentation may be considered especially beneficial?

Aufstieg zum Einen - das ist das Zentrum der Philosophie Plotins und des von ihm ausgehenden Neuplatonismus. Dass solcher Aufstieg zum Einen aber auch schon bei Platon eine zentrale Rolle spielt, gehört zu den wichtigsten Einsichten der neueren Platonforschung. Das vorliegende Buch zieht daraus die Konsequenz und bestimmt das Verhältnis zwischen Platon und dem Neuplatonismus neu. Es verbindet die erste umfassende Darstellung von Plotins Theorie des Absoluten mit einer Rekonstruktion von Platons Henologie. Dabei arbeitet es die enge Verbindung beider heraus (...) und macht zugleich die bleibende philosophische Relevanz des Themas deutlich. (shrink)

Die Frage ›Warum ist überhaupt etwas und nicht vielmehr nichts?‹ gehört zu den ebenso traditionsreichen wie umstrittenen Problemen der Philosophie. Bereits mehrmals in die Mottenkiste der Philosophiegeschichte verbannt, erlebt sie doch zuverlässig ihre Renaissancen. Der vorliegende Band nimmt sich der ›Grundfrage‹ in einer ideengeschichtlichen Perspektive an. Dabei stellt sich heraus, dass die systematisch keineswegs erst mit Leibniz auftauchende Frage in ihrer Geschichte von der Antike bis zur gegenwärtigen analytischen Philosophie nicht nur jeweils unterschiedliche Antworten provoziert hat, sondern vor allem auch (...) ganz verschieden gestellt worden ist: Formuliert Leibniz »Pourquoi il y a plus tôt quelque chose que rien?«, heißt es bei Schelling »Warum ist nicht nichts, warum ist überhaupt etwas?«, während Schopenhauer ihr eine existentielle Wendung gibt (»Lieber nichts als etwas«). Heideggers Auseinandersetzung mit dem Nihilismus führt zu der Frage: »Warum ist überhaupt Seiendes und nicht vielmehr Nichts?«, während Arendt sie ins Politische wendet (»Warum ist überhaupt jemand und nicht niemand?«). Der Band wird durch einen Überblick über die vielschichtige Diskussion der ›letzten Warum-Frage‹ in der Tradition der Analytischen Philosophie sowie einen Antwortversuch aus Sicht der aktuellen Physik und Kosmologie abgerundet. (shrink)

This paper is concerned with the connection between the causal exclusion argument and the supervenience argument and, in particular, with two exclusion principles that figure prominently in these arguments. Our aim is, first, to reconstruct the dialectics of the two arguments by formalizing them and by relating them to an anti-physicalist argument by Scott Sturgeon. In a second step, we assess the conclusiveness of the two arguments. We demonstrate that the conclusion of both the causal exclusion argument and the supervenience (...) argument (a negation of the so called ?non-identity premise?) is not tantamount to the claim that all mental events are identical to physical events and that a cause-supervenience exclusion principle is actually required for the validity of the first stage of the supervenience argument. Moreover, we show that this new exclusion principle makes an epiphenomenalism with respect to mental events an impossible position, and that there are good reasons to believe in its falsity, rendering the supervenience argument inconclusive. (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)

Suppose your evil sibling travels back in time, intending to lethally poison your grandfather during his infancy. Determined to save grandpa, you grab two antidotes and follow your sibling through the wormhole. Under normal circumstances, each antidote has a 50% chance of curing a poisoning. Upon finding young grandpa, poisoned, you administer the first antidote. Alas, it has no effect. The second antidote is your last hope. You administer it---and success: the paleness vanishes from grandpa's face, he is healed. As (...) you administered the first antidote, what was the chance that it would be effective? -/- This essay offers a systematic account of this case, and others like it. The central question is this: Given a certain time travel structure, what are the chances? In particular, I'll develop a theory about the connection between these chances and the chances in ordinary, time-travel-free contexts. Central to the account is a Markov condition involving the boundaries of spacetime regions. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

This paper introduces the design principle of legibility as means to examine the epistemic and ethical conditions of sensing technologies. Emerging sensing technologies create new possibilities regarding what to measure, as well as how to analyze, interpret, and communicate said measurements. In doing so, they create ethical challenges for designers to navigate, specifically how the interpretation and communication of complex data affect moral values such as autonomy. Contemporary sensing technologies require layers of mediation and exposition to render what they sense (...) as intelligible and constructive to the end user, which is a value-laden design act. Legibility is positioned as both an evaluative lens and a design criterion, making it complimentary to existing frameworks such as value sensitive design. To concretize the notion of legibility, and understand how it could be utilized in both evaluative and anticipatory contexts, the case study of a vest embedded with sensors and an accompanying app for patients with chronic obstructive pulmonary disease is analyzed. (shrink)

Contemporary conversations about religion and culture are framed by two reductive definitions of secularity. In one, multiple faiths and nonfaiths coexist free from a dominant belief in God. In the other, we deny the sacred altogether and exclude religion from rational thought and behavior. But is there a third way for those who wish to rediscover the sacred in a skeptical society? What kind of faith, if any, can be proclaimed after the ravages of the Holocaust and the many religion-based (...) terrors since? Richard Kearney explores these questions with a host of philosophers known for their inclusive, forward-thinking work on the intersection of secularism, politics, and religion. An interreligious dialogue that refuses to paper over religious difference, these conversations locate the sacred within secular society and affirm a positive role for religion in human reflection and action. Drawing on his own philosophical formulations, literary analysis, and personal interreligious experiences, Kearney develops through these engagements a basic gesture of hospitality for approaching the question of God. His work facilitates a fresh encounter with our best-known voices in continental philosophy and their views on issues of importance to all spiritually minded individuals and skeptics: how to reconcile God's goodness with human evil, how to believe in both God and natural science, how to talk about God without indulging in fundamentalist rhetoric, and how to balance God's sovereignty with God's love. (shrink)

I raise two objections against Christian List and Peter Menzies' influential account of high-level causation. Improving upon some of Stephen Yablo's earlier work, I develop an alternative theory which evades both objections. The discussion calls into question List and Menzies' main contention, namely, that the exclusion principle, applied to difference-making, is false.

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.

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)

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)

Meaningful work is an important ideal, but it seems hard to give an adequate account of meaningful work. In this article, I conduct a revisionary conceptual analysis of ‘meaningful work’, i.e. a conceptual analysis that aims at finding a better and more useful way to use this term. I argue for a distinction between cases where work itself is meaningful and cases where other sources of meaning are found at work. The term ‘meaningful work’ is most useful for the former (...) cases. I then argue for the reasons account of what makes work itself meaningful: work is meaningful if (and to the extent that) there are good reasons to do it. I compare this to established accounts of meaningful work, such as subjective meaningfulness, self-realization, alienation, the unity of conception and execution, autonomy, social contribution, and Veltman’s four-dimensional account. None of these capture the distinct concern that the concept ‘meaningful work’ should capture, or they do so less well than the reasons account. This also shows that work can be meaningful regardless of whether it is good in other respects, such as in inherent interest or opportunities for self-realization. (shrink)

Kant lectured on moral philosophy fairly regularly over the course of his long, 40-year teaching career. Bearing a variety of different titles such as “Practical Philosophy”, “Ethics”, and “Universal Practical Philosophy and Ethics”, we have evidence that Kant offered a course on moral philosophy in at least 28 different semesters (of these we can prove that 19 actually took place, 9 others were advertised and there is good reason to think that they took place - see Arnoldt 1909). This means (...) that Kant offered a course on ethics in approximately one third of every semester he taught. The student notes from these lectures have proved invaluable resources for gaining insight into Kant’s intellectual development, his opinion on issues not covered extensively in the published works, and his character as a university instructor, among many others things. From his lectures on ethics, 23 distinct sets of notes are thought to have existed at any one point in time, but many of these have since been lost or destroyed (see Naragon 2006). Only 14 sets of notes still exist, either as an original, a copy, a published version of a subsequently lost manuscript, or just a collection of fragments (ibid.). But each of these are not unique, distinct sets of notes. For example: of the 23 sets of known notes, 13 of them belong to the same group in the sense that they are thought to all be copies of one original set. In the end, we possess only five distinct sets of notes from Kant’s lectures on ethics, stemming from various periods of his life: Herder (1760s), Kaehler/Collins (1770s), Powalski (1782/3), Mrongovius (1784/5), and Vigilantius (1790s). In what follows, each of these sets of notes will be given their own brief discussion. (shrink)

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)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, then (...) give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

The Oxford Handbook of Carl Schmitt collects thirty original chapters on the diverse oeuvre of one of the most controversial thinkers of the twentieth century. Carl Schmitt was a German theorist whose anti-liberalism continues to inspire scholars and practitioners on both the Left and the Right. Despite Schmitt's rabid anti-semitism and partisan legal practice in Nazi Germany, the appeal of his trenchant critiques of, among other things, aestheticism, representative democracy, and international law as well as of his theoretical justifications of (...) dictatorship and rule by exception is undiminished. Uniquely located at the intersection of law, the social sciences, and the humanities, this volume brings together sophisticated yet accessible interpretations of Schmitt's sprawling thought and complicated biography. The contributors hail from diverse disciplines, including art, law, literature, philosophy, political science, and history. In addition to opening up exciting new avenues of research, The Oxford Handbook of Carl Schmitt provides the intellectual foundations for an improved understanding of the political, legal, and cultural thought of this most infamous of German theorists. A substantial introduction places the trinity of Schmitt's thought in a broad context. (shrink)

When a proposition might be the case, for all an agent knows, we can say that the proposition is epistemically possible for the agent. In the standard possible worlds framework, we analyze modal claims using quantification over possible worlds. It is natural to expect that something similar can be done for modal claims involving epistemic possibility. The main aim of this paper is to investigate the prospects of constructing a space of worlds—epistemic space—that allows us to model what is epistemically (...) possible for ordinary, non-ideally rational agents like you and me. I will argue that the prospects look dim for successfully constructing such a space. In turn, this will make a case for the claim that we cannot use the standard possible worlds framework to model what is epistemically possible for ordinary agents. (shrink)

Includes articles by: Ulrich Arnswald, Jens Kertscher, Matthias Kross, Thomas Macho, Walter Mesch, Dieter Mersch, Regine Munz, Hans Julius Schneider, Hans-Peter Schutt, Ilse Somavilla, Samuel C. Wheeler III, Anja Weiberg, Rüdiger Zill.

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. This paper proposes that (...) transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (shrink)

This article examines the evolution of the concept of existence in modern visual representation and reasoning, highlighting important milestones. In the late eighteenth century, during the so-called golden age of visual reasoning, nominalism reigned supreme and there was limited scope for existential import or individuals in logic diagrams. By the late nineteenth century, a form of realism had taken hold, whose existential commitments continue to dominate many areas in logic and visual reasoning to this day. Physical, metaphysical, epistemological, and linguistic (...) positions underlie both nominalist and realist views. Since the paradigmatic works on visual reasoning in the 1990s, formal diagram systems have been developed that revive either the nominalist or realist perspectives. Unlike in the nineteenth century, these are not motivated by philosophical views. Nevertheless, they may still have an impact on many areas of philosophy and science outside logic. (shrink)

National Artificial Intelligence (AI) strategies articulate imaginaries of the integration of AI into society and envision the governing of AI research, development and applications accordingly. To integrate these central aspects of national AI strategies under one coherent perspective, this paper presented an analysis of Germany’s strategy ‘AI made in Germany’ through the conceptual lens of ordoliberal political rationality. The first part of the paper analyses how the guiding vision of a human-centric AI not only adheres to ethical and legal principles (...) consistent with Germany’s liberal democratic constitutional system but also addresses the risks and promises inherent to the ordoliberal problematization of freedom. Second, it is scrutinized how the strategy cultivates the fear of not achieving technological sovereignty in the AI sector. Thereby, it frames the global AI race as a race of competing (national) approaches to governing AI and articulates an ordoliberal approach to governing AI (the ‘third way’), according to which government has to operate between the twin dangers of governing too much and not governing enough. Third, the paper analyses how this ordoliberal proportionality of governing structures Germany’s Science Technology & Innovation Policy. It is shown that the corresponding risk-based approach of regulating AI constitutes a security apparatus as it produces an assessment of fears: weighting the fear of the failure to innovate with the fear of the ramifications of innovation. Finally, two lines of critical engagement based on this analysis are conducted. (shrink)

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)

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)

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. (...) -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

Algorithms are used across a wide range of societal sectors such as banking, administration, and healthcare to make predictions that impact on our lives. While the predictions can be incredibly accurate about our present and future behavior, there is an important question about how these algorithms in fact represent human identity. In this paper, we explore this question and argue that machine learning algorithms represent human identity in terms of what we shall call the statistical individual. This statisticalized representation of (...) individuals, we shall argue, differs significantly from our ordinary conception of human identity, which is tightly intertwined with considerations about biological, psychological, and narrative continuity—as witnessed by our most well-established philosophical views on personal identity. Indeed, algorithmic representations of individuals give no special attention to biological, psychological, and narrative continuity and instead rely on predictive properties that significantly exceed and diverge from those that we would ordinarily take to be relevant for questions about how we are. (shrink)

In this paper, we offer a novel defense of descriptivism about reference. Our argument is based on principles about the relevance of speaker intentions to reference that are shared by many opponents of descriptivism, including Saul Kripke. We first show that two such principles that are plausibly endorsed by Kripke and other prominent externalists in fact entail descriptivism. The first principle states that when certain kinds of speaker intentions are present, they suffice to determine and explain reference. According to the (...) second principle, certain speaker intentions must be present whenever something determines or explains reference. We then go on to make these principles more precise and argue that it would be costly to deny either of them. Since on the more precise understanding we suggest, the conjunction of these principles still entails descriptivism, we conclude that opponents of descriptivism have to give up some highly plausible assumption about the relation between speaker intentions and reference. (shrink)