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

1000+ found
Order:
  1.  10
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  41
    Jörg Hansen (2014). Be Nice! How Simple Imperatives Simplify Imperative Logic. Journal of Philosophical Logic 43 (5):965-977.
    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)  
     
    Export citation  
     
    My bibliography  
  3.  11
    Peter B. M. Vranas (2016). New Foundations for Imperative Logic III: A General Definition of Argument Validity. Synthese 193 (6):1703-1753.
    Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  90
    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
    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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  71
    Peter B. M. Vranas (2012). New Foundations for Imperative Logic Iii: A General Definition of Argument Validity. Manuscript in Preparation.
    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
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Peter B. M. Vranas (2008). New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers. Noûs 42 (4):529-572.
    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 (10 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  7. Peter B. M. Vranas (2011). New Foundations for Imperative Logic: Pure Imperative Inference. Mind 120 (478):369 - 446.
    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 (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  8. G. H. von Wright (1968). An Essay in Deontic Logic and the General Theory of Action with a Bibliography of Deontic and Imperative Logic. --. North-Holland Pub. Co.
     
    Export citation  
     
    My bibliography  
  9.  14
    Krister Segerberg (1990). Validity and Satisfaction in Imperative Logic. Notre Dame Journal of Formal Logic 31 (2):203--221.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  10.  6
    Karl Menger (1940). A Logic of the Doubtful. On Optative and Imperative Logic. Journal of Symbolic Logic 5 (1):40-40.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  17
    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 Društvo 22 (2):239-263.
    This paper will confront two possible conceptions of Imamanuel Kant’s practical philosophy based on two different possible understandings of categorical imperative. The first conception sees the categorical imperative as prescribing a form for the maxime under which a subject is to act if his actions are to be taken as moral. This conception is shown to be conservative as it preserves the existing moral norms of a society. This way of functioning of categorical imperative is shown to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Jonathan Bennett (1959). Review: Hector Neri Castaneda, A Note on Imperative Logic. [REVIEW] Journal of Symbolic Logic 24 (1):87-88.
     
    Export citation  
     
    My bibliography  
  13.  1
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Jonathan Bennett (1959). Castañeda Hector Neri. A Note on Imperative Logic. Philosophical Studies , Vol. 6 , Pp. 1–4. Journal of Symbolic Logic 24 (1):87-88.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Frederic B. Fitch (1940). Mender Karl. A Logic of the Doubtful. On Optative and Imperative Logic. Reports of a Mathematical Colloquium , Ser. 2 No. 1 , Pp. 53–64. [REVIEW] Journal of Symbolic Logic 5 (1):40.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  62
    Berislav Žarnić (2002). Dynamic Semantics, Imperative Logic and Propositional Attitudes. Uppsala Universitet.
  17.  1
    P. B. M. Vranas (2011). New Foundations for Imperative Logic: Pure Imperative Inference. Mind 120 (478):369-446.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  20
    Arnold Johanson (1988). Imperative Logic as Based on a Galois Connection. Theoria 54 (1):1-24.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  2
    R. F. Stalley (1972). Intentions, Beliefs, and Imperative Logic. Mind 81 (321):18-28.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  20. P. R. Bhat (1983). Hare on Imperative Logic and Inference. Indian Philosophical Quarterly 10 (4):449-463.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  21.  16
    Hector Neri Castaneda (1955). A Note on Imperative Logic. Philosophical Studies 6 (1):1 - 4.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  70
    Peter Geach (1958). Imperative and Deontic Logic. Analysis 18 (3):49-56.
    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)  
     
    Export citation  
     
    My bibliography   12 citations  
  23.  2
    Clayton Peterson (2014). The Categorical Imperative: Category Theory as a Foundation for Deontic Logic. Journal of Applied Logic 12 (4):417-461.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24. 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.
     
    Export citation  
     
    My bibliography  
  25. Jonathan Bennett (1959). Geach P. T.. Imperative and Deontic Logic. Analysis , Vol. 18 No. 3 , Pp. 49–56.Castañeda Hector Neri. Imperatives and Deontic Logic. Analysis , Vol. 19 No. 2 , Pp. 42–48. [REVIEW] Journal of Symbolic Logic 24 (3):264-265.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. 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.
     
    Export citation  
     
    My bibliography  
  27. Frederic B. Fitch (1940). Hofstadter Albert and McKinsey J. C. C.. On the Logic of Imperative. Philosophy of Science, Vol. 6 , Pp. 446–457. Journal of Symbolic Logic 5 (1):41.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  31
    Lennart Aqvist (1971). Revised Foundations for Imperative-Epistemic and Interrogative Logic. Theoria 37 (1):33-73.
  29.  19
    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.
  30. Nate Charlow (2014). Logic and Semantics for Imperatives. Journal of Philosophical Logic 43 (4):617-664.
    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 (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  31. Peter B. M. Vranas (2010). In Defense of Imperative Inference. Journal of Philosophical Logic 39 (1):59 - 71.
    "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 (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  32.  72
    Berislav Žarnić (2011). Prelude to a Socio-Logic of Imperatives. European Journal of Analytic Philosophy 7 (2):6-16.
    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)  
     
    Export citation  
     
    My bibliography  
  33. 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).
    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)  
     
    Export citation  
     
    My bibliography  
  34. Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.) (2013). Theory of Imperatives From Different Points of View (2). Wydawnictwo Naukowe Semper.
    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  
     
    Export citation  
     
    My bibliography  
  35.  24
    Jan van Eijck & Fer-Jan de Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19-45.
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  36.  5
    Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
    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)  
     
    Export citation  
     
    My bibliography  
  37.  17
    Berislav Žarnić (2012). Is Unsaying Polite? In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Springer 201--224.
    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)  
     
    Export citation  
     
    My bibliography  
  38. Martin Churchill, Jim Laird & Guy McCusker (2013). Imperative Programs as Proofs Via Game Semantics. Annals of Pure and Applied Logic 164 (11):1038-1078.
    Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of Intuitionistic Linear Logic, and first-order quantification. Use of Lairdʼs sequoid operator allows proofs with imperative behaviour to be expressed. Thus, we can (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  80
    Josh Parsons (2013). Command and Consequence. Philosophical Studies 164 (1):61-92.
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  40. Peter B. M. Vranas, Imperatives, Logic Of.
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  41.  1
    Duminda Wijesekera & Anil Nerode (2005). Tableaux for Constructive Concurrent Dynamic Logic. Annals of Pure and Applied Logic 135 (1-3):1-72.
    This is the first paper on constructive concurrent dynamic logic . For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed by Pratt [V. Pratt, Semantical considerations on Floyd–Hoare logic, in: 17th Annual IEEE Symp. on Found. Comp. Sci., New York, 1976, pp. 109–121, V. Pratt, Applications of modal logic to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  42.  6
    Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.) (2011). Theory of Imperatives From Different Points of View. Wydawnictwo Naukowe Semper.
    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  
     
    Export citation  
     
    My bibliography  
  43. Joseph S. Fulda (1995). Reasoning with Imperatives Using Classical Logic. Sorites 3:7-11.
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  24
    Melvin Fitting, Fixpoint Semantics for Logic Programming A Survey.
    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
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  45.  85
    Nate Charlow (2009). Imperative Statics and Dynamics. Dissertation, University of Michigan, Candidacy Paper
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  46.  23
    Balder ten Cate & Jan van Eijck, Expressivity of Extensions of Dynamic First-Order Logic.
    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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  47.  71
    Joel J. Kupperman (2002). A Messy Derivation of the Categorical Imperative. Philosophy 77 (4):485-502.
    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)  
     
    Export citation  
     
    My bibliography  
  48.  27
    Balder ten Cate & Jan van Eijck, Expressivity of Extensions of Dynamic First-Order Logic.
    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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  49. Marvin Belzer (1984). Reasoning and Change in a Language Game for Imperative and Permission Sentences. Dissertation, Duke University
    The most important problem is philosophical deontic logic is to determine the logical form of expressions of conditional obligation. The dissertation shows first that this problem is closely related to David Lewis's well-known "problem about permission"--a problem concerning the characterization of changes in normative systems. The dissertation contains a solution to the problem about permission, as well as an argument that expressions of conditional obligation cannot be represented satisfactorily by means of some combination of monadic deontic operators and a (...)
     
    Export citation  
     
    My bibliography  
  50.  21
    Jean-Gabriel Ganascia (2007). Modelling Ethical Rules of Lying with Answer Set Programming. Ethics and Information Technology 9 (1):39-47.
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
1 — 50 / 1000