Denoting Concepts, Reference, and the Logic of Names, Classes As As Many, Groups, and Plurals
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Existence and Reference in Medieval Logic
GYULA KLIMA EXISTENCE AND REFERENCE IN MEDIEVAL LOGIC 1. Introduction: Existential Assumptions in Modern vs. Medieval Logic “The expression ‘free logic’ is an abbreviation for the phrase ‘free of existence assumptions with respect to its terms, general and singular’.”1 Classical quantification theory is not a free logic in this sense, as its standard formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse. Indeed, since singular terms include not only singular constants, but also variables2, standard quantification theory may be regarded as involving even the assumption of the existence of the values of its variables, in accordance with Quine’s famous dictum: “to be is to be the value of a variable”.3 But according to some modern interpretations of Aristotelian syllogistic, Aristotle’s theory would involve an even stronger existential assumption, not shared by quantification theory, namely, the assumption of the non-emptiness of common terms.4 Indeed, the need for such an assumption seems to be supported not only by a number of syllogistic forms, which without this assumption appear to be invalid, but also by the doctrine of Aristotle’s De Interpretatione concerning the logical relationships among categorical propositions, commonly summarized in the Square of Opposition. For example, Aristotle’s theory states that universal affirmative propositions imply particular affirmative propositions. But if we formalize such propositions in quantification theory, we get formulae between which the corresponding implication does not hold. So, evidently, there is some discrepancy between the ways Aristotle and quantification theory interpret these categoricals. -
The Use-Mention Distinction
The Use-Mention Distinction The use-mention distinction is traditionally understood as the distinction between using an expression (or phrase, etc.) and mentioning it. Quoting from Wikipedia encyclopedia: In written language, mentioned words or phrases often appear between quotation marks or in italics. Used words or phrases, being more common than mentioned ones, do not have any typographic distinction. Making a statement mention itself is an interesting way of producing logical paradoxes. Violation of the use-mention distinction can produce sentences that sound and appear similar to the original, but have an entirely different meaning. For example, "The use-mention distinction" is not "strictly enforced here". is literally true because the two phrases in it are not the same. The general property of terms changing their reference depending on the context was called suppositio (substitution) by classical logicians. It describes how one has to substitute a term in a sentence based on its meaning—that is, what referent the term has. In general, a term can be used in several ways. For nouns, they are: • Properly with a real referent: “That is my cow” (assuming it exists). • Properly with a generic referent: “Any cow gives milk.” • Properly but with a non-real referent: “Ulysses’s cow was big.” • Improperly by way of metaphor: “Your sister is a cow”. • As a pure term: “Cow has only three letters”. The last use is what gives rise to the use-mention distinction. However, a lot of misunderstanding and many paradoxes arise also from confusing different ways in which a meaningful expression can be used. -
INTENTIONALITY Past and Future VIBS
INTENTIONALITY Past and Future VIBS Volume 173 Robert Ginsberg Founding Editor Peter A. Redpath Executive Editor Associate Editors G. John M. Abbarno Matti Häyry Mary-Rose Barral Steven V. Hicks Gerhold K. Becker Richard T. Hull Raymond Angelo Belliotti Mark Letteri Kenneth A. Bryson Vincent L. Luizzi C. Stephen Byrum Alan Milchman H. G. Callaway George David Miller Robert A. Delfino Alan Rosenberg Rem B. Edwards Arleen L. F. Salles Andrew Fitz-Gibbon John R. Shook Francesc Forn i Argimon Eddy Souffrant William Gay Tuija Takala Dane R. Gordon Anne Waters J. Everet Green John R. Welch Heta Aleksandra Gylling Thomas F. Woods a volume in Cognitive Science CS Francesc Forn i Argimon, Editor INTENTIONALITY Past and Future Edited by Gábor Forrai and George Kampis Amsterdam - New York, NY 2005 Cover Design: Studio Pollmann The paper on which this book is printed meets the requirements of “ISO 9706:1994, Information and documentation - Paper for documents - Requirements for permanence”. ISBN: 90-420-1817-8 ©Editions Rodopi B.V., Amsterdam - New York, NY 2005 Printed in the Netherlands CONTENTS Preface vii List of Abbreviations ix ONE The Necessity and Nature of Mental Content 1 LAIRD ADDIS TWO Reading Brentano on the Intentionality of the Mental 15 PHILIP J. BARTOK THREE Emotions, Moods, and Intentionality 25 WILLIAM FISH FOUR Lockean Ideas as Intentional Contents 37 GÁBOR FORRAI FIVE Normativity and Mental Content 51 JUSSI HAUKIOJA SIX The Ontological and Intentional Status of Fregean Senses: An Early Account of External Content 63 GREG JESSON -
Redalyc.Structural Isomorphism of Meaning and Synonymy
Computación y Sistemas ISSN: 1405-5546 [email protected] Instituto Politécnico Nacional México Duží, Marie Structural Isomorphism of Meaning and Synonymy Computación y Sistemas, vol. 18, núm. 3, julio-septiembre, 2014, pp. 439-453 Instituto Politécnico Nacional Distrito Federal, México Available in: http://www.redalyc.org/articulo.oa?id=61532067003 How to cite Complete issue Scientific Information System More information about this article Network of Scientific Journals from Latin America, the Caribbean, Spain and Portugal Journal's homepage in redalyc.org Non-profit academic project, developed under the open access initiative Structural Isomorphism of Meaning and Synonymy Marie Duží VSB-Technical University Ostrava, Czech Republic [email protected] Abstract. In this paper I am going to deal with the questions like what the meaning of an expression phenomenon of synonymy from the logical point of is and how fine-grained meanings should be. view. In Transparent Intensional Logic (TIL), which is This is a pressing issue, because many my background theory, the sense of an expression is paradoxes and invalid inferences arise from a too an algorithmically structured procedure detailing what coarse-grained analysis of premises. The purpose operations to apply to what procedural constituents to arrive at the object (if any) denoted by the expression. of logic is to differentiate between valid and Such procedures are rigorously defined as TIL invalid arguments so that all valid arguments be constructions. In this new orthodoxy of structured provable and invalid ones rejected. This in turn is meanings and procedural semantics we encounter the closely connected with the granularity of problem of the granularity of procedure individuation. -
Extensional Concepts in Intensional Type Theory
Extensional concepts in intensional type theory Martin Hofmann Do ctor of Philosophy University of Edinburgh Abstract Theories of dep endent types have b een prop osed as a foundation of constructive mathematics and as a framework in which to construct certied programs In these applications an imp ortant role is played by identity types which internalise equality and therefore are essential for accommo dating pro ofs and programs in the same formal system This thesis attempts to reconcile the two dierent ways that type theories deal with identity types In extensional type theory the prop ositional equality induced by the identity types is identied with denitional equality ie conversion This renders typechecking and wellformedness of prop ositions undecidable and leads to nontermination in the presence of universes In intensional type theory prop os itional equality is coarser than denitional equality the latter b eing conned to denitional expansion and normalisation Then typechecking and wellformedness are decidable and this variant is therefore adopted by most implementations However the identity type in intensional type theory is not p owerful enough for formalisation of mathematics and program development Notably it do es not identify p ointwise equal functions functional extensionality and provides no means of redening equality on a type as a given relation ie quotient types We call such capabilities extensional concepts Other extensional concepts of interest are uniqueness of pro ofs and more sp ecically of equality pro ofs subset -
The History of Logic
c Peter King & Stewart Shapiro, The Oxford Companion to Philosophy (OUP 1995), 496–500. THE HISTORY OF LOGIC Aristotle was the first thinker to devise a logical system. He drew upon the emphasis on universal definition found in Socrates, the use of reductio ad absurdum in Zeno of Elea, claims about propositional structure and nega- tion in Parmenides and Plato, and the body of argumentative techniques found in legal reasoning and geometrical proof. Yet the theory presented in Aristotle’s five treatises known as the Organon—the Categories, the De interpretatione, the Prior Analytics, the Posterior Analytics, and the Sophistical Refutations—goes far beyond any of these. Aristotle holds that a proposition is a complex involving two terms, a subject and a predicate, each of which is represented grammatically with a noun. The logical form of a proposition is determined by its quantity (uni- versal or particular) and by its quality (affirmative or negative). Aristotle investigates the relation between two propositions containing the same terms in his theories of opposition and conversion. The former describes relations of contradictoriness and contrariety, the latter equipollences and entailments. The analysis of logical form, opposition, and conversion are combined in syllogistic, Aristotle’s greatest invention in logic. A syllogism consists of three propositions. The first two, the premisses, share exactly one term, and they logically entail the third proposition, the conclusion, which contains the two non-shared terms of the premisses. The term common to the two premisses may occur as subject in one and predicate in the other (called the ‘first figure’), predicate in both (‘second figure’), or subject in both (‘third figure’). -
(In)Definiteness, Polarity, and the Role of Wh-Morphology in Free Choice
Journal of Semantics 23: 135–183 doi:10.1093/jos/ffl001 Advance Access publication April 4, 2006 (In)Definiteness, Polarity, and the Role of wh-morphology in Free Choice ANASTASIA GIANNAKIDOU University of Chicago LISA LAI-SHEN CHENG Leiden University Abstract In this paper we reconsider the issue of free choice and the role of the wh- morphology employed in it. We show that the property of being an interrogative wh- word alone is not sufficient for free choice, and that semantic and sometimes even morphological definiteness is a pre-requisite for some free choice items (FCIs) in certain languages, e.g. in Greek and Mandarin Chinese. We propose a theory that explains the polarity behaviour of FCIs cross-linguistically, and allows indefinite (Giannakidou 2001) as well as definite-like FCIs. The difference is manifested as a lexical distinction in English between any (indefinite) and wh-ever (definite); in Greek it appears as a choice between a FCI nominal modifier (taking an NP argument), which illustrates the indefinite option, and a FC free relative illustrating the definite one. We provide a compositional analysis of Greek FCIs in both incarnations, and derive in a parallel manner the Chinese FCIs. Here the definite versus indefinite alternation is manifested in the presence or absence of dou , which we take to express the maximality operator. It is thus shown that what we see in the morphology of FCIs in Greek is reflected in syntax in Chinese. Our analysis has important consequences for the class of so-called wh- indeterminates. In the context of current proposals, free choiceness is taken to come routinely from interrogative semantics, and wh-indeterminates are treated as question words which can freely become FCIs (Kratzer and Shimoyama 2002). -
Metaphysics and Natural Kinds: Slingshots, Fundamentality, and Causal Structure
METAPHYSICS AND NATURAL KINDS: SLINGSHOTS, FUNDAMENTALITY, AND CAUSAL STRUCTURE By ANDREW LEE MCFARLAND Submitted to the graduate degree program in the Department of Philosophy and the Graduate Faculty of the University of Kansas in partial fulfillment of the requirements for the degree of Doctor of Philosophy. ________________________________ Chair: John Symons ________________________________ John Bricke ________________________________ Armin Schulz ________________________________ Clif Pye ________________________________ Philippe Huneman Date Defended: May 16, 2014 The Dissertation Committee for Andrew Lee McFarland certifies that this is the approved version of the following dissertation: METAPHYSICS AND NATURAL KINDS: SLINGSHOTS, FUNDAMENTALITY, AND CAUSAL STRUCTURE ________________________________ JOHN SYMONS Date approved: May 16, 2014 ii DISSERTATION ABSTRACT Metaphysics and Natural Kinds: Slingshots, Fundamentality, and Causal Structure Andrew Lee McFarland My dissertation addresses a question relevant to metaphysics, philosophy of language, and philosophy of science: What are natural kinds? I explore a view that holds that natural kinds are complex, structural properties that involve causal structure. Causal structure describes the idea that for the many properties associated with natural kinds, these properties are nomically linked – that is causally connected – in such a way that the properties of non-natural kinds are not. After criticizing arguments in favor of a nominalist theory of kinds – one that holds that a natural kind just is to be identified with its class of instances – and after defending the notion of a complex structural property from several prominent objections posed by David Lewis, I apply a causal account of natural kinds to a set of problematic cases, paying special attention to isomeric kinds from chemistry. iii Dedication I dedicate this doctoral thesis to my family and to the tireless support they have given me over the years. -
Philosophy of Language in the Twentieth Century Jason Stanley Rutgers University
Philosophy of Language in the Twentieth Century Jason Stanley Rutgers University In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. The advances Philosophy of Language has made in the Twentieth Century are of course the result of the remarkable progress made in logic. Few other philosophical disciplines gained as much from the developments in logic as the Philosophy of Language. In the course of presenting the first formal system in the Begriffsscrift , Gottlob Frege developed a formal language. Subsequently, logicians provided rigorous semantics for formal languages, in order to define truth in a model, and thereby characterize logical consequence. Such rigor was required in order to enable logicians to carry out semantic proofs about formal systems in a formal system, thereby providing semantics with the same benefits as increased formalization had provided for other branches of mathematics. -
Truth and the Ambiguity of Negation
10 Teresa Marques Truth and the Ambiguity of Negation 1 Introduction The concept of negation is intertwined with the most fundamental principles that appear to govern the notions of truth and falsehood. We need negation to express conditions for falsehood, or at least of untruth; moreover! whether the principle of bivalence holds or has genuine counterexamples depends on what truth and falsity require, and thus also on what negation is. Semantic paradoxes like the liar! but also other cases, from pre- supposition failure to borderline cases of vagueness, seem to offer putative counterexamples to bivalence. &ut how is a putative coun- terexample to be described? Prima facie, a counterexample to biva- lence is an item (of the relevant sort) that is neither true nor false. We need negation to express that something is a counterexample to the principle as much as we need negation to explain when some- thing is not true, or when something is false. +owever! as a simple argument purports to show , we will refer to it as ‘the Incompatibility Argument’ ,! the assumption that the very same principles for truth and falsehood are correct taken together with the assumption that there are counterexamples to bivalence leads to a contradiction. /// Teresa Marques Many believe that the principles for truth and falsehood are essen% tial for what truth is. The idea that the schemas are essentially correct can be understood in different ways. Each of these ways requires different commitments to the role the schemas are to play. One may just hold (i) that the truth-schemas are extensionally correct, and that all their instances must be true,1 or (ii) one can add that the schemas are not only extensionally correct, but also that they display something essential about truth, for instance that the meaning of ‘true’ is conveyed in instances of the schemas, or that grasping the concept of truth requires assenting to all their instances. -
Philosophy May 20, 2013
Outline of Philosophy May 20, 2013 Contents SOCI>Philosophy .............................................................................................................................................................. 3 SOCI>Philosophy>Aesthetics ....................................................................................................................................... 3 SOCI>Philosophy>Aesthetics>Beauty .................................................................................................................... 4 SOCI>Philosophy>Aesthetics>Theory .................................................................................................................... 4 SOCI>Philosophy>Epistemology ................................................................................................................................. 5 SOCI>Philosophy>Epistemology>Possibility ......................................................................................................... 6 SOCI>Philosophy>Epistemology>World ................................................................................................................ 6 SOCI>Philosophy>Epistemology>Object Properties .............................................................................................. 6 SOCI>Philosophy>Epistemology>System Properties ............................................................................................. 6 SOCI>Philosophy>Epistemology>Representation ................................................................................................. -
Handbook-Of-Semiotics.Pdf
Page i Handbook of Semiotics Page ii Advances in Semiotics THOMAS A. SEBEOK, GENERAL EDITOR Page iii Handbook of Semiotics Winfried Nöth Indiana University Press Bloomington and Indianapolis Page iv First Paperback Edition 1995 This Englishlanguage edition is the enlarged and completely revised version of a work by Winfried Nöth originally published as Handbuch der Semiotik in 1985 by J. B. Metzlersche Verlagsbuchhandlung, Stuttgart. ©1990 by Winfried Nöth All rights reserved No part of this book may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and recording, or by any information storage and retrieval system, without permission in writing from the publisher. The Association of American University Presses' Resolution on Permissions constitutes the only exception to this prohibition. Manufactured in the United States of America Library of Congress CataloginginPublication Data Nöth, Winfried. [Handbuch der Semiotik. English] Handbook of semiotics / Winfried Nöth. p. cm.—(Advances in semiotics) Enlarged translation of: Handbuch der Semiotik. Bibliography: p. Includes indexes. ISBN 0253341205 1. Semiotics—handbooks, manuals, etc. 2. Communication —Handbooks, manuals, etc. I. Title. II. Series. P99.N6513 1990 302.2—dc20 8945199 ISBN 0253209595 (pbk.) CIP 4 5 6 00 99 98 Page v CONTENTS Preface ix Introduction 3 I. History and Classics of Modern Semiotics History of Semiotics 11 Peirce 39 Morris 48 Saussure 56 Hjelmslev 64 Jakobson 74 II. Sign and Meaning Sign 79 Meaning, Sense, and Reference 92 Semantics and Semiotics 103 Typology of Signs: Sign, Signal, Index 107 Symbol 115 Icon and Iconicity 121 Metaphor 128 Information 134 Page vi III.