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.

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)

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)

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)

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)

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

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)

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

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

The confessional work of the Church has been from the very beginning a foundation and basis for the Divine Truth. Starting from this real necessity, the Apologetic Theology claims some important research directions, grounded on the Holy Scripture and the Holy Tradition. Given this historical and doctrinal context, we can highlight the next support coordinates of the Christian Apologetics background: “the truth of God’s existence, the reality of the supernatural world and man’s immortality. All of this are, as we can (...) say, the Christian specific starting from the first ages. The truths about the divine origin of Christianism are to be found here, on the dignity of this revealed doctrine, on the divine-human character of his Founder, on the importance and necessity of Christian Church for the religious and morale life of human kind”. . Apologetics and (or) Fundamental Theology The reason why the Church must justify her teaching in the context of her missionary activity does not rise up from inner necessity. It does more from external misconceptions. In this context we can define the main concern of apologetics as a theological discipline. On the other hand, one can discover almost the same meaning in Fundamental Theology. However, as a difference between them, Fundamental Theology is interested in the direction and bears informative message, since “it aims at basic religious principles systematic presentation, both external and internal, as well as their justification before the scientific-theological conscience of believers. Thereafter, Christianity can be considered the only true religion”. On the other hand, one can claim that the name of “Apologetics” rises up from the necessity that the Christian arguments must be scientifically enforced and illustrated externally. Therefore, the mission of Christian Apologetics is to reject the anti-Christian objections through the power of the theological arguments in dialogue with philosophy, culture or science. In fact, even the object of Apologetics is "the scientific ground of Christian truths" with the purpose to "offer the Truth, reject error, and eradicate lies." In order to achieve its goal, Christian Apologetics offers us a positive method, which consists in "a logical and direct development of a certain thesis, in clarifying a certain truth, by revealing its content and the outcomes deriving from it". Therefore, we have a very dynamic field through which this discipline comes and supports the active life of the Church. Moreover, the method of the Apologetics as a theological subject is based on a conceptual struggle, very active starting with the very first centuries of the Early Church. Due to its energetic character, Fundamental Theology won its most important place among Christian doctrines. “Through struggle, Fundamental Theology imposed itself as a theological subject and became individualised. Through struggle and only through struggle, Fundamental Theology must exist and strengthen the positions of Christianity”. In its theologically mission, Christian Apologetics identifies and also prevents the alteration of the doctrinal truth. In this concern, it has the responsibility to enforce of believers’ moral conscience in their spiritual process of development. As a subject, one can say that the mission of Apologetics is “rational, objective and represents a very important basis for the Christian truths of faith”. Therefore, one can notice that the most important aspect of our subject is to enforce the Christian faith and experience through proper knowledge of the fundamental principles of the doctrine. This is the reason why we also mention Apologetics together with Fundamental Theology. However, we must highlight a few important details regarding the sensible difference between both of the denominations. Therefore, historically speaking, “they both arise from those who personally share Christian faith and act within the believing community and in its service. They both aim to respond to objections raised by critics and to offer a trustworthy account of main beliefs about matters as the existence of a personal God, the divine self-revelation in Jesus Christ, and the nature of faith”. On the other hand, we can identify almost three important differences between Apologetics and Fundamental Theology. “First, a Christian apologist can simply address a question: does the existence of horrendous evil in our world rule out the existence of almighty and all-loving God? or has science caused faith in God to be demoted in the past? … Second, good Apologetics has typically a sharply defined audience: Apologetics can seek, for example, to alert non-believers to the weakness of the case currently being against God and religion. But Fundamental Theology addresses to a wider range of readers … Third, polemics (in the good sense of this word and not as mindless ranting) belong to the exercise of Apologetics … The tone of fundamental theologians, even when rebutting objections to Christian faith, is or should be more expository and less polemically inclined to illustrate defects in opposing positions”. Moreover, we must mention that Apologetics can be considered as a particular subject. Although, it is similar in terms of content with Dogmatic and Philosophy through its method, our subject has its own research direction. Therefore, if Dogmatic is defined by an expositive and imperative character, Apologetics is demonstrative and constraining. In other words, dogmatic rationality, which has a subsidiary role, in Apologetics becomes primordial. In this case, “the faith truths become truths also for the rationality and moreover, the eternal truths of the Divine Reason become constraining for the human reason, too. Truths of natural religion, which are in fact the object of the Philosophy of Religion, are conditioned in Apologetics by the Absolute Truth completed in the Christian faith”. In all its theological and external interaction perspectives, Apologetics holds the main role to “expose, defend and justify with rational meanings the general truths of religion”. It is necessary to clear up one aspect: as subject, Apologetics is different from Apology. On the one hand, one can speak about the general research background and, on the other hand, one can describe a singular part of theological approach. Therefore, these two “theological sisters” are different depending on the type of approach. However, Apology is older than Apologetics. Among the first Christian apologists, we mention: Saint Justin the Martyr and Philosopher, Tatian, Athenagoras or Tertullien. In its current meaning, Apologetics is of a western theological origin, having its beginning in Middle Ages. Even so, its blooming age is the 18th century, when the Western Catholic Church replied to the materialist and atheistic philosophy. In the Eastern Church this type of confession had a more profound theological overview, in a theonomic perspective. “In the light of the Holy Scripture, the eastern theological thinking always shows priority to the divine Revelation in spite of the philosophical human systems and places the Creator - Logos at the basis of all creation, in the light of biblical thoughts”. -/- II. “Rational-spiritual Apologetics” Reverend Professor Dumitru Popescu, one of the most important Romanian theologians, develops the concept of “Rational-spiritual Apologetics”. In his theological approach, he illustrates the fact that one of the most essential part of the Church’s confessional work are the relations between rational arguments and spiritual purpose of the Christian life. In this case, we can identify two possibilities of argumentation: rational and spiritual, each of them in connection with the knowledge of God. This is in fact, the Orthodox specificity of the Apologetics, as theological subject, in contrast with the principles of western scholastic. Therefore, the most important argument, which Dumitru Popescu brings up in the support of his thesis, belongs to Saint Maximus the Confessor’s theology: “The Scripture provide a double knowledge of the divine things. One is relative and consists in its rationality and meanings, without the direct feeling of God. Through it we are guided in this life. The other one is in a true sense true and consists in leaving experience of divine grace, outside rationality and meanings, having the complete experience of God. Through it we will receive in the future life the deification”. On the other hand, we can understand that the purpose of human rationality is not to replace the spiritual perspective, since human mind does not own the divine mystery. In this case, rationality can be useful in discovering and demonstrating the existence of God from natural realities to a point where we must assume a spiritual understanding. Consequently, in the context of human deification, the orthodox theology cannot conceive the gnoseological process in rational terms. Therefore, Rev. Dumitru Popescu carries out a dual argumentation: 1. since God is not a solitary power, but descends and interacts with man providentially (through His divine grace and energies); 2. because the created world doesn’t have an independent rationality through which man can receive the possibility to reach God. Therefore, Father Professor Dumitru Popescu concludes that “the deification process is here, on the earth, a foretaste of immortality, which springs from the personal meeting of man with God”. One of the most recent Romanian Apologetics academically approach is the book of professor Adrian Lemeni: “Truth and Demonstration”. Except his very complex analysis on the interaction between theology and science, Professor Lemeni goes further and perfects Dumitru Popescu’s theological view, on the “Rational-spiritual” character of Orthodox Apologetics. Therefore, he offers a very important example, starting from Saint Gregory Palamas’ theological view. In his work “the authority of Patristic gnoseology” is illustrated, which is offered by the “Eternal Truth, God’s Word, incarnated in the Person of Jesus Christ”. “The authority of patristic gnoseology” – notes down Adrian Lemeni – “is expressed along the process for searching the truth of knowledge illustrated by deeds and life. In his debate with Varlaam from Calabria, Saint Gregory Palamas insists on the power of persuasion which arises from the Church’s Tradition, biblical and patristic fundamentally. In an ultra-confident argument, based on the autonomic logical power, we believe that one word has power over another. But Saint Gregory Palamas shows that the truth is based and validated through spiritual and ecclesiastical experience. Truth is validated by the words and deeds of the Holy Fathers, in direct connection with apostolic Tradition. Any argument can be fought against by another argument. Nevertheless, the apologetic concession based on the deeds of the saints is unbookable. This is the thesis which Saint Gregory Palamas develops in complete harmony with the patristic gnoseological Tradition”. Therefore, we can consider that the position of the subject of Apologetics (of Fundamental Theology) is one of interactions. It has connections with all domains external to Theology. In this case, we can consider it sets up a dialogue or debate with philosophy, culture or science. Starting from the historical argument, this interaction between theology and other sciences has existed from the very first Christian century. Therefore, we have an apologetic literary genre starting with the first patristic writings. Including the Early Church, we can identify three important stages in terms of historical apologetics development: 1. The Christian apologists struggle age with Judaism and paganism; 2. From the issue of Islam to the Middle Eve; 3. From the period of the Renaissance of Western sciences to the present day. (shrink)

