Contents
40 found
Order:
  1. Three Interviews.Miro Brada - manuscript
    To support my Phd theses and results of my grant research in 1999, I asked 1) prominent chemist Antonín Holý, author of substances to treat hepatitis and HIV, about the indivisibility of the art and science (published in Slovak Narodna Obroda and Czech blisty,cz), 2) the distinguished economist William Baumol about the alternative activities (published in Slovak Nove Slovo, Czech Respekt and blisty.cz), 3) Nobel Laureate Clive Granger about the significance of the economics (published in 2004 in Czech weekly Tyden). (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Beall-ing O.Jeremiah Joven Joaquin - forthcoming - Logic and Logical Philosophy:1.
    In “A neglected reply to Prior’s dilemma” Beall [2012] presents a Weak Kleene framework where Prior’s dilemma for Hume’s no-ought-fromis thesis fails. It fails in the framework because addition, the inference rule that one of its horns relies on, is invalid. In this paper, we show that a more general result is necessary for the viability of Beall’s proposal – a result, which implies that Hume’s thesis holds in the proposed framework. We prove this result and thus show that Beall’s (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Hume’s Separability Principle, his Dictum, and their Implications.Graham Clay - 2024 - Mind 133 (530):504-516.
    Hsueh M. Qu has recently argued that Hume’s famed ‘Separability Principle’ from the Treatise entangles him in a contradiction. Qu offers a modified principle as a solution but also argues that the mature Hume would not have needed to avail himself of it, given that Hume’s arguments in the first Enquiry do not depend on this principle in any form. To the contrary, I show that arguments in the first Enquiry depend on this principle, but I agree with Qu that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Abstraction and semantic presuppositions.Bahram Assadian - 2023 - Analysis 15 (3):419-428.
    According to the neo-Fregean abstractionism, numerical expressions of the form ‘the number of Fs’, introduced by Hume’s Principle, should be read as purportedly referential singular terms. I will explore the prospects of a version of abstractionism in which such expressions have presuppositional content, as in Strawson’s account. I will argue that the thesis that ‘the number of Fs’ semantically presupposes the existence of a number is inconsistent with the required ‘modest’ stipulative character of the truth of Hume’s Principle: since Hume’s (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Is, Ought, and Cut.Norbert Gratzl & Edi Pavlović - 2023 - Journal of Philosophical Logic 52 (4):1149-1169.
    In this paper we use proof-theoretic methods, specifically sequent calculi, admissibility of cut within them and the resultant subformula property, to examine a range of philosophically-motivated deontic logics. We show that for all of those logics it is a (meta)theorem that the Special Hume Thesis holds, namely that no purely normative conclusion follows non-trivially from purely descriptive premises (nor vice versa). In addition to its interest on its own, this also illustrates one way in which proof theory sheds light on (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  6. Hume’s Principle, Bad Company, and the Axiom of Choice.Sam Roberts & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (4):1158-1176.
    One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Hume's Incredible Demonstrations.Graham Clay - 2022 - Hume Studies 47 (1):55-77.
    Commentators have rightly focused on the reasons why Hume maintains that the conclusions of skeptical arguments cannot be believed, as well as on the role these arguments play in Hume’s justification of his account of the mind. Nevertheless, Hume’s interpreters should take more seriously the question of whether Hume holds that these arguments are demonstrations. Only if the arguments are demonstrations do they have the requisite status to prove Hume’s point—and justify his confidence—about the nature of the mind’s belief-generating faculties. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. The Bad Company Objection and the Extensionality of Frege’s Logic.Vincenzo Ciccarelli - 2020 - Perspectiva Filosófica 47 (2):231-247.
    According to the Bad Company objection, the fact that Frege’s infamous Basic Law V instantiates the general definitional pattern of higher-order abstraction principles is a good reason to doubt the soundness of this sort of definitions. In this paper I argue against this objection by showing that the definitional pattern of abstraction principles – as extrapolated from §64 of Frege’s Grundlagen– includes an additional requirement (which I call the specificity condition) that is not satisfied by the Basic Law V while (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Hume’o giljotina ir teisinis pozityvizmas.Milda Baltrimienė - 2018 - Problemos 93:154.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Frege's Cardinals Do Not Always Obey Hume's Principle.Gregory Landini - 2017 - History and Philosophy of Logic 38 (2):127-153.
    Hume's Principle, dear to neo-Logicists, maintains that equinumerosity is both necessary and sufficient for sameness of cardinal number. All the same, Whitehead demonstrated in Principia Mathematica's logic of relations that Cantor's power-class theorem entails that Hume's Principle admits of exceptions. Of course, Hume's Principle concerns cardinals and in Principia's ‘no-classes’ theory cardinals are not objects in Frege's sense. But this paper shows that the result applies as well to the theory of cardinal numbers as objects set out in Frege's Grundgesetze. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Generalizing boolos’ theorem.Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (1):80-91.
    It’s well known that it’s possible to extract, from Frege’s Grudgesetze, an interpretation of second-order Peano Arithmetic in the theory  HP2, whose sole axiom is Hume’s principle. What’s less well known is that, in Die Grundlagen Der Arithmetic §82–83 Boolos (2011), George Boolos provided a converse interpretation of HP2 in PA2 . Boolos’ interpretation can be used to show that the Frege’s construction allows for any model of PA2 to be recovered from some model of HP2. So the space (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. In Good Company? On Hume’s Principle and the Assignment of Numbers to Infinite Concepts.Paolo Mancosu - 2015 - Review of Symbolic Logic 8 (2):370-410.
    In a recent article, I have explored the historical, mathematical, and philosophical issues related to the new theory of numerosities. The theory of numerosities provides a context in which to assign numerosities to infinite sets of natural numbers in such a way as to preserve the part-whole principle, namely if a set A is properly included in B then the numerosity of A is strictly less than the numerosity of B. Numerosities assignments differ from the standard assignment of size provided (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. The Concept of Body in Hume’s Treatise.Miren Boehm - 2013 - ProtoSociology:206-220.
    Hume’s views concerning the existence of body or external objects are notoriously difficult and intractable. The paper sheds light on the concept of body in Hume’s Treatise by defending three theses. First, that Hume’s fundamental tenet that the only objects that are present to the mind are perceptions must be understood as methodological, rather than metaphysical or epistemological. Second, that Hume considers legitimate the fundamental assumption of natural philosophy that through experience and observation we know body. Third, that many of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Certainty, Necessity, and Knowledge in Hume's Treatise (The editor of the collection accidentally published penultimate drafts. The version in Philpapers is the final draft--please use the final draft.).Miren Boehm - 2013 - In Stanley Tweyman (ed.), David Hume: A Tercentenary Tribute. Ann Arbor, Michigan: Caravan Books.
    Hume appeals to different kinds of certainties and necessities in the Treatise. He contrasts the certainty that arises from intuition and demonstrative reasoning with the certainty that arises from causal reasoning. He denies that the causal maxim is absolutely or metaphysically necessary, but he nonetheless takes the causal maxim and ‘proofs’ to be necessary. The focus of this paper is the certainty and necessity involved in Hume’s concept of knowledge. I defend the view that intuitive certainty, in particular, is certainty (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Hume's Foundational Project in the Treatise.Miren Boehm - 2013 - European Journal of Philosophy.
    In the Introduction to the Treatise Hume very enthusiastically announces his project to provide a secure and solid foundation for the sciences by grounding them on his science of man. And Hume indicates in the Abstract that he carries out this project in the Treatise. But most interpreters do not believe that Hume's project comes to fruition. In this paper, I offer a general reading of what I call Hume's ‘foundational project’ in the Treatise, but I focus especially on Book (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  16. Filling the Gaps in Hume’s Vacuums.Miren Boehm - 2012 - Hume Studies 38 (1):79-99.
    The paper addresses two difficulties that arise in Treatise 1.2.5. First, Hume appears to be inconsistent when he denies that we have an idea of a vacuum or empty space yet allows for the idea of an “invisible and intangible distance.” My solution to this difficulty is to develop the overlooked possibility that Hume does not take the invisible and intangible distance to be a distance at all. Second, although Hume denies that we have an idea of a vacuum, some (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17. Hume’s principle, beginnings.Albert Visser - 2011 - Review of Symbolic Logic 4 (1):114-129.
    In this note we derive Robinson???s Arithmetic from Hume???s Principle in the context of very weak theories of classes and relations.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18. Comments on 'Hume's Master Argument'.Charles Pigden - 2010 - In Hume on Is and Ought. New York: Palgrave-Macmillan. pp. 128-142.
    This is a commentary on Adrian Heathcote’s interesting paper ‘Hume’s Master Argument’. Heathcote contends that No-Ought-From-Is is primarily a logical thesis, a ban on Is/Ought inferences which Hume derives from the logic of Ockham. NOFI is thus a variation on what Heathcote calls ‘Hume’s Master Argument’, which he also deploys to prove that conclusions about the future (and therefore a-temporal generalizations) cannot be derived by reason from premises about the past, and that conclusions about external objects or other minds cannot (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Hume’s Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.Matthias Schirn - 2006 - Synthese 148 (1):171-227.
    In this paper, I shall discuss several topics related to Frege's paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege's notion of evidence and its interpretation by Jeshion, the introduction (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Hume’s Reason. [REVIEW]Lorne Falkenstein - 2003 - Philosophy and Phenomenological Research 67 (1):233-236.
    In this significant contribution to the history of logic and exemplary work of contextual exegesis, David Owen shows that the early modern conception of reasoning was radically different from our own and applies this insight to the interpretation of Hume. We take the conclusions of deductive arguments to be entailed by premises in virtue of the form of those arguments. But early modern philosophers had a non-formal view of reasoning, dictated by the “way of ideas.” Owen maintains that we must (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Hume = small Hume.Jeffrey Ketland - 2002 - Analysis 62 (1):92–93.
    We can modify Hume’s Principle in the same manner that George Boolos suggested for modifying Frege’s Basic Law V. This leads to the principle Small Hume. Then, we can show that Small Hume is interderivable with Hume’s Principle.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. A Humean Temporal Logic.Donald L. M. Baxter - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6 (Analytic Philosophy and Logic):209-216.
    Hume argues that the idea of duration is just the idea of the manner in which several things in succession are arrayed. In other words, the idea of duration is the idea of successiveness. He concludes that all and only successions have duration. Hume also argues that there is such a thing as a steadfast object—something which co-exists with many things in succession, but which is not itself a succession. Thus, it seems that Hume has committed himself to a contradiction: (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Why, in 1902, wasn't Frege prepared to accept Hume's Principle as the Primitive Law for his Logicist Program?Kazuyuki Nomoto - 2000 - Annals of the Japan Association for Philosophy of Science 9 (5):219-230.
  24. The Is-Ought Problem: An Investigation in Philosophical Logic.G. Schurz - 2000 - Studia Logica 65 (3):432-434.
    Remove from this list  
     
    Export citation  
     
    Bookmark   36 citations  
  25. Is Hume's principle analytic?Crispin Wright - 1999 - Notre Dame Journal of Formal Logic 40 (1):307-333.
    This paper is a reply to George Boolos's three papers (Boolos (1987a, 1987b, 1990a)) concerned with the status of Hume's Principle. Five independent worries of Boolos concerning the status of Hume's Principle as an analytic truth are identified and discussed. Firstly, the ontogical concern about the commitments of Hume's Principle. Secondly, whether Hume's Principle is in fact consistent and whether the commitment to the universal number by adopting Hume's Principle might be problematic. Also the so-called `surplus content' worry is discussed, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  26. Hume's inductive logic.Alberto Mura - 1998 - Synthese 115 (3):303-331.
    This paper presents a new account of Hume’s “probability of causes”. There are two main results attained in this investigation. The first, and perhaps the most significant, is that Hume developed – albeit informally – an essentially sound system of probabilistic inductive logic that turns out to be a powerful forerunner of Carnap’s systems. The Humean set of principles include, along with rules that turn out to be new for us, well known Carnapian principles, such as the axioms of semiregularity, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. (1 other version)Is Hume's Principle Analytic?George Boolos - 1997 - In Richard G. Heck (ed.), Language, thought, and logic: essays in honour of Michael Dummett. New York: Oxford University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   13 citations  
  28. 'Is', 'Ought' and the Voluntaristic Fallacy.Oswald Hanfling - 1997 - Philosophy 72 (282):537 - 548.
    The view that ‘ought’ cannot be deduced from ‘is’, credited to Hume as a major insight into the nature of morality, is surprisingly easy to refute. What they are doing is evil. Therefore, they ought not to do it. Here we have a case of deducing ‘ought’ from ‘is’. The conclusion follows, because ‘ought not’ is analytic to ‘evil’. ‘Ah, but that's just what is wrong with the example: the premise is not a pure “is”; it contains an “ought”, though (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  29. Finitude and Hume’s Principle.Richard G. Heck - 1997 - Journal of Philosophical Logic 26 (6):589-617.
    The paper formulates and proves a strengthening of ‘Frege’s Theorem’, which states that axioms for second-order arithmetic are derivable in second-order logic from Hume’s Principle, which itself says that the number of Fs is the same as the number ofGs just in case the Fs and Gs are equinumerous. The improvement consists in restricting this claim to finite concepts, so that nothing is claimed about the circumstances under which infinite concepts have the same number. ‘Finite Hume’s Principle’ also suffices for (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  30. Axiom V and Hume's principle in Frege's foundational project.Matthias Schirn - 1995 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 30 (66):7-20.
  31. How far can Hume is-ought thesis be generalized,(vol 20, pg 37, 1991).G. Schurz - 1995 - Journal of Philosophical Logic 24 (6):667-668.
  32. (1 other version)The Contemporary Interest of an Old Doctrine.William Demopoulos - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:209 - 216.
    We call Frege's discovery that, in the context of second-order logic, Hume's principle-viz., The number of Fs = the number of Gs if, and only if, F a G, where F a G (the Fs and the Gs are in one-to-one correspondence) has its usual, second-order, explicit definition-implies the infinity of the natural numbers, Frege's theorem. We discuss whether this theorem can be marshalled in support of a possibly revised formulation of Frege's logicism.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. Tesi di Hume e sistemi di logica deontica.Sergio Galvan - 1988 - Epistemologia 11 (2):183.
  34. Hume on Deduction.Charles Echelbarger - 1987 - Philosophy Research Archives 13:351-365.
    In this paper, the author discusses the feasibility of constructing a Humean model of the psychological realities of categorical propositions and syllogistic deduction by employing only Hume’s kinds of “ideas” and kinds of mental operations on ideas which Hume explicitly or implicitly postulated in his theory of discursive thinking.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Hume's "Dialectic".Dorothy P. Coleman - 1984 - Hume Studies 10 (2):139-155.
    In lieu of an abstract, here is a brief excerpt of the content:139 HUME'S "DIALECTIC" Hume's treatment of contradiction in his discussion of external existence has generally been understood to resemble the Pyrrhonian model of dialectic; consequently, Hume has been viewed as a sceptic and an irrationalist. According to that model of dialectic, the sceptic, by showing that equally strong arguments can be constructed both for and against a proposition, raises doubts about the ability of reason to determine the truth (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. What is Hume's Doctrine of Negation.Robert W. Burch - 1976 - International Logic Review 7:236-242.
  37. Hume on Intuitive and Demonstrative Inference.Robert A. Imlay - 1975 - Hume Studies 1 (2):31-47.
    In lieu of an abstract, here is a brief excerpt of the content:31 Hunie on Intuitive and Demonstrative Inference This paper is divided into four sections. The first section deals with Hume's attempt to resolve a dilemma concerning the objects of intuitive and demonstrative inference. In the second section I try to show that his resolution of the dilemma is hard to reconcile with his phenomenalist doctrine of the origin of ideas. In the third section I examine tne meaning of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Hume's Law.G. R. Grice & R. Edgley - 1970 - Aristotelian Society Supplementary Volume 44 (1):89-120.
  39. Hume, precursor of modern empiricism: an analysis of his opinions on meaning, metaphysics, logic, and mathematics.Farhang Zabeeh - 1960 - The Hague,: M. Nijhoff.
    David Hume is the most influential precursor of modern empiri cism. By modern empiricism, I intend a belief that all cognitive conflicts can be resolved, in principle, by either appeal to matters offact, via scientific procedure, or by appeal to some sets of natural or conventional standards, whether linguistic, mathematical, aes thetic or political. This belief itself is a consequent of an old appre hension that all synthetic knowledge is based on experience, and that the rest can be reduced to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Considerations on neo-Fregean ontology.Nikolaj Jang Lee Linding Pedersen - unknown
    i.e. for any concepts X and Y, the number of X’s and the number of Y’s are identical if and only if there is a 1-1 correspondence between X and Y.1 The central claim of neo- Fregeanism with respect to arithmetic is that arithmetical knowledge can be obtained a priori through Frege’s Theorem, the result that the axioms of arithmetic are derivable in the system obtained by adding Hume’s Principle to second-order logic.
    Remove from this list  
     
    Export citation  
     
    Bookmark