73 found
Sort by:
Disambiguations:
Heinrich Wansing [66]H. Wansing [7]
  1. F. Wolter, H. Wansing, M. de Rijke & M. Zakharyaschev, Advances in Modal Logic, Volume.
    We study a propositional bimodal logic consisting of two S4 modalities £ and [a], together with the interaction axiom scheme a £ϕ → £ aϕ. In the intended semantics, the plain £ is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reflexive and transitive binary relation a. The interaction axiom expresses the property that the Ra relation is lower semi-continuous with respect to the topology. The (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Sergei P. Odintsov & Heinrich Wansing (forthcoming). The Logic of Generalized Truth Values and the Logic of Bilattices. Studia Logica:1-22.
    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, \({\models_t}\) and \({\models_f}\) , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, J Philos Logic, 34:121–153, 2005). The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. H. Wansing (forthcoming). A Review of John Horty's 'Agency and Deontic Logic'. [REVIEW] Journal of Logic, Language and Information.
    No categories
     
    My bibliography  
     
    Export citation  
  4. Heinrich Wansing (ed.) (forthcoming). Dag Prawitz on Proofs and Meaning. Springer.
    No categories
     
    My bibliography  
     
    Export citation  
  5. Heinrich Wansing & Graham Priest (forthcoming). External Curries. Journal of Philosophical Logic:1-19.
    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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing (2014). Hypersequent and Display Calculi – a Unified Perspective. Studia Logica 102 (6):1245-1294.
    This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Heinrich Wansing, Roberto Ciuni & Caroline Willkommen (2013). Preface. Studia Logica 101 (6):1155-1157.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. 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  
  9. 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  
  10. Norihiro Kamide & Heinrich Wansing (2011). Completeness and Cut-Elimination Theorems for Trilattice Logics. Annals of Pure and Applied Logic 162 (10):816-835.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Caroline Semmling & Heinrich Wansing (2011). Reasoning About Belief Revision. In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. 303--328.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. 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  
  13. 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  
  14. Philip Kremer & Heinrich Wansing (2010). Editorial Introduction. Journal of Philosophical Logic 39 (4):341-344.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Sergei P. Odintsov & Heinrich Wansing (2010). Modal Logics with Belnapian Truth Values. Journal of Applied Non-Classical Logics 20 (3):279-301.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Heinrich Wansing (2010). NB Cocchiarella and MA Freund: Model Logic. An Introduction to its Syntax and Semantics. Bulletin of Symbolic Logic 16 (2).
     
    My bibliography  
     
    Export citation  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. Yaroslav Shramko & Heinrich Wansing (2009). Truth Values. Part I. Studia Logica 91 (3).
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. Yaroslav Shramko & Heinrich Wansing (2009). Truth Values. Part II. Studia Logica 92 (2).
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. 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  
  25. Heinrich Wansing, Connexive Logic. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. 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. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. 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  
  29. Yaroslav Shramko & Heinrich Wansing (2007). Entailment Relations and/as Truth Values. Bulletin of the Section of Logic 36 (3/4):131-143.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. 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  
  32. 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 (i) in Λ one may derive from Δ both A and its negation, and (ii) the deductive closure of Δ with respect (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. 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  
  35. 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  
  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 (5 more)  
     
    My bibliography  
     
    Export citation  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Heinrich Wansing (2004). Seeing to It That an Agent Forms a Belief. Logic and Logical Philosophy 10:185.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Max Urchs & Heinrich Wansing (2003). Preface. Logic and Logical Philosophy 3:45-46.
    Science today is an international business, of course, and there has hardly ever been a partition wall between the logical work in Poland and Germany. However, apart from long lasting personal scientific contacts there are good reasons to further intensify the relations between the German and the Polish Community of Logic and Logical Philosophy. So it was only natural to think about bringing them together at a scientific event in a friendly environment. This idea was carried out as a common (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Heinrich Wansing (2003). Correction to 'Displaying the Modal Logic of Consistency'. Journal of Symbolic Logic 68 (2):712.
  45. 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  
  46. Heinrich Wansing (2002). Consequence, Counterparts and Substitution. The Monist 85 (4):483-497.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. 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  
  48. Heinrich Wansing (2002). Preface. Erkenntnis 56 (1):5-8.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Heinrich Wansing (2002). The Legacy of the Lvov-Warsaw School. Erkenntnis 56 (1):399-400.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Roy Dyckhoff & Heinrich Wansing (2001). Editorial. Studia Logica 69 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 73