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

This work is a systematic investigation of a range of solutions offered today for the philosophical problem of mental causation. The premises constituting the problem are analyzed before a survey is developed of the most popular theories on mental causation. It is demonstrated in detail why most of these canonical solutions must be considered deficient. In a third part, the 'new compatibilist's' approach to mental causation is explored, which is characterized by assertion of a non-identity-but-non-distinctness principle. The last part aims (...) to offer an alternative solution to the problem. On the basis of a certain set of counterfactual conditionals, which are jointly taken to provide a definition of 'causal proportionality' that improves the existing definitions, it is shown that a specific, and hitherto widely neglected, version of causal overdeterminationism must be considered the most successful solution to the problem of mental causation. (shrink)

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

This paper examines early syntactic development from a usage-based perspective, using transcripts of the spontaneous speech of two Englishspeaking children recorded at relatively dense intervals at ages 2;0 and 3;0. We focus primarily on the children’s question constructions, in an effort to determine (i) what kinds of units they initially extract from the input (their size and degree of specificity / abstractness); (ii) what operations they must perform in order to construct novel utterances using these units; and (iii) how the (...) units and the operations change between the ages of two and three. In contrast to nativist theories of language development which suggest that children are working with abstract syntactic categories from an early point in development, we suggest that the data are better accounted for by the proposal that children begin with lexically specific phrases and gradually build up a repertoire of increasingly abstract constructions. (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)

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)

Beginning with a research review, the present paper shows that Hans Slugaʼs and esp. Robert Brandomʼs thesis, according to which Frege has adopted the context-principle and the priority of propositional from Kant, can solve problems in current Frege scholarship, on the one hand, but is itself fraught with further problems, on the other hand. In contrast, this paper maintains that the context-principle and the priority of the propositional are implicitly present in Fregeʼs Begriffsschrift since both have not been taken over (...) from Kant, but rather from neo-Aristotelianism: The context-principle and the priority of the propositional were first drawn up in 1834 by O. F. Gruppe. As a consequence, A. F. Trendelenburg has published a re-arranged edition of Aristotleʼs Organon in 1836 which became one of the most influential schoolbooks on logic in the 19th century and of which Frege ought to have been aware. In the beginning of this schoolbook, using the original ancient Greek sentences of Aristotle, the priority of the propositional (De int. I 1) is deduced from the context-principle (De anima III 6). (shrink)

Schopenhauers Auseinandersetzungen mit dem Christentum und der Mystik werden im Folgenden unter drei Aspekten betrachtet: Methodologie und Definitionen, Doxographie der Dogmatik, Mystologie und Hagiologie. In ersten Abschnitt werden Schopenhauers Herangehensweisen und Meinungen im Umgang mit dem Christentum beschrieben. Im zweiten Abschnitt werden einschlägige Belegstellen aus Schopenhauers Werk zu christlich-dogmatischen Themen zusammengestellt und systematisiert. Im dritten Abschnitt wird nach der Funktion und Bedeutung der christlichen Mystiker und Heiligen für Schopenhauers Leben und Werk gefragt.

Charles Darwin gilt allgemein als der ›Erfinder‹ der Evolutionstheorie. Dennoch sehen viele Wissenschaftshistoriker bereits in der Antike Anfänge und einzelne Vorwegnahmen der heutigen Entwicklungsbiologie. Die Tatsache, dass der im Titel genannte Ausdruck ›Evolutionstheorie‹ in Anführungszeichen gesetzt wurde, ist somit kein Hinweis auf die Vorzeitigkeit Schopenhauers zu Darwin, sondern betrifft die kritische Frage, ob man Schopenhauer überhaupt in diese Geschichte der Evolutionstheorie mit aufnehmen sollte oder nicht.

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)

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

This paper explores the possibility of moral conflict in Kant’s ethics. An analysis of the only explicit discussion of the topic in his published writings confirms that there is no room for genuine moral dilemmas. Conflict is limited to nonconclusive ‘grounds’ of obligation. They arise only in the sphere of ethical duty and, though defeasible, ought to be construed as the result of valid arguments an agent correctly judges to apply in the situation at hand. While it is difficult to (...) determine in theory what makes some of them stronger than others, these ‘grounds’ can account for practical residue in conflict cases and for a plausible form of agent regret. The principle that ‘ought implies can’ survives intact. (shrink)

What happens when human beings fail to do as reason bids? This book is an attempt to address this age-old question within Kant’s mature practical philosophy, i.e. the practical philosophy that emerged with the watershed discovery of autonomy in the mid-1780s. As always, Kant is good for a surprise. There is, it is argued, not one answer but two: he advocates Socratic intellectualism in the realm of prudence whilst defending an anti-intellectualist or volitional account of immoral action. This ‘hybrid’ theory (...) of practical failure is more than a philosophical curiosity. There are ramifications for Kant’s theory of practical reason as a whole. In particular, the hybrid account emphasizes the divide between pure and empirical practical rationality to the extent that the latter, while containing practically relevant propositions, no longer counts as a branch of practical reason at all. Hypothetical and categorical imperatives exemplify two entirely distinct kinds of normativity. In fact, the dichotomy between pure and empirical determining grounds of the will goes hand in hand with many other dualisms and dichotomies that, whether we like them or not, continue to define Kant’s mature ethical thought. (shrink)

The paper addresses the question of why there is no treatise on Japanese gardens in Arthur Schopenhauer's system. First, it is explained that the system philosophy of the 18th and 19th centuries aimed at completeness in conceptual representation. Schopenhauer therefore treats the national characteristics of the garden arts in Europe and Asia, among many other arts, and conceptually determines their similarities and differences. Due to the isolation of Japan, however, Schopenhauer had no knowledge of Japanese gardens. The last part of (...) the paper argues that Japanese gardens would have fitted well into Schopenhauer's system, as the Rock Garden, Pond Garden, Moss Garden etc. correspond well with the ideas that ground Schopenhauer's aesthetics. ###Extended and translated version of the paper "Der japanische Garten im System Schopenhauers" (2021).###. (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)

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

If ethics of care deals with the nature of relationships, attentiveness, and understanding particular others, narrativity ought to play a central part. Sometimes, caring simply amounts to working with narratives. In the article I claim that narrativity can even be said to be native to an ethics of care. Through an example, I demonstrate how a narrative ethics of care can discern and grasp some moral problems better than the standard theoretical outlooks.

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)

Is Kant’s ethical theory too demanding? Do its commands ask too much of us, either by calling for self-sacrifice on particular occasions, or by pervading our lives to the extent that there is no room for permissible action? In this article, I argue that Kant’s ethics is very demanding, but not excessively so. The notion of ‘latitude’ does not help. But we need to bear in mind that moral laws are self-imposed and cannot be externally enforced; that ‘right action’ is (...) not a category of Kantian ethics – there is a more and a less, and lack of perfection does not entail vice; and that only practice makes perfect, i.e. how much virtue can realistically be expected can vary from agent to agent. The principle that ‘ought’ is limited by ‘can’ is firmly entrenched in Kant’s ethical thought. (shrink)

There seems to be a strong sentiment in pre-philosophical moral thought that actions can be morally valuable without at the same time being morally required. Yet Kant, who takes great pride in developing an ethical system firmly grounded in common moral thought, makes no provision for any such extraordinary acts of virtue. Rather, he supports a classification of actions as either obligatory, permissible or prohibited, which in the eyes of his critics makes it totally inadequate to the facts of morality. (...) The related idea of uncommonly grand and noble deeds is frequently dismissed by Kant as high-.own emotional nonsense. Such considerations give rise to the fear that actions intuitively classed as morally commendable but not required must be re-classified as commands of duty by Kant, making his ethical theory as unbearably demanding as direct utilitarianism. The paper divides into three sections: (1) an examination of the nature of moral goodness from a meta-ethical angle that introduces some passages from Kant's writings presenting strong theoretical evidence against the case for supererogatory action; (2) a critique of Thomas Hill's suggestion that within the category of wide duty we can accommodate some of the main features of actions classified as supererogatory in other ethical systems; concluding that, contra Hill, there are no actions of wide duty that can be so characterized in any significant sense; and (3) a final discussion of the problem of how demanding the requirements of Kantian ethical theory really are. (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)

Logicians have often suggested that the use of Euler-type diagrams has influenced the idea of the quantification of the predicate. This is mainly due to the fact that Euler-type diagrams display more information than is required in traditional syllogistics. The paper supports this argument and extends it by a further step: Euler-type diagrams not only illustrate the quantification of the predicate, but also solve problems of traditional proof theory, which prevented an overall quantification of the predicate. Thus, Euler-type diagrams can (...) be called the natural basis of syllogistic reasoning and can even go beyond. In the paper, these arguments are presented in connection with the book Nucleus Logicae Weisaniae by Johann Christian Lange from 1712. (shrink)

Das Buch behandelt Kants Versuch, innerhalb seiner Ethik Sittengesetz, Naturgesetz und Freiheit im moralischen Handeln in Einklang zu bringen. Im ersten Teil stehen die Begriffe der Freiheit und des Willens bei Kant im Mittelpunkt. Der zweite Teil untersucht detailliert die Kernpunkte der kantischen Ethik: den (letztlich gescheiterten) Versuch, Freiheit und Naturkausalit t auszus hnen, und die Theorie des Handelns nach Moralgesetzen, deren Wahl den freien Willen als eigentliches Moment ausmacht. Am Ende steht die Einsicht in ein hoch entwickeltes, differenziertes gedankliches (...) System, das unserer Alltagsauffassung von moralischer Verantwortung erstaunlich nahe kommt. (shrink)

The aim of this paper is to settle the controversy around Kant’s notorious discussion of maternal infanticide in the ‘Doctrine of Right’ of 1797. How should a state punish an unmarried mother who has killed her newborn infant? The text (at DoR VI 335–37) is obscure. Three readings have been defended in the literature: 1. Lenience. Maternal infanticide does not count as murder; so, capital punishment is inappropriate. On this view, the child does not enjoy the full recognition of the (...) law (this is the standard view). 2. Temporary privilege. Lenience should prevail as long as social attitudes are barbaric and treating maternal infanticide like regular cases of murder is perceived to be unjust. The regular punishment for murder will be appropriate once sexual mores have changed. The child will then enjoy the full protection of the law (Hruschka, Varden). 3. No lenience. Capital punishment, though it appears to be unjust, is actually just and ought to be applied. Any child, whether born to married parents or not, enjoys the full protection of the law (Brandt, Uleman). Based on a close examination of the passage and the context of contemporary laws and attitudes, Kant is not, it will be argued, advocating lenience but certain legislative reforms, which are needed to dispel the perception that capital punishment is unjust. Progressive legislation will change social attitudes, not vice versa. Moreover, it will be shown that Kant does not, appearances notwithstanding, endorse the thesis that a child born out of wedlock has been smuggled into the state like ‘prohibited goods’ or ‘contraband merchandise’, which would deprive the child of the protection of the state; that is the view with which Kant saddles Cesare Beccaria. (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)

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)

Kant’s concept of conscience has been largely neglected by scholars and contemporary moral philosophers alike, as has his concept of “indirect” duty. Admittedly, neither of them is foundational within his ethical theory, but a correct account of both in their own right and in combination can shed some new light on Kant’s moral philosophy as a whole. In this paper, I first examine a key passage in which Kant systematically discusses the role of conscience, then give a systematic account of (...) “indirect” duties and the function of hypothetical imperatives in the course of their generation. I then turn to the possibility of moral error and the part “indirect” duty can play in its prevention. In conclusion, I try to show how clarifying the concept of “indirect” duty can help us to shed light on the nature of Kantian ethics as a whole. (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)

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.

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)

Pauline Kleingeld’s “Contradiction and Kant’s Formula of Universal Law”, published in this journal in 2017, presents a powerful challenge to what has become the standard reconstruction of the categorical imperative. In this response to Kleingeld, I argue that she is right to emphasise the ‘simultaneity requirement’ - that we must be able to will a proposed maxim and ‘simulataneously’, ‘also’ or ‘at the same time’ the maxim in its universalised form - but I deny that this removes the categorical imperative (...) test from the world of universalisation because the agent must be understood as part of that world. There are two distinct types of conflict: a contradiction that results from non-universalisability and Kleingeld’s ‘volitional’ conflict, located within the will of the immoral agent. The standard ‘practical’ reconstruction of the categorical imperative remains largely intact. (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 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)

The standard view of the value of death is the Deprivation Approach, according to which a person's death is bad for her insofar as she would have been better off without it. On the face of it, the Deprivation Approach sits much better with our normative intuitions about death than does the Epicurean view that death is never bad for the deceased. However, this issue is more complex and nuanced than it might appear.

Section I of Kant's Groundwork of the Metaphysics of Morals is meant to lead us from our everyday conception of morality to the supreme principle of all moral action, officially christened the ‘categorical imperative’ some twenty Academy pages further into the treatise. It is quite striking that in this first section Kant dispenses with the notorious technical language that pervades not just other parts of the Groundwork but also most of the remaining philosophical writings of the critical period. The mere (...) fact that Groundwork I is comparatively accessible does not, of course, make it straightforward or uncontroversial. Kant's readers are faced with, amongst other things, four unconvincing paragraphs on the natural purpose of practical reason (G IV 394–6), a crucial change of topic from good volition to acting from duty (G IV 397), an unstated ‘first proposition’ about moral value that has baffled generations of interpreters (presumably G IV 397–9), and a contentious shift from an allegedly unproblematic principle of practical universalizability to a substantive moral command (G IV 402). (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)

From the mid-1600s to the beginning of the eighteenth century, there were two main circles of German scholars which focused extensively on diagrammatic reasoning and representation in logic. The first circle was formed around Erhard Weigel in Jena and consists primarily of Johann Christoph Sturm and Gottfried Wilhelm Leibniz; the second circle developed around Christian Weise in Zittau, with the support of his students, particularly Samuel Grosser and Johann Christian Lange. Each of these scholars developed an original form of using (...) geometric diagrams in logic. In this paper, I will trace the historical notes of John Venn and other modern logicians back to the original works published in the Weigel and Weise circles and describe the development of using geometric figures for logical reasoning and representation in that period of time. (shrink)

In this paper we explore the potential bearing of the extended mind thesis—the thesis that the mind extends into the world—on epistemology. We do three things. First, we argue that the combination of the extended mind thesis and reliabilism about knowledge entails that ordinary subjects can easily come to enjoy various forms of restricted omniscience. Second, we discuss the conceptual foundations of the extended mind and knowledge debate. We suggest that the theses of extended mind and extended knowledge lead to (...) a bifurcation with respect to the concepts of belief and knowledge. We suggest that this conceptual bifurcation supports a form of pluralism about these concepts. Third, we discuss whether something similar can be said at the metaphysical level. (shrink)