79 found
Sort by:
See also:
Profile: Heinrich Wansing (Ruhr-Universität Bochum)
  1.  85 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  2.  57 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  3.  49 DLs
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  4.  47 DLs
    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 to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5.  41 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  6.  40 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  7.  39 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  8.  39 DLs
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  9.  39 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  10.  34 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  11.  34 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  12.  33 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  13.  33 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  14.  32 DLs
    Heinrich Wansing (1996). Substructural Logics. Erkenntnis 45 (1):115-118.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15.  29 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  16.  26 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  17.  24 DLs
    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.
  18.  18 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  19.  18 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  20.  17 DLs
    Heinrich Wansing (2004). Agency and Deontic Logic, J.F. Horty. Journal of Logic, Language and Information 13 (3):379-381.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21.  17 DLs
    Heinrich Wansing (2000). A Reduction of Doxastic Logic to Action Logic. Erkenntnis 53 (1-2):267-283.
  22.  16 DLs
    Heinrich Wansing & Norihiro Kamide (2011). Synchronized Linear-Time Temporal Logic. Studia Logica 99 (1-3):365-388.
    A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23.  16 DLs
    David Pearce & Heinrich Wansing (1988). On the Methodology of Possible Worlds Semantics. I. Correspondence Theory. Notre Dame Journal of Formal Logic 29 (4):482-496.
  24.  15 DLs
    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 (9 more)  
     
    My bibliography  
     
    Export citation  
  25.  15 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  26.  14 DLs
    Heinrich Wansing (2008). Constructive Negation, Implication, and Co-Implication. Journal of Applied Non-Classical Logics 18 (2-3):341-364.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27.  14 DLs
    Heinrich Wansing (1993). Functional Completeness for Subsystems of Intuitionistic Propositional Logic. Journal of Philosophical Logic 22 (3):303 - 321.
  28.  14 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  29.  13 DLs
    Heinrich Wansing (1991). Addenda and Corrigenda to “a General Possible Worlds Framework for Reasoning About Knowledge and Belief”. Studia Logica 50 (2):359 -.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30.  12 DLs
    Heinrich Wansing, Sergei Odintsov & Yaroslav Shramko (2005). From the Editors. Studia Logica 80 (2-3):153-157.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31.  10 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  32.  10 DLs
    Heinrich Wansing (1996). A New Axiomatization of K T. Bulletin of the Section of Logic 25:60-62.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33.  9 DLs
    Roy Dyckhoff & Heinrich Wansing (2001). Editorial. Studia Logica 69 (1):3-4.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34.  8 DLs
    Yaroslav Shramko & Heinrich Wansing (2009). Editorial Introduction. Truth Values: Part II. [REVIEW] Studia Logica 92 (2):143-146.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35.  8 DLs
    Heinrich Wansing, Connexive Logic. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36.  8 DLs
    Heinrich Wansing (2006). David Makinson, Bridges From Classical to Nonmonotonic Logic, Texts in Computingvox. 5, King's College Publications, London, 2005. XVI + 216 Pp. Isbn 1-904987-00-. [REVIEW] Theoria 72 (4):336-340.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37.  8 DLs
    Heinrich Wansing (2003). Correction to 'Displaying the Modal Logic of Consistency'. Journal of Symbolic Logic 68 (2):712.
  38.  7 DLs
    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 (7 more)  
     
    My bibliography  
     
    Export citation  
  39.  7 DLs
    Heinrich Wansing (2002). Preface. Erkenntnis 56 (1):5-8.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40.  6 DLs
    Françcois Lepage, Elias Thijsse & Heinrich Wansing (2000). Introduction. Studia Logica 66 (1):1-4.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41.  6 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  42.  6 DLs
    Heinrich Wansing (1998). Editorial. Journal of Logic, Language and Information 7 (3):3-4.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43.  6 DLs
    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 distributive (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44.  6 DLs
    Heinrich Wansing (2007). Formal Philosophy - Edited by Vincent F. Hendricks and John Symons. Philosophical Books 48 (2):172-173.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45.  5 DLs
    Yaroslav Shramko & Heinrich Wansing (2009). Editorial Introduction. Truth Values: Part I. [REVIEW] Studia Logica 91 (3):295-304.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46.  5 DLs
    Heinrich Wansing (2002). Consequence, Counterparts and Substitution. The Monist 85 (4):483-497.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47.  4 DLs
    Yaroslav Shramko & Heinrich Wansing (2007). Entailment Relations and/as Truth Values. Bulletin of the Section of Logic 36 (3/4):131-143.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48.  3 DLs
    Norihiro Kamide & Heinrich Wansing (2010). Symmetric and Dual Paraconsistent Logics. Logic and Logical Philosophy 19 (1-2):7-30.
    Two new first-order paraconsistent logics with De Morgan-type negations and co-implication, called symmetric paraconsistent logic (SPL) and dual paraconsistent logic (DPL), are introduced as Gentzen-type sequent calculi. The logic SPL is symmetric in the sense that the rule of contraposition is admissible in cut-free SPL. By using this symmetry property, a simpler cut-free sequent calculus for SPL is obtained. The logic DPL is not symmetric, but it has the duality principle. Simple semantics for SPL and DPL are introduced, and the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49.  3 DLs
    Elias Thijsse & Heinrich Wansing (2012). A Fugue on the Themes of Awareness Logic and Correspondence. Journal of Applied Non-Classical Logics 6 (2):127-136.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50.  3 DLs
    Heinrich Wansing (2002). The Legacy of the Lvov-Warsaw School. Erkenntnis 56 (1):399-400.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 79