Results for 'imperative logic'

1000+ found
Order:
  1.  12
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    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.  42
    Be Nice! How Simple Imperatives Simplify Imperative Logic.Jörg Hansen - 2014 - 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.  15
    New Foundations for Imperative Logic III: A General Definition of Argument Validity.Peter B. M. Vranas - 2016 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms).Berislav Žarnić - 2011 - 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.  73
    New Foundations for Imperative Logic Iii: A General Definition of Argument Validity.Peter B. M. Vranas - 2012 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - 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. New Foundations for Imperative Logic: Pure Imperative Inference.P. B. M. Vranas - 2011 - 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   1 citation  
  8. An Essay in Deontic Logic and the General Theory of Action with a Bibliography of Deontic and Imperative Logic. --.G. H. von Wright - 1968 - North-Holland Pub. Co.
     
    Export citation  
     
    My bibliography  
  9.  16
    Validity and Satisfaction in Imperative Logic.Krister Segerberg - 1990 - Notre Dame Journal of Formal Logic 31 (2):203--221.
  10.  7
    A Logic of the Doubtful. On Optative and Imperative Logic.Karl Menger - 1940 - Journal of Symbolic Logic 5 (1):40-40.
  11.  20
    Conservative and Revolutionary Readings of the Categorical Imperative: The Logic of Desire and the Logic of Drive in Kant’s Practical Philosophy.Ivan Selimbegovic - 2011 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Review: Hector Neri Castaneda, A Note on Imperative Logic[REVIEW]Jonathan Bennett - 1959 - Journal of Symbolic Logic 24 (1):87-88.
     
    Export citation  
     
    My bibliography  
  13.  1
    Review: Karl Menger, A Logic of the Doubtful. On Optative and Imperative Logic[REVIEW]Frederic B. Fitch - 1940 - Journal of Symbolic Logic 5 (1):40-40.
  14. Castañeda Hector Neri. A Note on Imperative Logic. Philosophical Studies , Vol. 6 , Pp. 1–4.Jonathan Bennett - 1959 - Journal of Symbolic Logic 24 (1):87-88.
  15. 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]Frederic B. Fitch - 1940 - Journal of Symbolic Logic 5 (1):40.
  16.  73
    Dynamic Semantics, Imperative Logic and Propositional Attitudes.Berislav Žarnić - 2002 - Uppsala Universitet.
  17.  20
    Imperative Logic as Based on a Galois Connection.Arnold Johanson - 1988 - Theoria 54 (1):1-24.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  2
    Intentions, Beliefs, and Imperative Logic.R. F. Stalley - 1972 - Mind 81 (321):18-28.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19. Hare on Imperative Logic and Inference.P. R. Bhat - 1983 - Indian Philosophical Quarterly 10 (4):449-463.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  20.  16
    A Note on Imperative Logic.Hector Neri Castaneda - 1955 - Philosophical Studies 6 (1):1 - 4.
  21.  73
    Imperative and Deontic Logic.Peter Geach - 1957 - 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 (7 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  22.  4
    The Categorical Imperative: Category Theory as a Foundation for Deontic Logic.Clayton Peterson - 2014 - Journal of Applied Logic 12 (4):417-461.
  23.  1
    Imperative Change and Obligation to Do.Berislav Žarnić - 2003 - In Krister Segerberg & Rysiek Sliwinski (eds.), Logic, Law, Morality: Thirteen Essays in Practical Philosophy in Honour of Lennart Åqvist. Uppsala: Department of Philosophy, Uppsala University. pp. 79-95.
    The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in (...)
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  24. Review: P. T. Geach, Imperative and Deontic Logic; Hector Neri Castaneda, Imperatives and Deontic Logic[REVIEW]Jonathan Bennett - 1959 - Journal of Symbolic Logic 24 (3):264-265.
     
    Export citation  
     
    My bibliography  
  25. 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]Jonathan Bennett - 1959 - Journal of Symbolic Logic 24 (3):264-265.
  26. H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, Eds. The Imperative Future: Principles of Executable Temporal Logic[REVIEW]M. Finger - 1997 - Journal of Logic Language and Information 6:105-106.
  27. Hofstadter Albert and McKinsey J. C. C.. On the Logic of Imperative. Philosophy of Science, Vol. 6 , Pp. 446–457.Frederic B. Fitch - 1940 - Journal of Symbolic Logic 5 (1):41.
  28. Imperative and Deontic Logic.P. T. Geach & Castaneda Hector Neri - 1959 - Journal of Symbolic Logic 24 (3):264-265.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  31
    Revised Foundations for Imperative-Epistemic and Interrogative Logic.Lennart Aqvist - 1971 - Theoria 37 (1):33-73.
  30.  19
    A Partial Formalization of Kant's Categorical Imperative. An Application of Deontic Logic to Classical Moral Philosophy.Moshe Kroy - 1976 - Kant-Studien 67 (1-4):192-209.
  31. Imperative and Deontic Logic.P. T. Geach - 1957 - Erkenntnis 18:49.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  32. A Partial Formalization of Kant's Categorical Imperative. An Application of Deontic Logic to Classical Moral Philosophy.M. Kroy - 1976 - Société Française de Philosophie, Bulletin 67 (2):192.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  33. Logic and Semantics for Imperatives.Nate Charlow - 2014 - 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   9 citations  
  34. In Defense of Imperative Inference.Peter B. M. Vranas - 2010 - 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 (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  35.  75
    Prelude to a Socio-Logic of Imperatives.Berislav Žarnić - 2011 - 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  
  36. Logical Root of Linguistic Commitment.Berislav Žarnić - 2013 - 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  
  37.  11
    Ontology of Sentential Moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38. Theory of Imperatives From Different Points of View (2).Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.) - 2013 - 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  
  39.  24
    Reasoning About Update Logic.Jan van Eijck & Fer-Jan de Vries - 1995 - 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  
  40.  5
    Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - 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  
  41.  17
    Is Unsaying Polite?Berislav Žarnić - 2012 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Springer. pp. 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  
  42. Imperative Sense and Libidinal Event.Bryan Lueck - 2007 - Dissertation, The Pennsylvania State University
    My dissertation presents a comprehensive rethinking of the Kantian imperative, articulating it on the basis of what I call originary sense. Calling primarily upon the works of Maurice Merleau-Ponty, Gilles Deleuze, and Jean-François Lyotard, I show (1) that sense constitutes the ontologically most basic dimension of our worldly being and (2) that the way in which this sense happens is determinative for our experience of the ethical imperative. By originary sense I mean to name something that is neither (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. Imperative Programs as Proofs Via Game Semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - 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  
  44.  81
    Command and Consequence.Josh Parsons - 2013 - 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  
  45. Imperatives, Logic Of.Peter B. M. Vranas - unknown
    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  
  46.  1
    Tableaux for Constructive Concurrent Dynamic Logic.Duminda Wijesekera & Anil Nerode - 2005 - 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  
  47.  7
    Theory of Imperatives From Different Points of View.Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.) - 2011 - 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  
  48. Reasoning with Imperatives Using Classical Logic.Joseph S. Fulda - 1995 - 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  
  49.  24
    Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknown
    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, (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  50. Imperative Statics and Dynamics.Nate Charlow - 2009 - 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  
1 — 50 / 1000