This paper takes into account the loops within the anti-suicide arguments - we can clearly understand that their theories were emerging either from their personal beliefs or irrelevant inferences. As discussed later, they overlooked the fact that human beings have ultimate freedom over their death and that is one thing that serves their ego. We see a mere categorical problem on behalf of Camus and his Sisyphus; that how he failed to realise the difference of circumstance and choices. How Kant’s (...) Categorical Imperative is like Plato’s Ideal World that can never exist and how Rousseau failed to recognise individuals as humans. The paper also examine the pro-suicide arguments of Arthur Schopenhauer, Phillip Mainlander, Max Stirner and David Hume. The paper concludes that although suicide is logical, however, there is a need to further categorise the types of suicides in order to create a better compass on this topic of self annihilation. (shrink)

The title of this essay describes its topic. I open by discussing the two-knowledges/one-object worry that Anscombe introduces through her famous example of the water-pumper. This sets the context for my main topic, viz., Anscombe’s remarks in _Intention_ on the similarities and differences between intentions and commands. These remarks play a key role in her argument’s shift from practical knowledge to the form of practical reasoning and in its subsequent shift back to practical knowledge. The remarks should be seen as (...) framing her account of practical reasoning’s distinctive logical form: they motivate the need for the account, and they then are then illuminated by the account in order to resolve the two-knowledges/one-object puzzle. I tackle these exegetical issues over the course of the essay, but my goals are not limited to exegesis. I think there are lessons both in the philosophy of mind and in ethics to be gleaned from a close study of these remarks on intentions and commands. Intentions, we discover, must not be understood as self-commands; once we see why, we can better understand Anscombe’s rather cryptic dismissal of Kantian ethics in "Modern Moral Philosophy ." The essay closes on this last point. (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)