Difference Between Sense and Reference
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Reference and Sense
REFERENCE AND SENSE y two distinct ways of talking about the meaning of words y tlkitalking of SENSE=deali ng with relationshippggs inside language y talking of REFERENCE=dealing with reltilations hips bbtetween l. and the world y by means of reference a speaker indicates which things (including persons) are being talked about ege.g. My son is in the beech tree. II identifies persons identifies things y REFERENCE-relationship between the Enggplish expression ‘this p pgage’ and the thing you can hold between your finger and thumb (part of the world) y your left ear is the REFERENT of the phrase ‘your left ear’ while REFERENCE is the relationship between parts of a l. and things outside the l. y The same expression can be used to refer to different things- there are as many potential referents for the phrase ‘your left ear’ as there are pppeople in the world with left ears Many expressions can have VARIABLE REFERENCE y There are cases of expressions which in normal everyday conversation never refer to different things, i.e. which in most everyday situations that one can envisage have CONSTANT REFERENCE. y However, there is very little constancy of reference in l. Almost all of the fixing of reference comes from the context in which expressions are used. y Two different expressions can have the same referent class ica l example: ‘the MiMorning St’Star’ and ‘the Evening Star’ to refer to the planet Venus y SENSE of an expression is its place in a system of semantic relati onshi ps wit h other expressions in the l. -
Two-Dimensionalism: Semantics and Metasemantics
Two-Dimensionalism: Semantics and Metasemantics YEUNG, \y,ang -C-hun ...:' . '",~ ... ~ .. A Thesis Submitted in Partial Fulfilment of the Requirements for the Degree of Master of Philosophy In Philosophy The Chinese University of Hong Kong January 2010 Abstract of thesis entitled: Two-Dimensionalism: Semantics and Metasemantics Submitted by YEUNG, Wang Chun for the degree of Master of Philosophy at the Chinese University of Hong Kong in July 2009 This ,thesis investigates problems surrounding the lively debate about how Kripke's examples of necessary a posteriori truths and contingent a priori truths should be explained. Two-dimensionalism is a recent development that offers a non-reductive analysis of such truths. The semantic interpretation of two-dimensionalism, proposed by Jackson and Chalmers, has certain 'descriptive' elements, which can be articulated in terms of the following three claims: (a) names and natural kind terms are reference-fixed by some associated properties, (b) these properties are known a priori by every competent speaker, and (c) these properties reflect the cognitive significance of sentences containing such terms. In this thesis, I argue against two arguments directed at such 'descriptive' elements, namely, The Argument from Ignorance and Error ('AlE'), and The Argument from Variability ('AV'). I thereby suggest that reference-fixing properties belong to the semantics of names and natural kind terms, and not to their metasemantics. Chapter 1 is a survey of some central notions related to the debate between descriptivism and direct reference theory, e.g. sense, reference, and rigidity. Chapter 2 outlines the two-dimensional approach and introduces the va~ieties of interpretations 11 of the two-dimensional framework. -
Gottlob Frege: on Sense and Reference Professor Jeeloo Liu [Introduction]
Phil/Ling 375: Meaning and Mind [Handout #13] Gottlob Frege: On Sense and Reference Professor JeeLoo Liu [Introduction] I. Language and the World ___ How does language depict reality? Does reality have the same structure as the structure of language? For instance, the basic linguistic structure is a subject and a predicate, and the basic structure of the world is a particular and a universal (e.g. “Socrates is wise”). The subject usually is something of the world and we describe some property it has or does not have. A is F is true is A is really F, is false when A is not F. II. Different Elements of Language Singular terms: Terms that designate particular things Proper names Indexicals: now, today, here, I… Demonstratives: that, this… Pronouns (singular): he, she,… Definite descriptions (the so-and-so): Indefinite (singular) descriptions (a so-and-so) General terms: Terms that designate a kind of things or a certain property Mass nouns ___ natural kind terms (‘water,’ ‘tiger,’ ‘lemon’) ___ non-natural kind terms (‘bachelor’, ‘contract,’ ‘chair’) Adjectives (predicates): colors, shapes, etc. III. Traditional Theories of Meaning Prior to Frege [A] The Ideational Theory ___ The meaning of a linguistic expression is the speaker’s idea that is associated with the expression. [B] Mill’s Theory [the Object Theory] ___ The meaning of a singular term is the thing designated by that term; ___ the meaning of a name is just what the name stands for; the name does not have any other meaning e.g. ‘Socrates’ means Socrates e.g. ‘Dartmouth’ e.g. -
A General Framework for the Semantics of Type Theory
A General Framework for the Semantics of Type Theory Taichi Uemura November 14, 2019 Abstract We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L¨oftype theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory: every type theory has a bi-initial model; every model of a type theory has its internal language; the category of theories over a type theory is bi-equivalent to a full sub-2-category of the 2-category of models of the type theory. 1 Introduction One of the key steps in the semantics of type theory and logic is to estab- lish a correspondence between theories and models. Every theory generates a model called its syntactic model, and every model has a theory called its internal language. Classical examples are: simply typed λ-calculi and cartesian closed categories (Lambek and Scott 1986); extensional Martin-L¨oftheories and locally cartesian closed categories (Seely 1984); first-order theories and hyperdoctrines (Seely 1983); higher-order theories and elementary toposes (Lambek and Scott 1986). Recently, homotopy type theory (The Univalent Foundations Program 2013) is expected to provide an internal language for what should be called \el- ementary (1; 1)-toposes". As a first step, Kapulkin and Szumio (2019) showed that there is an equivalence between dependent type theories with intensional identity types and finitely complete (1; 1)-categories. As there exist correspondences between theories and models for almost all arXiv:1904.04097v2 [math.CT] 13 Nov 2019 type theories and logics, it is natural to ask if one can define a general notion of a type theory or logic and establish correspondences between theories and models uniformly. -
Epistemic Two-Dimensionalism and the Epistemic Argument
Epistemic two-dimensionalism and the epistemic argument Jeff Speaks November 12, 2008 Abstract. One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain a posteriori propositions expressed by sentences involving names as a priori. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two- dimensional semantics attractive as a kind of successor theory. Because two- dimensionalism needn't be a form of descriptivism, it is not open to the epis- temic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a close relative of that argument. One of Kripke's most powerful objections to the descriptivist theory of names he considered in Naming & Necessity was that the theory misclassifies the propositions expressed by certain sentences as a priori. For example, Kripke pointed out that the proposition expressed by a sentence of the form [1] If n exists, then n is F . will be, in the standard case, a posteriori. But according to the simplest version of descriptivism, the propositions expressed by sentences of the form of [1] just are the propositions expressed by the corresponding instances of [2] If the F exists, then the F is F . which seem clearly to be a priori truths. But even if many were convinced that Kripke's arguments discredited the descrip- tivist theories he considered, many were not satisfied by the Millian alternative to descriptivism. Many such philosophers take it to be a constraint on a theory of names that it capture the perceived explanatory advantages of descriptivism | including its account of the problems of empty names and of apparent substitution failures of coreferential names in attitude ascriptions | while avoiding Kripke's arguments against classical descriptivism. -
Frege's Theory of Sense
Frege’s theory of sense Jeff Speaks August 25, 2011 1. Three arguments that there must be more to meaning than reference ............................1 1.1. Frege’s puzzle about identity sentences 1.2. Understanding and knowledge of reference 1.3. Opaque contexts 2. The theoretical roles of senses .........................................................................................4 2.1. Frege’s criterion for distinctness of sense 2.2. Sense determines reference, but not the reverse 2.3. Indirect reference 2.4. Sense, force, and the theory of speech acts 3. What are senses? .............................................................................................................6 We have now seen how a theory of reference — a theory that assigns to each expression of the language a reference, which is what it contributes to determining the truth or falsity of sentences in which it occurs — might look for a fragment of English. (The fragment of English includes proper names, n-place predicates, and quantifiers.) We now turn to Frege’s reasons for thinking that a theory of reference must be supplemented with a theory of sense. 1. THREE ARGUMENTS THAT THERE MUST BE MORE TO MEANING THAN REFERENCE 1.1. Frege’s puzzle about identity sentences As Frege says at the outset of “On sense and reference,” identity “gives rise to challenging questions which are not altogether easy to answer.” The puzzle raised by identity sentences is that, if, even though “the morning star” and “the evening star” have the same reference — the planet Venus — the sentences [1] The morning star is the morning star. [2] The morning star is the evening star. seem quite different. They seem, as Frege says, to differ in “cognitive value.” [1] is trivial and a priori; whereas [2] seems a posteriori, and could express a valuable extension of knowledge — it, unlike [1], seems to express an astronomical discovery which took substantial empirical work to make. -
Names, Descriptions, and Pragmatics
H I LL IN I S UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN PRODUCTION NOTE University of Illinois at Urbana-Champaign Library Large-scale Digitization Project, 2007. 3-2~/= b T i T E C HR NE Technical Report No. 7 I cP Names, Descriptions, and Pragmatics I A 0 Andrew Ortony LR T February 1976 S LABORATORY for COGNITIVE STUDIES THE LWIRARY OF THE in OCT 7 1981 EDUCATION UNIVLK,'I l ur ILLINUIS AT U TA o•A 'PAIGN "c~c~nell,uWi0 lo/4oY4 inCa w/&t(anal%-IAan6 amyan Technical Report No. 7 Names, Descriptions, and Pragmatics I Andrew Ortony February 1976 University of Illinois Laboratory for Cognitive Studies in Education 236 Education Building Urbana, Illinois 61801 The research described herein was supported in part by the National Institute of Education under Grant No. HEW NIE-G-74-0007. A reasonable expectation of a fully-fledged theory of reference in natural language would be that it provide at least a basis for determining, in any particular occurrence of a referring expression, a name or descrip- tion, what function that referring expression is being used to perform. No theory is able to determine whether (1) is true or false, even given the truth of (2) and (3). (1) Oedipus wanted to marry his mother. (2) Oedipus wanted to marry Jocasta. (3) Jocasta was the mother of Oedipus. Now the reason that no theory can determine whether (1) is entailed by the conjunction of (2) and (3) is that the description "his mother" in (1) occurs in a referentially opaque context. -
Frege and the Logic of Sense and Reference
FREGE AND THE LOGIC OF SENSE AND REFERENCE Kevin C. Klement Routledge New York & London Published in 2002 by Routledge 29 West 35th Street New York, NY 10001 Published in Great Britain by Routledge 11 New Fetter Lane London EC4P 4EE Routledge is an imprint of the Taylor & Francis Group Printed in the United States of America on acid-free paper. Copyright © 2002 by Kevin C. Klement All rights reserved. No part of this book may be reprinted or reproduced or utilized in any form or by any electronic, mechanical or other means, now known or hereafter invented, including photocopying and recording, or in any infomration storage or retrieval system, without permission in writing from the publisher. 10 9 8 7 6 5 4 3 2 1 Library of Congress Cataloging-in-Publication Data Klement, Kevin C., 1974– Frege and the logic of sense and reference / by Kevin Klement. p. cm — (Studies in philosophy) Includes bibliographical references and index ISBN 0-415-93790-6 1. Frege, Gottlob, 1848–1925. 2. Sense (Philosophy) 3. Reference (Philosophy) I. Title II. Studies in philosophy (New York, N. Y.) B3245.F24 K54 2001 12'.68'092—dc21 2001048169 Contents Page Preface ix Abbreviations xiii 1. The Need for a Logical Calculus for the Theory of Sinn and Bedeutung 3 Introduction 3 Frege’s Project: Logicism and the Notion of Begriffsschrift 4 The Theory of Sinn and Bedeutung 8 The Limitations of the Begriffsschrift 14 Filling the Gap 21 2. The Logic of the Grundgesetze 25 Logical Language and the Content of Logic 25 Functionality and Predication 28 Quantifiers and Gothic Letters 32 Roman Letters: An Alternative Notation for Generality 38 Value-Ranges and Extensions of Concepts 42 The Syntactic Rules of the Begriffsschrift 44 The Axiomatization of Frege’s System 49 Responses to the Paradox 56 v vi Contents 3. -
A Formal Mereology of Potential Parts
Not Another Brick in the Wall: an Extensional Mereology for Potential Parts Contents 0. Abstract .................................................................................................................................................................................................. 1 1. An Introduction to Potential Parts .......................................................................................................................................................... 1 2. The Physical Motivation for Potential Parts ............................................................................................................................................ 5 3. A Model for Potential Parts .................................................................................................................................................................... 9 3.1 Informal Semantics: Dressed Electron Propagator as Mereological Model ...................................................................................... 9 3.2 Formal Semantics: A Join Semi-Lattice ............................................................................................................................................ 10 3.3 Syntax: Mereological Axioms for Potential Parts ............................................................................................................................ 14 4. Conclusions About Potential Parts ....................................................................................................................................................... -
Analyticity, Necessity and Belief Aspects of Two-Dimensional Semantics
!"# #$%"" &'( ( )#"% * +, %- ( * %. ( %/* %0 * ( +, %. % +, % %0 ( 1 2 % ( %/ %+ ( ( %/ ( %/ ( ( 1 ( ( ( % "# 344%%4 253333 #6#787 /0.' 9'# 86' 8" /0.' 9'# 86' (#"8'# Analyticity, Necessity and Belief Aspects of two-dimensional semantics Eric Johannesson c Eric Johannesson, Stockholm 2017 ISBN print 978-91-7649-776-0 ISBN PDF 978-91-7649-777-7 Printed by Universitetsservice US-AB, Stockholm 2017 Distributor: Department of Philosophy, Stockholm University Cover photo: the water at Petite Terre, Guadeloupe 2016 Contents Acknowledgments v 1 Introduction 1 2 Modal logic 7 2.1Introduction.......................... 7 2.2Basicmodallogic....................... 13 2.3Non-denotingterms..................... 21 2.4Chaptersummary...................... 23 3 Two-dimensionalism 25 3.1Introduction.......................... 25 3.2Basictemporallogic..................... 27 3.3 Adding the now operator.................. 29 3.4Addingtheactualityoperator................ 32 3.5 Descriptivism ......................... 34 3.6Theanalytic/syntheticdistinction............. 40 3.7 Descriptivist 2D-semantics .................. 42 3.8 Causal descriptivism ..................... 49 3.9Meta-semantictwo-dimensionalism............. 50 3.10Epistemictwo-dimensionalism................ 54 -
Challenging the Principle of Compositionality in Interpreting Natural Language Texts Françoise Gayral, Daniel Kayser, François Lévy
Challenging the Principle of Compositionality in Interpreting Natural Language Texts Françoise Gayral, Daniel Kayser, François Lévy To cite this version: Françoise Gayral, Daniel Kayser, François Lévy. Challenging the Principle of Compositionality in Interpreting Natural Language Texts. E. Machery, M. Werning, G. Schurz, eds. the compositionality of meaning and content, vol II„ ontos verlag, pp.83–105, 2005, applications to Linguistics, Psychology and neuroscience. hal-00084948 HAL Id: hal-00084948 https://hal.archives-ouvertes.fr/hal-00084948 Submitted on 11 Jul 2006 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Challenging the Principle of Compositionality in Interpreting Natural Language Texts Franc¸oise Gayral, Daniel Kayser and Franc¸ois Levy´ Franc¸ois Levy,´ University Paris Nord, Av. J. B. Clement,´ 93430 Villetaneuse, France fl@lipn.univ-paris13.fr 1 Introduction The main assumption of many contemporary semantic theories, from Montague grammars to the most recent papers in journals of linguistics semantics, is and remains the principle of compositionality. This principle is most commonly stated as: The meaning of a complex expression is determined by its structure and the meanings of its constituents. It is also adopted by more computation-oriented traditions (Artificial Intelli- gence or Natural Language Processing – henceforth, NLP). -
Sense and Reference
Sense and Reference The story we’ve been telling has it that a name denotes an individual and an open sentence represents a property, and the sentence obtained by substituting a name for free occurrences of a variable in an open sentence is true if and only if the individual designated by the name has the property. That can’t be all there is to the story, as the following example shows: The Waverley novels were published anonymously, and their authorship was a matter of lively speculation among the British ruling classes. The following sentence was true: The king wondered whether Scott was the author of Waverley. According to the account we’ve been developing, the name “Scott” denotes an individual, the open sentence “The king wondered whether x was the author of Waverley” designates a property, and the sentence is true because the individual named has the property. Now the individual named by “Scott” is the individual names by “the author of Waverley.” Hence, the individual named by “the author of Waverley” has the property designated by the open sentence “The king wondered whether x was the author of Waverley.” Therefore, according to the story we’ve been developing, The king wondered whether the author of Waverley was the author of Waverley should be true. But that’s absurd. The king never had the slightest doubt that the author of Waverley was the author of Waverley. Again, “Phosphorus” is an old name for the Morning Star, and “Hesperus” an old name for the Evening Star. One of the earliest astronomical discoveries was that Phosphorus and Hesperus, were, in fact, the same.