Switch to: References

Add citations

You must login to add citations.
  1. Keynes and Wittgenstein.Brian Weatherson - manuscript
    Three recent books have argued that Keynes’s philosophy, like Wittgenstein’s, underwent a radical foundational shift. It is argued that Keynes, like Wittgenstein, moved from an atomic Cartesian individualism to a more conventionalist, intersubjective philosophy. It is sometimes argued this was caused by Wittgenstein’s concurrent conversion. Further, it is argued that recognising this shift is important for understanding Keynes’s later economics. In this paper I argue that the evidence adduced for these theses is insubstantial, and other available evidence contradicts their claims.
    Download  
     
    Export citation  
     
    Bookmark  
  • Visual space from the perspective of possible world semantics II.L. Wiesenthal - 1985 - Synthese 64 (2):241 - 270.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quantifier scope: How labor is divided between QR and choice functions. [REVIEW]Tanya Reinhart - 1997 - Linguistics and Philosophy 20 (4):335-397.
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.
    In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations.Pawel Pawlowski - 2020 - Logica Universalis 14 (4):407-420.
    The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to any finitely valued deterministic and non-deterministic logic. I provide a couple of examples of proof systems for well-known many-valued logics and prove the completeness of proof systems generated by the framework.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.
    J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s techniques as special cases, but (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Bochvar-McCarthy Logic and Process Algebra.Jan A. Bergstra & Alban Ponse - 1998 - Notre Dame Journal of Formal Logic 39 (4):464-484.
    We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Qualia and vagueness.Anthony Everett - 1996 - Synthese 106 (2):205-226.
    In this paper I present two arguments against the thesis that we experience qualia. I argue that if we experienced qualia then these qualia would have to be essentially vague entities. And I then offer two arguments, one a reworking of Gareth Evans' argument against the possibility of vague objects, the other a reworking of the Sorites argument, to show that no such essentially vague entities can exist. I consider various objections but argue that ultimately they all fail. In particular (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Convex MV-Algebras: Many-Valued Logics Meet Decision Theory.T. Flaminio, H. Hosni & S. Lapenta - 2018 - Studia Logica 106 (5):913-945.
    This paper introduces a logical analysis of convex combinations within the framework of Łukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Łukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. As (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Algebraization of the Three-valued BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.
    Download  
     
    Export citation  
     
    Bookmark  
  • Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.
    Download  
     
    Export citation  
     
    Bookmark   2 citations