90 found
Order:
See also:
Profile: Heinrich Wansing (Ruhr-Universität Bochum)
  1. Caroline Semmling & Heinrich Wansing (2008). From BDI and Stit to Bdi-Stit Logic. Logic and Logical Philosophy 17 (1-2):185-207.
    Since it is desirable to be able to talk about rational agents forming attitudes toward their concrete agency, we suggest an introduction of doxastic, volitional, and intentional modalities into the multi-agent logic of deliberatively seeing to it that, dstit logic. These modalities are borrowed from the well-known BDI (belief-desire-intention) logic. We change the semantics of the belief and desire operators from a relational one to a monotonic neighbourhood semantic in order to handle ascriptions of conflicting but not inconsistent beliefs and (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  49
    Yaroslav Shramko & Heinrich Wansing (2006). Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. Journal of Logic, Language and Information 15 (4):403-424.
    In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment relation on the resulting sets of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  3.  24
    Heinrich Wansing & Graham Priest (2015). External Curries. Journal of Philosophical Logic 44 (4):453-471.
    Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity”. And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this paper we show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  48
    Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. [REVIEW] Journal of Philosophical Logic 34 (2):121 - 153.
    In Belnap's useful 4-valued logic, the set 2 = {T, F} of classical truth values is generalized to the set 4 = (2) = {Ø, {T}, {F}, {T, F}}. In the present paper, we argue in favor of extending this process to the set 16 = ᵍ (4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with an (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  5.  44
    Heinrich Wansing & Yaroslav Shramko (2008). Suszko's Thesis, Inferential Many-Valuedness, and the Notion of a Logical System. Studia Logica 88 (3):405 - 429.
    According to Suszko’s Thesis, there are but two logical values, true and false. In this paper, R. Suszko’s, G. Malinowski’s, and M. Tsuji’s analyses of logical twovaluedness are critically discussed. Another analysis is presented, which favors a notion of a logical system as encompassing possibly more than one consequence relation. [A] fundamental problem concerning many-valuedness is to know what it really is. [13, p. 281].
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  6.  25
    Heinrich Wansing (2002). Diamonds Are a Philosopher's Best Friends. Journal of Philosophical Logic 31 (6):591-612.
    The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  7. Heinrich Wansing (2000). Displaying Modal Logic. Studia Logica 66 (3):421-426.
     
    Export citation  
     
    My bibliography   13 citations  
  8.  42
    Heinrich Wansing (2000). The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64 (1):3-20.
    This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  9.  26
    Norihiro Kamide & Heinrich Wansing (2009). Sequent Calculi for Some Trilattice Logics. Review of Symbolic Logic 2 (2):374-395.
    The trilattice SIXTEEN3 introduced in Shramko & Wansing (2005) is a natural generalization of the famous bilattice FOUR2. Some Hilbert-style proof systems for trilattice logics related to SIXTEEN3 have recently been studied (Odintsov, 2009; Shramko & Wansing, 2005). In this paper, three sequent calculi GB, FB, and QB are presented for Odintsovs coordinate valuations associated with valuations in SIXTEEN3. The equivalence between GB, FB, and QB, the cut-elimination theorems for these calculi, and the decidability of B are proved. In addition, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  10.  20
    Heinrich Wansing (2008). Constructive Negation, Implication, and Co-Implication. Journal of Applied Non-Classical Logics 18 (2-3):341-364.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  13
    Heinrich Wansing (forthcoming). Remarks on the Logic of Imagination. A Step Towards Understanding Doxastic Control Through Imagination. Synthese:1-19.
    Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  7
    Sergei P. Odintsov & Heinrich Wansing (2015). The Logic of Generalized Truth Values and the Logic of Bilattices. Studia Logica 103 (1):91-112.
    This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13. Sarah Ganter & Heinrich Wansing (2005). Normative Verantwortung für Handlungen Anderer. Eine Untersuchung im Rahmen der stit-Theorie. Facta Philosophica 7 (2):167-187.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  14.  1
    Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. Journal of Philosophical Logic 34 (2):121-153.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  46
    Heinrich Wansing (2006). Doxastic Decisions, Epistemic Justification, and the Logic of Agency. Philosophical Studies 128 (1):201 - 227.
    A prominent issue in mainstream epistemology is the controversy about doxastic obligations and doxastic voluntarism. In the present paper it is argued that this discussion can benefit from forging links with formal epistemology, namely the combined modal logic of belief, agency, and obligation. A stit-theory-based semantics for deontic doxastic logic is suggested, and it is claimed that this is helpful and illuminating in dealing with the mentioned intricate and important problems from mainstream epistemology. Moreover, it is argued that this linking (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  36
    Heinrich Wansing (2006). Logical Connectives for Constructive Modal Logic. Synthese 150 (3):459 - 482.
    Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  17. Dov M. Gabbay & Heinrich Wansing (2001). What Is Negation? Studia Logica 69 (3):435-439.
     
    Export citation  
     
    My bibliography   7 citations  
  18.  11
    Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
    It is shown that the constructive four-valued logic N4 can be faithfully embedded into the modal logic S4. This embedding is used to obtain complete, cut-free display sequent calculi for N4 and C4, the modal logic of consistency over N4. C4 is a natural monotonic base system for semantics-based non-monotonic reasoning.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  19.  41
    Heinrich Wansing (2010). The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW] Journal of Philosophical Logic 39 (4):369 - 393.
    The trilattice SIXTEEN₃ is a natural generalization of the wellknown bilattice FOUR₂. Cut-free, sound and complete sequent calculi for truth entailment and falsity entailment in SIXTEEN₃, are presented.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  20.  46
    Heinrich Wansing (2012). A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity. Topoi 31 (1):93-100.
    Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception, a formula (or a declarative sentence) A is logically true if and only if no matter what is told about what is told about (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  9
    Heinrich Wansing, Connexive Logic. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  22.  41
    Heinrich Wansing (1990). A General Possible Worlds Framework for Reasoning About Knowledge and Belief. Studia Logica 49 (4):523 - 539.
    In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  23.  32
    Heinrich Wansing (2006). Connectives Stranger Than Tonk. Journal of Philosophical Logic 35 (6):653 - 660.
    Many logical systems are such that the addition of Prior's binary connective tonk to them leads to triviality, see [1, 8]. Since tonk is given by some introduction and elimination rules in natural deduction or sequent rules in Gentzen's sequent calculus, the unwanted effects of adding tonk show that some kind of restriction has to be imposed on the acceptable operational inferences rules, in particular if these rules are regarded as definitions of the operations concerned. In this paper, a number (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  24. Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (2002). Advances in Modal Logic. Bulletin of Symbolic Logic 8 (1):95-97.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  25.  1
    Heinrich Wansing & Nuel Belnap (2010). Generalized Truth Values.: A Reply to Dubois. Logic Journal of the IGPL 18 (6):921-935.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  17
    Heinrich Wansing (1996). A New Axiomatization of K T. Bulletin of the Section of Logic 25:60-62.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  63
    Yaroslav Shramko & Heinrich Wansing (2009). The Slingshot Argument and Sentential Identity. Studia Logica 91 (3):429 - 455.
    The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false . In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  13
    Yaroslav Shramko & Heinrich Wansing (2009). Editorial Introduction. Truth Values: Part II. [REVIEW] Studia Logica 92 (2):143-146.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  19
    Heinrich Wansing (1993). Informational Interpretation of Substructural Propositional Logics. Journal of Logic, Language and Information 2 (4):285-308.
    This paper deals with various substructural propositional logics, in particular with substructural subsystems of Nelson's constructive propositional logics N– and N. Doen's groupoid semantics is extended to these constructive systems and is provided with an informational interpretation in terms of information pieces and operations on information pieces.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  30. Heinrich Wansing (2004). Action-Theoreticaspects of Theory Choice. In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher 419--435.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  31.  12
    Heinrich Wansing (1998). Nested Deontic Modalities: Another View of Parking on Highways. [REVIEW] Erkenntnis 49 (2):185-199.
    A suggestion is made for representing iterated deontic modalities in stit theory, the “seeing-to-it-that” theory of agency. The formalization is such that normative sentences are represented as agentive sentences and therefore have history dependent truth conditions. In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration... of the deontic modalities.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  32.  1
    Heinrich Wansing (2007). A Note On Negation In Categorial Grammar. Logic Journal of the IGPL 15 (3):271-286.
    A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  9
    Sergei P. Odintsov & Heinrich Wansing (2010). Modal Logics with Belnapian Truth Values. Journal of Applied Non-Classical Logics 20 (3):279-301.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  3
    Heinrich Wansing (2004). Seeing to It That an Agent Forms a Belief. Logic and Logical Philosophy 10:185.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  32
    Heinrich Wansing & Yaroslav Shramko (2008). Erratum to Suszko's Thesis, Inferential Many-Valuedness, and the Notion of a Logical System Studia Logica , 88:405–429, 2008. [REVIEW] Studia Logica 89 (1):147-147.
  36.  18
    Yaroslav Shramko & Heinrich Wansing (2009). Editorial Introduction. Truth Values: Part I. [REVIEW] Studia Logica 91 (3):295-304.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  37.  4
    Heinrich Wansing (1989). Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):551-557.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38. Yaroslav Shramko & Heinrich Wansing (2009). Truth Values. Part I. Studia Logica 91 (3).
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  39.  9
    Heinrich Wansing (1998). Editorial. Journal of Logic, Language and Information 7 (3):3-4.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  3
    Yaroslav Shramko & Heinrich Wansing (2009). The Slingshot Argument and Sentential Identity. Studia Logica 91 (3):429-455.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  15
    Heinrich Wansing (1995). Semantics-Based Nonmonotonic Inference. Notre Dame Journal of Formal Logic 36 (1):44-54.
    In this paper we discuss Gabbay's idea of basing nonmonotonic deduction on semantic consequence in intuitionistic logic extended by a consistency operator and Turner's suggestion of replacing the intuitionistic base system by Kleene's three-valued logic. It is shown that a certain counterintuitive feature of these approaches can be avoided by using Nelson's constructive logic N instead of intuitionistic logic or Kleene's system. Moreover, in N a more general notion of consistency can be defined and nonmonotonic deduction can thus be based (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  42.  65
    Heinrich Wansing (2006). Contradiction and Contrariety. Priest on Negation. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
    Although it is not younger than other areas of non-classical logic, paraconsistent logic has received full recognition only in recent years, largely due to the work of, among others, Newton da Costa, Graham Priest, Diderik Batens, and Jerzy Perzanowski. A logical system Λ is paraconsistent if there is a set of Λ-formulas Δ ∪ {A} such that in Λ one may derive from Δ both A and its negation, and the deductive closure of Δ with respect to Λ is different (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  16
    Heinrich Wansing (1993). Functional Completeness for Subsystems of Intuitionistic Propositional Logic. Journal of Philosophical Logic 22 (3):303 - 321.
  44.  17
    Heinrich Wansing, Sergei Odintsov & Yaroslav Shramko (2005). From the Editors. Studia Logica 80 (2-3):153-157.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  3
    Heinrich Wansing (1995). Tarskian Structured Consequence Relations and Functional Completeness. Mathematical Logic Quarterly 41 (1):73-92.
    In this paper functional completeness results are obtained for certain positive and constructive propositional logics associated with a Tarski-type structured consequence relation as defined by Gabbay.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46. Heinrich Wansing & Yaroslav Shramko (2008). Suszko’s Thesis, Inferential Many-Valuedness, and the Notion of a Logical System. Studia Logica 88 (3):405-429.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  25
    Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
    The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem''s modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap''s display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48.  14
    Heinrich Wansing (2002). A Rule-Extension of the Non-Associative Lambek Calculus. Studia Logica 71 (3):443-451.
    An extension L + of the non-associative Lambek calculus Lis defined. In L + the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L + is sound and complete with respect to a modification of the ternary frame semantics for L.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  49.  18
    Heinrich Wansing (2000). A Reduction of Doxastic Logic to Action Logic. Erkenntnis 53 (1-2):267-283.
  50.  11
    Roy Dyckhoff & Heinrich Wansing (2001). Editorial. Studia Logica 69 (1):3-4.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 90