Results for 'David DeVidi'

976 found
Order:
  1. On Confusions About Bivalence and Excluded Middle.David Devidi And Graham Solomon - 1999 - Dialogue 38 (4):785-800.
    RÉSUMÉ: Cet article discute diverses confusions, actuelles 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 lapreuve par l'absurde; 4) de scruter un argument répandu selon (...)
     
    Export citation  
     
    Bookmark  
  2.  72
    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  
  3. .David DeVidi & Herbert Korté - 2014 - De Gruyter.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  4.  26
    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   8 citations  
  5.  70
    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  
  6.  86
    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   7 citations  
  7.  10
    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.  14
    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  
  9. Assertion Proof and the Axiom of Choice.David DeVidi - 2006 - In ¸ Itedevidikenyon2006. Springer Verlag.
     
    Export citation  
     
    Bookmark   3 citations  
  10.  63
    Logical Options: An Introduction to Classical and Alternative Logics.John L. Bell, David DeVidi & Graham Solomon - 2001 - Peterborough, CA: 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  
  11.  84
    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  
  12.  41
    No Mere Difference.David Devidi & Catherine Klausen - 2017 - Dialogue 56 (2):357-379.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  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.
    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  
  14. Naturalizing Natural Deduction.David DeVidi & Herbert Korté - 2014 - In David DeVidi & Herbert Korté (eds.). De Gruyter.
     
    Export citation  
     
    Bookmark   1 citation  
  15.  19
    An Introduction to Formal Logic.David DeVidi - 2004 - Bulletin of Symbolic Logic 10 (4):563-565.
  16.  4
    □ In intuitionistic modal logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201-213.
  17. ¸ Itedevidikenyon2006.David DeVidi (ed.) - 2006 - Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  36
    □ In intuitionistic modal logic1.David DeVidi & Graham Solomon - 1997 - Australasian Journal of Philosophy 75 (2):201 – 213.
  19. Intuitionistic varepsilon - and τ -calculi.David DeVidi - 1995 - Mathematical Logic Quarterly 41 (4):523--546.
     
    Export citation  
     
    Bookmark   1 citation  
  20.  16
    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
  21.  17
    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  
  22.  6
    Truth and the liar.David DeVidi, Michael Hallet & Peter Clark - 2011 - In David DeVidi, Michael Hallett & Peter Clark (eds.), Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell. Dordrecht, Netherland: Springer.
    Frege famously claimed that logic is the science of truth: “To discover truths is the task of all science; it falls to logic to discern the laws of truth” (Frege, 1956, p. 289). But just like the other foundational concept of set, truth at that time was intimately associated with paradox; in the case of truth, the Liar paradox. The set-theoretical paradoxes had their teeth drawn by being recognised as reductio proofs of assumptions that had seemed too obvious to warrant (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  17
    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. Buffalo: University of Toronto Press. pp. 279-295.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  2
    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  
  25.  26
    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.
  26.  10
    Free logic: Selected essays. [REVIEW]David DeVidi - 2003 - Bulletin of Symbolic Logic 9 (4):521-523.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    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  
  28. John L. Bell, David DeVidi and Graham Solomon, Logical Options: An Introduction to Classical and Alternative Logics.D. Bonevac - 2002 - Philosophy in Review 22 (6):394-398.
  29. An enquiry concerning human understanding.David Hume - 2000 - In Steven M. Cahn (ed.), Exploring Philosophy: An Introductory Anthology. New York, NY, United States of America: Oxford University Press USA. pp. 112.
    David Hume's Enquiry concerning Human Understanding is the definitive statement of the greatest philosopher in the English language. His arguments in support of reasoning from experience, and against the "sophistry and illusion"of religiously inspired philosophical fantasies, caused controversy in the eighteenth century and are strikingly relevant today, when faith and science continue to clash. The Enquiry considers the origin and processes of human thought, reaching the stark conclusion that we can have no ultimate understanding of the physical world, or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   687 citations  
  30.  49
    Utopophobia: On the Limits (If Any) of Political Philosophy.David M. Estlund - 2019 - Princeton, New Jersey: Princeton University Press.
    A leading political theorist’s groundbreaking defense of ideal conceptions of justice in political philosophy Throughout the history of political philosophy and politics, there has been continual debate about the roles of idealism versus realism. For contemporary political philosophy, this debate manifests in notions of ideal theory versus nonideal theory. Nonideal thinkers shift their focus from theorizing about full social justice, asking instead which feasible institutional and political changes would make a society more just. Ideal thinkers, on the other hand, question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  31. Inquiry and the epistemic.David Thorstad - 2021 - Philosophical Studies 178 (9):2913-2928.
    The zetetic turn in epistemology raises three questions about epistemic and zetetic norms. First, there is the relationship question: what is the relationship between epistemic and zetetic norms? Are some epistemic norms zetetic norms, or are epistemic and zetetic norms distinct? Second, there is the tension question: are traditional epistemic norms in tension with plausible zetetic norms? Third, there is the reaction question: how should theorists react to a tension between epistemic and zetetic norms? Drawing on an analogy to practical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  32. The Machine Question: Critical Perspectives on Ai, Robots, and Ethics.David J. Gunkel - 2012 - MIT Press.
    One of the enduring concerns of moral philosophy is deciding who or what is deserving of ethical consideration. Much recent attention has been devoted to the "animal question" -- consideration of the moral status of nonhuman animals. In this book, David Gunkel takes up the "machine question": whether and to what extent intelligent and autonomous machines of our own making can be considered to have legitimate moral responsibilities and any legitimate claim to moral consideration. The machine question poses a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   85 citations  
  33.  26
    Time and Chance.David Z. Albert - 2000 - Cambridge, Mass.: Harvard University Press.
    This book is an attempt to get to the bottom of an acute and perennial tension between our best scientific pictures of the fundamental physical structure of the world and our everyday empirical experience of it. The trouble is about the direction of time. The situation (very briefly) is that it is a consequence of almost every one of those fundamental scientific pictures--and that it is at the same time radically at odds with our common sense--that whatever can happen can (...)
  34. The paradox of the preface.David C. Makinson - 1965 - Analysis 25 (6):205-207.
    By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   250 citations  
  35. Epistemology of disagreement : the good news.David Christensen - 2018 - In Jeremy Fantl, Matthew McGrath & Ernest Sosa (eds.), Contemporary epistemology: an anthology. Hoboken, NJ: Wiley.
    How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.
    Direct download  
     
    Export citation  
     
    Bookmark   81 citations  
  36. Self-Reference Amd Self-Awareness, Advances in Consciousness Research Volume 11.Andrew Brook & Richard Devidi (eds.) - 2001 - John Benjamins.
  37. Vintage Enthusiasms: Essays in Honour of J L Bell.P. Clark, M. Hallet & D. DeVidi (eds.) - 2008
    No categories
     
    Export citation  
     
    Bookmark  
  38. Perception And The Physical World.David Malet Armstrong - 1961 - New York,: Humanities Press.
  39. The logic of the past hypothesis.David Wallace - 2023 - In Barry Loewer, Brad Weslake & Eric B. Winsberg (eds.), The Probability Map of the Universe: Essays on David Albert’s _time and Chance_. Cambridge MA: Harvard University Press. pp. 76-109.
    I attempt to get as clear as possible on the chain of reasoning by which irreversible macrodynamics is derivable from time-reversible microphysics, and in particular to clarify just what kinds of assumptions about the initial state of the universe, and about the nature of the microdynamics, are needed in these derivations. I conclude that while a “Past Hypothesis” about the early Universe does seem necessary to carry out such derivations, that Hypothesis is not correctly understood as a constraint on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  40. Logic for equivocators.David Lewis - 1982 - Noûs 16 (3):431-441.
  41.  10
    Making Monsters: The Uncanny Power of Dehumanization.David Livingstone Smith - 2021 - Harvard University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  42. Understanding animal welfare: the science in its cultural context.David Fraser - 2008 - Ames, Iowa: Wiley-Blackwell.
    Understanding Animal Welfare, 2nd Edition is revised and expanded to incorporate new research and developments in animal welfare. Updated with greater accessibility in mind, the reader is guided through animal welfare in its cultural and historical context, methods of study, and applications in practice and policy. Drawing examples from farm, companion, laboratory and zoo animals, the text provides an up-to-date overview of research and its applications, while also tracing how concepts and methods have evolved over time. Originally intended for scientists (...)
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  43. Why Aren’t I Part of a Whale?David Builes & Caspar Hare - 2023 - Analysis 83 (2):227-234.
    We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  11
    Genethics: Moral Issues in the Creation of People.David Heyd - 1992 - University of California Press.
    Unprecedented advances in medicine, genetic engineering, and demographic forecasting raise new questions that strain the categories and assumptions of traditional ethical theories. Heyd's approach resolves many paradoxes in intergenerational justice, while offering a major test case for the profound problems of the limits of ethics and the nature of value. This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and (...)
    No categories
  45. Mental Causation.David Robb & John Heil - 2008 - Stanford Encyclopedia of Philosophy.
    Worries about mental causation are prominent in contemporary discussions of the mind and human agency. Originally, the problem of mental causation was that of understanding how a mental substance (thought to be immaterial) could interact with a material substance, a body. Most philosophers nowadays repudiate immaterial minds, but the problem of mental causation has not gone away. Instead, focus has shifted to mental properties. How could mental properties be causally relevant to bodily behavior? How could something mental qua mental cause (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  46.  11
    Film Art: An Introduction.David Bordwell & Kristin Thompson - 2009 - McGraw-Hill Humanities/Social Sciences/Languages.
    Film is an art form with a language and an aesthetic all its own. Since 1979, David Bordwell and Kristin Thompson's Film Art has been the best-selling and widely respected introduction to the analysis of cinema. Taking a skills-centered approach supported by a wide range of examples from various periods and countries, the authors strive to help students develop a core set of analytical skills that will deepen their understanding of any film, in any genre. Frame enlargements throughout the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  47. Relevant implication.David Lewis - 1988 - Theoria 54 (3):161-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   138 citations  
  48. Personal Identity.David Shoemaker & Kevin P. Tobia - 2022 - In Manuel Vargas & John Doris (eds.), The Oxford Handbook of Moral Psychology. Oxford, U.K.: Oxford University Press.
    Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  49. The location of pains.David Bain - 2007 - Philosophical Papers 36 (2):171-205.
    Perceptualists say that having a pain in a body part consists in perceiving the part as instantiating some property. I argue that perceptualism makes better sense of the connections between pain location and the experiences undergone by people in pain than three alternative accounts that dispense with perception. Turning to fellow perceptualists, I also reject ways in which David Armstrong and Michael Tye understand and motivate perceptualism, and I propose an alternative interpretation, one that vitiates a pair of objections—due (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  50.  26
    A Philosophical Approach to MOND: Assessing the Milgromian Research Program in Cosmology.David Merritt - 2020 - Cambridge, UK: Cambridge University Press.
    Dark matter is a fundamental component of the standard cosmological model, but in spite of four decades of increasingly sensitive searches, no-one has yet detected a single dark-matter particle in the laboratory. An alternative cosmological paradigm exists: MOND (Modified Newtonian Dynamics). Observations explained in the standard model by postulating dark matter are explained in MOND by proposing a modification of Newton's laws of motion. Both MOND and the standard model have had successes and failures – but only MOND has repeatedly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 976