23 found
Order:
Disambiguations
David DeVidi [23]David Michael Devidi [1]
See also
David DeVidi
University of Waterloo
  1.  55
    Analogues of Knowability.David DeVidi & Tim Kenyon - 2003 - Australasian Journal of Philosophy 81 (4):481 – 495.
    An interesting recent reply to the Paradox of Knowability is Neil Tennant's proposal: to restrict the anti-realist's knowability thesis to truths the knowing of which is logically consistent. However, this proposal is egregiously ad hoc unless motivated by something other than the wish to save anti-realism from embarrassment. We examine Tennant's argument that his restriction is motivated by parallel considerations in cases that are neutral with respect to debates about realism. We conclude that the cases are not neutral, nor the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. .David DeVidi & Herbert Korté - 2014 - De Gruyter.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  3. Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding Epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
    We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  54
    Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
    It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  74
    Tolerance and Metalanguages in Carnap'slogical Syntax of Language.David Devidi & Graham Solomon - 1995 - Synthese 103 (1):123 - 139.
    Michael Friedman has recently argued that Carnap'sLogical Syntax of Language is fundamentally flawed in a way that reveals the ultimate failure of logical positivism. Friedman's argument depends crucially on two claims: (1) that Carnap was committed to the view that there is a universal metalanguage and (2) that given what Carnap wanted from a metalanguage, in particular given that he wanted a definition of analytic for an object language, he was in fact committed to a hierarchy of stronger and stronger (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  15
    Intuitionistic Ε- and Τ-Calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.
    There are several open problems in the study of the calculi which result from adding either of Hilbert's ϵ- or τ-operators to the first order intuitionistic predicate calculus. This paper provides answers to several of them. In particular, the first complete and sound semantics for these calculi are presented, in both a “quasi-extensional” version which uses choice functions in a straightforward way to interpret the ϵ- or τ-terms, and in a form which does not require extensionality assumptions. Unlike the classical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  42
    Logical Options: An Introduction to Classical and Alternative Logics.John L. Bell, David DeVidi & Graham Solomon - 2001 - Broadview Press.
    Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Naturalizing Natural Deduction.David DeVidi & Herbert Korté - 2014 - In . De Gruyter.
     
    Export citation  
     
    Bookmark   1 citation  
  9.  71
    On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (4):785-.
  10. Assertion Proof and the Axiom of Choice.David DeVidi - 2006 - In ¸ Itedevidikenyon2006. Springer Verlag.
     
    Export citation  
     
    Bookmark   2 citations  
  11.  20
    No Mere Difference.David Devidi & Catherine Klausen - 2017 - Dialogue 56 (2):357-379.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    Sur la preuve de consistance de Gauthier et le programme de Frege.David DeVidi - 2004 - Philosophiques 31 (1):215-220.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  28
    □ In Intuitionistic Modal Logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201 – 213.
  14.  22
    Andrew Aberdein and Ian J. Dove, Eds. The Argument of Mathematics. Logic, Epistemology, and the Unity of Science; 30. Dordrecht: Springer, 2013. ISBN: 978-94-007-6533-7 ; 978-94-007-6534-4 . Pp. X + 393. [REVIEW]David DeVidi - 2015 - Philosophia Mathematica 23 (2):276-280.
  15. □ In Intuitionistic Modal Logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201-213.
  16.  4
    Peter Smith. An Introduction to Formal Logic. Cambridge University Press, Cambridge, 2003, Viii + 357 Pp. [REVIEW]David DeVidi - 2004 - Bulletin of Symbolic Logic 10 (4):563-565.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Intuitionistic Varepsilon - and Τ -Calculi.David DeVidi - 1995 - Mathematical Logic Quarterly 41 (4):523--546.
     
    Export citation  
     
    Bookmark   1 citation  
  18.  12
    16. Vagueness and Intuitionistic Logic: On the Wright Track.David Devidi - 2005 - In Kent A. Peacock & Andrew D. Irvine (eds.), Mistakes of Reason: Essays in Honour of John Woods. University of Toronto Press. pp. 279-295.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  16
    An Introduction to Formal Logic.David DeVidi - 2004 - Bulletin of Symbolic Logic 10 (4):563-565.
  20.  9
    Andrew Aberdein and Ian J. Dove, Eds. The Argument of Mathematics. Logic, Epistemology, and the Unity of Science; 30. Dordrecht: Springer, 2013. ISBN 978-94-007-6533-7 ; 978-94-007-6534-4 . Pp. X + 393: Books of Essays. [REVIEW]David DeVidi - 2014 - Philosophia Mathematica 22 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  7
    Free Logic: Selected Essays. [REVIEW]David Devidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. ¸ Itedevidikenyon2006.David DeVidi (ed.) - 2006 - Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  23. REVIEWS-Free Logic: Selected Essays.K. Lambert & David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    No categories
     
    Export citation  
     
    Bookmark