Originally published in 1966. Professor Rescher's aim is to develop a "logic of commands" in exactly the same general way which standard logic has already developed a "logic of truth-functional statement compounds" or a "logic of quantifiers". The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of (...) validity in command inference, so that the logical relationships among commands can be studied with something of the rigour to which one is accustomed in other branches of logic. (shrink)

The purpose of this essay is to both discuss commands as a species of speech act and to discuss commands within the broader framework of how they are used and ...

I offer a series of axiomatic formalizations of Divine Command Theory motivated by certain methodological considerations. Given these considerations, I present what I take to be the best axiomatization of Divine Command Theory, an axiomatization which requires a non-standardsemantics for quantified modal logic.

In this wide-ranging study, Quinn argues that human moral autonomy is compatible with unqualified obedience to divine commands. He formulates several versions of the crucial assumptions of divine command ethics, defending them against a battery of objections often expressed in the philosophical literature.

Commanders gain authority from obedience and lose authority from disobedience. We should expect commanders to therefore devise commands that reduce the probability of disobedience. To aid recognition of these techniques for reducing the risk of disobedience, I focus on the extreme of case of commands that reduce the probability to zero. Each of my ten commandments illustrates a logical technique for engineering out disobedience. Once you master these safety measures, you can confidently legislate your own universal maxims. Your (...) innovations will be good news for Immanuel Kant’s characterization of morality in terms of categorical imperatives. The commandments also raise interesting questions about responsibility for necessities and the nature of rule following. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Commandment against the Law Writing and Divine Justice in Walter Benjamin’s “Critique of Violence”Tracy McNulty (bio)Pierre Legendre has shown that the Romano-canonical legal traditions that form the foundations of Western jurisprudence “are founded in a discourse which denies the essential quality of the relation of the body to writing” [“Masters of Law” 110]. It emerges historically as a repudiation of Jewish legalism and Talmud law, where the rite (...) of circumcision encodes the subject’s entry into law as an “allegiance to the absolute Writing,” or the “relationship between the human subject and the logical place of the Other” [110–11; see also “les juifs”]. In this shift, one understanding of writing is displaced by another: the material inscription of the letter, as an incommunicable limit or cut, is supplanted by the fantasy of what Legendre calls a “living writing,” a writing “in the heart” that promotes an ideal of perfect communication in which nothing is lost, in which meaning is lodged in an absolute Other who guarantees all knowledge. In his words, “we belong to a culture in which a mystically alienated human body stands in the place of the absolute book. The state has emerged from this structure.... Its basic characteristics can be set out by means of a fundamental Romano-pontifical maxim: the Emperor carries all the archives in his breast (omnia scrinia habet in pectore suo)” [“Masters of Law” 109].The ultimate theological source of this Roman maxim is Paul’s polemic against the Jewish law in the Epistle to the Romans. Paul’s polemic is structured by a distinction between two orders of law: the “law of God” and the “law of sin.” The first is associated with the intelligible “spirit” of the law, which is “written in the heart,” the second with the prescriptive “letter” of the Jewish law, which compromises or corrupts the first by binding it to a particular representation and consigning it to written form. Paul’s solution is to bypass the law, to bypass representation, and perhaps even language itself. The prescriptive “letter” of the Jewish law must be sublated by the law of the spirit, such that “we serve not under the old written code but in the new life of the Spirit” [Romans 7: 6]. Christ, as the living embodiment of the law of God, upholds the spirit of the law by “fulfilling”––and so rendering obsolete–its written form.The doctrine of Christ as the “living law” sustains what Legendre describes as a “banalisation of writing” [“Masters of Law” 111], a disregard for its material inscription that holds the letter to be nothing more than a placeholder, a flawed or incomplete representation of a meaning or truth that is itself beyond words. At the same time, it makes possible the legal and political fantasy of a living writing, located in a single body understood as the site of interpretive authority. The extraction of a meaning or truth from the intractable letter becomes the ultimate aim of the legal order and the most lofty task of its sovereign interpreter, uniquely charged with animating the dead letter. This notion permeates what Peter Goodrich describes as “the most standard protocols of legal reading,” according to [End Page 34] which “it is not the letter but the spirit that determines the meaning of the law”:The text is composed of dead letters (litera mortua); the rule is no more than a “mute judge,” a sleeping form, requiring the interposition, anima legis, of jurist or judge.... [T]he meaning of the law is internal to its living body, viva vox iuris or lex loquens, its image, interpreter, or legislator. In classical terms it is spelled out by reference to something beyond words: “to know the law is not to know the words of the law, but its force and power.” In a renaissance formulation we are similarly told that “no words, forms, niceties, or propriety of language is of any regard in the Civil Law, in comparison to truth, faithfulness and integrity. For verba menti, non verbis servire debet; words, are made as instruments to serve and express the mind, and not to command it.”[229–30]1... (shrink)

Study on the logic of normative discourse.

In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts (...) having real effects upon attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

The large number of writers who have in recent years attacked the problem of the logical nature of commands appear generally in agreement in accepting the distinction of common grammar between imperative and declarative sentences as representing, albeit in no clear one-to-one manner, some real difference in the logical character of the two types of expression, and possibly in the psychological sign-functioning mechanism itself. The crucial logical difference adduced is that commands can apparently rot be classified as true (...) or false. One is then, however, confronted with the problem of interpreting arguments involving imperatives which appear syllogistic in form, such as:Keep your promises!You promised to pay on Wednesday.Pay on Wednesday! (shrink)

I apply truthmaker semantics to the logic of conditional imperatives.

The goal of the Department of Defense Net-Centric Data Strategy is to improve data sharing throughout the DoD. Data sharing is a critical element of interoperability in the emerging system-of-systems. Achieving interoperability requires the elimination of two types of data heterogeneity: differences of syntax and differences of semantics. This paper builds a path toward semantic uniformity through application of a disciplined approach to ontology. An ontology is a consensus framework representing the types of entities within a given domain and the (...) relations between them. The construction of an ontology begins when a Community of Interest (COI) identifies its authoritative data sources (ADS), which are usually manifest in relevant doctrinal publications, glossaries, data dictionaries, and logical data models. The identified terms are then defined in relation to a common logical framework that has been designed to ensure interoperability with other ontologies created on the basis of the same strategy. As will be described, the Command and Control (C2) Ontology will include representations of a substantial number of entities within the Command and Control (C2) domain. If domain ontologies (e.g. Strike and Counterinsurgency) semantically align with the C2 Ontology, then a substantial barrier to systems interoperability is thereby crossed. (shrink)

This article presents a critical reevaluation of the thesis—closely associated with H. L. A. Hart, and central to the views of most recent legal philosophers—that the idea of state coercion is not logically essential to the definition of law. The author argues that even laws governing contracts must ultimately be understood as “commands of the sovereign, backed by force.” This follows in part from recognition that the “sovereign,” defined rigorously, at the highest level of abstraction, is that person or (...) entity identified by reference to game theory and the philosophical idea of “convention” as the source of signals with which the subject population has become effectively locked, as a group, into conformity. (shrink)

Logical problems inherent in claims that biological neuroscience can ultimately explain mind are not anomalous: They result from underlying social interests. Neuroscientists are currently making a successful bid to fill a vacuum of authority created by the demise of Freudian theory in popular culture. The conflations described in the Gold & Stoljar target article are the result of alliances between certain apologist-philosophers, neuroscientists, and institutions, for the purpose of commanding authority and resources. Social analysis has a role to play in (...) addressing logical issues in the philosophy of neuroscience. (shrink)

Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version (...) with preferences between actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical ?utility update'. (shrink)

I extend the previously given truth-maker semantics and logic for imperatives to deontic statements.

A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness (...) is shown with respect to the class of finite ordered binary trees. A number of decidability results follow. (shrink)

Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.

In addition to a somewhat detailed exposition of certain portions of what may be called the book-work of formal logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes. In the expository portions of Parts I, II, and III, dealing respectively with terms, propositions, and syllogisms, the traditional lines are in the main followed, though with certain modifications; e.g., in the (...) systematisation of immediate inferences, and in several points of detail in connexion with the syllogism. For purposes of illustration Euler's diagrams are employed to a greater extent than is usual in English manuals. In Part IV, which contains a generalisation of logical processes in their application to complex inferences, a somewhat new departure is taken. So far as I am aware this part constitutes the first systematic attempt that has been made to deal with formal reasonings of the most complicated character without the aid of mathematical or other symbols of operation, and without abandoning the ordinary non-equational or predicative form of proposition. This attempt has on the whole met with greater success than I had anticipated; and I believe that the methods formulated will be found to be both as easy and as effective as the symbolical methods of Boole and his followers. The book concludes with a general and sure method of solution of what Professor Jevons called the inverse problem, and which he himself seemed to regard as soluble only by a series of guesses. (shrink)

An argument is usually said to be valid iff it is truth-preserving—iff it cannot be that all its premises are true and its conclusion false. But imperatives (it is normally thought) are not truth-apt. They are not in the business of saying how the world is, and therefore cannot either succeed or fail in doing so. To solve this problem, we need to find a new criterion of validity, and I aim to propose such a criterion.

In this article, I offer two different formalizations for prescriptions which correspond to two different forms of biblical prohibitions. I discuss the known fact that the prohibitive commandments of the Decalogue according to the Septuagint and the Vulgate, Exodus 20 and Deuteronomy 5, are formulated with normative future tense indicatives. However, the Greek and Latin sources provide in Mark 10:19 variants of five biblical prohibitive commandments which are formulated with prohibitive subjunctives. I argue that there are semantic differences between normative (...) future tense indicatives and prohibitive subjunctives. These semantic differences are of importance for the understanding of the Decalogue. (shrink)

The Muʿtazilī theologians, particularly the later Imāmī ones, developed numerous interesting arguments against divine command theory. The arguments, however, have not received the attention they deserve. Some of the arguments have been discussed in passing, and some have not been discussed at all. In this article, I aim to present and analyse the arguments. To that end, I first distinguish between different semantic, ontological, epistemological, and theological theses that were often conflated in the debate, and examine the logical relation among (...) them. Then I go over the Muʿtazila's arguments determining, among other things, which of the theses was targeted by each argument. In presenting the arguments, I focus mainly on the late kalām period, the period falling roughly between the thirteenth and fifteenth centuries of the common era, as the arguments were at their most sophisticated level by this time. (shrink)

The divine command meta-ethics (hereafter, DCM) promote non-naturalist realism about the ontological status of moral properties while depending on this ontological status on a such-and-such divine being’s moral roles derived from some relevant divine characteristics. As DCM typically contends, our moral discourse depends on God’s commands and prohibitions to the effect that an action A is morally right if and only if God commands A. Robert M. Adams (1979, 1987a) offers a modification that explicates the dependency relation between (...) a loving God’s commands and moral properties on metaphysical grounds to the effect that some action A is morally right if and only if it is not logically but metaphysically necessary for a loving God to command A. In this paper, I discuss whether Adams’ modification stands for a cogent account of DCM in a few respects. Firstly, Adams fails to provide robust reasons for grounding moral realism so that his commitment to the reality of moral properties merely expresses a theoretically unwarranted assumption hinging on a presumptive case in our moral discourse. Particularly, his assumption on the pervasiveness of strongly held moral beliefs is unwarranted and it inherits a vague notion of certainty. Secondly, Adams' response to the Euthyphro dilemma does not satisfactorily sort out the concerns accompanying this dilemma, mainly because his response relies on a vague notion of divine love that allegedly necessitates God commanding morally permissible acts while this notion cannot be trivially reducible into a moral aspect. (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)

This paper offers a critical analysis of the logical structure of principles proposed by Robert Alexy and, in particular, of their structure as optimisation commands. Its first part dwells on the question whether the optimisation element in the logical structure should be understood as part of modalisation, as part of the consequent, or as an independent element. In the second part, the author analyses possible forms of inter-definability of deontic operators. Finally, some questions are raised on the conditional structure (...) proposed by Alexy for principles. (shrink)

to think critically means that we are able to think in a logical fashion — in straight lines, as it were. One of the hardest skills that all undergraduates have to acquire is being able to think logically and then formulate these logical thoughts into sentences to produce an academic essay. Sentences and paragraphs in an essay have to follow on from each other in a logical sequence. This is part of critical thinking. So titles like Practical Logic or (...) Reasoning reflect this aspect of critical thinking. (shrink)

Some writers employ human analogies in their attempts to defend a "divine command theory" of the foundation of morals. I argue that this strategy is self-defeating. Appeal to human analogies has implications which tend to undermine any interesting or full-bodied version of divine command theory. Indeed, this line of discussion suggests there is a logical confusion in the very idea that some agent-even God-might bring about obligations by an act of will.

There are several features of law which rightly draw the interest of philosophers, especially those whose expertise lies in ethics and social and political philosophy. But the law also has features which haven’t stirred much in the way of philosophical investigation. I must say that I find this surprising. For the fact is that a well-run criminal trial is a master-class in logic and epistemology. Below I examine the logical and epistemological properties of greatest operational involvement in a criminal (...) proceedings, concepts such as evidence, proof, argument, inference, relevance, probability, and more. My principal objective is to expose the deep cleavage between establishment norms in epistemology and logic and standard practice in criminal proceedings. This gives us two options to reflect upon. In one, the establishment norms for the correct management of the concepts in question are basically sound. In that case, as I will show, common law criminal practice would be basically unsound; its convictions would be basically false and unjust. Seen from the other perspective, the criminal justice system would be basically sound, and its criminal convictions basically true and just. It turns out to matter that option one meets with widely spread common disbelief and is generally taken as contrary to common knowledge. What is needed here is an epistemology which gives these sentiments some air to breathe. I will argue that on balance it is the logico-epistemic establishment which requires some serious rethinking. (shrink)

Philosophers have in the past had difficulty in determining how to define ethical terms. here they are defined as open-context terms with a loosely limited range of substitution instances, in conformity with actual language usage. ethical terms are in themselves meaningless. it is a misuse to say, "x is wrong in itself." ethical terms then reduce to empirical terms concerning wants, likes, knowledge of cause and effect and consequences, knowledge of how ethical terms themselves work. ethical commands reduce to (...) if-then statements. blame may possibly never make sense. (shrink)

There is a deep tension between logical and probabilistic norms of belief. This article illustrates the normative force that is associated with these frameworks by showing how rather unrestricted belief bases can be improved by undergoing logical and probabilistic reflection. It is argued that probabilistic reasoning accounts for the reliability of the conclusions one can draw from the beliefs. Most importantly, reliability commands us to care for the increasing uncertainty of conjunctions of beliefs. Deductive logic captures the agent's (...) commitment towards all conclusions of her beliefs. In other words, it seems that commitment forces the agent to believe conclusions, which reliability tells her to view with scepticism. This conflict is resolved by arguing that commitment merely forces the agent to find the logical conclusions of her beliefs acceptable, not necessarily to believe them. This demands consistency but no deductive closure. Furthermore, it is shown that by restoring consistency, a straightforward connection between high subjective probability and full belief is undermined. Finally, the article delineates how this approach deals with the lottery paradox and the preface paradox. (shrink)

In the fiqhī doctrine, the issue of nafy al-madārik does not find a place for itself with this very nomenclature, and in the classical approach, it is often referred to by different names, but we have found it appropriate to use this term in order to make the subject more understandable and to lead to a more practical use of the expression rather than a sentence. One of the main reasons why we find the subject worthy of research is that (...) there are almost no independent and original studies on it. Another reason was to determine the relationship between the two, since those who frequently and openly do not give it a chance examine it under the title of istishāb. In the process, our multidisciplinary reading tendency led us to realize how similar some of the terminological expressions that appear in modern logic are. In Islamic legal methodology, the method of “absence of evidence/nafy al-madārik”, which plays an important role in the knowledge of basic methods for experts who will deduce religious rulings from the relevant sources, is mostly discussed together with the evidence of istishāb and not analyzed in a separate context. In the absence of evidence that would constitute the ruling on any subject, jurists have mentioned this method, which states that there is no ruling because there is no evidence. The issue of the absence of evidence, which is usually analyzed by the Hanafīs under the heading of fasid evidence, was occasionally used by other jurists. If the absence of evidence does not result in the absence of the ruling, the scholars have resorted to the evidence of istishāb, which is the opinion that the ruling continues to exist. However, as we have mentioned, the mixed treatment of both methods has led to the problem of where they should be positioned in the hierarchical evidence platform and how they should be perceived. The fact that a sixth prayer was not commanded upon the necessity of the existence of the five daily prayers is one of the main examples of the method of nafy. Accordingly, it is possible to rule that the sixth prayer does not exist in the absence of any evidence showing that the legislator did not impose a new one on top of the five rak'ahs and vice versa. In terms of its scope, the issue of the absence of evidence is not only used in classical fiqh. In fact, the breadth of this subject should not be limited to Islamic sciences. In fact, the method of absence of evidence also guides the modern understanding of science. The method in question, which is mostly expressed as the absence of evidence, is rejected by a considerable number of popular acceptance. Science, so to speak, does not see the absence of evidence as a correct approach. A famous and striking example of the absence of evidence is as follows: “There is no evidence for the existence of aliens on Earth, therefore there are no aliens, or aliens do not exist, based on the lack of evidence for this”.In this study, first of all, the elements constituting the phrase “absence of evidence” are analyzed. The method of absence of evidence is discussed together with its debates and parties in terms of the meaning formed as a result of the examination. Its relationship with istishāb has been analyzed in terms of its relevance. In doing so, we have also included whether it is sufficient for the person who claims that the ruling does not exist due to the absence of the relevant evidence to prove his claim in a mere way. While trying to reveal all these, we have also tried to address how correct it is for the person who claims that there is no evidence for the relevant ruling in the method of absence of evidence to make a decision based solely on this. In addition, we have discussed the issue of absence of evidence together with some issues of various disciplines such as kalam and logic due to its relevance. As a result of the discussions, we tried to show that the method of nafy and istishab are not the same thing. Following these, some evaluations were made about the theory of nafys. Among these evaluations, there are some interpretations that are close to the Hanafīs' stance on this issue and some determinations about the fallacy of nafy in terms of the science of logic. As a result, an independent study on nafy al-madārīq has been presented to you, the reader, based on a logical approach to it. However, this attempt will not completely fill the gap in the literature on the subject. We hope that this study will serve as an opportunity for further research to fill the aforementioned gap, and that the subject will reach a wider audience. (shrink)

I try to identify elements of our mental capacities that separate us from animals. I focus on our command of logical concepts, demonstrable already in children in the second or third year of their life, which to date no animal has been shown to master. I draw various conclusions about the behavioural, intellectual, emotional, and moral capacities that depend on this mastery, and discuss recent empirical research that either supports or apparently disagrees with the claim that animals, even those we (...) consider intelligent, are limited in these respects. My discussion is built around observations extracted from Wittgenstein. (shrink)

Richard Swinburne argues that belief is a necessary but not sufficient condition for faith, and he also argues that, while faith is voluntary, belief is involuntary. This essay is concerned with the tension arising from the involuntary aspect of faith, the Christian doctrine that human beings have an obligation to exercise faith, and the moral claim that people are only responsible for actions where they have the ability to do otherwise. Put more concisely, the problem concerns the coherence of the (...) following claims: (1) one cannot have faith, (2) one has an obligation to have faith, and (3) ought implies can. To solve this dilemma, I offer three solutions that I believe have the philosophical resources to demonstrate the consistency of these claims. Thus, I defend the claim that it is logically possible for a person to be culpable for an involuntary failure to have faith in God. (shrink)

Provisionally characterizes the difference between indicatives and imperatives in terms of assent: while assenting to a statement involves believing something, assenting to a command involves doing something. Considering the logic of indicatives and imperatives, Hare distinguishes between the part of the sentence common to both and that which is different, but argues that the entailment relations of ordinary logic are relations between the phrastic of sentences for both moods. Moreover, Hare claims that no imperative conclusion can validly be (...) drawn from premises that do not contain at least one imperative. (shrink)

Moral Relativism can be considered an attractive alternative to realism because relativists can make good sense of cultural and societal disagreements by seeing them as faultless. However, we can show that this advantage is made possible by systematically disagreeing with moral phenomenology. Relativists make a substantial distinction between intercultural and intracultural discourses which turns out to be incoherent. This can be shown by making use of Crispin Wright’s notion of Cognitive Command.

‘During the 1930’s and early 1940’s a thoughtful observer might well have tended towards the conclusion that logic would break off from the ancient moorings that kept it joined to philosophy, and either link itself to mathematics, or go its own way as an independent discipline’. Professor Rescher finds however, on the contrary, that the literature of the last ten to fifteen years displays a significant cluster of developments in logic that may be called philosophical. Branches of logical (...) theory have been developed with philosophical applications in mind. Foundations have been laid for an exact logic of obligation, preference, choice, command; the traditional problem of universals has been focused from the perspective of mathematical logic; existence, time, tense, change and process is being explored with techniques of logic; literature on the logic of belief, hypothesis and probability is extensive. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:diacritics 33.2 (2005) 71-97 [Access article in PDF] The Subject of Religion Lacan and the Ten Commandments Kenneth Reinhard Julia Reinhard Lupton Despite Freud's Nietzschean unmasking of religion as ideology, psychoanalysis has frequently been attacked as itself a religion, a cabal of analyst-priests dedicated to the worship of a dead master. Such critics "do not believe in Freud" in much the same way as atheists "do not believe in (...) God," and their rejections of psychoanalysis in the name of the secular partake in the very structure of religious thought they claim to repudiate. In Seminar XXI: Les non-dupes errent, Lacan comments on the blindness of the atheistic insight concerning religion: "I know that you're not believers, right? But that doesn't mean that you aren't all the more conned... because even if you are not believers, you still believe in that aspiration [for the love of God]. I won't say that you suppose it; rather, it supposes you" [Dec. 18, 1973; our trans.]. In Lacan's analysis, it is not that secular intellectuals suffer from unexamined religious "suppositions" or assumptions, to be swept away through a little ideology-critique or time on the couch. The case is rather, in Lacan's strong formulation, that religious discourse supposes us—supports and underwrites our very structures of being, subjectivity, and social interaction. That is, the secular subject is produced by the religious discourses that precede and continue to speak through it; the challenge for the contemporary critic is not to silence or debunk those discourses, but rather to bring the modern subject to assume responsibility for their enunciation.Throughout the decades of his seminar, Lacan addressed the monotheistic foundations of Western subjectivity as a set of discursive ruptures or cuts which continue to scar and brand the modern subject beyond their secular abrogation. Distinguishing between Freud "the individual with his atheistic profession of faith" and "the Freud who was the first to acknowledge the value and relevance of [the] myth... we call the death of God" [S VII 192–93], Lacan insists that Freud regarded monotheism as an epochal divide that irrevocably altered all that came before and after it: "On the left of this [monotheistic] message, there are some things that are henceforth outdated, obsolete; they no longer hold beyond the manifestation of the message. On the right, things are quite different" [172]. What, in Lacan's analysis, is the difference that monotheism has made, both during its periods of dominance and after? The laws, narratives, and symbols of monotheism continue to undergird key fantasies of personhood, nationhood, and neighborhood in the modernity that purports to have supplanted them. In Lacan's formulation, monotheism "supposes" the subject of these fantasies, precipitating it from out of the expanse of signifiers and in relation to a sublime object of both unbearable enjoyment and social obligation. Moreover, it is the scandal and the gift of monotheism that it not only creates moments of traumatic singularity, but also thinks the singular as trauma, rending the fabric of an animistic nature which would unite every polarity of being in the fullness of a sexual relation. Unlike the gods of Greek philosophy, the monotheistic God is not part of the nature he creates. In its decisive thinking of singularity, monotheism elicits and eludes all rapprochement with philosophical conceptions of the One, whether in the guise of Hellenized Judaism, Pauline theology, or Arab Aristotelianism. Lacan extends the monotheistic project of thinking singularity [End Page 71] by insisting that "there is something of One" [il y a de l'Un]—not the self-identical One of Greek logic, mathematics, and cosmology, but the One of a violent rupture that creates subjects and their worlds around a void, an un that un-does the primacy it speaks.If, from the Lacanian vantage, the singular invention of the God shared by the People of the Book forever separates religion from philosophy, we would also insist that religion is not simply a subset of "culture," understood as the symbolic practices that unify a people... (shrink)

