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)

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)

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)

Doctoral graduates in philosophy are an excellent source of information about the discipline: they are at the cutting edge of research trends, have an inside view of researchfocused departments, and their employment prospects provide early insights on the future health of the discipline. We report on the results of a survey sent to recent PhD graduates and current students, as well as data gathering efforts by Academic Placement Data and Analysis that have taken place over the past ten years. In (...) this report we especially focus on demographic representation, program ratings, academic job placement, and non-academic careers. (shrink)

Slurs have been standardly assumed to bear a very direct, very distinctive semantic relationship to what philosophers have called “neutral counterpart” terms. I argue that this is mistaken: the general relationship between paradigmatic slurs and their “neutral counterparts” should be assumed to be the same one that obtains between ‘chick flick’ and ‘romantic comedy’, as well a huge number of other more prosaic pairs of derogatory and “less derogatory” expressions. The most plausible general relationship between these latter expressions — and (...) thus, I argue, between paradigmatic slurs and “neutral counterpart” terms — is one of overlap in presumed extension, grounded in overlap in associated stereotypes. The resulting framework has the advantages of being simple, unified, and, unlike its orthodox rivals, neatly accommodating of a much wider range of data than has previously been considered. More importantly, it positions us to better understand, identify, and confront the insidious mechanisms of ordinary bigotry. (shrink)

We compare the definition of virtue in philosophy with the definition and operationalization of virtue in psychology. We articulate characteristics that virtue is presented as possessing in the perennial western philosophical tradition. Virtues are typically understood as (a) dispositional (b) deep-seated (c) habits (d) that contribute to flourishing and (e) that produce activities with the following three features: they are (f) done well, (g) not done poorly, and (h) in accordance with the right motivation and reason. We form a definition (...) from these characteristics and defend our exclusion of some other characteristics from the definition. Using our definition as a rubric, we evaluate conceptions of virtue in psychology, showing how many fall short at operationalizing at least one component of the philosophical notion of virtue. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of (...) language, logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

The concept of the person is widely assumed to be indispensable for making a rights claim. But a survey of the concept's appearance in legal discourse reveals that the concept is stretched to the breaking point. Personhood stands at the center of debates as diverse as the legal status of embryos and animals to the rights and responsibilities of corporations and nations. This Note argues that personhood is a cluster concept with distinct components: the biological concept of the human being, (...) the notion of a rational agent, and unity of consciousness. Use of these component concepts (in lieu of the concept of the person) in legal reasoning would promote greater systematicity and coherence. (shrink)

Moral education requires interdisciplinary engagement across philosophy, psychology, and education. Positive psychologists regularly acknowledge the breadth and depth of wisdom regarding the cultivation of virtues present in philosophical and religious texts and consult such writings when creating constructs, but they are less prone to integrate scientific findings with historical texts as inquiry proceeds. Thus, we provide a comparative analysis of the advice given in Lorenzo Scupoli’s The Spiritual Combat, from traditional Christian moral wisdom literature and the research findings from positive (...) psychology on the cultivation of the virtue of patience. Points of convergence relate to the utility of engaging activities that include cognitive reappraisal, habit formation through daily practice, activating positive motivation, prayer, mantra/transcendental meditation, and cultivating elevation through meditation on moral exemplars. Areas of divergence include the advisability of suppression, the role of motivation, and necessity of spiritual intervention, which suggest areas for future inquiry in moral education. (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)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is possible in a sensitivity theory once this (...) view is adopted. (shrink)

We argue that stereotypes associated with concepts like he-said–she-said, conspiracy theory, sexual harassment, and those expressed by paradigmatic slurs provide “normative inference tickets”: conceptual permissions to automatic, largely unreflective normative conclusions. These “mental shortcuts” are underwritten by associated stereotypes. Because stereotypes admit of exceptions, normative inference tickets are highly flexible and productive, but also liable to create serious epistemic and moral harms. Epistemically, many are unreliable, yielding false beliefs which resist counterexample; morally, many perpetuate bigotry and oppression. Still, some normative (...) inference tickets, like some activated by sexual harassment, constitute genuine moral and hermeneutical advances. For example, our framework helps explain Miranda Fricker’s notion of “hermeneutical lacunae”: what early victims of “sexual harassment” — as well as their harassers — lacked before the term was coined was a communal normative inference ticket — one that could take us, collectively, from “this is happening” to “this is wrong.”. (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)

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)

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)

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)

There has recently been a revived interest in temporal justice among political philosophers. For example, lone mothers have, on average, 30 h less free time per week than people in couples without children. Recent work has focussed on free time as a distinct distributive good, but this paper argues that it would be a mistake for a theory of temporal justice to focus only on shares of free time. First, I argue that the concept of free time does not succeed (...) in tracking discretionary control over time. All of time is a resource, and the particular moral relevance of free time must be established otherwise. Second, hours of time differ in use value, and we cannot fully track our concerns about the allocation of time, whether free or necessary, without taking this into account. We care about free time but also about ‘quality time’. To explain this observation, I develop an account of the value of time as a resource. The value of time periods differs with the prospects for which a time period can be used, that is, what we can do and be with it. What we are allocating when we are allocating time is not just hours; it is hours of time with a certain value. Finally, I argue that a concern for the value of time is compatible with a resourcist theory of temporal justice. (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)

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)

Pluralistic ignorance is a socio-psychological phenomenon that involves a systematic discrepancy between people’s private beliefs and public behavior in certain social contexts. Recently, pluralistic ignorance has gained increased attention in formal and social epistemology. But to get clear on what precisely a formal and social epistemological account of pluralistic ignorance should look like, we need answers to at least the following two questions: What exactly is the phenomenon of pluralistic ignorance? And can the phenomenon arise among perfectly rational agents? In (...) this paper, we propose answers to both these questions. First, we characterize different versions of pluralistic ignorance and define the version that we claim most adequately captures the examples cited as paradigmatic cases of pluralistic ignorance in the literature. In doing so, we will stress certain key epistemic and social interactive aspects of the phenomenon. Second, given our characterization of pluralistic ignorance, we argue that the phenomenon can indeed arise in groups of perfectly rational agents. This, in turn, ensures that the tools of formal epistemology can be fully utilized to reason about pluralistic ignorance. (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)

Kant scholarship often refers to transcendental idealism as a ‘theory.’ Kant’s project, however, is not easily reconciled with that term in its current use. This paper contends that his critique and idealism should be seen as a remedial response against our natural albeit confused prejudice of transcendental realism. Kant’s idealism articulates a ‘metametaphysical’ ethos that is supposed to provide a new grounding of metaphysics by proceeding ‘from the human standpoint:’ it aims to dispel the temptation of transcendental realism in favor (...) of a resolute inhabitation of, and contentment with, our own humanity. This project comes under pressure in post-Kantianism: Fichte is among the first to voice the worry that Kant’s critique is well-intentioned, but not well-executed. His concern is that, while it ‘bring[s] man into harmony with himself,’ this mere contentment with our own humanity will not suffice to achieve the scientificity that, by Kant’s own lights, is the mark of any promising metaphysics. Fichte’s charge is that Kant’s idealism, in its very confinement to the brute facts of the human condition, surrenders itself to unacceptable contingency or ‘facticity.’ The paper explores Kant’s idealist project of grounding metaphysics, Fichte’s facticity charge against it, and whether Kantian idealism can withstand it. (shrink)

Wayne Wu argues that attention is necessary for action: since action requires a solution to the ‘Many–Many Problem’, and since only attention can solve the Many–Many Problem, attention is necessary for action. We question the first of these two steps and argue that it is based on an oversimplified distinction between actions and reflexes. We argue for a more complex typology of behaviours where one important category is action that does not require a solution to the Many–Many Problem, and so (...) does not require attention. (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)

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)

Attention has a long history in philosophy, despite its near absence in the twentieth century. This chapter provides an overview of philosophical research on attention. It begins by explaining the concept of "selection from limitation," contrasting it with the more recent "selection for action." It reviews historical texts that discuss attention, focusing on those in the Western canon whose understanding of "attention" aligns with contemporary usage. It then describes the differential treatment of attention in phenomenology and behaviorism in the last (...) century. Finally, it discusses contemporary research by topic: attention, perception, and knowledge; attention and consciousness; attention and action; and attention and the self. It includes work by Allport,Aristotle, Astell, Augustine, Bergson, Berkeley, Block, Bradley, Buddhaghosa, Campbell, Cherry, De Brigard, Dehaene and Naccache, Descartes, Dickie, Du Bois, Ganeri, Hegel, Heidegger, James, Kant, Koch and Tsuchiya, LaBerge, Locke, Mack and Rock, Malebranche, Merleau-Ponty, Mole, Montemayor and Haladjian, Neumann, Pashler, Posner, Prinz, Reid, Rensink, Reynolds and Heeger, Treisman, Watzl, Wittgenstein, Wollstonecraft, and Wu. (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)

Japanese translation of ""Schopenhauers Gebrauchstheorie der Bedeutung und das Kontextprinzip. Eine Parallele zu Wittgensteins Philosophischen Untersuchungen". In: 97. Schopenhauer-Jahrbuch (2016), S. 29–51" by Tadahiro Oota (太田 匡洋 [訳]).

In Explaining Attitudes, Baker argues that we should treat our everyday practices as relevant to metaphysical debates, resulting in a stance of realism with respect to intentional explanations. In this chapter I will argue that if one is going to be a practical realist about anything, it should be the self, or subject of attention. I will use research on attention combined with the stance of practical realism to argue in favor of a substantive self. That is, I will present (...) an account of the self that directs and controls attention, in line with our everyday view of the self. I will contrast this account with what I call the “illusion view,” which presents the self and its apparent causal power in the case of attention as an illusion. My account of the self will make use of several of Baker's ideas, including non-reductive materialism and broad supervenience. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

In a crucial passage in the Republic found within a discussion of women’s role in the ideal polis, division of eidē is identified as necessary for dialectic. A careful consideration of the way division is described in this passage reveals that it resembles the procedure of division described in the Phaedrus and the Sophist and that this procedure, when carried out correctly, is central to dialectic according to the Republic and helps set dialectic apart from eristic. Consideration of additional passages (...) in the Republic indicates that division may be employed on different kinds of entities, such as virtues and types of human natures; for according to the argument of the Republic, the correct use of division for the purpose of distinguishing types of human natures or virtues, entities that to the untrained eye may look alike but are distinct by nature, is required for achieving the knowledge philosophers and philosopher-rulers need. In fact, correctly performed divisions help the dialectician to bring into focus a subject matter under consideration in a kind of double-vision that reveals that matter as a concrete phenomenon that exhibits participation in different eidê when it is considered from different points of view. (shrink)

A particularly promising trail on the search for forgotten logic diagrams leads to Upper Lusatia in the 17th century, more precisely to Christian Weise and his students. Samuel Grosser, who later became rector in Görlitz, and Johann Christian Lange, who later became professor of logic at the University of Gießen, are the most prominent to have published remarkable logic diagrams. Even more remarkable, however, is the fact that Lange's interest in these diagrams ultimately gave rise to the idea of building (...) a logic machine. (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)

Plato’s Sophist and Statesman stand out from many other Platonic dialogues by at least two features. First, they do not raise a ti esti question about a single virtue or feature of something, but raise the questions what sophist, statesman, and philosopher are, how they differ from each other, and what worth each should be accorded. Second, a visitor from Elea, rather than Socrates, seeks to addressed these questions and does so by employing what is commonly referred to as the (...) method of collection and division. Some scholars have argued that this so-called method is value neutral and therefore unable to address the question how philosophy differs from sophistry and statesmanship according to worth. This article contends that the procedures of collection and division does not preclude the visitor from taking considerations of worth into account, but rather helps establish an objective basis for settling the main questions of the dialogue. (shrink)

The legacy of the Platonic dialogues may well lie, not in any classical idealist “doctrine of forms,” but in an inquisitive stance towards the puzzle behind any such doctrine—how thought can be about anything at all. This Platonic puzzle may, however, yield a different guise of idealism that is recognizably diagnostic: it aims to dispel our worry about thought’s objectivity as a confusion, engendered by a self-alienation of thought. These themes of diagnosis and idealism resurface in Wittgenstein, who in his (...) treatment of rules calls for an understanding of thought’s normativity from within. This is taken up by Cora Diamond, who urges philosophy to attend to thought’s real needs by exorcizing any desire for agreement with something other than itself. I argue that Wittgenstein and Diamond lead us back to Kant’s idealism, which identifies transcendental realism as the deep-seated prejudice at the root of the puzzle. (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.

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)

This article defends three claims. First, that collection and division in the Phaedrus are described as procedures that underlie human speaking and thinking in general, as well as philosophical inquiry, and are not identified with either. Second, that what sets the dialectical use of these procedures apart from their ordinary use are philosophical suppositions independent of the procedures of collection and division themselves; for that reason, collection and division cannot be identified with dialectic as such. Third, that the second part (...) of the Phaedrus is concerned with the broader question how noble or beautiful speaking, in general, may be said to depend on dialectic as much as it is concerned with the question how rhetoric, as a kind of expertise, is related to dialectic. (shrink)

In 2018 Academic Placement Data and Analysis ran a survey of doctoral students and recent graduates on the topics of diversity and inclusivity in collaboration with the Graduate Student Council and Data Task Force of the American Philosophical Association. We submitted a preliminary report in Fall 2018 that describes the origins and procedure of the survey [1]. This is our final report on the survey. We first discuss the demographic profile of our survey participants and compare it to the United (...) States general population, its doctoral students, and APA membership, finding several areas of underrepresentation (i.e. gender, race/ethnicity, socioeconomic, and veteran status). We then discuss the results of questions regarding diversity and inclusivity. We find, for instance, that participant comfort in philosophy depends on gender, sexuality, race/ethnicity, disability, and language status and that participants most often mentioned the theme of diversity when asked how philosophy could be more inclusive. Finally, we discuss the results of questions related to graduate program and placement. We find, for example, that underrepresented graduates are both less likely to recommend their graduate program to others and less likely to prefer an academic job. We close by making some recommendations for the APA and for the discipline based on our findings. (shrink)

Plato often depicts Socrates inquiring together with an interlocutor into a thing/concept by trying to answer the “What is it?” question about that thing/concept. This typically involves Socrates requesting that his discussion partner answer the question, and usually ends in failure. There are, however, instances in which Socrates provides the sort of answer, in relation to a more familiar thing/concept, that he would like to receive in relation to a more obscure thing/concept, thus furnishing his interlocutor with an example of (...) how he would like him to answer. This chapter considers this dialectical tool by focusing on three instances of its use (Meno 73e3–76e4; Laches 191e9–192b3; Theaetetus 146e7–147c6). It argues, first, that in these instances Socrates provides true and adequate definitions of the things/concepts in question. It further argues that dialectic, for Plato, is just as much about the essences everyday things/concepts as it is about the essences of more obscure things/concepts; and that it is just as much about the meanings of the words we use to designate things, as it is about the essences of those things. (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)

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)

At least since Socrates, philosophy has been understood as the desire for acquiring a special kind of knowledge, namely wisdom, a kind of knowledge that human beings ordinarily do not possess. According to ancient thinkers this desire may result from a variety of causes: wonder or astonishment, the bothersome or even painful realization that one lacks wisdom, or encountering certain hard perplexities or aporiai. As a result of this basic understanding of philosophy, Greek thinkers tended to regard philosophy as an (...) activity of inquiry (zētēsis) rather than as a specific discipline. Discussions concerning the right manner of engaging in philosophical inquiry – what methodoi or routes of inquiry were best suited to lead one to wisdom – became an integral part of ancient philosophy, as did the question how such manners or modes of inquiry are related to, and differ from, other types of inquiry, for instance medical or mathematical. In this special issue of History of Philosophy & Logical Analysis, we wish to concentrate in particular on ancient modes of inquiry. (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)

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)

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)