14 found
Order:
See also
Michael De
Utrecht University
  1.  58
    There is More to Negation Than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.
    There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  47
    Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3. On the Humphrey Objection to Modal Realism.Michael De - 2018 - Grazer Philosophische Studien 95 (2):159-179.
    An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4.  68
    Intrinsicality and Counterpart Theory.Michael De - 2016 - Synthese 193 (8).
    It is shown that counterpart theory and the duplication account of intrinsicality —two key pieces of the Lewisian package—are incompatible. In particular, the duplication account yields the result that certain intuitively extrinsic modal properties are intrinsic. Along the way I consider a potentially more general worry concerning certain existential closures of internal relations. One conclusion is that, unless the Lewisian provides an adequate alternative to the duplication account, the reductive nature of their total theory is in jeopardy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  45
    More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133.
    Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ' empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  84
    Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
    An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  18
    Negation in Context.Michael De - 2011 - Dissertation, University of St Andrews
    The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of 'not'. If (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  61
    A Modal Account of Essence.Michael De - 2020 - Metaphysics 3 (1):17-32.
    According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
    Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Can Logical Consequence Be Deflated?Michael De - 2012 - In Insolubles and Consequences : essays in honour of Stephen Read. pp. 23-33.
    An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is as plausible as (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Insolubles and Consequences : Essays in Honour of Stephen Read.Michael De (ed.) - 2012 - College Publications.
    An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is as plausible as (...)
     
    Export citation  
     
    Bookmark  
  12.  17
    On Moore’s Notion of Proof.Michael De - 2020 - Canadian Journal of Philosophy 50 (3):313-321.
    Much has been said about Moore’s proof of the external world, but the notion of proof that Moore employs has been largely overlooked. I suspect that most have either found nothing wrong with it, or they have thought it somehow irrelevant to whether the proof serves its antiskeptical purpose. I show, however, that Moore’s notion of proof is highly problematic. For instance, it trivializes in the sense that any known proposition is provable. This undermines Moore’s proof as he conceives it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  26
    Presentism and Modal Realism.Michael De - 2019 - Analytic Philosophy 60 (3):259-282.
    David Lewis sells modal realism as a package that includes an eternalist view of time. There is, of course, nothing that ties together the thesis that modality should be analyzed in terms of "concrete" possibilia with the view that non-present things exist. In this paper I develop a theory I call \emph{modal realist presentism} that is a combination of modal realism and presentism, and argue that is has compelling answers to some of the main objections to presentism, including the arguments (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    Truthmakers or truthmaking supervenience?Michael De - forthcoming - Synthese:1-19.
    I argue that counterpart theory is incompatible with truthmaking supervenience, the thesis that truth supervenes on what there is and how things are. I further argue that David Lewis’s “qua” strategy for providing ontologically innocent and Humean-friendly truthmakers for predications faces a number of difficulties. I propose and assess various solutions to those difficulties, each of which comes at the cost of sacrificing one of the two main virtues of the qua strategy.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark