Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems (...) that imperatives cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? (...) Much more, I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion (...) is obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in (...) Lemmon's (1965) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (shrink)

This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives (...) are used to produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Truth is undefined for imperative statements. However, if imperatives implicitly reference a fact, they can be rephrased as truth­-valuable declaratives explicitly referencing that fact. But are there such facts? Kenny held that any imperative references a set of wishes held by its imperator. I extend his thesis by proposing that imperator wishes are facts implicitly referenced by imperatives and explicitly referencing them yields semantically isomorphic declaratives. I implement this thesis with modal operators for wants and cause with which (...) declarative schemata are formed to automate translation of imperatives into semantically isomorphic declaratives called proxy-­imperatives. The proxy-­imperatives match imperative behavior and provide semantic validation of imperative arguments thereby integrating imperative reasoning into classic truth­-valuable logic. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for (...) the studies of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Traditionally, imperatives have been handled with deontic logics, not the logic of propositions which bear truth values. Yet, an imperative is issued by the speaker to cause (stay) actions which change the state (...) of affairs, which is, in turn, described by propositions that bear truth values. Thus, ultimately, imperatives affect truth values. In this paper, we put forward an idea that allows us to reason with imperatives using classical logic by constructing a one-to-one correspondence between imperatives and a particular class of declaratives. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have (...) conflicting permissive presuppositions ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Imperatives are linguistic devices used by an authority (speaker) to express wishes, requests, commands, orders, instructions, and suggestions to a subject (addressee). This essay's goal is to tentatively address some of the following questions about the imperative. -/- METASEMANTIC. What is the menu of options for understanding fundamental semantic notions like satisfaction, truth-conditions, validity, and entailment in the context of imperatives? Are there good imperative arguments, and, if so, how are they to be characterized? What are the options (...) for understanding the property that an account of good imperative arguments is supposed to track? What constraints on a semantic analysis of the imperative do different positions on the metasemantic issues impose? -/- SEMANTIC. How might we implement metasemantic postures in a rigorous formal system? How much can we do using familiar tools from deontic modal logic? How much leverage over semantic questions can we gain by introducing tools from natural language semantics—ordering sources, dyadic modal operators, salient alternatives, and the like—into a formal semantics for an imperative object language? How much leverage can we gain by introducing tools from rather less-utilized areas of modal logic—devices for representing actions and planning in time, modal operators constructed from action-terms, and the like—into the analysis? -/- DYNAMIC. How do imperatives succeed in performing the speech acts they are used to perform? How do imperatives update discourses? How can we leverage an account of imperative discourse update in giving a dynamic semantics for the imperative? Is there anything about the imperative that demands a dynamic semantic treatment? (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) (...) it is neutral regarding cognitivism about imperatives. (shrink)

Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the context of normative (...) conflicts. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics (...) used in describing psychological and social realities. Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

My dissertation presents a comprehensive rethinking of the Kantian imperative, articulating it on the basis of what I call originary sense. Calling primarily upon the works of Maurice Merleau-Ponty, Gilles Deleuze, and Jean-François Lyotard, I show (1) that sense constitutes the ontologically most basic dimension of our worldly being and (2) that the way in which this sense happens is determinative for our experience of the ethical imperative. By originary sense I mean to name something that is neither (...) sensible sense (sensation) nor intelligible sense (meaning), but rather a kind of unity of these two that is ontologically anterior to their separation. In the first chapter I follow Merleau-Ponty’s argument in Phenomenology of Perception that sensible sense and intelligible sense belong originarily together at the level of the lived body. We are able to intend the meaning of worldly situations (Husserl’s Sinngebung) only insofar as we are responsive in an embodied way to the imperatives that are given in the sensible itself. The intelligible lawfulness so characteristic of the Kantian imperative is thus shown to be grounded in a more fundamental unity of intelligible and sensible sense. The second chapter follows Merleau-Ponty’s later works, especially The Prose of the World and The Visible and the Invisible, showing how the sensibility that is inseparable from the imperative introduces important limitations to the universalizing tendencies of Kant’s moral philosophy, drawing us back to the irreducible situatedness of ethical situations. In the third chapter I turn to the very different articulation of sense given by Gilles Deleuze, primarily in his Logic of Sense. I show there that Merleau-Ponty’s phenomenological conception of sense does not allow us to think the singularity of the imperative, the fact that the ethical command weighs on a me that cannot be grasped in terms of the generalities of my public identity. This singularity corresponds broadly to the idea of dignity in Kant’s moral philosophy. I argue that Deleuze, who conceptualizes sense as an event, gives us the resources to think singularity and to understand what it entails for our ethical practice. Finally, I attempt in the fourth chapter to think these two sides of the imperative—its demand for universality and its emphasis on singularity and dignity— together in the idea of libidinal sense. Calling on Jean-François Lyotard’s Libidinal Economy and, to a lesser extent, on Deleuze and Guattari’s Anti-Oedipus, I show that these two apparently incompatible requirements of the imperative have a common source in the event of libidinal investment (cathexis). In thus locating the source of the imperative in originary, libidinal sense, I hope both to shed some light on the irreducible complexity of our ethical being and to present a more humane, less moralizing version of the imperative than is typically articulated in moral philosophy. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but (...) against a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

In this paper, I shed light on Kant’s notion of Erkenntnis or cognition by focusing on texts pertaining to Kant’s thoughts on logic. Although a passage from Kant’s Logik is widely referred to for understanding Kant’s conception of Erkenntnis, this work was not penned by Kant himself but rather compiled by Benjamin Jäsche. So, it is imperative to determine its fidelity to Kant’s thought. I compare the passage with other sources, including Reflexionen and students’ lecture notes. I argue (...) that several of the text’s peculiarities stem from Jäsche rather than Kant, but that nevertheless Jäsche largely got Kant's view right, with two major exceptions. First, Jäsche’s text fails to reproduce Kant’s key thesis that kennen and verstehen are jointly sufficient for Erkenntnis. Second, Jäsche’s text gives the false impression that Kant holds that animals have consciousness. (shrink)

It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back to (...) Kant and review his understanding of practical judgments, presenting it as supported by a pluralistic semantics. From this perspective a norm of Law is a logical expression that includes as content a generic description of a possible behavior by a generality of juridical agents, and assigns to that content the assertion of its obligatory character, accompanied by a disincentive for non-compliance. From this perspective legal norms can be syntactically formalized and assigned appropriate semantic values in such terms that they can be incorporated into valid inferential schemes. The consequence is that we can put together legal logics that handle both the phenomenal and the deontic dimensions of legality. (shrink)

Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we (...) first define norm systems and a semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (shrink)

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)

Allegations of fraud involving falsification as research misconduct may result in severe consequences for those convicted. The focus of this article is the Public Health Service’s (PHS) definition of falsification . A well-articulated revised definition is required for veritable instances of falsification as misconduct to be consistently identified and potentially offer a framework for elucidation. A philosophical critique of the explicit definition is undertaken to determine what comprises falsification at its core, which could substantially reduce the number of allegations of (...) fraud as suspected instances of misconduct. The flaw in the PHS definition of falsification is due to circular logic, which allows anything to be proven according to it. Furthermore, to be confident that falsification has occurred, one must be certain of what is true when it has not occurred, which is demonstrated not to be plausible. falsification was found to be the most common type of fraud as misconduct alleged yet the rarest to be determined to occur because the flawed definition confounds what constitutes an occurrence of it. In addition to conceptual ambiguity and ignorance, allegations of falsification are suggested to occur strategically as maneuvers by researchers who may exploit the inherent flaw in the definition to eliminate rival competitors. -/- The purpose of part two is to critique the definition of falsification as research misconduct according to the Public Health Service (PHS) in order to better understand what it entails. In support of this purpose, the approach decided upon for analysis was philosophical including framing the issue borrowing from both mereological and epistemological perspectives. Through the consideration given to parthood relations of mereology, we gained insight from a cognitive imperfection standpoint about similarities that exist between the epistemic constraints on knowledge and the nature of violations concerning research misconduct. Findings from the examination of a case study include the significance of accuracy in representation in falsification as misconduct and the core dimensions comprising an instance of falsification, which are Deliberateness, Alteration, and Inclusion. Given that either behavior or actions must occur that violate these three aspects in order to qualify as an instance of misconduct under falsification, the author proposes that, at a minimum, any revisions made to the definition of falsification stipulate what he refers to as the Violation Imperative. (shrink)

In this paper, I shed light on Kant’s notion of Erkenntnis or cognition by focusing on texts pertaining to Kant’s thoughts on logic. Although a passage from Kant’s Logik is widely referred to for understanding Kant’s conception of Erkenntnis, this work was not penned by Kant himself but rather compiled by Benjamin Jäsche. So, it is imperative to determine its fidelity to Kant’s thought. I compare the passage with other sources, including Reflexionen and students’ lecture notes. I argue (...) that several of the text’s peculiarities stem from Jäsche rather than Kant, but that nevertheless Jäsche largely got Kant's view right, with two major exceptions. First, Jäsche’s text fails to reproduce Kant’s key thesis that kennen and verstehen are jointly sufficient for Erkenntnis. Second, Jäsche’s text gives the false impression that Kant holds that animals have consciousness. (shrink)

This essay is part of larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. More specifically, (a) racist/quasi-racist/proto-racist political forces were part of the impetus for logic’s attempt to classify the world into mutually exclusive, hierarchically-valued categories in the first place; and (b) these classifications, in turn, have been deployed throughout history to justify (...) and empower racism/quasi-racism/proto-racism. In other words, (a) an important part of the chaos and messiness that so troubles logic has been the natural bio-cultural diversity of human beings as described by concepts such as race and ethnicity; and (b) once these concepts were historically in place, taken for granted, buttressed with pseudo-science, and had their origins forgotten, they became tools for the oppression of diverse human groups. The central thesis of this essay is that close readings of a variety of Leibniz’s writings (including several essays and one letter) will reveal a pattern of mutual dependency and creation in regard to logic and racism in Leibniz. My conclusion will be that there is a meaningful connection between logic and racism (or at least between logic and politics in general) in Leibniz such that one should be skeptical of his logic’s claim to offer transparent and neutral descriptions of the world as well as imperatives for action. Put differently, I want to ask the following specific question: how do Leibniz’s own racially-informed political goals, along with the emergence of race-centric European colonialism, both invest and disguise themselves within Leibniz’s mathematizing of logic? (shrink)

Feminist decolonial scholars have called for disengaging from the current system built on a hierarchical logic of race and gender central to modern, colonial thinking. They have looked to worlds outside the modern system to lead us out of current unjust practices harming both humans and the environment. Although policymaking may be seen as the stronghold of the current political agenda and of the structures that have led to the climate crisis, we argue that climate policies too, are also (...) crucial for rethinking and transforming societies. Our examination of climate adaptation policies in Sweden and the literature from Europe shows how policy documents ignore and unknow the oppressive intersections of gender and power despite the knowledge that exists on these issues in the public domain. Drawing on the tools of agnotology, we examine how this is achieved by strategies of ‘denial, dismissal, diversion and displacement.’ Building on feminist post and decolonial scholarship, we make explicit the gendered and racial hierarchies and dichotomies underpinning these policy documents. At the same time, we bring attention to the nuances in the policy documents we study and look for the openings that might be used to bring about transformation by making these hierarchies explicit and calling them into question. We argue that a transformation is possible through a feminist post and decolonial intervention, even in policymaking otherwise ignorant of culture, values and the colonial histories that have produced contemporary society. (shrink)

I argue that Hegel’s Phenomenology is an attempt to prove that human experience displays a sui generis logical structure. This is because, as rational animals who instinctively create a universe of meaning to navigate our environment, the perceptual content of our conscious experience of objects, the desires that motivate our self-conscious experience of action, and the beliefs and values that make up our sociohistorical experience all testify to the presence of rationality as their condition of possibility. As such, Hegel’s Phenomenology (...) not only requires of us that we transform the mission of logic into a description of the immanent logic at the basis of human experience, thereby making the task of logic “anthropological.” It also presents us with a novel model of human experience—one that: demonstrates the rationality already instinctively at work in our bodily sensations, perceptions, and desires; gives an account of the origins of human society and history; and also makes human experience irreducible to cognitive processes in the brain, psychological mechanisms, and the biological imperatives of survival and reproduction. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...) for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. (...) These acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

I provide counterexamples to Kit Fine's semantics for imperative and deontic modals. In particular, I argue that the semantics fails to provide necessary conditions for conjunctive imperatives.

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)

In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, Kleingeld and (...) Nyholm: these three commentators reject the traditional interpretations entirely, but I argue that this rejection is ill-founded. In the third and fourth, I take a detailed look at Furner’s work, work in which he seeks to revise (rather than reject) the traditional interpretations. I argue that, despite his more modest aims, Furner’s revision is also ill-founded. (shrink)

This brief note explores Sorainen's (1939) contribution to the birth of deontic logic. He maintained that imperatives can be true or, respectively, false.

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical entity, a (...) unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (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.

Mark David Webster ABSTRACT: Using qualitative methods, the author sought to better understand how philosophical assumptions about technology affect the thinking, and influence the decision making, of educational technology leaders in their professional practice. One of the research questions focused on examining whether assumptions of technological determinism were present in thinking and influenced the decisions that leaders make. The core category that emerged from data analysis, Keep up with technology (or be left behind), was interpreted to be a manifestation of (...) the technological imperative, an assumption associated with the philosophical perspective of technological determinism. The article presents a literature review and critique of philosophical issues surrounding technological determinism. Data analysis led to the conclusion that technology leaders working in K-12 education place weighted priority on the technological imperative, and there is philosophical tension between Keep up with technology (or be left behind), and a concurrently held perspective based on the logic of the instrumental view of technology. The findings suggest that different accounts of technological determinism, including Bimber’s three accounts of normative, nomological, and unintended consequences, are significant in the thinking of participants. School technology leaders placed priority on embracing technological change, sometimes adopting technology for its own sake. (shrink)

This work is a attempt to describe various braches of mathematics and the analogies betwee them. Namely: 1) Symbolic Analogic 2) Lateral Algebraic Expressions 3) Calculus of Infin- ity Tensors Energy Number Synthesis 4) Perturbations in Waves of Calculus Structures (Group Theory of Calculus) 5) Algorithmic Formation of Symbols (Encoding Algorithms) The analogies between each of the branches (and most certainly other branches) of mathematics form, ”logic vectors.” Forming vector statements of logical analogies and semantic connections between the di↵erentiated (...) branches of math- ematics is useful. It’s useful, because it gives us a linguistic notation from which we can derive other insights. These combined insights from the logical vector space connections yield a combination of Numeric Energy and the logic space. Thus, I have derived and notated many of the most useful tangent ideas from which even more correlations and connections ca be drawn. Using AI, these branches can be used to form even more connections through training of lan- guage engines on the derived models. Through the vector logic space and the discovery of new sheaf (Limbertwig), vast combinations of novel, mathematical statements are derived. This paves the way for an AGI that is not rigid, but flex- ible, like a Limbertwig. The Limbertwig sheaf is open, meaning it can receive other mathematical logic vectors with di↵erent designated meanings (of infi- nite or finite indicated elements). Furthermore, the articulation of these syntax forms evolves language away from imperative statements into a mathematically emotive space. Indeed, shown within, we see how the supramanifold of logic is shared with the supramanifold of space-time mathematically. Developing clean mathematical spaces can help meditation, thought pro- cess, acknowledgment of ideas spoken into that cognitive-spacetime and in turn, methods by which paradoxes can be resolved linguistically. This toolkit should be useful to all in the sciences as well as those bridging the humantities to mathematics. Using our memories as a toolkit to aggregate these ideas breaks down bound- aries between them in a new, exciting way. Merging philosophy and Quantum Mechanics together through the lens of symbolic analogies gives the tools to unravel this mystery of all mysteries. Mathematics thus exists as a bridge al- beit a complex one between the two disciplines, giving life to a composite art of problem-solving. Furthermore, mathematics yields to millions of other applications that are potentially limited only by our imagination. From massive data sets used for predictive analytics to emerging fields in medicine, mathematics is an energy and force at the center of possibilities. The power of mathematics to help manage life exists in its ability to shape and model the world in which we live and interact with one another. In conclusion, mathematics is a powerful tool that creates bridges and con- nections between many disciplines and serves as a powerful form of analytical data consumption. It provides language-rich bridges from which to assemble vast fields of theoretical investigations and create groundbreaking innovations. As we approach new horizons in the technology timeline, mathematics will con- tinue to be a powerful driver of creativity and progress. (shrink)

