25 found
Order:
Disambiguations
David DeVidi [25]David Michael Devidi [1]
See also
David DeVidi
University of Waterloo
  1. .David DeVidi & Herbert Korté - 2014 - De Gruyter.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  2.  50
    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   7 citations  
  3.  58
    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 (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  57
    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 (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  80
    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 (4 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  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  2
    A Logical Approach to Philosophy: Essays in Memory of Graham Solomon.David DeVidi & Tim Kenyon (eds.) - 2006 - Dordrecht, Netherland: Springer.
    Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  31
    No Mere Difference.David Devidi & Catherine Klausen - 2017 - Dialogue 56 (2):357-379.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Assertion Proof and the Axiom of Choice.David DeVidi - 2006 - In ¸ Itedevidikenyon2006. Springer Verlag.
     
    Export citation  
     
    Bookmark   3 citations  
  10.  77
    On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (4):785-.
    RésuméCet article discute diverses confusions, actueles ou potentielles, liées á la bivalence et au tiers exclu. Il s'agit, en particulier, 1) d'examiner divers cas illustrant les rapports entre la bivalence et le tiers exclu ; 2) de discuter la thése selon laquelle le tiers exclu et le schéma-T de Tarskipour la vérité entraînent la bivalence; 3) de proposer quelques remarques sur les rapports entre la bivalence, le tiers exclu et la preuve par l'absurde; 4) de scruter un argument répandu selon (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Naturalizing Natural Deduction.David DeVidi & Herbert Korté - 2014 - In . De Gruyter.
     
    Export citation  
     
    Bookmark   1 citation  
  12. 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  
  13.  6
    Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.
    The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. ¸ Itedevidikenyon2006.David DeVidi (ed.) - 2006 - Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  15. REVIEWS-Free Logic: Selected Essays.K. Lambert & David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  23
    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.
  17.  19
    An Introduction to Formal Logic.David DeVidi - 2004 - Bulletin of Symbolic Logic 10 (4):563-565.
  18.  7
    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  
  19.  10
    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 (Hbk); 978-94-007-6534-4 (E-Book). Pp. X + 393. [REVIEW]David DeVidi - 2014 - Philosophia Mathematica 22 (2):276-277.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. □ In Intuitionistic Modal Logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201-213.
  21. Intuitionistic Varepsilon - and Τ -Calculi.David DeVidi - 1995 - Mathematical Logic Quarterly 41 (4):523--546.
     
    Export citation  
     
    Bookmark   1 citation  
  22.  16
    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   1 citation  
  23.  8
    Free Logic: Selected Essays. [REVIEW]David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  29
    □ In Intuitionistic Modal Logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201 – 213.
  25.  11
    Sur la preuve de consistance de Gauthier et le programme de Frege.David DeVidi - 2004 - Philosophiques 31 (1):215-220.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation