13 found
Order:
See also:
Profile: Stefan Wintein (Tilburg University)
  1.  17
    Conrad Heilmann & Stefan Wintein (forthcoming). How to Be Fairer. Synthese:1-25.
    We confront the philosophical literature on fair division problems with axiomatic and game-theoretic work in economics. Firstly, we show that the proportionality method advocated in Curtis is not implied by a general principle of fairness, and that the proportional rule cannot be explicated axiomatically from that very principle. Secondly, we suggest that Broome’s notion of claims is too restrictive and that game-theoretic approaches can rectify this shortcoming. More generally, we argue that axiomatic and game-theoretic work in economics is an indispensable (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  8
    Stefan Wintein (2016). On All Strong Kleene Generalizations of Classical Logic. Studia Logica 104 (3):503-545.
    By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  5
    Stefan Wintein & Reinhard A. Muskens (2015). From Bi-Facial Truth to Bi-Facial Proofs. Studia Logica 103 (3):545-558.
    In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  7
    Stefan Wintein (2016). From Closure Games to Strong Kleene Truth. Notre Dame Journal of Formal Logic 57 (2):153-179.
    In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  61
    Stefan Wintein (2012). Assertoric Semantics and the Computational Power of Self-Referential Truth. Journal of Philosophical Logic 41 (2):317-345.
    There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show that certain (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  9
    Stefan Wintein (2014). Alternative Ways for Truth to Behave When There's No Vicious Reference. Journal of Philosophical Logic 43 (4):665-690.
    In a recent paper, Philip Kremer proposes a formal and theory-relative desideratum for theories of truth that is spelled out in terms of the notion of ‘no vicious reference’. Kremer’s Modified Gupta-Belnap Desideratum (MGBD) reads as follows: if theory of truth T dictates that there is no vicious reference in ground model M, then T should dictate that truth behaves like a classical concept in M. In this paper, we suggest an alternative desideratum (AD): if theory of truth T dictates (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  35
    Stefan Wintein (2012). On the Behavior of True and False. Minds and Machines 22 (1):1-24.
    Uzquiano (Analysis 70:39–44, 2010 ) showed that the Hardest Logic Puzzle Ever ( HLPE ) [in its amended form due to Rabern and Rabern (Analysis 68:105–112, 2008 )] has a solution in only two questions. Uzquiano concludes his paper by noting that his solution strategy naturally suggests a harder variation of the puzzle which, as he remarks, he does not know how to solve in two questions. Wheeler and Barahona (J Philos Logic, to appear, 2011 ) formulated a three question (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Stefan Wintein & Reinhard Muskens (2012). A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees. Logique Et Analyse 220:643-656.
     
    Export citation  
     
    My bibliography   1 citation  
  9.  4
    Stefan Wintein & Reinhard Muskens (forthcoming). A Gentzen Calculus for Nothing but the Truth. Journal of Philosophical Logic:1-15.
    In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  13
    Reinhard Muskens & Stefan Wintein (2015). Analytic Tableaux for All of SIXTEEN 3. Journal of Philosophical Logic 44 (5):473-487.
    In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  10
    Stefan Wintein (2013). On the Strict–Tolerant Conception of Truth. Australasian Journal of Philosophy 92 (1):1-20.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  12.  34
    Stefan Wintein (2011). A Framework for Riddles About Truth That Do Not Involve Self-Reference. Studia Logica 98 (3):445-482.
    In this paper, we present a framework in which we analyze three riddles about truth that are all (originally) due to Smullyan. We start with the riddle of the yes-no brothers and then the somewhat more complicated riddle of the da-ja brothers is studied. Finally, we study the Hardest Logic Puzzle Ever (HLPE). We present the respective riddles as sets of sentences of quotational languages , which are interpreted by sentence-structures. Using a revision-process the consistency of these sets is established. (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13.  11
    Stefan Wintein (2010). What Makes a Knight? In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin 25--37.
    In Smullyan’s well known logic puzzles, the notion of a knight, which is a creature that always speaks the truth, plays an important role. Rabern and Rabern (2008) made the following observation with respect to knights. They noted that when a knight is asked (1), he gets into serious trouble.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography