Search results for 'imperative logic' (try it on Scholar)

1000+ found
Sort by:
  1. Jörg Hansen (forthcoming). Be Nice! How Simple Imperatives Simplify Imperative Logic. Journal of Philosophical Logic:1-13.score: 246.0
    In a series of articles, P. Vranas recently proposed a new imperative logic. The strong and weak inferences of this logic are motivated by an appeal to a strong and weak ‘support by reasons’ that transfers from the premisses of an argument to its conclusion. They also combine nonmonotonic and monotonic reasoning patterns. I show that for any moral agent, Vranas’s proposal can be simplified enormously.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Berislav Žarnić (2011). Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms). In Anna Brozek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of Wiev. Wydawnictwo Naukowe Semper.score: 224.0
    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 (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Peter B. M. Vranas (2008). New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers. Noûs 42 (4):529-572.score: 180.0
    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? (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  4. Peter B. M. Vranas (2011). New Foundations for Imperative Logic: Pure Imperative Inference. Mind 120 (478):369 - 446.score: 156.0
    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 (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Peter B. M. Vranas (2012). New Foundations for Imperative Logic Iii: A General Definition of Argument Validity. Manuscript in Preparation.score: 156.0
    Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Krister Segerberg (1990). Validity and Satisfaction in Imperative Logic. Notre Dame Journal of Formal Logic 31 (2):203--221.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Jonathan Bennett (1959). Review: Hector Neri Castaneda, A Note on Imperative Logic. [REVIEW] Journal of Symbolic Logic 24 (1):87-88.score: 156.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Frederic B. Fitch (1940). Review: Karl Menger, A Logic of the Doubtful. On Optative and Imperative Logic. [REVIEW] Journal of Symbolic Logic 5 (1):40-40.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Peter Geach (1958). Imperative and Deontic Logic. Analysis 18 (3):49-56.score: 152.0
    The author contends that moral utterances and imperatives have different logical features. He discusses r m hare's "language of morals" in terms of his distinction between plain imperatives and deontic utterances. (staff).
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Hector Neri Castaneda (1955). A Note on Imperative Logic. Philosophical Studies 6 (1):1 - 4.score: 150.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. R. F. Stalley (1972). Intentions, Beliefs, and Imperative Logic. Mind 81 (321):18-28.score: 150.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. P. R. Bhat (1983). Hare on Imperative Logic and Inference. Indian Philosophical Quarterly 10:449-463.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. Arnold Johanson (1988). Imperative Logic as Based on a Galois Connection. Theoria 54 (1):1-24.score: 150.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Nate Charlow (2014). Logic and Semantics for Imperatives. Journal of Philosophical Logic 43 (4):617-664.score: 138.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Ivan Selimbegovic (2011). Conservative and Revolutionary Readings of the Categorical Imperative: The Logic of Desire and the Logic of Drive in Kant's Practical Philosophy. Filozofija I Drustvo 22 (2):239-263.score: 132.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Berislav Žarnić (2011). Prelude to a Socio-Logic of Imperatives. European Journal of Analytic Philosophy 7 (2):6-16.score: 126.0
    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.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Jonathan Bennett (1959). Review: P. T. Geach, Imperative and Deontic Logic; Hector Neri Castaneda, Imperatives and Deontic Logic. [REVIEW] Journal of Symbolic Logic 24 (3):264-265.score: 126.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. M. Finger (1997). H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, Eds. The Imperative Future: Principles of Executable Temporal Logic. [REVIEW] Journal of Logic Language and Information 6:105-106.score: 126.0
     
    My bibliography  
     
    Export citation  
  19. Lennart Aqvist (1971). Revised Foundations for Imperative-Epistemic and Interrogative Logic. Theoria 37 (1):33-73.score: 120.0
  20. Moshe Kroy (1976). A Partial Formalization of Kant's Categorical Imperative. An Application of Deontic Logic to Classical Moral Philosophy. Kant-Studien 67 (1-4):192-209.score: 120.0
  21. Berislav Žarnić (2013). Logical Root of Linguistic Commitment. In Anna Brożek Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2).score: 102.0
    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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Peter B. M. Vranas (2010). In Defense of Imperative Inference. Journal of Philosophical Logic 39 (1):59 - 71.score: 102.0
    "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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Peter B. M. Vranas, Imperatives, Logic Of.score: 100.0
    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 (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.) (2013). Theory of Imperatives From Different Points of View (2). Wydawnictwo Naukowe Semper.score: 94.0
    The previous volume of the series Logic, Methodology and Philosophy of Science at Warsaw University---entitled Imperatives from Different Points of View---was the first result of the project Theory of Imperatives and Its Applications realized by the group composed by Anna Brożek, Jacek Jadacki and Berislav Žarnić. The project was supported by the Foundation for Polish Science within the program Homing Plus. One of the most important points of this project was the International Symposium Imperatives in Theory and Practice which (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Joseph S. Fulda (1995). Reasoning with Imperatives Using Classical Logic. Sorites 3:7-11.score: 84.0
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Jan van Eijck & Fer-Jan de Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19-45.score: 72.0
    Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.) (2011). Theory of Imperatives From Different Points of View. Wydawnictwo Naukowe Semper.score: 72.0
    The sixth volume of the series contains the first results of research done by three members of the team of researchers realizing the international project Theory of Imperatives and Its Applications, supported by the Foundation for Polish Science: Anna Brożek and Jacek Jadacki from Warsaw University, and Berislav Žarnić from Split University (Croatia). One of the texts – being a kind of the theoretical manifesto – was kindly commented by two scholars: Magdalena Danielewiczowa, a linguist from Warsaw University, and Ryszard (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.score: 72.0
    Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Berislav Žarnić (2012). Is Unsaying Polite? In Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality. Springer. 201--224.score: 66.0
    This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Josh Parsons (2013). Command and Consequence. Philosophical Studies 164 (1):61-92.score: 62.0
    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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Jörg Hansen (2006). Deontic Logics for Prioritized Imperatives. Artificial Intelligence and Law 14 (1-2):1-34.score: 56.0
    When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases – that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all – and provide semantics and axiomatic systems for accordingly defined (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Joel J. Kupperman (2002). A Messy Derivation of the Categorical Imperative. Philosophy 77 (4):485-502.score: 54.0
    Here are two widespread responses to Kant's categorical imperative. On one hand, one might note the absence of detailed rational derivation. On the other hand, even someone who maintains some skepticism is likely to have a sense that (nevertheless) there is something to Kant's central ideas. The recommended solution is analysis of elements of the categorical imperative. Their appeal turns out to have different sources. One aspect of the first formulation rests on the logic of normative utterances. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Melvin Fitting, Fixpoint Semantics for Logic Programming A Survey.score: 54.0
    The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. Balder ten Cate & Jan van Eijck, Expressivity of Extensions of Dynamic First-Order Logic.score: 54.0
    Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  35. Balder ten Cate & Jan van Eijck, Expressivity of Extensions of Dynamic First-Order Logic.score: 54.0
    Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  36. Robert G. Turnbull (1960). Imperatives, Logic, and Moral Obligation. Philosophy of Science 27 (4):374-390.score: 52.0
    It is claimed that 'Do x!' means 'Then you will do x'. Answering a "Why?" question concerning the former may take either of two forms, viz., 'Because --' or 'If you wish to --'. The second answer completes the truncated hypothetical. "Ought" sentences are treated as a species of imperatives involving universality in the "if" clause ('If anyone wished to --'). Moral "ought" sentences involve a double universality, viz., the one mentioned above and universality connecting the action with social harmony (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Jean-Gabriel Ganascia (2007). Modelling Ethical Rules of Lying with Answer Set Programming. Ethics and Information Technology 9 (1):39-47.score: 50.0
    There has been considerable discussion in the past about the assumptions and basis of different ethical rules. For instance, it is commonplace to say that ethical rules are defaults rules, which means that they tolerate exceptions. Some authors argue that morality can only be grounded in particular cases while others defend the existence of general principles related to ethical rules. Our purpose here is not to justify either position, but to try to model general ethical rules with artificial intelligence formalisms (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. D. S. Clarke (1975). The Logical Form of Imperatives. Philosophia 5 (4):417-427.score: 48.0
    This paper attempts to outline the logical structure of imperatives. It criticizes the prevailing view that this structure is isomorphic with that for indicatives. For "mixed" imperatives with constituents in both indicative and imperative moods (e.G., Conditional imperatives with indicative antecedents) there are features unique to imperatives. These features are specified, And consequences of them are traced. Finally, Formation rules for imperatives are stated.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  39. Chris Reed & Timothy J. Norman (2007). A Formal Characterisation of Hamblin's Action-State Semantics. Journal of Philosophical Logic 36 (4):415 - 448.score: 46.0
    Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Rosja Mastop (2011). Norm Performatives and Deontic Logic. European Journal of Analytic Philosophy 7 (2):83-105.score: 44.0
    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 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Nicholas J. Moutafakis (1975). Imperatives and Their Logics. Sterling Publishers.score: 44.0
     
    My bibliography  
     
    Export citation  
  42. Maciej Witek (forthcoming). How to Establish Authority with Words: Imperative Utterances and Presupposition Accommodation. In Anna Brożek (ed.), Logic, Methodology and Philosophy of Science at Warsaw University, Warszawa 2013.score: 42.0
    The purpose of this paper is twofold. First, it aims at providing an account of an indirect mechanism responsible for establishing one's power to issue biding directive acts; second, it is intended as a case for an externalist account of illocutionary interaction. The mechanism in question is akin to what David Lewis calls presupposition accommodation: a rule-governed process whereby the context of an utterance is adjusted to make the utterance acceptable; the main idea behind the proposed account is that the (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Alexandra Gheciu & Jennifer Welsh (2009). The Imperative to Rebuild: Assessing the Normative Case for Postconflict Reconstruction. Ethics and International Affairs 23 (2):121-146.score: 42.0
    Abstract The past two decades have witnessed the proliferation of comprehensive international missions of peacebuilding and reconstruction, aimed not simply at bringing conflict to an end but also at preventing its recurrence. Recent missions, ranging from relatively modest involvement to highly complex international administrations, have generated a debate about the rights and duties of international actors to reconstruct postconflict states. In view of the recent growth of such missions, and the serious challenges and crises that have plagued them, we seek (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Alfred F. MacKay (1969). Inferential Validity and Imperative Inference Rules. Analysis 29 (5):145 - 156.score: 42.0
    It would seem possible in principle … to reconstruct the ordinary sentential calculus in terms of phrastics only, and then apply it to indicatives and imperatives alike simply by adding the appropriate neustics.… It might be asked how we are to know, given two premisses in different moods, in what mood the conclusion is to be. The problem of the effect upon inferences of the moods of premisses and conclusion has been ignored by logicians who have not looked beyond the (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Charles A. Baylis (1939). Review: Jorgen Jorgensen, Imperatives and Logic. [REVIEW] Journal of Symbolic Logic 4 (1):36-36.score: 42.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Alonzo Church (1944). Review: Alf Ross, Imperatives and Logic. [REVIEW] Journal of Symbolic Logic 9 (2):48-48.score: 42.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. A. N. Prior (1958). Review: Robert G. Turnbull, A Note on Mr. Hare's "Logic of Imperatives.". [REVIEW] Journal of Symbolic Logic 23 (4):442-442.score: 42.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Carl G. Hempel (1941). Review: Alf Ross, Imperatives and Logic. [REVIEW] Journal of Symbolic Logic 6 (3):105-106.score: 42.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Brian F. Chellas (1980). Review: Nicholas J. Moutafakis, Imperatives and Their Logics. [REVIEW] Journal of Symbolic Logic 45 (2):375-376.score: 42.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Frederic B. Fitch (1940). Review: Albert Hofstadter, J. C. C. McKinsey, On the Logic of Imperatives. [REVIEW] Journal of Symbolic Logic 5 (1):41-41.score: 42.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000