20 found
Order:
See also
Stefan Wintein
Tilburg University
  1.  35
    A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  21
    Dividing the Indivisible: Apportionment and Philosophical Theories of Fairness.Stefan Wintein & Conrad Heilmann - 2018 - Politics, Philosophy and Economics 17 (1):51-74.
    Philosophical theories of fairness propose to divide a good that several individuals have a claim to in proportion to the strength of their respective claims. We suggest that currently, these theories face a dilemma when dealing with a good that is indivisible. On the one hand, theories of fairness that use weighted lotteries are either of limited applicability or fall prey to an objection by Brad Hooker. On the other hand, accounts that do without weighted lotteries fall prey to three (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  4
    Dividing the Indivisible: Apportionment and Philosophical Theories of Fairness.Conrad Heilmann & Stefan Wintein - 2018 - Politics, Philosophy and Economics 17 (1):51-74.
    Philosophical theories of fairness propose to divide a good that several individuals have a claim to in proportion to the strength of their respective claims. We suggest that currently, these theories face a dilemma when dealing with a good that is indivisible. On the one hand, theories of fairness that use weighted lotteries are either of limited applicability or fall prey to an objection by Brad Hooker. On the other hand, accounts that do without weighted lotteries fall prey to three (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  49
    How to Be Fairer.Conrad Heilmann & Stefan Wintein - 2017 - Synthese 194 (9):3475-3499.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  21
    Alternative Ways for Truth to Behave When There's No Vicious Reference.Stefan Wintein - 2014 - 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  
     
    Bookmark   2 citations  
  6.  22
    The Modal-Epistemic Argument for the Existence of God is Flawed.Stefan Wintein - 2018 - International Journal for Philosophy of Religion 84 (3):307-322.
    In a recent article, Emanuel Rutten has presented a novel argument for the existence of God, defined as a personal being that is the first cause of reality. An interesting feature of the argument, which caused quite a stir, is that it does not fall within any of the traditional categories of arguments for God’s existence. Rutten calls his argument a modal-epistemic one, which reflects the fact that the first premise of his argument states that all possible truths are knowable. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees.Stefan Wintein & Reinhard Muskens - 2012 - Logique Et Analyse 220:643-656.
    In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  17
    On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - 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  
     
    Bookmark   1 citation  
  9.  42
    Analytic Tableaux for All of SIXTEEN_3.Reinhard Muskens & Stefan Wintein - 2015 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  30
    From Bi-Facial Truth to Bi-Facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  7
    Theories of Fairness and Aggregation.Stefan Wintein & Conrad Heilmann - forthcoming - Erkenntnis:1-24.
    We investigate the issue of aggregativity in fair division problems from the perspective of cooperative game theory and Broomean theories of fairness. Paseau and Saunders proved that no non-trivial theory of fairness can be aggregative and conclude that theories of fairness are therefore problematic, or at least incomplete. We observe that there are theories of fairness, particularly those that are based on cooperative game theory, that do not face the problem of non-aggregativity. We use this observation to argue that the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  26
    Interpolation in 16-Valued Trilattice Logics.Reinhard Muskens & Stefan Wintein - 2018 - Studia Logica 106 (2):345-370.
    In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  70
    Assertoric Semantics and the Computational Power of Self-Referential Truth.Stefan Wintein - 2012 - 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  
     
    Bookmark   1 citation  
  14.  53
    On the Behavior of True and False.Stefan Wintein - 2012 - 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  
     
    Bookmark   1 citation  
  15. A Framework for Riddles About Truth That Do Not Involve Self-Reference.Stefan Wintein - 2011 - 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  
     
    Bookmark  
  16.  14
    Interpolation Methods for Dunn Logics and Their Extensions.Stefan Wintein & Reinhard Muskens - 2017 - Studia Logica 105 (6):1319-1347.
    The semantic valuations of classical logic, strong Kleene logic, the logic of paradox and the logic of first-degree entailment, all respect the Dunn conditions: we call them Dunn logics. In this paper, we study the interpolation properties of the Dunn logics and extensions of these logics to more expressive languages. We do so by relying on the \ calculus, a signed tableau calculus whose rules mirror the Dunn conditions syntactically and which characterizes the Dunn logics in a uniform way. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Extreme rijkdom eerlijk verdeeld.Stefan Wintein & Conrad Heilmann - 2017 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 109 (4):469-474.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  19
    On the Strict–Tolerant Conception of Truth.Stefan Wintein - 2014 - Australasian Journal of Philosophy 92 (1):1-20.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  32
    What Makes a Knight?Stefan Wintein - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 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  
     
    Bookmark  
  20.  10
    From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - 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  
     
    Bookmark