If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The (...) methods used in developing DEL can be used to develop logics that deal with a much wider variety of speech acts. For example, in ECL (Eliminative Command Logic) of Yamada (2007a) and ECL II of Yamada (2007b), similar model updating operations are introduced tointerpret acts of commanding as what update deontic aspects of the situations in which agents are involved. In Yamada (2008a), ECL II is further extended so as to model acts of promising along with acts of commanding. Moreover, in Yamada (2008b), ECL II is combined with a modified version of DEUL (dynamic epistemic upgrade logic) introduced in van Benthem & Liu (2007). In the resulting logic DDPL (dynamic deontic preference logic), illocutionary acts of commanding are differentiated from preference upgrading perlocutionary acts. The development of these logics suggests a recipe for developing logics that deal with various specific speech acts: first, carefully identify the aspects affected by the speech acts you want to study; second, find the modal logic that characterizes the aspects in question; and finally, add dynamic modalities that stand for the types of the speech acts being studied and define model updating operation that interprets these speech acts as what update the very aspects. (shrink)

A Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net. LL automata commands are represented by propositional Horn Linear Logic formulas. Computations performed by LL automata directly correspond to cut-free derivations in Linear Logic.A programming language of LL automata is developed in which typical sequential, non-deterministic and parallel programming constructs are expressed in the natural way.All non-deterministic computations, e.g. computations performed by programs built up of guarded commands in the (...) Dijkstra's approach to non-deterministic programming, are directly simulated within the framework of Linear Logic automata, and thereby within the Horn framework of Linear Logic. (shrink)

The link between seen and unseen, matter and spirit, flesh and soul was always presumed, but never clarified enough, leaving room for debates and mostly controversies between the scientific domains and theologies of a different type; how could God, who is immaterial, have created the material world? Therefore, the logic of obtaining a result on this concern is first to see how religions have always seen the ratio between divinity and matter/universe. In this part, the idea of a world (...) personality is implied by many, so that nature itself was transformed into a person ; others have seen within the universe/the world a Spirit ruling all, connecting all and bending all to God’s commands. In a way or another, every culture has gifted the universe/nature with the capability of ruling all, seeing everything and controlling, even determining facts by connecting all together with a Great Spirit. What is this Great Spirit of all and where it resides? With the analogy of human body in relation to his Spirit we will try to figure out a place or vehicle for the Spirit to dwell the body, and the Great Spirit the matter. The Christianity names this linkage between God and matter as ‘the created grace of God’, which indwells matter and helps the Creator move and transform things. Is there any scientific argument to sustain such assertion? Can we argue somehow that God’s voice makes matter vibrate from within the way it can recombine primer elements into giant stars to the human body? If so, what should be the ratio between theology and science on this issue and with these assertions? How could God command to matter to bring things and beings out of it and what were the material leverages that was supposed to be operated to accomplish His will? However, if we can assume that God resides in the universe – as a whole, His body, or as in its very fabric – can we also figure out how is this even possible, without transforming our explanation into a pantheistic and immanent exclusive one? Through these ‘divine leverages within matter’ theory, there is no need for questioning evolutionism, creationism, pantheism, deism and many other cosmological hypotheses any longer. (shrink)