Switch to: References

Citations of:

Frege's conception of numbers as objects

[Aberdeen]: Aberdeen University Press (1983)

Add citations

You must login to add citations.
  1. Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.
    Download  
     
    Export citation  
     
    Bookmark   742 citations  
  • The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.
    The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Reference to numbers in natural language.Friederike Moltmann - 2013 - Philosophical Studies 162 (3):499 - 536.
    A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...)
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • The metaphysics of natural kinds.Alexander Bird - 2018 - Synthese 195 (4):1397-1426.
    This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Plural quantification exposed.Øystein Linnebo - 2003 - Noûs 37 (1):71–92.
    This paper criticizes George Boolos's famous use of plural quantification to argue that monadic second-order logic is pure logic. I deny that plural quantification qualifies as pure logic and express serious misgivings about its alleged ontological innocence. My argument is based on an examination of what is involved in our understanding of the impredicative plural comprehension schema.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • (3 other versions)Natural Language Ontology.Friederike Moltmann - 2017 - Oxford Encyclopedia of Linguistics.
    The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Can disjunctivists explain our access to the sensible world?Adam Pautz - 2011 - Philosophical Issues 21 (1):384-433.
    Develops an empirical argument against naive realism-disjunctivism: if naive realists accept "internal dependence", then they cannot explain the evolution of perceptual success. Also presents a puzzle about our knowledge of universals.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Relativity and the Causal Efficacy of Abstract Objects.Tim Juvshik - 2020 - American Philosophical Quarterly 57 (3):269-282.
    Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Neo-fregeanism and quantifier variance.Theodore Sider - 2007 - Aristotelian Society Supplementary Volume 81 (1):201–232.
    NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • The Sense-Data Language and External World Skepticism.Jared Warren - 2024 - In Uriah Kriegel (ed.), Oxford Studies in Philosophy of Mind Vol 4. Oxford University Press.
    We face reality presented with the data of conscious experience and nothing else. The project of early modern philosophy was to build a complete theory of the world from this starting point, with no cheating. Crucial to this starting point is the data of conscious sensory experience – sense data. Attempts to avoid this project often argue that the very idea of sense data is confused. But the sense-data way of talking, the sense-data language, can be freed from every blemish (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical constants.John MacFarlane - 2008 - Mind.
    Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Contingentism in Metaphysics.Kristie Miller - 2010 - Philosophy Compass 5 (11):965-977.
    In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Linguistic convention and worldly fact: Prospects for a naturalist theory of the a priori.Brett Topey - 2019 - Philosophical Studies 176 (7):1725-1752.
    Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Metasemantic Challenge for Mathematical Determinacy.Jared Warren & Daniel Waxman - 2020 - Synthese 197 (2):477-495.
    This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics. From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate, motivate two important constraints on attempts to meet our challenge, and then use these constraints to develop an argument against determinacy and discuss a particularly popular approach (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Reals by Abstraction.Bob Hale - 2000 - Philosophia Mathematica 8 (2):100--123.
    On the neo-Fregean approach to the foundations of mathematics, elementary arithmetic is analytic in the sense that the addition of a principle wliich may be held to IMJ explanatory of the concept of cardinal number to a suitable second-order logical basis suffices for the derivation of its basic laws. This principle, now commonly called Hume's principle, is an example of a Fregean abstraction principle. In this paper, I assume the correctness of the neo-Fregean position on elementary aritlunetic and seek to (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Assertion, knowledge and predictions.Matthew A. Benton - 2012 - Analysis 72 (1):102-105.
    John N. Williams (1994) and Matthew Weiner (2005) invoke predictions in order to undermine the normative relevance of knowledge for assertions; in particular, Weiner argues, predictions are important counterexamples to the Knowledge Account of Assertion (KAA). I argue here that they are not true counterexamples at all, a point that can be agreed upon even by those who reject KAA.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
    Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
    The paper starts with an examination and critique of Tarski’s wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is invariant with respect to arbitrary permutations of the domain. The class of such operations has been characterized by McGee as exactly those definable in the language L∞,∞. Also characterized similarly is a natural generalization of Tarski’s thesis, due to Sher, in terms of bijections between domains. My main (...)
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • ‘Just is’-Statements as Generalized Identities.Øystein Linnebo - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (4):466-482.
    Identity is ordinarily taken to be a relation defined on all and only objects. This consensus is challenged by Agustín Rayo, who seeks to develop an analogue of the identity sign that can be flanked by sentences. This paper is a critical exploration of the attempted generalization. First the desired generalization is clarified and analyzed. Then it is argued that there is no notion of content that does the desired philosophical job, namely ensure that necessarily equivalent sentences coincide in this (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The meaning of 'most': Semantics, numerosity and psychology.Paul Pietroski, Jeffrey Lidz, Tim Hunter & Justin Halberda - 2009 - Mind and Language 24 (5):554-585.
    The meaning of 'most' can be described in many ways. We offer a framework for distinguishing semantic descriptions, interpreted as psychological hypotheses that go beyond claims about sentential truth conditions, and an experiment that tells against an attractive idea: 'most' is understood in terms of one-to-one correspondence. Adults evaluated 'Most of the dots are yellow', as true or false, on many trials in which yellow dots and blue dots were displayed for 200 ms. Displays manipulated the ease of using a (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Quantification and realism.Michael Glanzberg - 2004 - Philosophy and Phenomenological Research 69 (3):541–572.
    This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Events, tropes, and truthmaking.Friederike Moltmann - 2007 - Philosophical Studies 134 (3):363-403.
    Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • The good, the bad and the ugly.Philip Ebert & Stewart Shapiro - 2009 - Synthese 170 (3):415-441.
    This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the "Scottish" neo-logicist school, present a generic form (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Ontological Commitment.Phillip Bricker - 2014 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Of Numbers and Electrons.Cian Dorr - 2010 - Proceedings of the Aristotelian Society 110 (2pt2):133-181.
    According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Hale and Wright on the Metaontology of Neo-Fregeanism.Matti Eklund - 2016 - In Philip A. Ebert & Marcus Rossberg (eds.), Abstractionism: Essays in Philosophy of Mathematics. Oxford, England: Oxford University Press UK.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • From numerical concepts to concepts of number.Lance J. Rips, Amber Bloomfield & Jennifer Asmuth - 2008 - Behavioral and Brain Sciences 31 (6):623-642.
    Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Knowing the intuition and knowing the counterfactual.Jonathan Ichikawa - 2009 - Philosophical Studies 145 (3):435 - 443.
    I criticize Timothy Williamson's characterization of thought experiments on which the central judgments are judgments of contingent counterfactuals. The fragility of these counterfactuals makes them too easily false, and too difficult to know.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Aristotle's Theory of Abstraction.Allan Bäck - 2014 - Cham, Switzerland: Springer.
    This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Epistemological objections to platonism.David Liggins - 2010 - Philosophy Compass 5 (1):67-77.
    Many philosophers posit abstract entities – where something is abstract if it is acausal and lacks spatio-temporal location. Theories, types, characteristics, meanings, values and responsibilities are all good candidates for abstractness. Such things raise an epistemological puzzle: if they are abstract, then how can we have any epistemic access to how they are? If they are invisible, intangible and never make anything happen, then how can we ever discover anything about them? In this article, I critically examine epistemological objections to (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Analyticity.Tom Donaldson - 2020 - In Michael J. Raven (ed.), The Routledge Handbook of Metaphysical Grounding. New York: Routledge. pp. 288-299.
    I consider the claim that analytic statements are "true in virtue meaning", giving the claim a ground-theoretic interpretation.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Specifying Truth-Conditions.Agustín Rayo - 2008 - Philosophical Review 117 (3):385-443.
    This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Identity in Fiction.Richard Woodward - 2017 - Philosophy and Phenomenological Research 94 (3):646-671.
    Anthony Everett () argues that those who embrace the reality of fictional entities run into trouble when it comes to specifying criteria of character identity. More specifically, he argues that realists must reject natural principles governing the identity and distinctness of fictional characters due to the existence of fictions which leave it indeterminate whether certain characters are identical and the existence of fictions which say inconsistent things about the identities of their characters. Everett's critique has deservedly drawn much attention and (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Structuralist Neologicism†.Francesca Boccuni & Jack Woods - 2020 - Philosophia Mathematica 28 (3):296-316.
    Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A Metaphysical Puzzle for Neo‐Fregean Abstractionists.Thomas Donaldson - 2023 - Theoria 89 (3):266-279.
    We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Believing in things.Zoltán Gendler Szabó - 2003 - Philosophy and Phenomenological Research 66 (3):584–611.
    I argue against the standard view that ontological debates can be fully described as disagreements about what we should believe to exist. The central thesis of the paper is that believing in Fs in the ontologically relevant sense requires more than merely believing that Fs exist. Believing in Fs is not even a propositional attitude; it is rather an attitude one bears to the term expressed by 'Fs'. The representational correctness of such a belief requires not only that there be (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Degree structure as trope structure: a trope-based analysis of positive and comparative adjectives.Friederike Moltmann - 2009 - Linguistics and Philosophy 32 (1):51-94.
    This paper explores a novel analysis of adjectives in the comparative and the positive based on the notion of a trope, rather than the notion of a degree. Tropes are particularized properties, concrete manifestations of properties in individuals. The point of departure is that a sentence like ‘John is happier than Mary’ is intuitively equivalent to ‘John’s happiness exceeds Mary’s happiness’, a sentence that expresses a simple comparison between two tropes, John’s happiness and Mary’s happiness. The analysis received particular support (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Where do the natural numbers come from?Harold T. Hodes - 1983 - Synthese 84 (3):347-407.
    This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege"s Grundgesetze in Object Theory.Edward N. Zalta - 1999 - Journal of Philosophical Logic 28 (6):619-660.
    In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • .Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • ‘Neo-logicist‘ logic is not epistemically innocent.Stewart Shapiro & Alan Weir - 2000 - Philosophia Mathematica 8 (2):160--189.
    The neo-logicist argues tliat standard mathematics can be derived by purely logical means from abstraction principles—such as Hume's Principle— which are held to lie 'epistcmically innocent'. We show that the second-order axiom of comprehension applied to non-instantiated properties and the standard first-order existential instantiation and universal elimination principles are essential for the derivation of key results, specifically a theorem of infinity, but have not been shown to be epistemically innocent. We conclude that the epistemic innocence of mathematics has not been (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Composition as Abstraction.Jeffrey Sanford Russell - 2017 - Journal of Philosophy 114 (9):453-470.
    The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A functionalist theory of properties.Ann Whittle - 2008 - Philosophy and Phenomenological Research 77 (1):59-82.
    I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • (1 other version)Focus restored: Comments on John MacFarlane.Bob Hale & Crispin Wright - 2009 - Synthese 170 (3):457 - 482.
    In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Geometry and generality in Frege's philosophy of arithmetic.Jamie Tappenden - 1995 - Synthese 102 (3):319 - 361.
    This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Introduction.Øystein Linnebo - 2009 - Synthese 170 (3):321-329.
    Neo-Fregean logicism seeks to base mathematics on abstraction principles. But the acceptable abstraction principles are surrounded by unacceptable ones. This is the "bad company problem." In this introduction I first provide a brief historical overview of the problem. Then I outline the main responses that are currently being debated. In the course of doing so I provide summaries of the contributions to this special issue.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Arithmaetical platonism: Reliability and judgement-dependence.John Divers & Alexander Miller - 1999 - Philosophical Studies 95 (3):277-310.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Hale on caesar.Peter Sullivan & Michael Potter - 1997 - Philosophia Mathematica 5 (2):135--52.
    Crispin Wright and Bob Hale have defended the strategy of defining the natural numbers contextually against the objection which led Frege himself to reject it, namely the so-called ‘Julius Caesar problem’. To do this they have formulated principles (called sortal inclusion principles) designed to ensure that numbers are distinct from any objects, such as persons, a proper grasp of which could not be afforded by the contextual definition. We discuss whether either Hale or Wright has provided independent motivation for a (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • (1 other version)Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 65-82.
    This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations