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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Suppose that you intend to go to the theater. Are you therein intending the unconditional proposition that you go to the theater? That would seem to be deeply irrational; after all, you surely do not intend to go if, for instance, in the next instant an earthquake is going to devastate the city. What we intend we do not intend ‘no matter what,’ it is often said. But if so—how can anyone ever rationally intend simply to perform an action of (...) a certain kind? In response to the puzzle, a ‘conditionality’ view of intention has emerged: the contents of everyday intentions are claimed to be fraught with hidden conditional clauses. The paper argues that such claims are radically unmotivated: even unconditional intentions have only limited inferential import and hence contrast sharply with a ‘no matter what’ stance. The point is established by examining relevant patterns of reasoning from unconditional to conditional intentions. (shrink)

The project takes as its starting point our conflicting intuitions about personal identity exposed by Bernard Williams' thought experiment involving the switching of bodies in "The Self and the Future." The conflicted intuitions are identified as animalist and psychologist and correspond roughly with the two major approaches to personal identity. The traditional strategy to resolve the conflict---thought experiments---is critically examined and the project concludes that proper thought experiments will reveal the conflict but are unlikely to resolve it. A new reading (...) of the conflict is proposed. The concept of the person is a cluster concept with distinct components: biological human beings, rational agency and psychological continuity, where the latter is construed as the temporal analog of phenomenological unity at a time. The project then suggests that moral theory is best pursued not by a naturalist conception of persons that unites the components of the cluster, but by a novel conception that separates them. This can be accomplished best by eliminating the concept of the person altogether. Objections that the concept of the person is ineliminable are considered and rejected, as are objections that the nature of conflict is not reason enough to abandon the concept. Personhood's centrality for value theory is questioned and the eliminativist strategy is defended on the grounds that responsibility, self-concern and moral rights are best analyzed with the component concepts instead of the cluster concept. Eliminativism is therefore preferable to competing accounts of personal identity because the former is better suited for moral theory. Among the advantages are the ability to: attribute responsibility to group agents without calling them persons, make sense of our conflicting demonstrations of self-concern without taking them as evidence for conflicting theories of personal identity, and attribute moral rights to entities who fail to meet traditional criteria for personhood but who are nonetheless entitled to moral respect. (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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...) present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

Emily Thomas's seminal book The Meaning of Travel has brought the philosophy of travel back into the public eye in recent years. Thomas has shown that the topic of travel can be approached from numerous different perspectives, ranging from the historical to the conceptual‐analytical, to the political or even social‐philosophical perspectives. This article introduces another perspective, which Thomas only indirectly addresses, namely the argumentation‐theoretical perspective. It is notable that contemporary philosophy of travel lacks the nineteenth‐century approach of using diagrams and (...) maps to examine arguments for and against travel. Since this approach starts with Schopenhauer, we first introduce his argument maps, discuss their advantages and disadvantages, and argue that a modified version is suitable to visualize and analyze arguments for and against traveling as presented in Thomas's work. (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)

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)

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)

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 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)

An important topic in the ethics of technology is the extent to which recent digital technologies undermine user autonomy. Supporting evidence includes the fact that recent digital technologies are known to have an impact on attention, which balances "bottom-up" and "top-down" influences on cognition. As described in numerous papers, these technologies manipulate bottom-up influences through cognitive fluency, intermittent variable rewards, and other techniques, making them more attractive to the user. We further reason that recent digital technologies reduce the user’s ability (...) to exert top-down attention due to the scale of the content—they provide far more content at a much faster pace than other technologies, which over time reweights the balance of attention in favor of bottom-up influences. After reviewing evidence for these effects, including their temporal duration, we consider their downstream effects on both autonomy and creativity. We find that while the impact of recent digital technologies on top-down attention may allow for more idea generation, that creativity also depends on control, which is undermined by these technologies. We are more circumspect with autonomy, reasoning that in certain cases it might not make sense to see user autonomy as harmed through these effects. We conclude with other ways that recent digital technologies may improve creativity, which may act as an offset to the detrimental impacts of these technologies. (shrink)

This article explores the motif of psychic nourishment in Plato’s Protagoras. It does so by analyzing what consequences Socrates’ claim that only a physician of souls will be able adequately to assess the quality of such nourishment has for the argument of the dialogue. To this purpose, the first section of the article offers a detailed analysis of Socrates’ initial conversation with Hippocrates, highlighting and interpreting the various uses of medical metaphors. Building on this, this section argues that the warning (...) Socrates utters against sophistry is much more complex than commonly assumed, and further that Socrates demonstrates his own skill as a physician of souls during this conversation. The second part analyzes the first half of Socrates’ discussion with Protagoras, arguing that Socrates here demonstrates another aspect of his expertise as a physician of souls by making Protagoras participate, although against his will, in bringing the unhealthy character of his teachings to light. (shrink)

The digression of Plato’s Theaetetus (172c2–177c2) is as celebrated as it is controversial. A particularly knotty question has been what status we should ascribe to the ideal of philosophy it presents, an ideal centered on the conception that true virtue consists in assimilating oneself as much as possible to god. For the ideal may seem difficult to reconcile with a Socratic conception of philosophy, and several scholars have accordingly suggested that it should be read as ironic and directed only at (...) the dramatic character Theodorus. When interpreted with due attention to its dramatic context, however, the digression reveals that the ideal of godlikeness, while being directed at Theodorus, is essentially Socratic. The function of the passage is to introduce a contemplative aspect of the life of philosophy into the dialogue that contrasts radically with the political-practical orientation characteristic of Protagoras, an aspect Socrates is able to isolate as such precisely because he is conversing with the mathematician Theodorus. (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)

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)

This paper presents an analysis of Seneca's 58th letter to Lucilius and Porphyry's Isagoge, which were the origin of the tree diagrams that became popular in philosophy and logic from the early Middle Ages onwards. These diagrams visualise the extent to which a concept can be understood as a category, genus, species or individual and what the method of dihairesis (division) means. The paper explores the dissimilarities between Seneca's and Porphyry's tree structures, scrutinising them through the perspective of modern graph (...) theory. Although traditional trees can be interpreted in a modern way, their terms and definitions defy modern standardisation. These distinctions are not only useful for differentiating between Seneca's and Porphyry's trees, but also for comprehending the evolution of this philosophical tradition. Thus the paper highlights the continued significance of these tree diagrams in analysing concepts and categories in philosophy and structuring objects and information in modern fields such as artificial intelligence, computer science, bioinformatics, graph theory, and many more. (shrink)