Switch to: References

Add citations

You must login to add citations.
  1. Higher-Order Metaphysics in Frege and Russell.Kevin C. Klement - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 355-377.
    This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Russell on Ontological Fundamentality and Existence.Kevin C. Klement - 2018 - In Landon D. C. Elkind & Gregory Landini (eds.), The Philosophy of Logical Atomism: A Centenary Reappraisal. New York, NY, USA: Palgrave Macmillan. pp. 155–79.
    Russell is often taken as a forerunner of the Quinean position that “to be is to be the value of a bound variable”, whereupon the ontological commitment of a theory is given by what it quantifies over. Among other reasons, Russell was among the first to suggest that all existence statements should be analyzed by means of existential quantification. That there was more to Russell’s metaphysics than what existential quantifications come out as true is obvious in the earlier period where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Russell’s theories of judgement.Ryo Ito - 2019 - British Journal for the History of Philosophy 28 (1):112-133.
    This paper is an attempt to explain why Russell abandoned the ontology of propositions, mind-independent complex entities that are possible objects of judgements. I argue that he did so not because of any decisive argument but because he found it better to endorse the existential account of truth, according to which a judgement is true if and only if there exists (or in his view subsists) a corresponding fact. In order to endorse this account, he had examined various theories of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Generic Russellian Elimination of Abstract Objects.Kevin C. Klement - 2017 - Philosophia Mathematica 25 (1):91-115.
    In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The paradoxes and Russell's theory of incomplete symbols.Kevin C. Klement - 2014 - Philosophical Studies 169 (2):183-207.
    Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The philosophy of logic.Penelope Maddy - 2012 - Bulletin of Symbolic Logic 18 (4):481-504.
    This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Structured Propositions in a Generative Grammar.Bryan Pickel - 2019 - Mind (510):329-366.
    Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
    This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.
    The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Reply to critics of the analytic tradition in philosophy vol. 1 the founding giants.Scott Soames - 2015 - Philosophical Studies 172 (6):1681-1696.
    Reply to Beaney: the closing of the historical mindIn his comments, Michael Beaney sets himself up as the arbiter of what is genuine history and what isn’t. While celebrating the outpouring of specialized scholarship on Frege, he has no patience with the enterprise outlined in the Précis, which attempts to construct a large-scale picture of the richness of the analytic tradition. That enterprise is one in which great figures of our recent past are challenged by aspects of contemporary thought, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Russell on Incomplete Symbols.Bryan Pickel - 2013 - Philosophy Compass 8 (10):909-923.
    Russell's notion of an incomplete symbol has become a standard against which philosophers compare their views on the relationship between language and the world. But Russell's exact characterization of incomplete symbols and the role they play in his philosophy are still disputed. In this paper, I trace the development of the notion of an incomplete symbol in Russell's philosophy. I suggest – against Kaplan, Evans, and others – that Russell's many characterizations of the notion of an incomplete symbol are compatible. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations