Syntactic Theory a Formal Introduction Ivan A
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
CAS LX 522 Syntax I
It is likely… CAS LX 522 IP This satisfies the EPP in Syntax I both clauses. The main DPj I′ clause has Mary in SpecIP. Mary The embedded clause has Vi+I VP is the trace in SpecIP. V AP Week 14b. PRO and control ti This specific instance of A- A IP movement, where we move a likely subject from an embedded DP I′ clause to a higher clause is tj generally called subject raising. I VP to leave Reluctance to leave Reluctance to leave Now, consider: Reluctant has two θ-roles to assign. Mary is reluctant to leave. One to the one feeling the reluctance (Experiencer) One to the proposition about which the reluctance holds (Proposition) This looks very similar to Mary is likely to leave. Can we draw the same kind of tree for it? Leave has one θ-role to assign. To the one doing the leaving (Agent). How many θ-roles does reluctant assign? In Mary is reluctant to leave, what θ-role does Mary get? IP Reluctance to leave Reluctance… DPi I′ Mary Vj+I VP In Mary is reluctant to leave, is V AP Mary is doing the leaving, gets Agent t Mary is reluctant to leave. j t from leave. i A′ Reluctant assigns its θ- Mary is showing the reluctance, gets θ roles within AP as A θ IP Experiencer from reluctant. required, Mary moves reluctant up to SpecIP in the main I′ clause by Spellout. ? And we have a problem: I vP But what gets the θ-role to Mary appears to be getting two θ-roles, from leave, and what v′ in violation of the θ-criterion. -
The Structure of Reflexive Clauses in Michif: a Relational Grammar Approach
University of North Dakota UND Scholarly Commons Theses and Dissertations Theses, Dissertations, and Senior Projects 12-1984 The trS ucture of Reflexive Clauses in Michif: A Relational Grammar Approach Larry Lee Lovell Follow this and additional works at: https://commons.und.edu/theses Part of the Linguistics Commons Recommended Citation Lovell, Larry Lee, "The trS ucture of Reflexive Clauses in Michif: A Relational Grammar Approach" (1984). Theses and Dissertations. 903. https://commons.und.edu/theses/903 This Thesis is brought to you for free and open access by the Theses, Dissertations, and Senior Projects at UND Scholarly Commons. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of UND Scholarly Commons. For more information, please contact [email protected]. THE STRUCTURE OF REFLEXIVE CLAUSES IN MICHIF: . ' i ' A RELATIONAL GRAMMAR APPROACH ) I by Larry Lee Lovell Bachelor of icience, Middle Tennessee State University, 1982 A Thesis Submitted to the Graduate Faculty of the University of North Dakota in partial fulfillment of the requirements for the degree of Master of Arts Grand Forks, North Dakota December · 1984 This thesis submitted by Larry Lee Lovell in partial fulfillment of the requirements for the Degree of M.A. in Linguistics from the University of North Dakota is hereby approved by the Faculty Advisory Committee under whom the work has been done. 0. This thesis meets the standards for appearance and conforms to the style and format requirements of the Graduate School of the University of North Dakota, and is hereby approved. ; I ! i - ii - ' . Title THE STRUCTURE OF REFLEXIVE CLAUSES IN MICHIF: A RELATIONAL GRAMMAR APPROACH Department Linguistics Degree Master of Arts In presenting this thesis in ~artial fulfillment of the requirements for a graduate degree from the University of North Dakota, I agree that the Library of this University shall make it freely available for inspection. -
A Relational Grammar Approach to Kera Syntax Janet K
Work Papers of the Summer Institute of Linguistics, University of North Dakota Session Volume 28 Article 1 1984 A relational grammar approach to Kera syntax Janet K. Camburn SIL-UND Follow this and additional works at: https://commons.und.edu/sil-work-papers Recommended Citation Camburn, Janet K. (1984) "A relational grammar approach to Kera syntax," Work Papers of the Summer Institute of Linguistics, University of North Dakota Session: Vol. 28 , Article 1. DOI: 10.31356/silwp.vol28.01 Available at: https://commons.und.edu/sil-work-papers/vol28/iss1/1 This Thesis is brought to you for free and open access by UND Scholarly Commons. It has been accepted for inclusion in Work Papers of the Summer Institute of Linguistics, University of North Dakota Session by an authorized editor of UND Scholarly Commons. For more information, please contact [email protected]. A RELATIOIAL GRAMMAR APPROACH TO KERA SIITAX Janet K. Camburn 1 Introduction 2 Introduction to Relational Grammar 3 Kera syntax 3T1 Tone 3.2 Kera verbs 3.3 Terms and term marking 3~4 Oblique markings 4 Advancements 4.1 Passive 4~2 3 advancement 4~3 Ben-3 advancement 4.4 Summary 5 Multiple depencencies 5.1 Pro-Replacement 5.2 Equi-Erasure and Equi-Subject Union 5.3 Equi-Erasure 5~4 Equi-Subject Union 6 The proper formulation of the Stem Agreement Rule 6~1 Summary 7 Ascensions 7,1 Ascensions out of 2-host 7~2 Ascensions out of a 1-host 7.3 Ascensions and unaccusatives 8 Possessor ascension 8.1 The possessive construction in Kera 8.2 Possessor ascension to 2 8.3 Possessor ascension to 3 8.4 Summary 1 Introduction Kera is an Afroasiatic language belonging to the Chadic family of languages. -
Syntax and Semantics of Propositional Logic
INTRODUCTIONTOLOGIC Lecture 2 Syntax and Semantics of Propositional Logic. Dr. James Studd Logic is the beginning of wisdom. Thomas Aquinas Outline 1 Syntax vs Semantics. 2 Syntax of L1. 3 Semantics of L1. 4 Truth-table methods. Examples of syntactic claims ‘Bertrand Russell’ is a proper noun. ‘likes logic’ is a verb phrase. ‘Bertrand Russell likes logic’ is a sentence. Combining a proper noun and a verb phrase in this way makes a sentence. Syntax vs. Semantics Syntax Syntax is all about expressions: words and sentences. ‘Bertrand Russell’ is a proper noun. ‘likes logic’ is a verb phrase. ‘Bertrand Russell likes logic’ is a sentence. Combining a proper noun and a verb phrase in this way makes a sentence. Syntax vs. Semantics Syntax Syntax is all about expressions: words and sentences. Examples of syntactic claims ‘likes logic’ is a verb phrase. ‘Bertrand Russell likes logic’ is a sentence. Combining a proper noun and a verb phrase in this way makes a sentence. Syntax vs. Semantics Syntax Syntax is all about expressions: words and sentences. Examples of syntactic claims ‘Bertrand Russell’ is a proper noun. ‘Bertrand Russell likes logic’ is a sentence. Combining a proper noun and a verb phrase in this way makes a sentence. Syntax vs. Semantics Syntax Syntax is all about expressions: words and sentences. Examples of syntactic claims ‘Bertrand Russell’ is a proper noun. ‘likes logic’ is a verb phrase. Combining a proper noun and a verb phrase in this way makes a sentence. Syntax vs. Semantics Syntax Syntax is all about expressions: words and sentences. Examples of syntactic claims ‘Bertrand Russell’ is a proper noun. -
Chapter 30 HPSG and Lexical Functional Grammar Stephen Wechsler the University of Texas Ash Asudeh University of Rochester & Carleton University
Chapter 30 HPSG and Lexical Functional Grammar Stephen Wechsler The University of Texas Ash Asudeh University of Rochester & Carleton University This chapter compares two closely related grammatical frameworks, Head-Driven Phrase Structure Grammar (HPSG) and Lexical Functional Grammar (LFG). Among the similarities: both frameworks draw a lexicalist distinction between morphology and syntax, both associate certain words with lexical argument structures, both employ semantic theories based on underspecification, and both are fully explicit and computationally implemented. The two frameworks make available many of the same representational resources. Typical differences between the analyses proffered under the two frameworks can often be traced to concomitant differ- ences of emphasis in the design orientations of their founding formulations: while HPSG’s origins emphasized the formal representation of syntactic locality condi- tions, those of LFG emphasized the formal representation of functional equivalence classes across grammatical structures. Our comparison of the two theories includes a point by point syntactic comparison, after which we turn to an exposition ofGlue Semantics, a theory of semantic composition closely associated with LFG. 1 Introduction Head-Driven Phrase Structure Grammar is similar in many respects to its sister framework, Lexical Functional Grammar or LFG (Bresnan et al. 2016; Dalrymple et al. 2019). Both HPSG and LFG are lexicalist frameworks in the sense that they distinguish between the morphological system that creates words and the syn- tax proper that combines those fully inflected words into phrases and sentences. Stephen Wechsler & Ash Asudeh. 2021. HPSG and Lexical Functional Gram- mar. In Stefan Müller, Anne Abeillé, Robert D. Borsley & Jean- Pierre Koenig (eds.), Head-Driven Phrase Structure Grammar: The handbook. -
Can Participate in Syntactic Operations; the Law Means That Any Oblique Which Appears in a Sentence Must Bear That Oblique Relation in the Ini Tial Level
0SU WPL # 26 (1982) 93-101. A Note on the Oblique Law* Brian D. Joseph Perlmutter and Postal (1978a: 15) posit the following "law" within the framework of Relational Grammar : (1) We say that Bis a Ci arc if Bis an arc one of whose coordinates is Ci. Then: if A is an oblique arc , A is a C1 arc. This law is known as the Oblique Law because it constrains the extent to which oblique nominals, i.e. those bearing the nonterm core grammatical rel ations1 such as benefactive, temporal, circumstantial, locative, etc. can participate in syntactic operations; the law means that any oblique which appears in a sentence must bear that oblique relation in the ini tial level. The original intent of this law as indicated by Perlmutter and Postal ' s discussion (p. 15) of it, was to rule out advancements or demotions2 to any oblique grammatical relation. However, as it is currently formulated , it is more general than that and rules out ascensions (i. e . raisings) to an oblique relation as well. The purpose of this note is to show that at best, only the more restricted interpretation of the Oblique Law is valid, because there is a construction in Modern Greek which provides a counter- example to the broader interpretation, as well as other facts which might bear on even the more narrow version of the law. The Greek construction in question is the one called Raising-to-Oblique in Joseph (1979), and involves the circumstantial preposition me ' with' .3 Me can govern simple nominal complements, as in (2), or clausalcomplements, as in (3) : (2) me t6so 66rivo, aen borusa na aulepso with so-much noise/ACC not could/SG VBL PART work/1 SG ' With so much noise, I couldn't work.' (3) me to na stekete eki etsi with NOMINALIZER VBL PART stand/3 S~ there thus o Yanis, tlen borusa na dulepso John/NOM ' With John standing there like that, I couldn' t work.' The evidence against the Oblique Law comes from a construction which is a variant of (3), in which the subject of the clausal object of me is raised to become itself the object of me. -
Syntax: Recursion, Conjunction, and Constituency
Syntax: Recursion, Conjunction, and Constituency Course Readings Recursion Syntax: Conjunction Recursion, Conjunction, and Constituency Tests Auxiliary Verbs Constituency . Syntax: Course Readings Recursion, Conjunction, and Constituency Course Readings Recursion Conjunction Constituency Tests The following readings have been posted to the Moodle Auxiliary Verbs course site: I Language Files: Chapter 5 (pp. 204-215, 216-220) I Language Instinct: Chapter 4 (pp. 74-99) . Syntax: An Interesting Property of our PS Rules Recursion, Conjunction, and Our Current PS Rules: Constituency S ! f NP , CP g VP NP ! (D) (A*) N (CP) (PP*) Course Readings VP ! V (NP) f (NP) (CP) g (PP*) Recursion PP ! P (NP) Conjunction CP ! C S Constituency Tests Auxiliary Verbs An Interesting Feature of These Rules: As we saw last time, these rules allow sentences to contain other sentences. I A sentence must have a VP in it. I A VP can have a CP in it. I A CP must have an S in it. Syntax: An Interesting Property of our PS Rules Recursion, Conjunction, and Our Current PS Rules: Constituency S ! f NP , CP g VP NP ! (D) (A*) N (CP) (PP*) Course Readings VP ! V (NP) f (NP) (CP) g (PP*) Recursion ! PP P (NP) Conjunction CP ! C S Constituency Tests Auxiliary Verbs An Interesting Feature of These Rules: As we saw last time, these rules allow sentences to contain other sentences. S NP VP N V CP Dave thinks C S that . he. is. cool. Syntax: An Interesting Property of our PS Rules Recursion, Conjunction, and Our Current PS Rules: Constituency S ! f NP , CP g VP NP ! (D) (A*) N (CP) (PP*) Course Readings VP ! V (NP) f (NP) (CP) g (PP*) Recursion PP ! P (NP) Conjunction CP ! CS Constituency Tests Auxiliary Verbs Another Interesting Feature of These Rules: These rules also allow noun phrases to contain other noun phrases. -
Lecture 1: Propositional Logic
Lecture 1: Propositional Logic Syntax Semantics Truth tables Implications and Equivalences Valid and Invalid arguments Normal forms Davis-Putnam Algorithm 1 Atomic propositions and logical connectives An atomic proposition is a statement or assertion that must be true or false. Examples of atomic propositions are: “5 is a prime” and “program terminates”. Propositional formulas are constructed from atomic propositions by using logical connectives. Connectives false true not and or conditional (implies) biconditional (equivalent) A typical propositional formula is The truth value of a propositional formula can be calculated from the truth values of the atomic propositions it contains. 2 Well-formed propositional formulas The well-formed formulas of propositional logic are obtained by using the construction rules below: An atomic proposition is a well-formed formula. If is a well-formed formula, then so is . If and are well-formed formulas, then so are , , , and . If is a well-formed formula, then so is . Alternatively, can use Backus-Naur Form (BNF) : formula ::= Atomic Proposition formula formula formula formula formula formula formula formula formula formula 3 Truth functions The truth of a propositional formula is a function of the truth values of the atomic propositions it contains. A truth assignment is a mapping that associates a truth value with each of the atomic propositions . Let be a truth assignment for . If we identify with false and with true, we can easily determine the truth value of under . The other logical connectives can be handled in a similar manner. Truth functions are sometimes called Boolean functions. 4 Truth tables for basic logical connectives A truth table shows whether a propositional formula is true or false for each possible truth assignment. -
1 Logic, Language and Meaning 2 Syntax and Semantics of Predicate
Semantics and Pragmatics 2 Winter 2011 University of Chicago Handout 1 1 Logic, language and meaning • A formal system is a set of primitives, some statements about the primitives (axioms), and some method of deriving further statements about the primitives from the axioms. • Predicate logic (calculus) is a formal system consisting of: 1. A syntax defining the expressions of a language. 2. A set of axioms (formulae of the language assumed to be true) 3. A set of rules of inference for deriving further formulas from the axioms. • We use this formal system as a tool for analyzing relevant aspects of the meanings of natural languages. • A formal system is a syntactic object, a set of expressions and rules of combination and derivation. However, we can talk about the relation between this system and the models that can be used to interpret it, i.e. to assign extra-linguistic entities as the meanings of expressions. • Logic is useful when it is possible to translate natural languages into a logical language, thereby learning about the properties of natural language meaning from the properties of the things that can act as meanings for a logical language. 2 Syntax and semantics of Predicate Logic 2.1 The vocabulary of Predicate Logic 1. Individual constants: fd; n; j; :::g 2. Individual variables: fx; y; z; :::g The individual variables and constants are the terms. 3. Predicate constants: fP; Q; R; :::g Each predicate has a fixed and finite number of ar- guments called its arity or valence. As we will see, this corresponds closely to argument positions for natural language predicates. -
Lambda Calculus and the Decision Problem
Lambda Calculus and the Decision Problem William Gunther November 8, 2010 Abstract In 1928, Alonzo Church formalized the λ-calculus, which was an attempt at providing a foundation for mathematics. At the heart of this system was the idea of function abstraction and application. In this talk, I will outline the early history and motivation for λ-calculus, especially in recursion theory. I will discuss the basic syntax and the primary rule: β-reduction. Then I will discuss how one would represent certain structures (numbers, pairs, boolean values) in this system. This will lead into some theorems about fixed points which will allow us have some fun and (if there is time) to supply a negative answer to Hilbert's Entscheidungsproblem: is there an effective way to give a yes or no answer to any mathematical statement. 1 History In 1928 Alonzo Church began work on his system. There were two goals of this system: to investigate the notion of 'function' and to create a powerful logical system sufficient for the foundation of mathematics. His main logical system was later (1935) found to be inconsistent by his students Stephen Kleene and J.B.Rosser, but the 'pure' system was proven consistent in 1936 with the Church-Rosser Theorem (which more details about will be discussed later). An application of λ-calculus is in the area of computability theory. There are three main notions of com- putability: Hebrand-G¨odel-Kleenerecursive functions, Turing Machines, and λ-definable functions. Church's Thesis (1935) states that λ-definable functions are exactly the functions that can be “effectively computed," in an intuitive way. -
A Logical Approach to Grammar Description Lionel Clément, Jérôme Kirman, Sylvain Salvati
A logical approach to grammar description Lionel Clément, Jérôme Kirman, Sylvain Salvati To cite this version: Lionel Clément, Jérôme Kirman, Sylvain Salvati. A logical approach to grammar description. Jour- nal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 10.15398/jlm.v3i1.94. hal-01251222 HAL Id: hal-01251222 https://hal.archives-ouvertes.fr/hal-01251222 Submitted on 19 Jan 2016 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. A logical approach to grammar description Lionel Clément, Jérôme Kirman, and Sylvain Salvati Université de Bordeaux LaBRI France abstract In the tradition of Model Theoretic Syntax, we propose a logical ap- Keywords: proach to the description of grammars. We combine in one formal- grammar ism several tools that are used throughout computer science for their description, logic, power of abstraction: logic and lambda calculus. We propose then a Finite State high-level formalism for describing mildly context sensitive grammars Automata, and their semantic interpretation. As we rely on the correspondence logical between logic and finite state automata, our method combines con- transduction, ciseness with effectivity. -
FOL Syntax: You Will Be Expected to Know
First-Order Logic A: Syntax CS271P, Fall Quarter, 2018 Introduction to Artificial Intelligence Prof. Richard Lathrop Read Beforehand: R&N 8, 9.1-9.2, 9.5.1-9.5.5 Common Sense Reasoning Example, adapted from Lenat You are told: John drove to the grocery store and bought a pound of noodles, a pound of ground beef, and two pounds of tomatoes. • Is John 3 years old? • Is John a child? • What will John do with the purchases? • Did John have any money? • Does John have less money after going to the store? • Did John buy at least two tomatoes? • Were the tomatoes made in the supermarket? • Did John buy any meat? • Is John a vegetarian? • Will the tomatoes fit in John’s car? • Can Propositional Logic support these inferences? Outline for First-Order Logic (FOL, also called FOPC) • Propositional Logic is Useful --- but Limited Expressive Power • First Order Predicate Calculus (FOPC), or First Order Logic (FOL). – FOPC has expanded expressive power, though still limited. • New Ontology – The world consists of OBJECTS. – OBJECTS have PROPERTIES, RELATIONS, and FUNCTIONS. • New Syntax – Constants, Predicates, Functions, Properties, Quantifiers. • New Semantics – Meaning of new syntax. • Unification and Inference in FOL • Knowledge engineering in FOL FOL Syntax: You will be expected to know • FOPC syntax – Syntax: Sentences, predicate symbols, function symbols, constant symbols, variables, quantifiers • De Morgan’s rules for quantifiers – connections between ∀ and ∃ • Nested quantifiers – Difference between “∀ x ∃ y P(x, y)” and “∃ x ∀ y P(x, y)”