25 found
Order:
Disambiguations
David DeVidi [25]David Michael Devidi [1]
See also
Profile: David DeVidi (University of Waterloo)
  1.  13
    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.
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  36
    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 (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3. Naturalizing Natural Deduction.David DeVidi & Herbert Korté - 2014 - In . De Gruyter.
     
    Export citation  
     
    My bibliography   1 citation  
  4.  73
    Knowability and Intuitionistic Logic.David DeVidi & Graham Solomon - 2001 - Philosophia 28 (1-4):319-334.
  5.  44
    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 (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  38
    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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  7
    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 (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8. Assertion Proof and the Axiom of Choice.David DeVidi - 2006 - In ¸ Itedevidikenyon2006. Springer Verlag.
     
    Export citation  
     
    My bibliography   1 citation  
  9.  56
    On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (04):785-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Choice Principles and Constructive Logics.David DeVidi - 2004 - Philosophia Mathematica 12:222-243.
  11. Box In Intuitionistic Logic.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201-213.
     
    Export citation  
     
    My bibliography   1 citation  
  12. Intuitionistic Varepsilon - and Τ -Calculi.David DeVidi - 1995 - Mathematical Logic Quarterly 41 (4):523--546.
     
    Export citation  
     
    My bibliography   1 citation  
  13.  7
    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.
  14.  21
    In Intuitionistic Modal Logic.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201 – 213.
  15.  4
    Sur la preuve de consistance de Gauthier et le programme de Frege.David DeVidi - 2004 - Philosophiques 31 (1):215-220.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  16.  3
    An Introduction to Formal Logic.David DeVidi - 2004 - Bulletin of Symbolic Logic 10 (4):563-565.
  17.  2
    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  
     
    My bibliography  
  18.  1
    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  
     
    My bibliography  
  19.  1
    Lambert Karel. Free Logic: Selected Essays. Cambridge University Press, Cambridge, 2003, Xii+ 191 Pp. [REVIEW]David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  25
    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  
     
    My bibliography  
  21. .David DeVidi & Herbert Korté - 2014 - De Gruyter.
    No categories
     
    Export citation  
     
    My bibliography  
  22. Free Logic: Selected Essays. [REVIEW]David Devidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. ¸ Itedevidikenyon2006.David DeVidi, Graham Solomon & Tim Kenyon (eds.) - 2006a - Springer Verlag.
    No categories
     
    Export citation  
     
    My bibliography  
  24. ¸ Itedevidikenyon2006.David DeVidi - 2006 - Springer Verlag.
    No categories
     
    Export citation  
     
    My bibliography  
  25. REVIEWS-Free Logic: Selected Essays.K. Lambert & David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    No categories
     
    Export citation  
     
    My bibliography