DOCSLIB.ORG

Quasi-Logical Form

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Quasi-Logical Form Algorithms for Natural Language Processing Semantic Processing [1] 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 1 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Outline • Allen, Chapter 8 – Semantics and Logical Form – Word Senses & Ambiguity – The Logical Form Language – Encoding Ambiguity – Verbs and States – Thematic Roles – Speech Acts & Embedded Sentences 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 2 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Logical Form • Context-independent meaning – Produced directly from the syntax – Ignores the utterance context • Example: The ball is red – Assigning an exact (contextual) meaning requires knowing which ball – Logical form an intermediate step in full meaning representation (Fig 8.1) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 3 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Logical Form [2] • Includes indexical terms – Pronouns (e.g., I, you) – Generic NP (e.g., a ball, the ball) – Any term whose exact denotation can only be determined from context • Logical form allows compact representation of indexical terms – e.g. (RED1 <THE b1 BALL>) vs. (OR b1 b4 b12 b45 …) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 4 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Situations • To retrieve an exact meaning, we must combine LF with a particular context or situation • A situation might be represented as a set of objects and relations: {(BALL B0005), (PERSON P86), (OWNS P86 B0005)} 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 5 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Situations [2] • The logical form can be thought of as a function which maps one situation onto another by adding additional information • Example: Figure 8.2 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 6 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Word Senses & Ambiguity • Q: Can the basic unit of LF be a word? • A: No, words have different senses • Example: go has many senses (to move, depart, pass, vanish, reach, extend, …) • Senses are organized into an ontology 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 7 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Word Senses [2] • Ontology – Example: Aristotle’s classes • substance (physical objects) • quantity (e.g., numbers) • quality (e.g., being red) • Others: relation, place, time, position, state, action, affection – Important: actions, events • Provide a structure for organizing the interpretation of sentences 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 8 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Actions and Events • We lifted the box. It was hard work. – The pronoun it refers to the whole action (not just the box) • We lifted the box. It was heavy. – The pronoun it refers to the box 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 9 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Semantic Ambiguity • Parallel to syntactic ambiguity – Happy [cats and dogs] live on the farm – [Happy cats] and dogs live on the farm • Independent of syntactic structure – Every boy loves a dog – “all boys love a single dog” – “foreach boy, there is a dog he loves” 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 10 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Logical Form Language • Similar to first-order predicate calculus (FOPC) • Constants: word senses • Terms: constants that describe objects in the world • Predicates: constants that describe relations or properties • Propositions: predicate + terms 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 11 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Predicates • Fido is a dog (DOG1 FIDO1) unary predicate • Sue loves Jack (LOVES1 SUE1 JACK1) binary predicate 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 12 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Word Senses • Proper names: terms JACK1 • Common nouns: unary predicates (DOG1 <>) • Verbs: n-ary predicates (BREAK1 <> <>) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 13 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Operators • Logical Operators – not, or, and, if, only if, … • Logical form supports two kinds of operators: – as word senses (if the operator is part of the utterance) – as logical operators (if the operator isn’t part of the utterance) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 14 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Operators [2] • Examples – Jack loves Sue or Jack loves Mary (OR1 (LOVES1 JACK1 SUE1)(LOVES1 JACK1 MARY1)) – Jack loves Sue, Bill loves Mary (& (LOVES1 JACK1 SUE1)(LOVES1 BILL1 MARY1)) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 15 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Quantifiers • FOPC: only universal and existential quantifiers: ∀, ∃ • English: much larger range: – all, some, most, many, a few, the, … • Generalized Quantifiers (<quantifier> <variable> : <restriction-proposition> <body-proposition>) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 16 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Quantifiers [2] • Most dogs bark (MOST1 d1:(DOG1 d1)(BARKS1 d1)) • Most barking things are dogs (MOST1 d2:(BARKS d1)(DOG1 d1)) • The dog barks (THE x:(DOG1 x)(BARKS1 x)) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 17 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Quantifiers [3] • The happy dog barks (THE x:(&(DOG1 x)(HAPPY x))(BARKS1 x)) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 18 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Plural Forms • The dogs bark (THE x:((PLUR DOG1) x)(BARKS1 x)) • PLUR is a predicate which takes another predicate as its argument and creates a new predicate which is true of a set of individuals 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 19 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Plural Forms [2] • Distributive reading The dogs bark “There is a set of dogs, and each one barks” • Collective reading The dogs met at the corner “*There is a set of dogs, and each one met at the corner” 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 20 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Ambiguous Plurals • Some sentences allow both collective and distributive readings Two men bought a stereo “Each man bought a stereo” “The two men bought a stereo together” 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 21 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Modal Operators • Modal verbs: believe, want, … Sue believes Jack is happy (BELIEVE SUE1 (HAPPY JACK1)) • Tense operators: PAST, PRES, FUT John sees Fido (PRES (SEES1 JOHN1 FIDO1)) John saw Fido (PAST (SEES1 JOHN1 FIDO1)) etc. 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 22 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Encoding Ambiguity in LF • Enumerating all possible logical forms is not practical • Instead, collapse common ambiguities and represent them locally • Develop techniques to incrementally resolve ambiguities from further information 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 23 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Ambiguity [2] • LF with ambiguity encoding is referred to as quasi-logical form • Word sense ambiguity – anywhere a term can appear, a set of terms can be used • Sue watched the ball (THE b1:({BALL1 BALL2} b1)(PAST (WATCH1 SUE1 b1))) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 24 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Ambiguity [3] • Quantifier Scoping – Generalized quantifiers treated syntactically, appear in the position indicated by syntactic structure – Angle brackets used to represent scope Every boy loves a dog (LOVES1 <EVERY b1 (BOY1 b1)><A d1 (DOG1 d1)>) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 25 Copyright © 1999, Carnegie Mellon. All Rights Reserved. Ambiguity [4] • Quantifier Scoping (cont.) – If the restriction in a generalized quantifier is a unary predicate, the variable is dropped; <EVERY b1 (BOY b1)> becomes <EVERY b1 BOY> • Scope of negation Every boy didn’t run (<NOT RUN1><EVERY b1 BOY1>) 11-711: Algorithms for Natural Language Processing Semantic Processing [[1 26 Copyright © 1999, Carnegie Mellon. All Rights Reserved..
Load more

Recommended publications
  • Against Logical Form
    Against logical form Zolta´n Gendler Szabo´ Conceptions of logical form are stranded between extremes. On one side are those who think the logical form of a sentence has little to do with logic; on the other, those who think it has little to do with the sentence. Most of us would prefer a conception that strikes a balance: logical form that is an objective feature of a sentence and captures its logical character. I will argue that we cannot get what we want. What are these extreme conceptions? In linguistics, logical form is typically con- ceived of as a level of representation where ambiguities have been resolved. According to one highly developed view—Chomsky’s minimalism—logical form is one of the outputs of the derivation of a sentence. The derivation begins with a set of lexical items and after initial mergers it splits into two: on one branch phonological operations are applied without semantic effect; on the other are semantic operations without phono- logical realization. At the end of the first branch is phonological form, the input to the articulatory–perceptual system; and at the end of the second is logical form, the input to the conceptual–intentional system.1 Thus conceived, logical form encompasses all and only information required for interpretation. But semantic and logical information do not fully overlap. The connectives “and” and “but” are surely not synonyms, but the difference in meaning probably does not concern logic. On the other hand, it is of utmost logical importance whether “finitely many” or “equinumerous” are logical constants even though it is hard to see how this information could be essential for their interpretation.
    [Show full text]
  • Bearers of Truth and the Unsaid
    1 Bearers of Truth and the Unsaid Stephen Barker (University of Nottingham) Draft (Forthcoming in Making Semantics Pragmatic (ed) K. Turner. (CUP). The standard view about the bearers of truth–the entities that are the ultimate objects of predication of truth or falsity–is that they are propositions or sentences semantically correlated with propositions. Propositions are meant to be the contents of assertions, objects of thought or judgement, and so are ontologically distinct from assertions or acts of thought or judgement. So understood propositions are meant to be things like possible states of affairs or sets of possible worlds–entities that are clearly not acts of judgement. Let us say that a sentence S encodes a proposition «P» when linguistic rules (plus context) correlate «P» with S in a manner that does not depend upon whether S is asserted or appears embedded in a logical compound. The orthodox conception of truth-bearers then can be expressed in two forms: TB1 : The primary truth-bearers are propositions. TB2 : The primary truth-bearers are sentences that encode a proposition «P». I use the term primary truth-bearers , since orthodoxy allows that assertions or judgements, etc, can be truth-bearers, it is just that they are derivatively so; they being truth-apt depends on other things being truth-apt. Some orthodox theorists prefer TB1 –Stalnaker (1972)– some prefer TB2 –Richard (1990). We need not concern ourselves with the reasons for their preferences here. Rather, our concern shall be this: why accept orthodoxy at all in either form: TB1 or TB2 ? There is without doubt a strong general reason to accept the propositional view.
    [Show full text]
  • Stoicism a School of Thought That Flourished in Greek and Roman
    Stoicism A school of thought that flourished in Greek and Roman antiquity. It was one of the loftiest and most sublime philosophies in the record of Western civilization. In urging participation in the affairs of man, Stoics have always believed that the goal of all inquiry is to provide man with a mode of conduct characterized by tranquillity of mind and certainty of moral worth. Nature and scope of Stoicism For the early Stoic philosopher, as for all the post-Aristotelian schools, knowledge and its pursuit are no longer held to be ends in themselves. The Hellenistic Age was a time of transition, and the Stoic philosopher was perhaps its most influential spokesman. A new culture was in the making. The heritage of an earlier period, with Athens as its intellectual leader, was to continue, but to undergo many changes. If, as with Socrates, to know is to know oneself, rationality as the sole means by which something outside of the self might be achieved may be said to be the hallmark of Stoic belief. As a Hellenistic philosophy, Stoicism presented an ars vitae, a way of accommodation for people to whom the human condition no longer appeared as the mirror of a universal, calm, and ordered existence. Reason alone could reveal the constancy of cosmic order and the originative source of unyielding value; thus, reason became the true model for human existence. To the Stoic, virtue is an inherent feature of the world, no less inexorable in relation to man than are the laws of nature. The Stoics believed that perception is the basis of true knowledge.
    [Show full text]
  • Pagebreaks in the Original Publication Are Indicated in Margine by a Slash and Page Number
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by PhilPapers Pagebreaks in the original publication are indicated in margine by a slash and page number Theodor Ebert (Erlangen) Dialecticians and Stoics on the Classification of Propositions In his discussion and refutation of the logical theories of dogmatist philosophers in Adversus Mathematicos (M. ) 8, Sextus Empiricus treats us, among other things, to an account of a classification of propositions (M. 8.93–129). The doctrine reported on here is usually taken to form part of Stoic logic. 1 Together with its apparent counterpart in Diogenes Laertius (D.L.) 7.68–76, this Sextian report is used to reconstruct a theory supposedly held by Stoic philosophers. In what follows I shall try to refute this view and I shall argue that Sextus’ report encapsulates a doctrine worked out not by the Stoic, but by the Dialectical school whose most prominent members seem to have been Diodorus Cronus and Philo. 2 First I shall try to show that the two reports by Sextus and by Diogenes resp. are quite different indeed as to their systematic content and that, therefore, both reports must be drawn from different sources. In a second step it is then argued that Sextus’ account is based on Dialectical material. Finally, I shall compare the Dialectical classification to be found in Sextus to the Stoic one in Diogenes with an eye to exploring these two divisions as different phases within the development of propositional logic. I. As to its systematic intentions, but also with regard to its terminology, the doctrine reported on by Sextus differs in important respects from the one we find in Diogenes Laertius.
    [Show full text]
  • Logical Positivism, Operationalism, and Behaviorism
    This dissertation has been microfilmed exactly as received 70-6878 SHANAB, Robert E lias Abu, 1939- LOGICAL POSITIVISM, OPERATIONALISM, AND BEHAVIORISM. The Ohio State University, Ph.D., 1969 Philosophy University Microfilms, Inc., Ann Arbor, Michigan LOGICAL POSITIVISM, OPERATIONALISM, AND BEHAVIORISM DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Robert Elias Abu Shanab, B.A., A.M. ******** The Ohio State University 1969 Approved by / Adviser Department of Philosophy Dedicated to Professor Virgil Hinshaw, ACKNOWLEDGMENTS I am especially indebted to my adviser, Professor Virgil Hinshaw, Jr. Several of his suggestions have been incorporated in the final manuscript. I wish also to express my thanks to Professor Charles F. Kielkopf. Finally I wish to extend affection and gratitude to my wife for encouragement, patience and for the hours spent typing and retyping manuscripts. ii VITA September 29, 1939 B o m - Jerusalem, Palestine 1962 ........ ........... B.A. , San Jose State College, San Jose, California 1964 ................... M.A., San Jose State College, San Jose, California 1965-1966 ............. Instructor, College of San Mateo, San Mateo, California 1967-1968 ....... Teaching Assistant, Department of Philosophy, The Ohio State University, Columbus, Ohio 1969 ................... Lecturer, The Ohio State University, Newark, Ohio iii CONTENTS. Page ACKNOWLEDGMENTS ..... ....................... ii V I T A ..............................................iii
    [Show full text]
  • LOGICAL FORM Kirk Ludwig
    1.3 LOGICAL FORM Kirk Ludwig Interest in logical form has been driven historically by interest in valid argument forms, that is, semantic entailment relations between the premises and conclusion of an argu- ment underwritten by their semantic forms. The pressure to provide an ever deeper and more general account of valid argument forms has led to a generalization of the notion of logical form to semantic structure relevant to the evaluation generally of the truth or falsity of a sentence. It is a staple of the tradition since Frege that logical form differs, sometimes dra- matically, from the surface or superficial grammatical form of a sentence. (We return below to whether logical form may be associated with some further level of syntactical analysis.) For example, some sentences, like 2 and 3, have multiple readings (“someone is loved by everyone” and “everyone is such that there is someone he loves”; “relatives who are visiting can be boring” and “it can be boring visiting relatives”) which should be assigned different logical forms because the same words contribute differently to truth conditions on each. Some sentences with the same superficial form, such as 1 and 2, 4–6, 9 and 10, 11 and 12, and 13 and 14, are assigned different logical forms because they enter into different systematic entailment relations. And some sentences with superficially different forms, such as 6–8, are assigned the same logical form because they appear to enter into the same systematic entailments. 1. Mary loves John 2. Everyone loves someone 3. Visiting relatives can be boring 4.
    [Show full text]
  • Scepticism About Gods in Hellenistic Philosophy*
    SCEPTICISM ABOUT GODS IN HELLENISTIC PHILOSOPHY* Anthony A. Long University of California, Berkeley Philosophical theology offered the ancient sceptic, Academic or Pyrrhonist, a target which was tailor-made to his methods of argumentative counter-attack in the interests of “suspension of judgement” (epochê). His principal opponents, the Stoics, had marshalled a battery of formal proofs concerning the existence and nature of the gods; and formal proof, or the detection of weaknesses in it, was grist to the sceptic’s mill.1 Moreover, the Stoics were in fundamental disagreement with the Epicureans over theology, disagreement of a kind that the sceptic relished. Without exerting himself, he could begin a refutative routine, as Sextus Empiricus does in Pyrrhôneioi Hupotupôseis [hereafter PH] 3.2-4, by first invoking disagreements on god’s nature: is god corporeal or incorporeal, anthropomorphic or some other form, in spatial location or not, within the world or outside it? If such foundational questions cannot be settled, how, asks Sextus, can we even get a conception (ennoia) of god? People say [e.g., Epicureans] that god should be considered that which is imperishable and blessed.2 But consider what different schools understand by divine blessedness, and basic disagreement surfaces again: is divine blessedness displayed in the rational order pervading the entire world, as Stoics maintain? Or should one opt for the Epicurean conception of gods who are quite detached from the world and who provide no occupation for themselves or for anything else? These Pyrrhonian manoeuvres are scarcely food for deep philosophical thought. Their simplicity, none the less, is beguiling and effective.
    [Show full text]
  • Chapter 31 Logical Positivism and the Scientific Conception of Philosophy
    Aspects of Western Philosophy: Dr. Sreekumar Nellickappilly, IIT Madras Chapter 31 Logical Positivism and the Scientific Conception of Philosophy Key Words: Vienna circle, verification principle, positivism, tautologies, factual propositions, language analysis, rejection of metaphysics, practical verifiability, verifiable in principle, strong verifiability, weak verifiability, unified science This chapter discusses one of the very significant developments the 20th century European philosophy has witnessed; logical positivism, which is also known as neo empiricism. Again, like many other such initiatives in philosophy like existentialism, logical positivism is not a school of philosophy, with certain central doctrine, a definite conception of reality or a theory of knowledge. It is rather a movement that reflects the dominant scientific outlook of 20th century European civilization and its extension to all spheres of life. The logical positivists thus advocated a unique conception of knowledge which considered the scientific model as paradigm. They thus opposed metaphysics which aims at going beyond the sensible world and contemplating about transcendental realities. According to them metaphysics is a bad science. They were tremendously influenced by many philosophical approaches, notably, the positivism of Augustine Comte, the logical atomism of Bertrand Russell, and most significantly, by the peculiar conception of language and meaning developed by Ludwig Wittgenstein in his early work, the Tractatus Logico Philosophicus. The fact that almost all major advancements in knowledge have been in the field of natural sciences have prompted the logical positivists to consider scientific conception of knowledge as paradigmatic. They found that the theories of speculative philosophy advocated by different thinkers were merely personal interpretations about reality. Most importantly, these theories were not empirically verifiable and hence it is impossible to establish their truth or falsity.
    [Show full text]
  • Logical Empiricism
    Logical Empiricism HISTORICAL CONTEMPORARY PERSPECTIVES Edited by Paolo Parrini, University ofFlorence Wesley C. Salmon, University ofPittsburgh Merrilee H. Salmon, University of Pittsburgh UNIVERSITY OF PITTSBURGH PRESS This book is dedicated to the memory of Wesley C . Salmon 1925-2001 Published by the University of Pittsburgh Press, Pittsburgh, P&, 15260 Copyright ® 2003, University of Pittsburgh Press All rights reserved Manufactured in the United States of America Printed on add-free paper 10987654321 ISBN 0 - 8n9- 4194-5 Contents Preface Introduction r Paolo Parrini and Wesley Salmon I. Turning Points and Fundamental Controversies rt A Turning Point in Philosophy : Carnap-Cassirer-Heidegger 13 Michael Friedman Carnap's "Elimination of Metaphysics through Logical Analysis of Language" : A Retrospective Consideration of the Relationship between Continental and Analytic Philosophy 30 Gottfried Gabriel Schlick and Husserl on the Essence of Knowledge 43 Roberta Lanfredini Carnap versus Gbdel on Syntax and Tolerance 57 S. Awodey and A. W Carus II. On the Origins and Development of the Vienna Circle 65 On the Austrian Roots of Logical Empiricism: The Case of the First Vienna Circle 67 Thomas Uebel On the International Encyclopedia, the Neurath-Carnap Disputes, and the Second World War 94 George Reisch Carl Gustav Hempel : Pragmatic Empiricist log Gereon Wolters III. The Riddle of Wittgenstein 123 The Methods of the Tractatus: Beyond Positivism and Metaphysics? 125 David G. Stern IV Philosophy of Physics 157 Two Roads from Kant : Cassirer, Reichenbach, and General Relativity ' 159 T A. Ryckman Vienna Indeterminism II : From Exner to Frank and von Mises 194 'Michael Stoltzner V. The Mind-Body Problem 231 The Mind-Body Problem in the Origin of Logical Empiricism : Herbert Feigl and Psychophysical Parallelism 233 Michael Heidelberger Logical Positivism and the Mind-Body Problem 263 Jaegwon Kim VI.
    [Show full text]
  • CONTEXT and LOGICAL FORM My Purpose in This Paper Is to Defend
    JASON STANLEY CONTEXT AND LOGICAL FORM ABSTRACT. In this paper, I defend the thesis that all effects of extra-linguistic context on the truth-conditions of an assertion are traceable to elements in the actual syntactic structure of the sentence uttered. In the first section, I develop the thesis in detail, and discuss its implications for the relation between semantics and pragmatics. The next two sections are devoted to apparent counterexamples. In the second section, I argue that there are no convincing examples of true non-sentential assertions. In the third section, I ar- gue that there are no convincing examples of what John Perry has called ‘unarticulated constituents’. I conclude by drawing some consequences of my arguments for appeals to context-dependence in the resolution of problems in epistemology and philosophical logic. My purpose in this paper is to defend the thesis that all truth-conditional effects of extra-linguistic context can be traced to logical form.1 But before the import of this thesis can be understood, a few distinctions must be clarified, and its opponents introduced. By “logical form”, I mean a special sort of linguistic representation, rather than the form of a non-linguistic entity such as a proposition or a fact. However, even in its linguistic sense, there is certainly no one uniform use of the expression “logical form”. But there are two distinguishable senses underlying its many differing usages. It is only in the second of these two senses that the thesis I will defend is interesting and controver- sial. Perhaps the most prevalent tradition of usage of the expression “logical form” in philosophy is to express what one might call the revisionary conception of logical form.
    [Show full text]
  • Formal Logic and Logical Form
    CORE Metadata, citation and similar papers at core.ac.uk Provided by UNL | Libraries University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Mid-West Quarterly, The (1913-1918) Mid-West Quarterly, The (1913-1918) 1914 Formal Logic and Logical Form Edwin Ray Guthrie Follow this and additional works at: https://digitalcommons.unl.edu/midwestqtrly Part of the Arts and Humanities Commons Guthrie, Edwin Ray, "Formal Logic and Logical Form" (1914). Mid-West Quarterly, The (1913-1918). 20. https://digitalcommons.unl.edu/midwestqtrly/20 This Article is brought to you for free and open access by the Mid-West Quarterly, The (1913-1918) at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in Mid-West Quarterly, The (1913-1918) by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Published in THE MID-WEST QUARTERLY Vol. 1, No. 2 (January 1914) FORMAL LOGIC AND LOGICAL FORM Last year Dr. F. C. S. Schiller published Formal Logic, a Scientific and Social Problem,-a critical text-book, he calls it in the preface, that will teach logic" in a critical spirit and with a minimum of pedantry and reverence for forms." This object is so thoroughly fulfilled-at the end of the four hundred pages the criticism has been so searching and insistent and the reverence for forms so truly a minimum that formal logic seems to be a complete ruin, and the only scientific problem left at the end is how men ever came to build it, and the only social problem what logicians will now do for a living.
    [Show full text]
  • Anderson, John M. 2005. the Non-Autonomy of Syntax
    The non-autonomy of syntax John M. Anderson In: Folia Linguistica 39 (2005), 223-250. 223 The Non-autonomy of Syntax John M. Anderson Abstract Structuralism sought to introduce various kinds of autonomy into the study of language, in- cluding the autonomy of that study itself.* The basis for this was the insistence on categorial autonomy, whereby categories are identifi ed language-internally (whether in a particular lan- guage or in language). In relation to phonology, categorial autonomy is tempered by grounding: the categories correlate (at least prototypically) with substance, phonetic properties. This is manifested in the idea of ‘natural classes’ in generative phonology. Usually, however, in more modern grammars, despite some dissent, no such grounding (in meaning) has been attributed to syntax. This attitude culminates in the thesis of the ‘autonomy of syntax’ which was put forward in transformational-generative grammar. In what follows here it is argued that the consequences of this are very unfortunate. Distribution alone is insuffi cient to determine the identity of cat- egories; what is relevant is the distribution of the prototypical members of the category, where prototypicality is notionally defi ned. Prototypical nouns, for instance, denote concrete, discrete, stable entities. Syntax, as well as phonology, is grounded. Groundedness ensures that only the prototypical behaviour of semantically prototypical members of a category determines its basic syntax; and this syntax refl ects the semantic properties. Groundedness fi lters out potential syntac- tic analyses that are incompatible with this. For instance, given the diverse semantic characters of prototypical nouns and verbs, groundedness predicts that the X-bar theory of syntactic structure, which attributes parallel projections to lexical categories, is false.
    [Show full text]