A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seusresultados quanto à construção de um sistema de lógica deôntica que capture conceitos eprincípios kantianos como necessidade causal e as formulações do Imperativo Categórico acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma apresentação em linhas (...) gerais destas concepções e, tendo em vista as dificuldades referentes a aplicabilidade de um processo de tradução entre princípios deônticos e ônticos,fez-se necessária também uma exposição acerca do problema das barreiras inferenciais, bem como de sua conseqüência mais imediata, a saber, o Dilema de Jörgensen. Num segundo momento, também foi feita uma caracterização dos sistemas modais normais, tanto deônticos quanto aléticos, bem como da noção de tradução entre lógicas e dos modelos de Dawson. O capítulo final consiste justamente num exame crítico da proposta de Kielkopf, o qual faz uso dos modelos de Dawson para desenvolver uma lógica deôntica a partir do sistema lógico K1. Tais modelos de Dawson permitem a definição de uma lógica deôntica em termos de modalidades aléticas iteradas, com o que este modelo constitui-se em uma maneira de evitar os problemas referentes às barreiras inferenciais. O desenvolvimento de uma alternativa para a atribuição de um status lógico a concepções deônticas não constitui,contudo, o aspecto inovador desta proposta, tal aspecto encontra-se justamente na utilização por Kielkopf, de seu modelo formal como uma ferramenta para a investigação de concepções filosóficas, no caso, as concepções kantianas já citadas. -/- The current dissertation has as its main objective an exposition and critical analysis of Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic, and the resulting construction of a system of deontic logic that captures Kantian fundamental concepts and principles such as the concept of causal necessity and the formulations of the Categorical Imperative concerning Kingdom of Nature and Kingdom of Ends. Since this process results in an interpretation of aspects of the Kantian philosophy, it has been chosen,initially, a presentation in general lines of these concepts and, considering the difficulties regarding the applicability of a translation process between deontic and ontic principles, it was done necessary also an exhibition concerning the problem of the inferential barriers, as well as of his more immediate consequence, i. e., Jörgensen's Dilemma. In a secon dmoment, it was also made a characterization of normal modal systems, deontic ones andalethic ones, as well as of the notions of translation between logics and of Dawson modelling. The final chapter consists of a critical examination of Kielkopf's proposal, which uses Dawson modelling to develop a deontic logic based on the alethic system K1. Such Dawson modelling allows the definition of a deontic modalities in terms of iterated alethic modalities,therefore this model constitutes a way of avoiding the problems regarding inferential barriers. The development of an alternative for attribution of logical status to deontic concepts doesn't constitute, however, in an innovative aspect of this proposal, such aspect can be founded inthe use made by Kielkopf of his formal model as a tool for the investigation of philosophical concepts, such as the Kantian concepts already mentioned. (shrink)

O dilema de Jørgensen tem atormentado os imperativistas até aos nossos dias. Resumidamente, se há uma Lógica das Normas, então esta tem por elementos proposições (as proposições normativas) e, simultaneamente, tem por elementos imperativos, que não possuem conteúdo proposicional. Neste ensaio, defender-se-á que o imperativismo é totalmente compatível com a concebilidade de uma Lógica Deôntica de proposições, pelo que não é necessário afastá-lo para manter a referida concebilidade (ainda que haja outras razões para rejeitar o imperativismo). Todas as posições que (...) aceitam a incompatibilidade suscitada pelo dilema de Jørgensen incorrem num erro, o de confundir imperativismo e prescritivismo. -/- Jørgensen's dilemma has plagued imperativists to this day. Briefly, if there is a Logic of Norms, then propositions participate in it (normative propositions) and, simultaneously, imperatives participate in it, which do not have propositional content. In this essay, I will argue that imperativism is fully compatible with the conceivability of a Deontic Logic of propositions, so it is not necessary to push it aside to maintain that conceivability (although there are other reasons for rejecting imperativism). All positions that accept the incompatibility raised by Jørgensen's dilemma incur an error, that of confusing imperativism and prescriptivism. (shrink)

Everyday (mis)uses of deepfakes define prevailing conceptualizations of what they are and the moral stakes in their deployment. But one complication in understanding deepfakes is that they are not photographic yet nonetheless manipulate lens-based recordings with the intent of mimicking photographs. The harmfulness of deepfakes, moreover, significantly depends on their potential to be mistaken for photographs and on the belief that photographs capture actual events, a tenet known as the transparency thesis, which scholars have somewhat ironically attacked by citing digital (...) imaging techniques as counterexamples. Combining these positions, this paper sets out two core points: (1) that conceptions about the nature of photography introduce imperatives about its uses; and (2) that popular cultural understandings of photography imply normative ideas that infuse our encounters with deepfakes. Within this, I further raise the question of what moral ground deepfakes occupy that allows them to have such a potentially devastating effect. I show that answering this question involves reinstating the notion that photographs are popularly conceived of as transparent. The rejoinder to this argument, however, is that to take the sting out of deepfakes we must, once again, become skeptical of the veracity of all images, including photoreal ones. This kind of critical mindedness was warranted before the invention of photography for both pictorial imprints and written accounts from various media sources. Given this, along with the fact that photographic trickery is nothing new, deepfakes need not push us into a post-truth epistemic abyss, for they imply a decidedly old turn. (shrink)

l. There is an antinomy in Hare's thought between Ought-Implies-Can and No-Indicatives-from-Imperatives. It cannot be resolved by drawing a distinction between implication and entailment. 2. Luther resolved this antinomy in the l6th century, but to understand his solution, we need to understand his problem. He thought the necessity of Divine foreknowledge removed contingency from human acts, thus making it impossible for sinners to do otherwise than sin. 3. Erasmus objected (on behalf of Free Will) that this violates Ought-Implies-Can which he (...) supported with Hare-style ordinary language arguments. 4. Luther a) pointed out the antinomy and b) resolved it by undermining the prescriptivist arguments for Ought-Implies-Can. 5. We can reinforce Luther's argument with an example due to David Lewis. 6. Whatever its merits as a moral principle, Ought-Implies-Can is not a logical truth and should not be included in deontic logics. Most deontic logics, and maybe the discipline itself, should therefore be abandoned. 7. Could it be that Ought-Conversationally-Implies-Can? Yes - in some contexts. But a) even if these contexts are central to the evolution of Ought, the implication is not built into the semantics of the word; b) nor is the parallel implication built into the semantics of orders; and c) in some cases Ought conversationally implies Can, only because Ought-Implies-Can is a background moral belief. d) Points a) and b) suggest a criticism of prescriptivism - that Oughts do not entail imperatives but that the relation is one of conversational implicature. 8. If Ought-Implies-Can is treated as a moral principle, Erasmus' argument for Free Will can be revived (given his Christian assumptions). But it does not 'prove' Pelagianism as Luther supposed. A semi-Pelagian alternative is available. (shrink)

Despite the end of the Cold War and the ascendancy of liberal democracy celebrated by Francis Fukuyama as “the end of history”, a growing number of scholars and political activists point to its inherent shortcomings. However, they have tended to dismiss it on the basis of one or two of its salient weaknesses. While this is a justifiable way to proceed, it denies the searching reader an opportunity to see the broad basis for the growing rejection of liberal democracy among (...) African political theorists. Consequently, in this article, I argue that from an African perspective, the almost hegemonic status of liberal democracy can be challenged on at least five grounds, namely, logical inconsistency, impracticability due to the largely communalistic outlook of many africans, inconsistency between affirmation and action, violation of the right to ethnic identity, and the moral imperative to assert the right to cultural emancipation. -/- I conclude by calling upon African and Africanist political theorists to utilise indigenous African political thought, coupled with emancipatory aspects of political thought from other parts of the world, to design practicable models of democracy for contemporary African states. I further conclude that in order to promote genuine inter-cultural dialogue on democratisation, people from Western cultures ought to acknowledge the equality of all cultures, and to recognise that systems of governance are part and parcel of those cultures. (shrink)

The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. Haack compares (...) deduction to induction, and I will critically discuss her argument for the thesis that we cannot justify the principles of deduction next. In concluding I will defend the thesis that we can justify induction deductively relative to one end, and deduction inductively relative to a different end, and that we can do so in a non-circular way. Along the way I will show how we can understand deductive and inductive logic as normative theories, and I will briefly sketch an argument to the effect that there are only hypothetical, but no categorical imperatives. (shrink)

Frank Snare had a puzzle. Noncognitivism implies No-Ought-From-Is but No- Ought-From-Is does not imply non-cognitivism. How then can we derive non-cognitivism from No-Ought-From-Is? Via an abductive argument. If we combine non-cognitivism with the conservativeness of logic (the idea that in a valid argument the conclusion is contained in the premises), this implies No-Ought-From-Is. Hence if No-Ought-From-Is is true, we can arrive at non-cognitivism via an inference to the best explanation. With prescriptivism we can make this argument more precise. I (...) develop an account of imperative consequence that underwrites Hare’s principle that you cannot derive imperatives from indicatives. Thus if moral judgments contain an imperative component, it will be impossible to derive moral conclusions from indicative or non-moral premises. Given this account of imperative consequence, we can explain No-Ought-From-Is without appealing to anything as nebulous as the conservativeness of logic. Hence if No-Ought-From-Is is true, we have an inference to the best explanation for prescriptivism. Both lines of argument face problems from Prior. Given Prior’s counterexamples, No-Ought-From-Is as originally conceived is false. The version that survives is No-Non-Vacuous-Ought-From-Is. But the best explanation of this does not include non-cognitivism. With prescriptivism it is worse. For the version of No-Ought-From-Is that prescriptivism ‘explains’ – that is, the version of No-Ought-From-Is that prescriptivism implies – would exclude Prior’s counter-examples to Autonomy as invalid. But they are not invalid. Thus Prior’s counter-examples to No-Ought-From- Is refute prescriptivism. Thus from 1960 onwards R. M.Hare was a dead philosopher walking. But if non-cognitivism cannot be derived from No-Ought-From-Is, this suggests that it is not what Hume was trying to prove. I argue that what Hume was trying to prove is that moral truths are not demonstrable. To be demonstrable, a proposition must be either self-evident or logically derivable from self-evident propositions. By Treatise 3.1.1.27, Hume had proved to his own satisfaction that no moral propositions are self-evident. That leaves open the possibility that they are logically derivable from self-evident but NON-moral propositions. The point of No-Ought-From-Is was to exclude this possibility. If you cannot logically derive moral conclusions from non-moral premises, you cannot demonstrate the truths of morality by deriving them from self-evident but NON-moral truths. I also discuss why Hume abandoned No-Ought-From-Is in the EPM. He had no need of it since he thought he had a proof that (with some exceptions) no nontrivial truths are demonstrable. Hence no non-trivial MORAL truths are demonstrable. No-Ought-From-Is drops out as unnecessary. (shrink)

This paper proposes a metaphysical solution to the hard problem of consciousness by presenting a formal theorem that uses set theory and modal logic to demonstrate the equivalence of Being, Self, and the Absolute. Through a series of self-evident axioms and logical propositions it establishes that Being is necessary for all possible entities, Self is necessary for all possible phenomena, and entities imply phenomena while Being implies Self. Furthermore, it posits that there can only be one Absolute, since multiple (...) non-contingent entities lead to a paradox of interdependence; resulting in reductio ad absurdum. Hence, Being, which is Absolute in the objective sense, and Self, which is Absolute in the subjective, are in fact a single Absolute Conscious Being (God). The final postulate takes the form of an imperative which elucidates the Self’s inherent potential for knowledge of itself – commonly mistaken for the individual (body with a mind in a world) – and reveals the path for direct realization of this Absolute Identity. Personal application, cultural integration, and ethical implications are discussed. (shrink)

At various occasions Popper states that in order for a theory to show its strength “certain amount” of dogmatism must precede the critical testing phase. He even argues that dogmatism is a necessary precondition of criticism. These are alarming statements, undermining Popper’s methodological imperative of falsification. Critical rationalism is based on a strict opposition to dogmatism for logical reasons, for evolutionary reasons, and for ideological reasons. Popper cannot provide any objective criterion defining the proper dosage of dogmatism and thus (...) opens doors to its uncontrolled expansion. Criticism thus ceases to be the non-negotiable normative principle and the inviolable standard of rationality. (shrink)

Due to his theory of deontological ethic, Kant is regarded, in the history of philosophy, as one of the cornerstones of ethics, and it is said, as a rule, that he has an original theory of ethics in that he posited the idea of free and autonomous individual. However, when dug deeper into Kant‟s ethics, and also if it is ex-actly compared with theological ethic, it is clearly seen that all he has accomplished was to make a copy of the (...) theological ethic and to use such secular terms as reason, conscience, good will, moral law, categorical imperative, universalizability, summum bonum, ethico-civil state/universal religion of mere reason as a substitute for such key terms of religious ethics as God, prophet, for God‟s sake, the Golden Rule, Divine command, Heaven, Kingdom of God without modifying the wording, content and logic of theolog-ical ethics. So, the notion of a subject or reason which pretends to be God has no sign of originality. (shrink)

In The Age of the World Picture, philosopher Martin Heidegger claims that scientific representations do not reduce themselves to pure appropriations of what they present. Rather, they convey investigations that confine being to rules of appropriation. Those rules govern how natural science accesses phenomena. The choice of natural science as the predominant mode of representation of reality entails what Heidegger calls a process of objectification (Vergegenständlichung). In his Zollikon Seminars, Heidegger questions the tribute paid by the sciences of the mind (...) to the logic of the natural sciences, and stresses that Freud, by thinking of the mind as a machine driven by instinctive powers, assigns to human phenomena the objective features set by the natural sciences. This paper purports to show that Winnicott, by formulating a theory of personal maturing, disagrees with the objectifying requirements of the natural sciences. For Winnicott, traditional psychoanalysis uses categories that are inadequate for describing the changes babies undergo in the environment that gives them care and attention, because its analysis is confined to the field of libido relations. With that in mind, it is not possible to speak about human maturation processes using an objectifying language; Winnicott stresses (in The newborn and his mother) that “I cannot sacrifice a patient on the altar of science”. This paper argues that Winnicott disagrees with the naturalistic imperative, which reduces the real to what is objective and places physics as a model for the sciences. The paper also broaches on the issue of how far the considerations of Heidegger and Winnicott regarding access to human phenomena allow us to discuss the current overwhelming process of medicating everyday life. (shrink)