Switch to: References

Add citations

You must login to add citations.
  1. A Reassessment of Cantorian Abstraction based on the $$\varepsilon $$ ε -operator.Nicola Bonatti - 2022 - Synthese 200 (5):1-26.
    Cantor’s abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor’s proposal based upon the set theoretic framework of Bourbaki—called BK—which is a First-order set theory extended with Hilbert’s \-operator. Moreover, it is argued that the BK system and the \-operator provide a faithful reconstruction of Cantor’s insights on cardinal numbers. I will introduce first (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Authoritative Knowledge.Juan S. Piñeros Glasscock - 2020 - Erkenntnis 87 (5):2475-2502.
    This paper investigates ‘authoritative knowledge’, a neglected species of practical knowledge gained on the basis of exercising practical authority. I argue that, like perceptual knowledge, authoritative knowledge is non-inferential. I then present a broadly reliabilist account of the process by which authority yields knowledge, and use this account to address certain objections.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Arbitrary Grounding.Jonas Werner - 2022 - Philosophical Studies 179 (3):911-931.
    The aim of this paper is to introduce, elucidate and defend the usefulness of a variant of grounding, or metaphysical explanation, that has the feature that the grounds explain of some states of affairs that one of them obtains without explaining which one obtains. I will dub this variant arbitrary grounding. After informally elucidating the basic idea in the first section, I will provide three metaphysical hypotheses that are best formulated in terms of arbitrary grounding in the second section. The (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Making Sense of (in)Determinate Truth: The Semantics of Free Variables.John Cantwell - 2018 - Philosophical Studies 175 (11):2715-2741.
    It is argued that truth value of a sentence containing free variables in a context of use, just as the reference of the free variables concerned, depends on the assumptions and posits given by the context. However, context may under-determine the reference of a free variable and the truth value of sentences in which it occurs. It is argued that in such cases a free variable has indeterminate reference and a sentence in which it occurs may have indeterminate truth value. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Arbitrary Reference, Numbers, and Propositions.Michele Palmira - 2018 - European Journal of Philosophy 26 (3):1069-1085.
    Reductionist realist accounts of certain entities, such as the natural numbers and propositions, have been taken to be fatally undermined by what we may call the problem of arbitrary identification. The problem is that there are multiple and equally adequate reductions of the natural numbers to sets (see Benacerraf, 1965), as well as of propositions to unstructured or structured entities (see, e.g., Bealer, 1998; King, Soames, & Speaks, 2014; Melia, 1992). This paper sets out to solve the problem by canvassing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Modal Meinongianism and Object Theory: A Reply to Bueno and Zalta.Francesco Berto, Filippo Casati, Naoya Fujikawa & Graham Priest - 2020 - Australasian Journal of Logic 17 (1):1.
    We reply to various arguments by Otavio Bueno and Edward Zalta against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds of predication, exemplification and encoding. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Knowing How Things Might Have Been.Mark Jago - 2021 - Synthese 198 (S8):1981-1999.
    I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • A Classification of Improper Inference Rules.Katsumi Sasaki - 2022 - Bulletin of the Section of Logic 51 (2):243-266.
    In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Mental Files.François Recanati - 2012 - Oxford University Press.
    Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...)
    Direct download  
     
    Export citation  
     
    Bookmark   179 citations  
  • The Truth About Sherlock Holmes.Fredrik Haraldsen - 2017 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 24 (3):339-365.
    According to possibilism, or non-actualism, fictional characters are possible individuals. Possibilist accounts of fiction do not only assign the intuitively correct truth-conditions to sentences in a fiction, but has the potential to provide powerful explanatory models for a wide range of phenomena associated with fiction (though these two aspects of possibilism are, I argue, crucially distinct). Apart from the classic defense by David Lewis the idea of modeling fiction in terms of possible worlds have been widely criticized. In this article, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mental Files: An Introduction.Michael Murez & François Recanati - 2016 - Review of Philosophy and Psychology 7 (2):265-281.
  • Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Dedekind and Hilbert on the Foundations of the Deductive Sciences.Ansten Klev - 2011 - Review of Symbolic Logic 4 (4):645-681.
    We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • A Sequent Systems Without Improper Derivations.Katsumi Sasaki - 2022 - Bulletin of the Section of Logic 51 (1):91-108.
    In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are more complicated and are often harder to understand than the proper ones. In the present paper, we distinguish between proper and improper derivations by using sequent systems. Specifically, we introduce a sequent system \ for classical propositional logic with only structural rules, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Minimal Logicism.Francesca Boccuni - 2014 - Philosophia Scientae 18:81-94.
    PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a first-order formulation of Frege's infamous Basic Law V. George Boolos' plural semantics is replaced with Enrico Martino's Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. ACS provides a form of logicism which is radically alternative to Frege's and which is grounded on the existence of (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Ramsification and Semantic Indeterminacy.Hannes Leitgeb - forthcoming - Review of Symbolic Logic:1-51.
    Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Induction, Normality and Reasoning with Arbitrary Objects.Markos Valaris - 2016 - Ratio 29 (4).
    This paper concerns the apparent fact — discussed by Sinan Dogramaci and Brian Weatherson — that inductive reasoning often interacts in disastrous ways with patterns of reasoning that seem perfectly fine in the deductive case. In contrast to Dogramaci's and Weatherson's own suggestions, I argue that these cases show that we cannot reason inductively about arbitrary objects. Moreover, as I argue, this prohibition is neatly explained by a certain hypothesis about the rational basis of inductive reasoning — namely, the hypothesis (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Updating as Communication.Sarah Moss - 2012 - Philosophy and Phenomenological Research 85 (2):225-248.
    Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  • Semantic Sovereignty.Stephen Kearns & Ofra Magidor - 2012 - Philosophy and Phenomenological Research 85 (2):322-350.
  • Subjunctive Credences and Semantic Humility.Sarah Moss - 2013 - Philosophy and Phenomenological Research 87 (2):251-278.
    This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • Indeterminacy and Failure of Grounding.Bahram Assadian & Jonathan Nassim - 2019 - Theoria (4):1.
    Cases of grounding failure present a puzzle for fundamental metaphysics. Typically, solutions are thought to lie either in adding ontology such as haecceities or in re‐describing the cases by means of the ideology of metaphysical indeterminacy. The controversial status of haecceities has led some to favour metaphysical indeterminacy as the way to solve the puzzle. We consider two further treatments of grounding failure each of which, we argue, is a more plausible alternative. As such, the initial dichotomy is a false (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Countability and self-identity.Adrian Heathcote - 2021 - European Journal for Philosophy of Science 11 (4):1-23.
    The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Epistemicism About Vagueness and Meta-Linguistic Safety.Stephen Kearns & Ofra Magidor - 2008 - Philosophical Perspectives 22 (1):277-304.
    The paper challenges Williamson’s safety based explanation for why we cannot know the cut-off point of vague expressions. We assume throughout (most of) the paper that Williamson is correct in saying that vague expressions have sharp cut-off points, but we argue that Williamson’s explanation for why we do not and cannot know these cut-off points is unsatisfactory. -/- In sect 2 we present Williamson's position in some detail. In particular, we note that Williamson's explanation relies on taking a particular safety (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • Thinking About Many.James Openshaw - 2020 - Synthese 199 (1-2):2863-2882.
    The notorious problem of the many makes it difficult to resist the conclusion that almost coincident with any ordinary object are a vast number of near-indiscernible objects. As Unger was aware in his presentation of the problem, this abundance raises a concern as to how—and even whether—we achieve singular thought about ordinary objects. This paper presents, clarifies, and defends a view which reconciles a plenitudinous conception of ordinary objects with our having singular thoughts about those objects. Indeed, this strategy has (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • The Semantic Plights of the Ante-Rem Structuralist.Bahram Assadian - 2018 - Philosophical Studies 175 (12):1-20.
    A version of the permutation argument in the philosophy of mathematics leads to the thesis that mathematical terms, contrary to appearances, are not genuine singular terms referring to individual objects; they are purely schematic or variables. By postulating ‘ante-rem structures’, the ante-rem structuralist aims to defuse the permutation argument and retain the referentiality of mathematical terms. This paper presents two semantic problems for the ante- rem view: (1) ante-rem structures are themselves subject to the permutation argument; (2) the ante-rem structuralist (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Notion of Logical Concept Based on Plural Reference.Carrara Massimiliano & Martino Enrico - 2018 - Acta Analytica 33 (1):19-33.
    In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Structural Relativity and Informal Rigour.Neil Barton - forthcoming - In Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.
    Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Counterfactuals and Arbitrariness.Moritz Schulz - 2014 - Mind 123 (492):1021-1055.
    The pattern of credences we are inclined to assign to counterfactuals challenges standard accounts of counterfactuals. In response to this problem, the paper develops a semantics of counterfactuals in terms of the epsilon-operator. The proposed semantics stays close to the standard account: the epsilon-operator substitutes the universal quantifier present in standard semantics by arbitrarily binding the open world-variable. Various applications of the suggested semantics are explored including, in particular, an explanation of how the puzzling credences in counterfactuals come about.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • The Epsilon-Reconstruction of Theories and Scientific Structuralism.Georg Schiemer & Norbert Gratzl - 2016 - Erkenntnis 81 (2):407-432.
    Rudolf Carnap’s mature work on the logical reconstruction of scientific theories consists of two components. The first is the elimination of the theoretical vocabulary of a theory in terms of its Ramsification. The second is the reintroduction of the theoretical terms through explicit definitions in a language containing an epsilon operator. This paper investigates Carnap’s epsilon-reconstruction of theories in the context of pure mathematics. The main objective here is twofold: first, to specify the epsilon logic underlying his suggested definition of (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Counting the Particles: Entity and Identity in the Philosophy of Physics.Francesco Berto - 2017 - Metaphysica 18 (1).
    I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Metaphysics of Moral Explanations.Daniel Fogal & Olle Risberg - 2020 - Oxford Studies in Metaethics 15.
    It’s commonly held that particular moral facts are explained by ‘natural’ or ‘descriptive’ facts, though there’s disagreement over how such explanations work. We defend the view that general moral principles also play a role in explaining particular moral facts. More specifically, we argue that this view best makes sense of some intuitive data points, including the supervenience of the moral upon the natural. We consider two alternative accounts of the nature and structure of moral principles—’the nomic view’ and ‘moral platonism’—before (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Knowing How Things Might Have Been.Mark Jago - 2018 - Synthese (Suppl 8):1-19.
    I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Generic Structures.Leon Horsten - 2019 - Philosophia Mathematica 27 (3):362-380.
    In this article ideas from Kit Fine’s theory of arbitrary objects are applied to questions regarding mathematical structuralism. I discuss how sui generis mathematical structures can be viewed as generic systems of mathematical objects, where mathematical objects are conceived of as arbitrary objects in Fine’s sense.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Counting Stages.Emmanuel Viebahn - 2013 - Australasian Journal of Philosophy 91 (2):311-324.
    This paper defends stage theory against the argument from diachronic counting. It argues that stage theorists can appeal to quantifier domain restriction in order to accommodate intuitions about diachronic counting sentences. Two approaches involving domain restriction are discussed. According to the first, domains of counting are usually restricted to stages at the time of utterance. This approach explains intuitions in many cases, but is theoretically costly and delivers wrong counts if diachronic counting is combined with fission or fusion. On the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Extraordinary Impossibility of Sherlock Holmes.Ben Caplan - 2016 - Res Philosophica 93 (2):335-355.
    In an addendum to Naming and Necessity, Saul Kripke argues against his earlier view that Sherlock Holmes is a possible person. In this paper, I suggest a nonstandard interpretation of the addendum. A key feature of this non-standard interpretation is that it attempts to make sense of why Kripke would be rejecting the view that Sherlock Holmes is a possible person without asserting that it is not the case that Sherlock Holmes is a possible person.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Counterexample to the Breckenridge-Magidor Account of Instantial Reasoning.Tristan Haze - 2016 - Journal of Philosophical Research 41:539-541.
    In a recent paper, Breckenridge and Magidor argue for an interesting and counterintuitive account of instantial reasoning. According to this account, in arguments such as one beginning with 'There is some x such that x is mortal. Let O be such an x. ...', the 'O' refers to a particular object, although we cannot know which. I give and defend a simple counterexample involving the notion of an unreferred-to object.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to Pick Out a Dragon: Fiction and the Selection Problem.Fredrik Haraldsen - 2020 - Topoi 39 (2):401-412.
    Non-actualist theories promise straightforward accounts of meaning, truth and reference of fictional discourse but are ostensibly saddled with a Selection Problem, that multiple possible candidates satisfy the role-descriptions associated with names used in fictions and no principled way to distinguish between them; yet if names are referential, there can only be one referent. The problem is often taken to be a serious—even decisive—obstacle for non-actualism, and the aim of this article is to show that the challenge can be met. I (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The Problem of Empty Names and Russellian Plenitude.Joshua Spencer - 2016 - Canadian Journal of Philosophy 46 (3):1-18.
    ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
    PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of logicism which is radically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Existential Instantiation, Arbitrary Reference and Supposition.Wylie Breckenridge - manuscript
    Existential instantiation is a rule of inference that allows us infer, from the proposition that there are some p things, the proposition that a is a p thing. What role does 'a' play here? According to one account, recently defended by Breckenridge and Magidor, we use 'a' to refer to a p thing. I argue that this cannot be right. I propose an alternative account, according to which we use 'a' to refer to a supposedly p thing.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Two Types of Indefinites: Hilbert & Russell.Gratzl Norbert & Schiemer Georg - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2).
    This paper compares Hilbert’s -terms and Russell’s approach to indefinite descriptions, Russell’s indefinites for short. Despite the fact that both accounts are usually taken to express indefinite descriptions, there is a number of dissimilarities. Specifically, it can be shown that Russell indefinites - expressed in terms of a logical ρ-operator - are not directly representable in terms of their corresponding -terms. Nevertheless, there are two possible translations of Russell indefinites into epsilon logic. The first one is given in a language (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • An “I” for an I: Singular Terms, Uniqueness, and Reference.Stewart Shapiro - 2012 - Review of Symbolic Logic 5 (3):380-415.
    There is an interesting logical/semantic issue with some mathematical languages and theories. In the language of (pure) complex analysis, the two square roots of i’ manage to pick out a unique object? This is perhaps the most prominent example of the phenomenon, but there are some others. The issue is related to matters concerning the use of definite descriptions and singular pronouns, such as donkey anaphora and the problem of indistinguishable participants. Taking a cue from some work in linguistics and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations