12 found
Order:
See also
Yale Weiss
CUNY Graduate Center
  1.  10
    Sextus Empiricus' Fourth Conditional and Containment Logic.Yale Weiss - 2019 - History and Philosophy of Logic 40 (4):307-322.
    In his Outlines of Pyrrhonism 2.110–113, Sextus Empiricus presents four different accounts of the conditional, presumably all from the Hellenistic period, in increasing logical strength. While the interpretation and provenance of the first three accounts is relatively secure, the fourth account has perplexed and frustrated interpreters for decades or longer. Most interpreters have ultimately taken a dismissive attitude towards the fourth account and discounted it as being of both little historical and logical interest. We argue that this attitude is unwarranted (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2.  23
    Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
    Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving conditional expressions in natural language. Although conditional logics have by now been thoroughly studied in a classical context, they have yet to be systematically examined in an intuitionistic context, despite compelling philosophical and technical reasons to do so. This paper addresses this gap by thoroughly examining the basic intuitionistic conditional logic ICK, the intuitionistic counterpart of Chellas’ important classical system CK. I give ICK both worlds (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  14
    Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
    The object of this paper is to examine half and full connexive extensions of the basic regular conditional logic CR. Extensions of this system are of interest because it is among the strongest well-known systems of conditional logic that can be augmented with connexive theses without inconsistency resulting. These connexive extensions are characterized axiomatically and their relations to one another are examined proof-theoretically. Subsequently, algebraic semantics are given and soundness, completeness, and decidability are proved for each system. The semantics is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  16
    Semantics for Counterpossibles.Yale Weiss - 2017 - Australasian Journal of Logic 14 (4):383-407.
    The object of this paper is to examine two approaches to giving non-vacuous truth conditions for counterpossibles, counterfactuals with impossible antecedents. I first develop modifications of a Lewis-style sphere semantics with impossible worlds. I argue that this approach sanctions intuitively invalid inferences and is supported by philosophically problematic foundations. I then develop modifications of certain ceteris paribus conditional logics with impossible worlds. Tableaux are given for each of these in an appendix and soundness and completeness results are proved. While certain (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  7
    Cut and Gamma I: Propositional and Constant Domain R.Yale Weiss - forthcoming - Review of Symbolic Logic:1-23.
    The main object of this article is to give two novel proofs of the admissibility of Ackermann’s rule (γ) for the propositional relevant logic R. The results are established as corollaries of cut elimination for systems of tableaux for R. Cut elimination, in turn, is established both nonconstructively (as a corollary of completeness) and constructively (using Gentzen-like methods). The extensibility of the techniques is demonstrated by showing that (γ) is admissible for RQ* (R with constant domain quantifiers). The status of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Are Contradictions Believable?Yale Weiss - 2019 - Thought: A Journal of Philosophy 8 (1):42-49.
    A number of philosophers deny that contradictions can be believed. Are they correct? In this note, I show that even in quite weak logics, on pain of inconsistency, if there are false beliefs, either there are propositions which are true but unbelievable or contradictions are believable. Since the antecedent clearly holds, I offer some considerations in favor of the latter disjunct. Objections and variants of the main argument are considered.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    A Note on the Relevance of Semilattice Relevance Logic.Yale Weiss - 2019 - Australasian Journal of Logic 16 (6):177-185.
    A propositional logic has the variable sharing property if φ → ψ is a theorem only if φ and ψ share some propositional variable. In this note, I prove that positive semilattice relevance logic and its extension with an involution negation have the variable sharing property. Typical proofs of the variable sharing property rely on ad hoc, if clever, matrices. However, in this note, I exploit the properties of rather more intuitive arithmetical structures to establish the variable sharing property for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  57
    A Fourth Alternative in Interpreting Parmenides.John E. Sisko & Yale Weiss - 2015 - Phronesis 60 (1):40-59.
    _ Source: _Volume 60, Issue 1, pp 40 - 59 According to current interpretations of Parmenides, he either embraces a token-monism of things, or a type-monism of the nature of each kind of thing, or a generous monism, accepting a token-monism of things of a specific type, necessary being. These interpretations share a common flaw: they fail to secure commensurability between Parmenides’ alētheia and doxa. We effect this by arguing that Parmenides champions a metaphysically refined form of material monism, a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    Colloquium 1 Commentary on Cherubin.Yale Weiss - 2018 - Proceedings of the Boston Area Colloquium of Ancient Philosophy 33 (1):22-26.
    This commentary examines the interpretation of Parmenides developed by Rose Cherubin in her paper, “Parmenides, Liars, and Mortal Incompleteness.” First, I discuss the tensions Cherubin identifies between the definitions and presuppositions of justice, necessity, fate, and the other requisites of inquiry. Second, I critically assess Cherubin’s attribution of a sort of liar paradox to Parmenides. Finally, I argue that Cherubin’s handling of the Doxa, the section of Parmenides’ poem that deals with mortal opinion and cosmology, is unsatisfactory. I suggest that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  18
    Review: Hugh H. Benson. Clitophon's Challenge: Dialectic in Plato's Meno, Phaedo, and Republic. Oxford: Oxford University Press, 2015. 328 Pages; $65.00/Hardcover. [REVIEW]Yale Weiss - 2016 - Philosophical Forum 47 (1):25-29.
  11.  43
    Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York
    Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. The Myth of Hippasus and One Mathematical Paradigm Shift.Yale Weiss - 2016 - Dialogue 55 (2):89-94.
    No categories
     
    Export citation  
     
    Bookmark