It is often thought that desire-based versions of reasons internalism, according to which our practical reasons depend on what we desire, are committed to denying that we have any categorical reasons. I shall argue, however, that such theories are committed to a universal desire which gives rise to an unexpected categorical reason – a reason to know our surroundings. I will arrive at this conclusion by using Fichte’s argument for thinking that security from unpredictable and (...) powerful forces of nature is constitutive of agency. Fichte thinks this is the case because we ought to aim at knowledge of our surroundings, and such environments uniquely facilitate it. I show that his argument fails, but the point that we ought to aim at – or desire – such knowledge is fundamentally sound. This aim can then be leveraged to generate a categorical reason when embedded in an account of agency typically embraced by internalists. (shrink)

Deprivation views of the badness of death are almost universally accepted among those who hold that death can be bad for the person who dies. In their most common form, deprivation views hold that death is bad because (and to the extent that) it deprives people of goods they would have gained had they not died at the time they did. Contrast this with categorical desire views, which hold that death is bad because (and to the extent that) it (...) thwarts people’s categorical desires. Categorical desires are desires that are not conditional upon one being alive; yet provide reason for the agent to continue living to ensure that those very desires are satisfied. I argue that categorical desire views are subject to two serious problems that deprivation views are not. First, categorical desire views entail that it is not bad for someone to not be resuscitated after dying a bad death. Second, categorical desire views cannot account for cases in which it is good to prevent people from coming into existence or cases in which it is good to prevent them from continuing to exist. After considering, and rejecting, various replies on behalf of categorical desire proponents, I conclude that we have good reason to reject categorical desire views in favor of deprivation views. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

David Gauthier suggested that all genuine moral problems are Prisoners Dilemmas (PDs), and that the morally and rationally required solution to a PD is to co-operate. I say there are four other forms of moral problem, each a different way of agents failing to be in PDs because of the agents’ preferences. This occurs when agents have preferences that are malevolent, self-enslaving, stingy, or bullying. I then analyze preferences as reasons for action, claiming that this means they must not (...) target the impossible, they must be able to be acted on in the circumstances, their targets must be attainable, and having the preferences must make their targets more likely. For groups of agents to have a distribution of preferences, their preferences must jointly have those four features, this imposing a kind of universalizability requirement on possible preferences. I then claim that, if all agents began with preferences satisfying these requirements, their preferences would not be of the morally problematic sort (on pain, variously, of circularity or contradiction in the specification of their targets). Instead, they would be either morally innocent preferences, or ones which put the agents in PDs. And it would then be instrumentally rational for the agents to prefer mutual co-operation. Thus if all agents initially had rationally permissible preferences and made rational choices of actions and preferences thereafter, they would never acquire immoral preferences, and so never be rationally moved to immoral actions. Further, the states of affairs such agents would be moved to bring about would be compatible with what Rawls’ agents would chose behind a veil of ignorance. Morality therefore reduces to rationality; necessarily, the actions categorically required by morality are also categorically required by rationality. (shrink)

The primary concern of this paper is to outline an explanation of how Kant derives morality from reason. We all know that Kant thought that morality comprises a set of demands that are unconditionally and universally valid. In addition, he thought that to support this understanding of moral principles, one must show that they originate in reason a priori, rather than in contingent facts about human psychology, or the circumstances of human life. But do we really understand how he tries (...) to establish that moral principles originate in reason? In at least two passages in the second section of the Groundwork, Kant insists upon the importance of grounding the moral law in practical reason a priori, and subsequently states a conception of practical reason from which he appears to extract a formulation of the Categorical Imperative. The reasoning employed in these passages would appear to be of central importance to the overall argument of the Groundwork, but in each case the route travelled from the definition of practical reason to the ensuing formulation of the moral law is obscure. My goal is to work out a plausible reconstruction of this portion of Kant’s argument. At the very least, I hope that my interpretation will illuminate the distinctive structure of the Kantian approach to questions of justification in ethics. What I understand of Kant’s view leads me to believe that its aims and overall shape are different in important respects from what is often assumed. It also represents an approach to foundational issues in ethics, which provides an alternative to many contemporary attempts to ground morality in reason. (shrink)

One of the traditional desiderata for a metaphysical theory of laws of nature is that it be able to explain natural regularities. Some philosophers have postulated governing laws to fill this explanatory role. Recently, however, many have attempted to explain natural regularities without appealing to governing laws. Suppose that some fundamental properties are bare dispositions. In virtue of their dispositional nature, these properties must be (or are likely to be) distributed in regular patterns. Thus it would appear that an ontology (...) including bare dispositions can dispense with governing laws of nature. I believe that there is a problem with this line of reasoning. In this essay, I’ll argue that governing laws are indispensable for the explanation of a special sort of natural regularity: those holding among categorical properties (or, as I’ll call them, categorical regularities). This has the potential to be a serious objection to the denial of governing laws, since there may be good reasons to believe that observed regularities are categorical regularities. (shrink)

Argues that reasons internalism, suitably understood, explains categorical reasons for us to cooperate with each other. The norms we then cooperate to satisfy can lie at the heart of legal systems, yielding unexpected implications in the philosophy of law.

This paper demonstrates something that Kant notoriously claimed to be possible, but which Kant scholars today widely believe to be impossible: unification of all three formulations of the Categorical Imperative. Part 1 of this paper tells a broad-brush story of how I understand Kant’s theory of practical reason and morality, showing how the three formulations of the Categorical Imperative appear to be unified. Part 2 then provides clear textual support for each premise in the argument for my interpretation.

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

Over the last two decades there has been a growing interest in the transcendental dialectic of Critique of Pure Reason in Germany. Authors, however, often do not pay enough attention to the fact that Kant’s theory of reason (in the narrow sense) and the concept of ideas derived from it is not limited to this text. The purpose of this article is to compare and analyze the functionality of mind as a subjective ability developed by Kant and Fichte with the (...) Hegelian expansion of the mind to the idea of universal rationality. The relevance of such a comparison is connected with the need to demonstrate how the Hegelian paradigm of absolute rationality causes either the subsequent rejection of reason as a philosophical principle in the 19th and´20th centuries counter-discourse, or reduction of reason to the concept of pragmatic rationality. In the first part of this paper, the author intends to differentiate between at least 7 different types of ideas and their functions in Kant’s works. In the second part, he demonstrates how Fichte tries to systematize them beginning with reason, which at first creates an idea of itself. Special attention is paid to the way that Fichte categorizes them with the help of 5 spheres of action or 5 worldviews. The third and final part of the article discusses how Hegel goes beyond the frame of the transcendental philosophy of consciousness using different demands linked to the concepts of “reason” and “ideas”. Although these requirements are not found in Kant and Fichte, they entail a set of difficulties, which the author considers in conclusion. The author’s interpretation of the theory of ideas and their functions in Kant, Fichte and Hegel demonstrates the dynamic character of the theories of reason in classical German philosophy, as well as the relevance of the 7 types of ideas that retain their significance for philosophy of the 21st century. Keywords: Kant and German idealism, types of ideas, functions of reason, worldviews, the problem of different demands. В Германии на протяжении последних двух десятилетий возрос интерес к трансцендентальной диалектике «Критики чистого разума». Однако авторы часто не обращают внимания на то, что кантовская теория разума (в узком смысле), в которой разворачивается работа с идеями, не ограничивается этим текстом. Целью данной статьи является сравнительный анализ разработанной Кантом и Фихте функциональности разума как субъективной способности с гегелевским расширением разума до идеи всеобщей разумности. Актуальность такого сравнения связана с необходимостью продемонстрировать то, каким образом гегелевская парадигма абсолютной разумности вызывает либо последующий отказ от разума как философского принципа в контрдискурсе XIX–XX вв., либо редукцию разума к понятию прагматической рациональности. В первой части данной статьи вводится различение по меньшей мере семи различных видов идей и связанных с ними функций в философии Канта. Во второй части демонстрируется попытка Фихте их систематизировать исходя из утверждения том, что разум должен сначала создать идею о самом себе. Проанализировано также предложенное Фихте распределение идей на пять сфер действенности или типов мировоззрения. В третьей, итоговой части статьи рассмотрен выход гегелевской мысли за рамки трансцендентальной философии сознания. Автор статьи связывает этот процесс с выдвижением не осуществимых в контексте философии Канта и Фихте требований к понятиям «разум» и «идея» и анализирует ряд сложностей, вызванных этими требованиями. Таким образом, интерпретация учения об идеях и их функциях у Канта, Фихте и Гегеля демонстрирует динамический характер теорий разума в классической немецкой философии и актуальность семи видов идей, которые сохраняют свое значение для философии XXI в. Ключевые слова: Кант и немецкий идеализм, виды идей, функции разума, мировоззрение, проблема различных требований. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- (...) Now many philosophers will claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

Immanuel Kant's moral thesis is that reason alone must identify moral laws. Examining various interpretations of his ethics, this essay shows that the thesis fails. G. W. F. Hegel criticizes Kant's Formula of Universal Law as an empty formalism. Although Christine Korsgaard's Logical and Practical Contradiction Interpretations, Barbara Herman's contradiction in conception and contradiction in will tests, and Kenneth Westphal's paired use of Kant's universalization test all refute what Allen Wood calls a stronger form of the formalism charge, they are (...) not free from a weaker form of it. Some philosophers try to avoid both forms of the formalism charge in the following ways: First, some underline the roles of Kant's other formulas. Second, some interpret the Formula of Universal Law teleologically. Third, some claim that a maxim must be something all those potentially affected by it can rationally accept. Fourth, Robert Louden introduces the empirical to evaluate a maxim. All those attempts introduce heteronomy into Kant's ethics. Besides, on the third response, from the fact that all those potentially affected accept a maxim, it does not follow that it is morally right. It is impossible to avoid the formalism charge without making his ethics heteronomous. Thus, Kant's ethics is either empty or heteronomous. Either way it fails to identify moral laws by reason alone. (shrink)

This paper reconstructs and defends Kant's argument for the transcendental status of reason's principles of the systematic unity of nature in the Appendix to the Transcendental Dialectic. On the present account, these principles are neither mere methodological recommendations for conducting scientific inquiry nor do they have the normative force of categorical imperatives, two extant interpretations of Kant's discussion of reason in the Appendix. Instead, they are regulative yet transcendental principles restricted to theoretical cognition. The principles of the systematic unity (...) of nature count as transcendental in virtue of their role as conditions of the inferential articulation of empirical concepts. (shrink)

Evolutionary debunking arguments claim that evolution has influenced our moral faculties in such a way that, if moral realism is true, then we have no positive moral knowledge. I present several popular objections to the standard version of this argument, then give a new EDA that has clear advantages in responding to these objections. Whereas the Standard EDA argues that evolution has selected for many moral beliefs with certain contents, this New EDA claims that evolution has selected for one belief: (...) belief in the claim that categorical reasons exist. If moral realism is true, then this claim is entailed by all positive moral claims, and belief in it is defeated due to evolutionary influence. This entails that if realism is true, then we have no positive moral knowledge. While there may be objections against this New EDA, it is much stronger than the Standard EDA, and one realists ought to worry about. (shrink)

Throughout the critical period Kant enigmatically insists that reason is a ‘unity’, thereby suggesting that both our theoretical and practical endeavors are grounded in one and the same rational capacity. How Kant's unity thesis ought to be interpreted and whether it can be substantiated remain sources of controversy in the literature. According to the strong reading of this claim, reason is a ‘unity’ because all our reasoning, including our theoretical reasoning, functions practically. Although several prominent commentators endorse this view, it (...) is widely thought to lack exegetical support. This paper seeks to strengthen the case for this reading by showing how theoretical reason's positive function, as Kant presents it in the Appendix to the Transcendental Dialectic, may be construed as fundamentally practical. I argue that reason's supreme regulative principle ought to be understood as a categorical practical imperative. This interpretation, I suggest, resolves the apparent inconsistencies that blight Kant's account of the principle in the Appendix, while bringing greater overall coherence to his account of theoretical reason's regulative function. (shrink)

In a world filled with information overload and complex problems, the ability to think logically is a superpower. "A Little More Logical" is your guide to mastering this essential skill. This engaging and accessible open educational resource is perfect for students, teachers, and lifelong learners who want to improve their critical thinking abilities and make better decisions in all aspects of life. -/- Through a series of fun and interactive chapters, "A Little More Logical" covers a wide range of topics, (...) from the basics of constructing sound arguments to the application of logic in fields like ethics, science, and computing. You'll learn how to spot and avoid common fallacies, analyze real-world arguments, and use logical reasoning to solve problems and make informed choices. -/- But this book isn't just about abstract concepts – it's about the human story behind logic. You'll discover the fascinating lives and ideas of diverse thinkers, from ancient philosophers to modern-day pioneers, who have shaped the development of logical reasoning throughout history. With thought-provoking examples, engaging exercises, and plenty of humor along the way, "A Little More Logical" makes the study of logic both rigorous and entertaining. -/- Whether you're a student looking to ace your philosophy class, a teacher searching for high-quality educational resources, or a curious reader who wants to sharpen your mind, "A Little More Logical" is the perfect companion on your journey to becoming a more effective thinker. Unlock the power of logical thinking today with this one-of-a-kind open educational resource! (shrink)

Jeanine Grenberg argues that in Kant's moral philosophy, we access the moral law through feeling, specifically the feeling of respect. She claims the fact of reason refers to our conscious experience of categorical imperative and moral necessity is revealed through this feeling. Owen Ware critiques this "affect of reason" interpretation, arguing it relies on the flawed premise that all facts forced upon us are accessible only through sensibility. He uses Kant's example of the concept of substance, which we comprehend (...) through attention to its necessity, not sensation. Ware offers an alternative view, that we access the moral law by attending to its necessity, not through feeling. However, this view does not explain how we become aware of the content of the moral law. Though Grenberg's affect of reason interpretation coheres with the role of feeling in Kant's project, it struggles to preserve traditional understandings of the analytic. Ware rejects Grenberg’s feeling thesis but fails to provide a substantive alternative for grounding morality. His critique of Grenberg raises important questions about the fact of reason but an improved synthesis is needed to reconcile feeling’s epistemic role with the analytic. More work is required to articulate how we access the content of the moral law and explain Kant’s notions of conflict and respect. (shrink)

This essay examines one of the most obscure and controversial tenets of Kant’s critical philosophy, his claim in the Critique of Practical Reason that the moral law is immediately and unquestionably valid as an a priori fact of reason (Factum der Vernunft). This argument curiously inverts Kant’s earlier stance in the Groundwork of the Metaphysics of Morals, in which he justifies the reality of the categorical imperative through a much more cautious and qualified authentication of transcendental freedom. Against constructivist (...) readings which tend to downplay the justificatory burden of the Factum, I claim that Kant’s position is best understood as a transcendental argument. In other words, he argues from a given or assured conditioned, consciousness of binding moral obligation, to the sole condition of its possibility in transcendental freedom. In order to rebut the standard objections prompted by this line of interpretation, I emphasize the technical function of Kant’s Factum as both a deed (Tat) and product (Tatsache) of practical reason. (shrink)

The main task of the paper is to explore Kant’s understanding of what unites the three kinds of judgment that he regards as the signature judgments of the three fundamental faculties of the mind--theoretical, practical and aesthetic judgments--in a way that preserves their fundamental differences. I argue that these are differences in kind not only in degree; or, in the terms I motivate in the paper, differences in form. Thus, I aim to show that (1) the Romantic unity of knowing, (...) doing, and enjoying is not only inspired by Kant, but is in Kant’s own writings, and that (2) Kant understands this unity as a unity within a categorical variety: for him, theoretical judgment, practical judgment, and aesthetic judgment are the paradigmatic judgments of three formally different and irreducible rational capacities. I argue that a chief component in understanding the unity in this multiplicity is the imagination. This is because lawfulness turns out to be an essential mark of the “high” or “rational” aspects of the mind. But, for Kant, human beings can be lawful, and thus rational, in and of their world, only insofar as they are also imaginative. It is the imagination that allows us to be rational in our empirical world: to be rational animals. (shrink)

Is there an approach to human rights that justifies rights-allocating moral-political principles as principles that are equally acceptable by everyone to whom they apply, while grounding them in categorical, reasonably non-rejectable foundations? The paper examines Rainer Forst’s constructivist attempt to provide such an approach. I argue that his view, far from providing an alternative to “ethical” approaches, depends for its own reasonableness on a reasonably contestable conception of the good, namely, the good of constitutive discursive standing. This suggests a (...) way in which constructivism about human rights might be able to coherently and plausibly negotiate the tension between the scope, the depth and the strength of discursive inclusion: the justification of rights-allocating moral-political principles needs to be premised on an “ethical”, perfectionist defense of the good of constitutive discursive standing. (shrink)

The categorical imperative inherent in Kant’s ethics has had indubitable historical influence on societies worldwide whether in the form of laws, democracy or public deliberation. The Toronto Van Attack of 2018 and its subsequent legal trial is a case example that shows how the categorical imperative can be applied to assist in understanding the reasoning for the case’s guilty verdict. This paper will convey the applicability of the categorical imperative for examining criminal case studies by closing the (...) gap between ethical theory and practice. Such closure will be shown to assist in understanding why a perpetrator of a crime can be found guilty of following a hypothetical imperative to base their actions. The rationale for the verdict in this case will be shown to be based on the perpetrator’s responsibility in the form of maintaining autonomy despite having an autism diagnosis. The perpetrator will be shown to have acted on an irrational will and yet was treated in the legal sense as a rational individual. Such rationality was maintained despite complications with their autonomy in the form of relativism and ethical solipsism. (shrink)

In this paper, I argue for the necessity of including what I call “categorical norms” in Thomas Aquinas’s account of the ground of obligation (normativity theory) by drawing on the value phenomenology of Dietrich von Hildebrand. A categorical norm is one conceptually irreducible to any non-normative concept and which obligates us irrespective of pre-existing aims, goals, or desires. I show that Thomistic normativity theory on any plausible reading of Aquinas lacks categorical norms and then raise two serious (...) objections which constitute master arguments against it. The upshot is that this theory requires reform. I end by proposing work remaining for such reform, namely, an expansion of the Thomistic metaphysic and anthropology. (shrink)

I first show how one might argue for a mind-independent conception of beauty and artistic merit. I then discuss whether this makes aesthetic judgements suitable to undermine skeptical worries about the existence of mind-independent moral value and categorical reasons.

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

Four different notions of freedom can be distinguished in Kant's philosophy: logical freedom, practical freedom, transcendental freedom and freedom of choice ("Willkür"). The most important of these is transcendental freedom. Kant's argument for its existence depend on the claim that, necessarily, the categorical imperative is the highest principle of reason. My paper examines how this claim can be made plausible.

Kant takes the idea of autonomy of the will to be his distinctive contribution to moral philosophy. However, this idea is more nuanced and complicated than one might think. In this chapter, I sketch the rough outlines of Kant’s idea of autonomy of the will while also highlighting contentious exegetical issues that give rise to various possible interpretations. I tentatively defend four basic claims. First, autonomy primarily features in Kant’s account of moral agency, as the condition of the possibility of (...) moral obligation. Second, autonomy amounts to a metaphysical property as well as a normative principle and a psychological capacity. Third, although there is legitimate scholarly disagreement about whether or not autonomy involves self-legislation of the moral law, there is good reason to believe it underwrites an ‘inside-out’ (as opposed to ‘outside-in’) conception of the relationship between the will and moral requirements. Fourth, persons have dignity because their autonomy makes them members in the set of beings over whom the categorical imperative requires us to universalise our maxims, not because autonomy is an independently important property. (shrink)

Reason or logic is elementary thought elucidated and emphasized in holly Quran and Hadith. Every idea in the interpreted verses of Quran and Hadith has logical aspect to describe it. Senses are the gate ways of knowing and reason is the hub of interpretation and organization. We can say that senses only collect data and reason interprets it. Logic is derived from the Greek word “Logos” which means “Art of reasoning”. Reasoning is of three kind: inductive (from particular to general), (...) deductive (from general to particular) and abductive reasoning (from observation to hypothesis). In this research paper I will explain the philosophical teachings of holly Quran and Hadith and also the philosophical problems which got birth from the interpretation of the texts. Reason is the faculty of mind which helps us to understand both the categorical verses and the metaphorical verses. Quran is the uncreated word of God and Hadith is the saying and doings of the Prophet Muhammad (S. A.W). (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the (...) categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the (...) categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Artificial intelligence and robotics is pervasive in daily life and set to expand to new levels potentially replacing human decision-making and action. Self-driving cars, home and healthcare robots, and autonomous weapons are some examples. A distinction appears to be emerging between potentially benevolent civilian uses of the technology (eg unmanned aerial vehicles delivering medicines), and potentially malevolent military uses (eg lethal autonomous weapons killing human com- batants). Machine-mediated human interaction challenges the philosophical basis of human existence and ethical conduct. Aside (...) from technical challenges of ensuring ethical conduct in artificial intelligence and robotics, there are moral questions about the desirability of replacing human functions and the human mind with such technology. How will artificial intelligence and robotics engage in moral reasoning in order to act ethically? Is there a need for a new set of moral rules? What happens to human interaction when it is mediated by technology? Should such technology be used to end human life? Who bears responsibility for wrongdoing or harmful conduct by artificial intelligence and robotics? -/- Whilst Kant may be familiar to international lawyers for setting restraints on the use of force and rules for perpetual peace, his foundational work on ethics provides an inclusive moral philosophy for assessing ethical conduct of individuals and states and, thus, is relevant to discussions on the use and development of artificial intelligence and robotics. His philosophy is inclusive because it incorporates justifications for morals and legitimate responses to immoral conduct, and applies to all human agents irrespective of whether they are wrongdoers, unlawful combatants, or unjust enemies. Humans are at the centre of rational thinking, action, and norm-creation so that the rationale for restraints on methods and means of warfare, for example, is based on preserving human dignity as well as ensuring conditions for perpetual peace among states. Unlike utilitarian arguments which favour use of autonomous weapons on the basis of cost-benefit reasoning or the potential to save lives, Kantian ethics establish non-consequentialist and deontological rules which are good in themselves to follow and not dependent on expediency or achieving a greater public good. -/- Kantian ethics make two distinct contributions to the debate. First, they provide a human-centric ethical framework whereby human exist- ence and capacity are at the centre of a norm-creating moral philosophy guiding our understanding of moral conduct. Second, the ultimate aim of Kantian ethics is practical philosophy that is relevant and applicable to achieving moral conduct. -/- I will seek to address the moral questions outlined above by exploring how core elements of Kantian ethics relate to use of artificial intelli- gence and robotics in the civilian and military spheres. Section 2 sets out and examines core elements of Kantian ethics: the categorical imperative; autonomy of the will; rational beings and rational thinking capacity; and human dignity and humanity as an end in itself. Sections 3-7 consider how these core elements apply to artificial intelligence and robotics with discussion of fully autonomous and human-machine rule-generating approaches; types of moral reasoning; the difference be- tween ‘human will’ and ‘machine will’; and respecting human dignity. (shrink)

The categorical denial of third-party forgiveness represents an overly individualistic approach to moral repair. Such an approach fails to acknowledge the important roles played by witnesses, bystanders, beneficiaries, and others who stand in solidarity to the primary victim and perpetrator. In this paper, I argue that the prerogative to forgive or withhold forgiveness is not universal, but neither is it restricted to victims alone. Not only can we make moral sense of some third-party acts and utterances of the form, (...) “I can or cannot forgive…” but also, we ought to recognize them as legitimate instances of third party forgiveness. Concern for the primary victim’s autonomy tends to exaggerate a need for moral deference, while ignoring how others are called upon to support and mediate for victims of violence and oppression. I advocate a cautious extension of the victim’s prerogative to forgive, one that grounds forgiveness in a double relation of sympathetic identification and attentive care. Following Jean Harvey’s recent work, I call this relationship moral solidarity. Furthermore, I argue, there are important moral and political reasons to acknowledge third party forgiveness; these reasons are particularly evident in contexts of oppression. In fact, third party refusals to forgive may have particular moral significance. In situations of abuse, oppression and damaged self-respect, third party refusals may protect the agency of victims who too easily forgive. (shrink)

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the remit of Kant's formal (...) logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

This Thesis engages with contemporary philosophical controversies about the nature of dispositional properties or powers and the relationship they have to their non-dispositional counterparts. The focus concerns fundamentality. In particular, I seek to answer the question, ‘What fundamental properties suffice to account for the manifest world?’ The answer I defend is that fundamental categorical properties need not be invoked in order to derive a viable explanation for the manifest world. My stance is a field-theoretic view which describes the world (...) as a single system comprised of pure power, and involves the further contention that ‘pure power’ should not be interpreted as ‘purely dispositional’, if dispositionality means potentiality, possibility or otherwise unmanifested power or ability bestowed upon some bearer. The theoretical positions examined include David Armstrong’s Categoricalism, Sydney Shoemaker’s Causal Theory of Properties, Brian Ellis’s New Essentialism, Ullin Place’s Conceptualism, Charles Martin’s and John Heil’s Identity Theory of Properties and Rom Harré’s Theory of Causal Powers. The central concern of this Thesis is to examine reasons for holding a pure-power theory, and to defend such a stance. This involves two tasks. The first requires explaining what plays the substance role in a pure-power world. This Thesis argues that fundamental power, although not categorical, can be considered ontologically-robust and thus able to fulfil the substance role. A second task—answering the challenge put forward by Richard Swinburne and thereafter replicated in various neo-Swinburne arguments—concerns how the manifestly qualitative world can be explained starting from a pure-power base. The Light-like Network Account is put forward in an attempt to show how the manifest world can be derived from fundamental pure power. (shrink)

It is reasoned that mind-body is a modern issue and is not ever discussed in ancient Greek philosophy or middle Ages. The current study has reviewed these reasoning and concluded that typical categorizations of mind-body issue must be divided into general and specific. Separating the issue of mind-body from the problem of mind-body underlines the multiplicity of issues. Proofs are, then, submitted that axial issue in Sadraic psychology is soul-body rather than mind-body. Thus, the solutions and ideas from the earlier (...) cannot be generalized into the latter. Despite that, it is possible to compare mind-body issue against Sadraic philosophy and use its advantages to solve the issue. Such a comparison stands in the need of some modification in the underpinnings or the conclusions of Sadraic philosophical psychology. These findings are meta-philosophical and offer suggestions for methodology and content of Sadraic psychology. Keywords. (shrink)

Immanuel Kant (1724-1804), the German philosopher, is considered as the father of modern ethics and one of the great philosophers in the history of philosophy. He wanted to establish a firm foundation for moral philosophy. He contributed something new to modern ethics which was not attempted by earlier ethicists. He wanted to show by using reason that morality is based on a single supreme universal principle, which is binding to all rational beings. Precisely, Kant wanted to establish the first principle (...) of morality which neglects all consideration of self-interest and even particular human problems. In the Groundwork of the Metaphysics of Morals, Kant claimed that his intention is to seek out and establish the supreme principle of morality, and that supreme principle is the categorical imperative. He puts the supreme principle of morality or the categorical imperative in at least five ways. These are formula of universal law (FUL), formula of universal law (FLN), formula of humanity (FH), formula of humanity (FA), and formula of realm of ends (FRE). However, Kant affirms that there is one canonical and general formulation of the categorical imperative and it is the FUL. For him, the other formulas are not distinct ethical principles; rather they are the reformulations or variant formulations of the single categorical imperative. Kant put this position in his works, The Groundwork of the Metaphysics of Morals. So, in this paper, I will mainly concentrate on the fundamental doctrine of the Groundwork of the Metaphysics of Morals. As I have tried to make clear before, Kant’s aim in the Groundwork of the Metaphysics of Morals is to search for and establish the supreme principle of morality (i.e., categorical imperative). He attempted to do this at the end of the Groundwork of the Metaphysics of Morals. But, to me, the way he attempted to justify the categorical imperative is problematic. Thus, in this paper, I argue that Kant did not put the categorical imperative or morality on a solid ground. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

Kant’s moral theory aims at highest good, and he believes that good will is the mote unconditioned kind of good in the world. According to Kant, human beings are continually subject to the reason’ demand, and they should try to cultivate their humanity following the universal moral laws. However, he doesn’t leave us with an ambiguity about the definition of these universal laws; proposing his categorical imperative, he leads us to the universal laws. He believes that we would go (...) toward unconditionality and the highest good following these rules. By the way, there are different interpretations of his categorical imperatives as well as some their extensions. There are two possible interpretations of the third formulation of categorical imperatives and its relation to the animal rights in general, and the vegetarians’ viewpoint in particular. Some people might believe that “being end in itself” is incompatible with vegetarianism. They will invoke some quotes from Kant’s work which support their views. In The Metaphysics of Morals, Kant Explicitly prescribes killing the animals and making use of them, and it can be served as strong evidence to the idea that Kant's moral theory is inconsistent with vegetarianism. However, I don’t think so. According to the second possible interpretation, I believe that Kant’s moral theory is incompatible with the interpretations proposed by those who think it is not compatible with vegetarianism. In the first part of this paper, I briefly explain the relationship of reason and nature in Kant’s moral theory. Then in the second part, I shall explain two concepts of “person” and “things” in his texts, and briefly, state the difference between rational being and non-rational being in his philosophy. Then. In the third part, I will explore some pieces by my Kantian opponent of vegetarianism, and I shall show that their interpretation is some kind of oversimplification. On the basis of some passages of Kant’s writings, using one mental experiment, and one counterexample, I hope to show that Kant is completely sympathetic to vegetarianism. (shrink)

. The reasoning behind the reforms to education that began in 2000-2001 in Québec stemmed in part from a need to put the focus on the student’s intellectual development, rather than on overall personal development, as was the case in the 1970s. At this point, has intellectual development truly become a priority in teaching? Without providing a definitive or categorical answer, the author argues that, in some settings, socialization is more important than instruction and, in some subjects, knowledge as (...) a subjective justification takes precedence over strictly epistemological grounds. La réforme de l’éducation entamée en 2000-2001 au Québec a été justifiée en partie par la nécessité de mettre l’accent sur le développement intellectuel de l’élève et non plus, comme ça aurait été le cas dans les années 1970, sur le développement intégral de la personne. Or, aujourd’hui, le développement intellectuel est-il réellement devenu une priorité dans l’enseignement? Sans répondre de manière définitive ou catégorique, l’auteur soutient que dans certains milieux, la socialisation a plus d’importance que l’instruction et que dans certaines matières, la justification subjective de la connaissance prend le dessus sur une justification strictement épistémologique. (shrink)

Over the course of the Twilight series, Bella strives to and eventually succeeds in convincing Edward to turn her into a vampire. Her stated reason for this is that it will allow her to be with Edward forever. In this essay, I consider whether this type of immortality is something that would be good for Bella, or indeed for any of us. I begin by suggesting that Bella's own viewpoint is consonant with that of Leo Tolstoy, who contends that one (...) could not have meaningful life without immortality, because only immortality could allow one to make a permanent difference in the world. I argue that this characterization of a meaningful life is problematic, however, insofar as (1) immortality is neither sufficient nor necessary for having such an impact and (2) there is little reason to think that having such an impact is constitutive of a meaningful life. I go on to consider Edward's fear that vampires lack a soul as it relates to Martha Nussbaum's claim that immortal beings would be less capable of certain paradigmatic human values and virtues such as courage, love, or self-sacrifice. I suggest, contra Nussbaum, that Carlisle provides an example of an immortal who displays recognizably human virtues. However, the possibility of Carlisle's being virtuous in this way depends on the existence of other creatures who are mortal. -/- I close by considering the problem of boredom, as articulated by Bernard Williams. According to Williams, a meaningful human life is constituted by certain categorical desires such as the desire to raise children or to create art. The projects aimed at accomplishing these desires are necessarily finite in length, and cannot be repeated indefinitely without losing their value. I argue that many, though perhaps not all, of the immortals described in the series suffer from such boredom. For example, Edward and Rosalie struggle to find meaning in their lives and most werewolves choose to age and die normally after a certain time. Perhaps more significantly, many of the non-"vegetarian" vampires seem to have become entirely divorced from any recognizably human projects or values, and have become focused entirely on satisfying their immediate desires. These examples provide some reason to think that many of Bella's reasons for living, which are essentially tied to her mortality, are not likely to be met by becoming immortal. While this does not show that her choice to become a vampire will leave her ultimately unhappy, it does suggest that her doing so represents a considerable sacrifice. (shrink)

Heiko Puls’ work Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt, presents an attempt to show that, in the Groundwork of the Metaphysics of Morals, Kant’s argumentation for the objective value of the categorical imperative is almost based upon the same principle as the one presented in the second Critique. More precisely, Puls claims that, like in the Critique of Practical Reason, the Groundwork operates with some kind of fact of reason-theory, which means that (...) our consciousness of the moral law is the ratio cognoscendi of our freedom of will. Accordingly, there is no conclusion from a kind of non-moral consciousness of freedom to the freedom of will and from here to the objective value of the categorical imperative, as many interpreters assume. Due to the ambitiousness of his main thesis and his detailed and subtle way of arguing, Puls’ work represents an important and innovative contribution to recent research on Kant’s Groundwork. Nevertheless, his interpretations sometimes seem to favour analysis of loose philological relationships over closer looks on the contexts of passages. Or he focuses excessively on isolated textual evidences for his readings without appropriately recognising the various other evidences against it. In what follows, I give examples for this criticism. (shrink)

In recent metaethics, moral realists have advanced a companions-in-guilt argument against moral nihilism. Proponents of this argument hold that the conclusion that there are no categorical normative reasons implies that there are no epistemic reasons. However, if there are no epistemic reasons, there are no epistemic reasons to believe nihilism. Therefore, nihilism is false or no one has epistemic reasons to believe it. While this argument is normally presented as a reply to Mackie, who (...) introduced the term “companions-in-guilt” in his Ethics: Inventing Right and Wrong of 1977, Herbert J. Phillips presented a form of this argument in Ethics in 1940. In this paper, I will discuss Phillips’ version of the companions-in-guilt argument, demonstrate how recent epistemology bears out an important premise of the argument, and compare Phillips’ argument to Derek Parfit’s recent work. (shrink)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because “m”, “r”, (...) “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (shrink)

Kant’s formula of universal law (FUL) is standardly understood as a test of the moral permissibility of an agent’s maxim: maxims which pass the test are morally neutral, and so permissible, while those which do not are morally impermissible. In contrast, I argue that the FUL tests whether a maxim is the cause or determining ground of an action at all. According to Kant’s general account of causality, nothing can be a cause of some effect unless there is a law-like (...) relation between the putative cause and effect. Applied to the case of action, no maxim can be the cause of an agent’s action unless there is a law-like relation between maxims of that kind and actions of that kind. The special capacity to act according to maxims as law-like causes is what Kant calls a will; the basic constitutive principle of the will is a non-normative principle I call the categorical declarative. While the actions of a perfectly good will would be described by the categorical declarative alone, human action is determined not only by the causality of the will, but also by competing causes, namely those stemming from inclination. There is thus need for a causal test for putative maxims. The test contained in the FUL is meant to determine whether an action could be grounded solely on the agent’s maxim, or whether it requires a cause external to the will. This account permits one to build eventual distinctions concerning the morality of actions on prior and independent distinctions concerning their causality. (shrink)

This thesis proposes that key, competing theories of dispositions mistake and conflate how we identify, designate and talk about dispositions and dispositional terms for the nature of dispositions and the meaning of dispositional terms when they argue that: a) dispositions are extrinsic properties of their bearers (Boyle 1666) b) all properties are purely dispositional (Bird 2007) c) all properties are purely categorical (there are no dispositional properties) (Armstrong in AMP 1996) d) dispositional and categorical properties are separate and (...) distinct properties (Prior, Pargetter and Jackson 1982). In so doing these theories make unwarranted and unsupported ontological conclusions about dispositions. The thesis traces the principal source of this confusion and conflation to a reliance on the counterfactual analysis of dispositions that wrongly encourages the conflation of a disposition (say fragility) with its manifestation (shattering). There is good reason to hold that the counterfactual analysis of dispositions is false — the truth of a counterfactual statement (such as “if x were dropped x would break”) is neither necessary nor sufficient for the truth of a dispositional ascription (such as “x is fragile”). (shrink)

In the first ever commentary on the Groundwork, one of Kant’s earliest critics, Gottlob August Tittel, argues that the categorical imperative is not a new principle of morality, but merely a new formula. This objection has been unjustly neglected in the secondary literature, despite the fact that Kant explicitly responds to it in a footnote in the second Critique. In this paper I seek to offer a thorough explanation of both Tittel’s ‘new formula’ objection and Kant’s response to it, (...) as well as illustrate its significance. I argue that the objection is in fact the third step in a line of argument that Tittel presents in his commentary, and that the objection is best understood within this context. I analyze Kant’s response in the second Critique footnote line-by-line so as to show that Kant both clarifies that it was never his aim to offer a new principle, but only ‘establish’ the principle that common human reason already implicitly employs. Furthermore, I show that Kant uses the opportunity to clarify the sense in which the categorical imperative is a ‘formula [Formel]’, namely as a representation of a complicated and abstract principle, like the moral law, in a way that is easier to understand and apply. I conclude by illustrating the fourth step in Tittel’s line of argument, which makes the overall significance of the ‘new formula’ objection clear: for Tittel, the problem is not that Kant seems to be offering merely a new formula, but that the categorical imperative lacks a foundation. (shrink)

There are Humeans and unHumeans, disagreeing as to the validity of the Treatise’s ideas regarding practical reason, but not as to their importance. The basic argument here is that the enduring irresolution of their Hume centric debates has been fostered by what can be called the fallacy of normative monism, i.e. a failure to distinguish between two different kinds of normativity: empirical vs. rational. Humeans take the empirical normativity of personal desire to constitute the only real kind, while unHumeans insist (...) that only the objective rationality associated with categorical morality can provide reliable normative guidance. In turn, the failure to recognize the dual nature of normativity has helped engender motivational obscurantism: as essentially causal notions, motive and motivation obscure the rational processes that lie at the heart of deliberation and choice. Once it is realized that normativity takes two different forms, each with its own distinctive role, it becomes possible to mediate if not mitigate the differences between Humeans and unHumeans. Choice will be the key to understanding practical reasoning, and its analysis will provide the basis for a belief/desire model that upends conventional wisdom regarding motivation and desire. (shrink)

Kant’s views on the relation between freedom and moral law seem to undergo a major, unannounced shift. In the third section of the Groundwork, Kant seems to be using the fact that we must act under the idea of freedom as a foundation for the moral law. However, in the Critique of Practical Reason, Kant claims that our awareness of our freedom depends on our awareness of the moral law. I argue that the apparent conflict between the two texts depends (...) on a reading of the opening paragraphs of Groundwork III, and on an interpretation of Kant’s claim that we “act under the idea of freedom”, that is implausible on textual and on philosophical grounds. I then present an alternative interpretation of what Kant means by “acting under the idea of freedom” and of the opening paragraphs of Groundwork III. I argue that the only substantive conclusion of these paragraphs is that no theoretical proof of freedom is necessary. Moreover I argue that although these paragraphs raise concerns about the validity of the moral law, these concerns and Kant’s answers to them, do not give rise to any significant conflict with his views in the Critique of Practical Reason. (shrink)

According to a common interpretation, most explicitly defended by Onora O’Neill and Patricia Kitcher, Kant held that epistemic obligations normatively depend on moral obligations. That is, were a rational agent not bound by any moral obligation, then she would not be bound by any epistemic obligation either. By contrast, in this paper, I argue that, according to Kant, some epistemic obligations are normatively independent from moral obligations, and are indeed normatively absolute. This view, which I call epistemicism, has two parts. (...) First, it claims that in the absence of other kinds of obligations, rational agents would still be bound by these epistemic obligations, i. e., that the latter are normatively independent. Second, it claims that, no matter what other obligations are at stake, rational agents are bound by these epistemic obligations, i. e., the normativity of these epistemic obligations is absolute in that it cannot be undercut by any moral or other sort of obligation. The argument turns on an exploratory reading of Kant’s remarks in “What Is Orientation in Thinking?” (1786) about the maxim of “thinking for oneself” as the “supreme touchstone of truth”. In contrast to O’Neill and Kitcher, I argue that if we interpret this maxim as stating the unifying principle of theoretical and practical reason, then we must interpret it as stating an epistemic, and not merely practical imperative. This result, I argue, vindicates epistemicism and illuminates interesting lessons about Kant’s conception of the category of “epistemic” norms. Further, it helps us make headway with Kant’s enigmatic remarks about the unity of practical and theoretical reason in the Groundwork, the first and second Critiques, and the Lectures on Logic. On my proposal, principles of the practical and theoretical uses of reason are unified through a formal epistemic principle. (shrink)

Many of those memorialized around us in statues are wrongdoers, and so we are often called to consider whether we should take down those statues. Some of those statutes are memorialized for reasons now taken to be wrong; others are memorialized not for but rather despite their wrongdoing. How should we consider those latter cases? One tempting analysis suggests that we need only consider whether the wrongdoing was sufficiently transgressive. In this article, however, I reject that constrained focus. Instead, (...) these cases have as much to do with us, our priorities, and what those priorities should be as they have to do with the particulars of the lives of the subjects of the statues. Recognizing the central role that our priorities play in blame and condemnation better captures the contours of the debate about statue removal than any categorical rule about types of wrongs. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...) questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)