Now showing items 1-20 of 43

    • Analyticity, balance and non-admissibility of Cut in Stoic Logic 

      Bobzien, Susanne; Dyckhoff, Roy (2019-04) - Journal article
      This paper shows that, for the Hertz-Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut ...
    • Anti-symmetry and non-extensional mereology 

      Cotnoir, Aaron (2010-04) - Journal article
      I examine the link between extensionality principles of classical mereology and the anti-symmetry of parthood. Varzi’s most recent defence of extensionality depends crucially on assuming anti-symmetry. I examine the notions ...
    • Aristotle and Lukasiewicz on existential import 

      Read, Stephen (2015) - Journal article
      Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based ...
    • Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic” 

      Dyckhoff, Roy; Negri, Sara (2017-07-17) - Journal article
    • Contraction-free sequent calculi in intuitionistic logic : a correction 

      Dyckhoff, Roy (2018-12) - Journal article
      We present a much-shortened proof of a major result (originally due to Vorob’ev) about intuitionistic propositional logic: in essence, a correction of our 1992 article, avoiding several unnecessary definitions
    • Cut-elimination, substitution and normalisation 

      Dyckhoff, Roy (Springer, 2015) - Book item
      We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
    • Descartes's critique of the syllogistic 

      Xavier Douglas, Alexander (2017-10) - Journal article
      This article presents a novel reading of Descartes’s critique of the traditional syllogistic. The reading differs from those previously presented by scholars who regard Descartes’s critique as a version of a well-known ...
    • Does universalism entail extensionalism? 

      Cotnoir, Aaron (2016-03) - Journal article
      Does a commitment to mereological universalism automatically bring along a commitment to the controversial doctrine of mereological extensionalism — the view that objects with the same proper parts are identical? A recent ...
    • General-elimination stability 

      Jacinto, Bruno Miguel; Read, Stephen Louis (2017-04) - Journal article
      General-elimination harmony articulates Gentzen's idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the ...
    • Generic truth and mixed conjunctions : some alternatives 

      Cotnoir, Aaron (2009-07) - Journal article
    • Hasteners and delayers : why rains don't cause fires 

      Touborg, Caroline Torpe (2018-07) - Journal article
      We typically judge that hasteners are causes of what they hasten, while delayers are not causes of what they delay. These judgements, I suggest, are sensitive to an underlying metaphysical distinction. To see this, we need ...
    • Impossible worlds and the logic of imagination 

      Berto, Francesco (2017-12) - Journal article
      I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, ...
    • Inconsistent boundaries 

      Weber, Z.; Cotnoir, A.J. (2014-12) - Journal article
      Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either ...
    • Ineffability within the limits of abstraction alone 

      Shapiro, Stewart; Uzquiano, Gabriel (Oxford University Press, 2016-12-08) - Book item
      The purpose of this article is to assess the prospects for a Scottish neo-logicist foundation for a set theory. We show how to reformulate a key aspect of our set theory as a neo-logicist abstraction principle. That puts ...
    • Intuitionistic decision procedures since Gentzen 

      Dyckhoff, Roy (Birkhäuser Basel, 2016-05-05) - Book item
      Gentzen solved the decision problem for intuitionistic propositional logic in his doctoral thesis [31]; this paper reviews some of the subsequent progress. Solutions to the problem are of importance both for general ...
    • Knowability relative to information 

      Berto, Francesco; Hawke, Peter (2018-10-25) - Journal article
      We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. ...
    • Less cognitive conflict does not imply choice of the default option : Commentary on Kieslich and Hilbig (2014) 

      Myrseth, Kristian Ove; Wollbrant, Conny (2015-05) - Journal item
      Kieslich and Hilbig (2014) employ a mouse-tracking technique to measure decision conflict in social dilemmas. They report that defectors exhibit more conflict than do cooperators. They infer that cooperation thus is the ...
    • Miller, Bradwardine and the Truth 

      Read, Stephen (2011-06) - Journal article
      In his article "Verdades antiguas y modernas" (in the same issue, pp. 207-27), David Miller criticised Thomas Bradwardine’s theory of truth and signification and my defence of Bradwardine’s application of it to the semantic ...
    • Nagarjuna's logic 

      Cotnoir, Aaron (Oxford University Press, 2015-07-30) - Book item
    • Natural axioms for classical mereology 

      Cotnoir, Aaron; Varzi, Achille (2019-03) - Journal article
      We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, ...