Citations of work:

D. A. Bochvar & Merrie Bergmann (1981). On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus.

17 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  2
    On Beall’s New Interpretation of $$WK_{3}$$WK3.Nissim Francez - forthcoming - Journal of Logic, Language and Information.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  2
    The Psychology of Uncertainty and Three-Valued Truth Tables.Jean Baratgin, Guy Politzer, David E. Over & Tatsuji Takahashi - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
    Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to the paracomplete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  2
    Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes.Miroslav Hanke - 2017 - History and Philosophy of Logic 38 (4):299-315.
    In the 1330s Roger Swyneshed formulated a solution to semantic paradoxes based on the distinction between correspondence with reality and self-falsification as truth-making factors. Since Swyneshed states that some valid inferences are not truth-preserving, his view implies the question of the general definition of validity which he does not address explicitly. Logical works attributed to Paul of Venice contain developments of Swyneshed's contextualist semantics substantially modified by the assumption that sentential meanings are objective propositional entities. The main goals of this (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  13
    Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.
    In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  15
    Presupposed Ignorance and Exhaustification: How Scalar Implicatures and Presuppositions Interact.Benjamin Spector & Yasutada Sudo - 2017 - Linguistics and Philosophy 40 (5):473-517.
    We investigate the interactions between scalar implicatures and presuppositions in sentences containing both a scalar item and presupposition trigger. We first critically discuss Gajewski and Sharvit’s previous approach. We then closely examine two ways of integrating an exhaustivity-based theory of scalar implicatures with a trivalent approach to presuppositions. The empirical side of our discussion focuses on two novel observations: the interactions between prosody and monotonicity, and what we call presupposed ignorance. In order to account for these observations, our final proposal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  67
    One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic:1-15.
    This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  27
    Foreword: Three-Valued Logics and Their Applications.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):1-11.
  9.  41
    A Computational Interpretation of Conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  2
    Nouvelle solution pragmatiste du paradoxe du Menteur.Alain Séguy-Duclot - 2014 - Dialogue 53 (4):671-690.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  11.  7
    A Modal Theorem-Preserving Translation of a Class of Three-Valued Logics of Incomplete Information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
  12.  1
    MacColl’s Modes of Modalities.Fabien Schang - 2011 - Philosophia Scientae 15:149-188.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  42
    Reference, Paradoxes and Truth.Michał Walicki - 2009 - Synthese 171 (1):195 - 226.
    We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  62
    The Geometry of Negation.Massimo Warglien & Achille C. Varzi - 2003 - Journal of Applied Non-Classical Logics 13 (1):9-19.
    There are two natural ways of thinking about negation: (i) as a form of complementation and (ii) as an operation of reversal, or inversion (to deny that p is to say that things are “the other way around”). A variety of techniques exist to model conception (i), from Euler and Venn diagrams to Boolean algebras. Conception (ii), by contrast, has not been given comparable attention. In this note we outline a twofold geometric proposal, where the inversion metaphor is understoood as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  35
    Definite Descriptions and Definite Generics.Almerindo E. Ojeda - 1991 - Linguistics and Philosophy 14 (4):367 - 397.
  16.  15
    The Heritage of S. A. Janovskaja.Irving H. Anellis - 1987 - History and Philosophy of Logic 8 (1):45-56.
    A survey is provided of the Soviet-Russian logician and historian Sof'ja A. Janovskaya (1896?1966). She wrote survey articles on logic, and also historical and philosophical essays on logic and on mathematics. A selected bibliography of her writings is appended.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  6
    The Semantics of Frege'sgrundgesetze.John N. Martin - 1984 - History and Philosophy of Logic 5 (2):143-176.
    Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation