Polarized unification grammar (PUG) is a linguistic formalism which uses polarities to better control the way grammar fragments interact. The grammar combination operation of PUG was conjectured to be associative. We show that PUG grammar combination is not associative, and even attaching polarities to objects does not make it order-independent. Moreover, we prove that no non-trivial polarity system exists for which grammar combination is associative. We then redefine the grammar combination (...) operator, moving to the powerset domain, in a way that guarantees associativity. The method we propose is general and is applicable to a variety of tree-based grammar formalisms. (shrink)

Action research and reflective thinking can enhance learning since both processes provide students with the opportunities to step back and think about how they actually solve problems. While there is a robust academic inquiry on reflection practices and AR in the educational setting, investigating learners’ reflections through AR practices can shed more light on related research. This study implemented reflective journal writing through AR and aimed to investigate the participants’ views about reflective journal writing, the effects of journal writing on (...) RT development, and the learners’ grammar use in writing. Eighty language learners formed the two experimental and control groups of the study. The possible relationship between the RT level and participants’ final exam was checked. Analyses of the participants’ journals, the semi-structured interview, the questionnaires’ results, and the final exam scores were considered. The findings showed that the participants had positive views about journal writing, and they could enhance their level of RT as well as their grammar use in writing; nevertheless, no relationship between the RT level and final exam scores of the participants was found. The methodology and the results of the study could be conducive to welcoming alternative methods of teaching and assessment that encourage the learners’ reflective practices and active engagements in language classes. (shrink)

“Grammar” is Ludwig Wittgenstein's preferred term for the workings of a language: the system of rules that determine linguistic meaning. A philosophical study of language is a study of “grammar”, in this sense, and insofar as any philosophical investigation is concerned with conceptual details, which manifest themselves in language, it is a grammatical investigation. In the Tractatus Logico‐Philosophicus Wittgenstein offered a mathematical picture of language: presenting language as a calculus. Like a calculus, language was claimed to be governed (...) by syntactic rules: formation rules about the licit combination of names to form elementary propositions; formation rules about the licit combination of elementary propositions to make complex propositions; and finally, truth‐table rules, which enable us to identify logical truths and entailments. Logical grammar, for the young Wittgenstein, is only logical syntax and logical syntax can be determined without paying any attention to the meaning of the signs. (shrink)

Interesting observations and problems emerge as the author pursues a complete calculus of an adverbial logic. Author Bartsch establishes a total of 18 adverbial subcategories and proposes an equal number of logico-semantic basic constructions in a predicate logical notation to explain them. The logico-semantic basic constructions bring out certain aspects of adverbial semantics, insofar as they can be specified by predicate logical means. However, for a logical and linguistic analysis of adverbials to be complete, sentence semantic analysis - provided it (...) is carried out in a clear-cut manner with clear paraphrasing criteria, unambiguous notation and complete interpretation rules - must be supplemented by and combined with 'word semantics' and syntax in a more elaborate way. The topic of adverbial semantics is a complicated and rewarding field, and this book contains enough suggestions, challenging hypotheses and stimulating observations, so that anybody directly concerned with the study of adverbials will want to have a look. (shrink)

This paper presents a preliminary and tentative formulation of a novel empirical generalization governing the relationship between grammar and cognition across a variety of independent domains. Its point of departure is an abstract distinction between two kinds of cognitive structures: symmetric and asymmetric. While in principle any feature whatsoever has the potential for introducing asymmetry, this paper focuses on one specific feature, namely thematic-role assignment. Our main empirical finding concerns the role of language, or, more specifically, grammar, in (...) effecting and maintaining the distinction between symmetric and asymmetric cognitive structures. Specifically, whereas symmetric structures devoid of thematic-role assignment more commonly occur in a non-grammatical and usually also non-verbal medium, asymmetric structures involving thematic-role assignment are more likely to be associated with a grammatical medium. Our work draws together three independent strands of empirical research associated with three diverse phenomenological domains: compositional semantics, metaphors and schematological hybrids. These three domains instantiate conceptual combinations, bringing together two or more subordinate entities into a single superordinate entity. For compositional semantics this consists of a juxtaposition of constituent signs to form a single more complex sign; for metaphors this entails the bringing together of two different concepts in order to produce a comparison; while for schematological hybrids this involves the combination of different entities to form a single new hybrid entity. Our empirical results reveal a remarkable parallelism between the above three domains. Within each domain, symmetric structures tend to be associated with a non-verbal or otherwise non-grammatical medium, while asymmetric structures are more frequently associated with a grammatical medium. Thus, within each domain, grammar introduces asymmetry. More specifically, we find that in all three domains, the asymmetry in question is one that involves the assignment of thematic roles. To capture this effect, we posit two distinct levels, or tiers, of cognition: non-grammatical cognition, more commonly associated with symmetric structures, and grammatical cognition more conducive to asymmetric structures. Within each of the three phenomenological domains, we find the distinction between non-grammatical and grammatical cognition to be manifest in three independent realms, phylogeny, ontogeny, and the architecture of human cognition. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

A method is described for inducing a type-logical grammar from a sample of bare sentence trees which are annotated by lambda terms, called term-labelled trees . Any type logic from a permitted class of multimodal logics may be specified for use with the procedure, which induces the lexicon of the grammar including the grammatical categories. A first stage of semantic bootstrapping is performed, which induces a general form lexicon from the sample of term-labelled trees using Fulop’s (J Log (...) Lang Inf 14(1):49–86, 2005) procedure. Next we present a two-stage procedure for performing distributional learning by unifying the lexical types that are initially discovered. The first structural unification algorithm in essence unifies the initial family of sets of types so that the resulting grammar will generate all term-labelled trees that follow the usage patterns evident from the learning sample. Further altering the lexical categories to generate a recursively extended language can be accomplished by a second unification. The combined unification algorithm is shown to yield a new type-logical lexicon that extends the learning sample to a possibly infinite (and possibly context-sensitive) language in a principled fashion. Finally, the complete learning strategy is analyzed from the perspective of algorithmic learning theory; the range of the procedure is shown to be a class of term-labelled tree languages which is finitely learnable from good examples (Lange et al in Algorithmic learning theory, Vol 872 of lecture notes in artificial intelligence, Springer, Berlin, pp 423–437), and so is identifiable in the limit as a corollary. (shrink)

While rules and exemplars are usually viewed as opposites, this paper argues that they form end points of the same distribution. By representing both rules and exemplars as (partial) trees, we can take into account the fluid middle ground between the two extremes. This insight is the starting point for a new theory of language learning that is based on the following idea: If a language learner does not know which phrase‐structure trees should be assigned to initial sentences, s/he allows (...) (implicitly) for all possible trees and lets linguistic experience decide which is the “best” tree for each sentence. The best tree is obtained by maximizing “structural analogy” between a sentence and previous sentences, which is formalized by the most probable shortest combination of subtrees from all trees of previous sentences. Corpus‐based experiments with this model on the Penn Treebank and the Childes database indicate that it can learn both exemplar‐based and rule‐based aspects of language, ranging from phrasal verbs to auxiliary fronting. By having learned the syntactic structures of sentences, we have also learned the grammar implicit in these structures, which can in turn be used to produce new sentences. We show that our model mimicks children’s language development from item‐based constructions to abstract constructions, and that the model can simulate some of the errors made by children in producing complex questions. (shrink)

There is ample evidence that speakers’ linguistic knowledge extends well beyond what can be described in terms of rules of compositional interpretation stated over combinations of single words. We explore a range of multiword constructions to get a handle both on the extent of the phenomenon and on the grammatical constraints that may govern it. We consider idioms of various sorts, collocations, compounds, light verbs, syntactic nuts, and assorted other constructions, as well as morphology. Our conclusion is that MWCs highlight (...) the central role that grammar plays in licensing MWCs in the lexicon and the creation of novel MWCs, and they help to clarify how the lexicon articulates with the rest of the grammar. (shrink)

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (shrink)

This dissertation looks to make sense of the role 'grammar' plays in Wittgenstein's philosophy of mathematics during the middle period of his career. It constructs a formal model of Wittgenstein's notion of grammar as expressed in his writings of the early thirties, addresses the appropriateness of that model and then employs it to test Wittgenstein's claim that mathematical propositions are ultimately grammatical. ;In order to test Wittgenstein's claim that mathematical propositions are grammatical, the dissertation provides a formalized theory (...) of grammatical analysis and applies it to a portion of language big enough to contain numerical expressions. It attempts to prove that, if the object language contains the appropriate numerical expressions, the resulting grammar will include at least some rules with a natural mathematical interpretation. In particular, it tries to show that Wittgenstein's grammatical analysis of the ordinary use of numerical expressions yields familiar theorems of arithmetic. ;The dissertation also endeavors to extend these results to a coherent picture of Wittgenstein's peculiar view of mathematics as grammar. It fits the formal results into the larger picture of Wittgenstein's philosophy of mathematics during this period. A large portion of the dissertation explains how, by combining the notions of grammar and mathematics, Wittgenstein allowed himself to offer original answers to some central questions in the philosophy of mathematics. In this regard, the dissertation pays special attention to four main issues: Wittgenstein's use of the term 'grammar' in his philosophical writings of this period, in comparison with traditional understandings of 'grammar', mathematics as part of the syntax of language, his explanation of mathematical application, and Wittgenstein's account of mathematical necessity. Taking these points in consideration situates the dissertation's results in the larger philosophical discussion of these themes. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

Word grammar is a theory of language structure and is based on the assumption that language, and indeed the whole of knowledge, is a network, and that virtually all of knowledge is learned. It combines the psychological insights of cognitive linguistics with the rigour of more formal theories. This textbook spans a broad range of topics from prototypes, activation and default inheritance to the details of syntactic, morphological and semantic structure. It introduces elementary ideas from cognitive science and uses (...) them to explain the structure of language including a survey of English grammar. (shrink)

The article presents the first results we have obtained studying natural reasoning from a proof-theoretic perspective. In particular we focus our attention on monotonic reasoning. Our system consists of two parts: (i) A Formal Grammar – a multimodal version of classical Categorial Grammar – which while syntactically analysing linguistic expressions given as input, computes semantic information (In particular information about the monotonicity properties of the components of the input string are displayed.); (ii) A simple Natural Logic which derives (...) (monotonicity) inferences using as vehicle the parsed output. The monotonicity markers assigned in the lexicon are propagated through the proofs via a combination of the structural and the logical rules for the unary operators of Multimodal Categorial Grammar (MMCG) [Moo97]. We have chosen to work with an expressive ‘grammar logic’, in order to avoid the use of extra-logical marking devices and extra-logical structural reasoning. Having MMCG as parser, our system is able to make the derivations simply within the logic. This new approach makes the implementation of the theory an easier task. We have implemented the theoretical results, so far obtained, using Grail, a theorem prover for Categorial Grammar Logics [Moo98]. (shrink)

It has been suggested that hierarchically structured symbols, a remarkable feature of human language, are produced via the operation of recursive combination. Recursive combination is frequently observed in human behavior, not only in language but also in action sequences, mind-reading, technology, et cetera.; in contrast, it is rarely observed in animals. Why is it that only humans use this operation? What is the adaptability of recursive combination? We aim (1) to identify the environmental feature(s) in which recursive (...) combination is effective for survival and reproduction, and that has facilitated the evolution of this ability, and (2) to demonstrate the possible evolutionary processes of recursive combination. To achieve this, we constructed an evolutionary simulation of agents that generated products using recursive combination and used the results to explore the types of fitness functions (that reflect the kinds of adaptive environments) that give rise to this ability. We identified two types of adaptability of the recursive combination: (1) diversifiability of production and (2) diversifiability of products. Through the former, recursive combination promotes robustness against failure of production caused by inaccurate manipulations or irreversible changes. In an environment in which diversified products are preferable, sharing a portion of the production process for these products entails producing multiple products in which recursive combination plays a key role. We suppose that recursive combination works as a driving force of material culture. Finally, we discuss the possible evolutionary scenarios of recursive combination that is later generalized to encompass many aspects of human cognition, including human language. (shrink)

We introduce _Interleave-Disjunction-Lock parallel multiple context-free grammars_ (IDL-PMCFG), a novel grammar formalism designed to describe the syntax of free word order languages that allow for extensive interleaving of grammatical constituents. Though interleaved constituents, and especially the so-called hyperbaton, are common in several ancient (Classical Latin and Greek, Sanskrit...) and modern (Hungarian, Finnish...) languages, these syntactic structures are often difficult to express in existing formalisms. The IDL-PMCFG formalism combines Seki et al.’s parallel multiple context-free grammars (PMCFG) with Nederhof and Satta’s (...) IDL expressions. We define the semantics of IDL-PMCFGs and study their expressivity, proving that IDL-PMCFG extends both PMCFG and IDL-CFG (context-free grammars equipped with IDL expressions) and that IDL-PMCFG parsing is \(\mathrm {NP}\) -hard. We then introduce COMPĀ, a programming language extending Ranta’s Grammatical Framework (GF) and built as a high-level front-end formalism to IDL-PMCFG for practical grammar development. We present a parsing algorithm for IDL-PMCFG inspired by earlier Earley-style PMCFG parsing algorithms and Nederhof and Satta’s IDL graphs and give a worst-case estimate of its complexity as a function of several metrics on IDL expressions, the size of the input and a new notion of the _G_-density of a language. (shrink)

This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic (...) types, by formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like np (num: sg & pers: 3rd) denotes those strings which have the indicated property and the categorial operators denote the usual left- and right-residuals of these string sets, does not match the intuitive, unification-based proof theory. Unification implements a global bookkeeping with respect to a proof whereas the direct fibring method restricts its view to the atoms of the grammar logic. The solution is to interpret the (embedded) feature terms as global feature constraints while maintaining the same kind of fibred structures. For this adjusted semantics, the anticipated proof system is sound and complete. (shrink)

The article contests Affeldt's critique of Mulhall's "Stanley Cavell: Philosophy's Recounting of the Ordinary," by asking how deep the conflict between what Affeldt proposes as Cavell's account of Wittgenstein's notion of grammar and that of Baker and Hacker really goes. It argues that Affeldt's critique is successful against one interpretation of the claims that grammar consists of a framework of rules and that criteria function as a basis for judgment, but that other interpretations of these claims are available (...) and appear consistent with both Cavell's and Wittgenstein's positions. It concludes by suggesting that the real issue is how to combine a sense of the normativity of grammar with that of the role of the personal in grounding grammatical remarks. (shrink)

Research in linguistic semantics may be roughly divided into two broad traditions. Students concerned with lexical fields and lexical domains ('lexical semanticists') have interested themselves in the paradigmatic relations of contrast that obtain among related lexical items and the substantive detail of how particular lexical items map to the nonlinguistic objects they stand for. 'Formal semanticists' (those who study the combinatorial properties of word meanings) have been mostly unconcerned with these issues, concentrating rather on how the meanings of individual words, (...) whatever their internal structure may be and however they may be paradigmatically related to one another, combine into the meanings of phrases and sentences (and recently, to some extent, texts). (shrink)

The paper presents a system for construction classification representing multiple levels of specification, such as grammatical functions, grammatically reflected actants, and lexical semantics, aligned with a compositional system of sign combination mediating between a construction perspective and a valence perspective. The system uses a feature structure formalism based on Head-Driven Phrase Structure Grammar but with essential elements from Lexical Functional Grammar, and has as implementation background large scale HPSG grammars. While on the one extreme being able to (...) encode word level selection in multi-word patterns, the system on the other provides a compact format for construction specification, allowing for cross-language comparison both in construction and valence frame inventories. Pivotal in these capacities as well as in sign formalization in general are the grammatical functions. The paper motivates the usefulness of the various functionalities and illustrates the way in which they work together in a formally uniform system. (shrink)

Bursill-Hall, writing as a linguist, has produced a book of interest and use to all students of philosophy who are intrigued either by medieval or by modern theories of language, or by both. Bursill-Hall’s book is the first full-length presentation of this material in English. After a brief, not to say, desultory, survey of the history of linguistic theory from the Greeks until the appearance of the so-called Modistae, the author discusses the descriptive technique and the terminology of the speculative (...) grammarians. The third chapter, "Metalanguage," offers a valuable analysis of the basic "elements" and "categories" of modistic grammar. One especially striking feature of this chapter is the author’s account of the sequence of operations through which a vox, or meaningless sound, becomes, first, a dictio, or sound capable of signifying, and, then, a pars orationis, a part of speech or word-class, capable of entering into syntactic relations with other partes orationis so as to produce a meaningful and well-formed sentence. The next four chapters form the core of the work. Taking as his primary sources the Belgian Siger of Courtrai, the German Thomas of Erfurt, and the Dane Martin of Dacia, Bursill-Hall expounds in detail the modistic treatments of the essential, specific and accidental features of the declinable and indeclinable word-classes and the modistic theories of syntax. An evaluative conclusion comparing modistic and modern linguistic theory is followed by a series of appendices in which detailed diagrams make visible the definitions and interrelations of the various modes and partes orationis in the texts of Siger, Thomas and Martin. The work includes a useful bibliography, a table of passages cited from medieval authors, an index of examples cited in the main text, an index of names and an index of subjects. The exposition and the apparatus combine to yield a volume of quickly apparent value for both reference and research. This said, and with due regard for the fact that the author is writing as a professional linguist, it must be said that a certain sense of philosophical disappointment cannot be suppressed. Looked at linguistically, speculative grammar is an attempt to inventory and describe those features of word-classes in virtue of which an element of language is potentially expressive of meaning and capable of entering into syntactic relations with other significant elements. Looked at philosophically, speculative grammar is a theory of the intelligibility of linguistic expressions—cp. Thomas of Erfurt, #225: the end served by a complete expression is "to express a composite mental concept and to generate a perfect understanding in the mind of the hearer." Intelligibility is seen in this theory as the product of the concurrence or interpenetration of the ontological constitution of extramental realities, the apprehensive powers of the intellect and the manners of signifying conferred by the intellect on the linguistic medium in accordance with its appreciation of extramental reality. The author is certainly aware of the philosophical matrix of the grammatical theories he rehearses. At the same time, he seems to give these underlying philosophical considerations rather short shrift. To say, as he does, that the Modistae "seem to have been unaware of... the fact that their theories were in fact a projection into reality of the basic patterns of the language in which they were expressed," is surely not to do justice to the complex ontological, epistemological and semantic issues informing their work. Similarly, a statement that comparison between modistic and modern theories faces the difficulty that "the medieval vision of man in his environment and the metaphysical theories of the world are entirely different from those of today" is, at best, uninformative and, at worst, a piece of vaporous historicism. At other times, it is not entirely clear what interpretation the author is recommending. This is especially true of his remarks about the inactive character of the modus intelligendi. While the Modistae were, after all, doing grammar and not epistemology or, should one say, rational psychology, still, their grammatical theory rests on their insistence that the forms of language are linked appropriately to the forms of being and it is the modus intelligendi activus that is responsible both for the possibility and the success of this linkage. This volume is well-produced and almost completely free of misprints. However, the obnoxiously high price asked by the publisher is not justified either by the quality of production or by the inclusion of numerous Latin citations; it only serves, I fear, as a barrier to the wide circulation the book deserves.—D. L. (shrink)

Bursill-Hall, writing as a linguist, has produced a book of interest and use to all students of philosophy who are intrigued either by medieval or by modern theories of language, or by both. Bursill-Hall’s book is the first full-length presentation of this material in English. After a brief, not to say, desultory, survey of the history of linguistic theory from the Greeks until the appearance of the so-called Modistae, the author discusses the descriptive technique and the terminology of the speculative (...) grammarians. The third chapter, "Metalanguage," offers a valuable analysis of the basic "elements" and "categories" of modistic grammar. One especially striking feature of this chapter is the author’s account of the sequence of operations through which a vox, or meaningless sound, becomes, first, a dictio, or sound capable of signifying, and, then, a pars orationis, a part of speech or word-class, capable of entering into syntactic relations with other partes orationis so as to produce a meaningful and well-formed sentence. The next four chapters form the core of the work. Taking as his primary sources the Belgian Siger of Courtrai, the German Thomas of Erfurt, and the Dane Martin of Dacia, Bursill-Hall expounds in detail the modistic treatments of the essential, specific and accidental features of the declinable and indeclinable word-classes and the modistic theories of syntax. An evaluative conclusion comparing modistic and modern linguistic theory is followed by a series of appendices in which detailed diagrams make visible the definitions and interrelations of the various modes and partes orationis in the texts of Siger, Thomas and Martin. The work includes a useful bibliography, a table of passages cited from medieval authors, an index of examples cited in the main text, an index of names and an index of subjects. The exposition and the apparatus combine to yield a volume of quickly apparent value for both reference and research. This said, and with due regard for the fact that the author is writing as a professional linguist, it must be said that a certain sense of philosophical disappointment cannot be suppressed. Looked at linguistically, speculative grammar is an attempt to inventory and describe those features of word-classes in virtue of which an element of language is potentially expressive of meaning and capable of entering into syntactic relations with other significant elements. Looked at philosophically, speculative grammar is a theory of the intelligibility of linguistic expressions—cp. Thomas of Erfurt, #225: the end served by a complete expression is "to express a composite mental concept and to generate a perfect understanding in the mind of the hearer." Intelligibility is seen in this theory as the product of the concurrence or interpenetration of the ontological constitution of extramental realities, the apprehensive powers of the intellect and the manners of signifying conferred by the intellect on the linguistic medium in accordance with its appreciation of extramental reality. The author is certainly aware of the philosophical matrix of the grammatical theories he rehearses. At the same time, he seems to give these underlying philosophical considerations rather short shrift. To say, as he does, that the Modistae "seem to have been unaware of... the fact that their theories were in fact a projection into reality of the basic patterns of the language in which they were expressed," is surely not to do justice to the complex ontological, epistemological and semantic issues informing their work. Similarly, a statement that comparison between modistic and modern theories faces the difficulty that "the medieval vision of man in his environment and the metaphysical theories of the world are entirely different from those of today" is, at best, uninformative and, at worst, a piece of vaporous historicism. At other times, it is not entirely clear what interpretation the author is recommending. This is especially true of his remarks about the inactive character of the modus intelligendi. While the Modistae were, after all, doing grammar and not epistemology or, should one say, rational psychology, still, their grammatical theory rests on their insistence that the forms of language are linked appropriately to the forms of being and it is the modus intelligendi activus that is responsible both for the possibility and the success of this linkage. This volume is well-produced and almost completely free of misprints. However, the obnoxiously high price asked by the publisher is not justified either by the quality of production or by the inclusion of numerous Latin citations; it only serves, I fear, as a barrier to the wide circulation the book deserves.—D. L. (shrink)

The phenomenon of multimodality is central to our everyday interaction. 'Hybrid' modes of communication that combine traditional uses of language with imagery, tagging, hashtags and voice-recognition tools have become the norm. Bringing together concepts of meaning and communication across a range of subject areas, including education, media studies, cultural studies, design and architecture, the authors uncover a multimodal grammar that moves away from rigid and language-centered understandings of meaning. They present the first framework for describing and analysing different forms (...) of meaning across text, image, space, body, sound and speech. Succinct summaries of the main thinkers in the fields of language, communications and semiotics are provided alongside rich examples to illustrate the key arguments. A history of media including the genesis of digital media, Unicode, Emoji, XML and HTML, MP3 and more is covered. This book will stimulate new thinking about the nature of meaning, and life itself, and will serve practitioners and theorists alike. (shrink)

Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore, a semantical interpretation is independent of the order of the associated logic. Lexical entries are read as expressions in a two sorted predicate logic with ∈ and functional symbols. The parsing of a sentence defines a substitution that combines the expressions associated to the individual words. The resulting variable free formula is the translation of (...) the sentence. It can be computed in time proportional to the parsing structure. Non-logical axioms are associated to certain words (relative pronouns, indefinite article, comparative determiners). Sample sentences are used to derive the characterizing formula of the DRS corresponding to the translation. (shrink)

We present a case study of grammatical constructions and how their function in a single language can be captured through semantic and syntactic classification. Since 2016 an on-going joint project of UiT The Arctic University of Norway and the National Research University Higher School of Economics in Moscow has been collecting and analyzing multiword grammatical constructions of Russian. The main product is the Russian Constructicon, which, with over two thousand two hundred constructions, is arguably the largest openly available constructicon resource (...) for any language. The combination of this large size with depth of analysis, containing both syntactic and semantic tags, makes it possible to view the interrelation of constructions as families and to discover trends in their behavior. Our annotation includes 53 semantic tags of varying frequency, with three tags that are by far more frequent than all the rest, accounting for 30% of the entire inventory of the Russian Constructicon. These three semantic types are Assessment, Attitude, and Intensity, all of which convey a speaker’s evaluation of a topic, in contrast to most of the other tags. Assessment and Attitude constructions are investigated in greater detail in this article. Secondary semantic tags reveal that negative evaluation among these two semantic types is more than twice as frequent as positive evaluation. Examples of negative evaluations are: for Assessment VP tak sebe, as in Na pianino ja igraju tak sebe “I play the piano so-so [lit. thus self]”; for Attitude s PronPers-Gen xvatit/xvatilo, as in S menja xvatit “I’m fed up [lit. from me enough].” In terms of syntax, the most frequent syntactic types of constructions in the Russian Constructicon are clausal constructions [constituting an independent clause like s PronPers-Gen xvatit/xvatilo ] and constructions with the anchor in the role of adverbial modifier. Our semantic and syntactic classification of this large body of Russian constructions makes it possible to postulate patterns of grammatical constructions constituting a radial category with central and peripheral types. Classification of large numbers of constructions reveals systematic relations that structure the grammar of a language. (shrink)

Although there is a broad consensus that both the procedural and declarative memory systems play a crucial role in language learning, use, and knowledge, the mapping between linguistic types and memory structures remains underspecified: by default, a dual-route mapping of language systems to memory systems is assumed, with declarative memory handling idiosyncratic lexical knowledge and procedural memory handling rule-governed knowledge of grammar.We experimentally contrast the processing of morphology (case and aspect), syntax (subordination), and lexical semantics (collocations) in a healthy (...) L1 population of Polish, a language rich in form distinctions. We study the processing of these four types under two conditions: a single task condition in which the grammaticality of stimuli was judged and a concurrent task condition in which grammaticality judgments were combined with a digit span task. Dividing attention impedes access to declarative memory while leaving procedural memory unaffected and hence constitutes a test that dissociates which types of linguistic information each long-term memory construct subserves.Our findings confirm the existence of a distinction between lexicon and grammar as a generative, dual-route model would predict, but the distinction is graded, as usage-based models assume: the hypothesized grammar–lexicon opposition appears as a continuum on which grammatical phenomena can be placed as being more or less “ruly” or “idiosyncratic.” However, usage-based models, too, need adjusting as not all types of linguistic knowledge are proceduralized to the same extent. This move away from a simple dichotomy fundamentally changes how we think about memory for language, and hence how we design and interpret behavioral and neuroimaging studies that probe into the nature of language cognition. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic (...) data structures, pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Here I consider the two most venerated arguments about the existence of God: the Ontological Argument and the Argument from Evil. The Ontological Argument purports to show that God’s nature guarantees that God exists. The Argument from Evil purports to show that God’s nature, combined with some plausible facts about the way the world is, guarantees (or is very compelling grounds for thinking) that God does not exist. Obviously, both arguments cannot be sound. But I argue here that they are (...) both unsound for the very same reason. (shrink)

In this small book logician and mathematician Jens Erik Fenstad addresses some of the most important foundational questions of linguistics: What should a theory of meaning look like and how might we provide the missing link between meaning theory and our knowledge of how the brain works? The author’s answer is twofold. On the one hand, he suggests that logical semantics in the Montague tradition and other broadly conceived symbolic approaches do not suffice. On the other hand, he does not (...) argue that the logical approach should be discarded; instead, he opts for a methodological pluralism in which symbolic approaches to meaning are combined with geo- metric ones such as Conceptual Spaces [9] and discusses ways in which these geometric accounts could be hooked up with connectionist frameworks and dynamic systems approaches in neurophysiology. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

In this article, we explore the extraction of recursive nested structure in the processing of binary sequences. Our aim was to determine whether humans learn the higher-order regularities of a highly simplified input where only sequential-order information marks the hierarchical structure. To this end, we implemented a sequence generated by the Fibonacci grammar in a serial reaction time task. This deterministic grammar generates aperiodic but self-similar sequences. The combination of these two properties allowed us to evaluate hierarchical (...) learning while controlling for the use of low-level strategies like detecting recurring patterns. The deterministic aspect of the grammar allowed us to predict precisely which points in the sequence should be subject to anticipation. Results showed that participants’ pattern of anticipation could not be accounted for by “flat” statistical learning processes and was consistent with them anticipating upcoming points based on hierarchical assumptions. We also found that participants were sensitive to the structure constituency, suggesting that they organized the signal into embedded constituents. We hypothesized that the participants built this structure by merging recursively deterministic transitions. (shrink)

According to classical arguments, language learning is both facilitated and constrained by cognitive biases. These biases are reflected in linguistic typology—the distribution of linguistic patterns across the world's languages—and can be probed with artificial grammar experiments on child and adult learners. Beginning with a widely successful approach to typology (Optimality Theory), and adapting techniques from computational approaches to statistical learning, we develop a Bayesian model of cognitive biases and show that it accounts for the detailed pattern of results of (...) artificial grammar experiments on noun-phrase word order (Culbertson, Smolensky, & Legendre, 2012). Our proposal has several novel properties that distinguish it from prior work in the domains of linguistic theory, computational cognitive science, and machine learning. This study illustrates how ideas from these domains can be synthesized into a model of language learning in which biases range in strength from hard (absolute) to soft (statistical), and in which language-specific and domain-general biases combine to account for data from the macro-level scale of typological distribution to the micro-level scale of learning by individuals. (shrink)

Combining insights from two of the most influential approaches in linguistics, Construction Grammar and Relevance Theory, this book furthers our understanding of how meaning comes about. This title is part of the Flip it Open Programme and may also be available Open Access. Check our website Cambridge Core for details.

Can language directly access what is true, or is the truth judgment affected by the subjective, perhaps even solipsistic, constructs of reality built by the speakers of that language? The construction of such subjective representations is known as veridicality, and in this book Anastasia Giannakidou and Alda Mari deftly address the interaction between truth and veridicality in the grammatical phenomena of mood choice: the indicative and subjunctive choice in the complements of modal expressions (words like must, may, can, and possible) (...) and propositional attitude verbs (such as know, believe, remember, dream, and persuade). Combining several strands of analysis-formal linguistic semantics, syntactic theory, modal logic, and philosophy of language- Giannakidou and Mari's theory not only enriches the analysis of linguistic modality, but also offers a unified perspective of modals and propositional attitudes. Their synthesis covers mood, modality, and attitude verbs in Greek and Romance languages including Italian and French, while also offering broader applications for languages lacking systematic mood distinction, such as English, and explaining interactions between modality, time, and evidentiality. (shrink)

The suitability of the artificial grammar learning paradigm to capture relevant aspects of the acquisition of linguistic structures has been empirically tested in a number of EEG studies. Some have shown a syntax-related P600 component, but it has not been ruled out that the AGL P600 effect is a response to surface features rather than the underlying syntax structure. Therefore, in this study, we controlled for the surface characteristics of the test sequences and recorded the EEG before and after (...) exposure to a grammar. After exposure, a typical, centroparietal P600 effect was elicited by grammatical violations and not by unfamiliar subsequences, suggesting that the AGL P600 effect signals a response to structural irregularities. Moreover, preference and grammaticality classification showed a qualitatively similar ERP profile, strengthening the idea that the implicit structural mere-exposure paradigm in combination with preference classification is a suitable alternative to the traditional grammaticality classification test. (shrink)

The study aims to explore the roles of Massive Open Online Courses based on deep learning in college students’ English grammar teaching. The data are collected using a survey. After the experimental data are analyzed, it is found that students have a low sense of happiness and satisfaction and are unwilling to practice oral English and learn language points in English learning. They think that college English learning only meets the needs of CET-4 and CET-6 and does not take (...) it as the ultimate learning goal. After the necessity and problems in English grammar teaching are discussed, the advantages of flipped classrooms of MOOCs are discussed in English grammar teaching. A teaching platform is constructed to study the foreign language teaching mode under MOOCs, and classroom teaching is combined with the advantages of MOOCs following the principle of “teaching students according to their personalities” to improve the listening, speaking, reading, writing, and translation skills of foreign language majors. The results show that high-quality online teaching resources and the deep learning-based teaching environment can provide a variety of interactive tools, by which students can communicate with their peers and teachers online. Sharing open online communication, classroom discussion, and situational simulation can enhance teachers’ deep learning ability, like the ability to communication and transfer thoughts. Constructivism with interaction as the core can help students grasp new knowledge easily. Extensive communication and interaction are important ways for learning and thinking. The new model provides students with profound learning experience, expands the teaching resources of MOOCs around the world, and maximizes the interaction between online and offline teachers and students, making knowledge widely rooted in the campus and realizing the combination of online resources and campus classroom teaching. Students can learn the knowledge through autonomous learning and discussion before class, which greatly broadens the learning time and space. In the classroom and after class, the internalization and sublimation of knowledge are completed through group cooperation, inquiry learning, scenario simulation, display, and evaluation, promoting students to know about new knowledge and highlighting the dominant position of students. (shrink)

I argue that theoretical developments in the study of the Universal Declaration of Human Rights (UDHR) should occur alongside progress in moral psychology, particularly moral cognition. More specifically, I argue that Universal Moral Grammar (UMG), a model positing an innate, regulative, and universal moral faculty characterizable in terms of rules and principles, fulfills the role of the foundational model needed to usefully conceptualize the UDHR. As such, I provide a detailed account of UMG against competing models in moral psychology. (...) Furthermore, I combine UMG with Talbott’s Historical-Social Process of Moral Discovery and Rawls’s reflective equilibrium to show how the UDHR represents a major development in moral exploration, one indicating a more penetrative look into the inner moral nature of humans that attempts to reach, but does not attain, one interpretation of reflective equilibrium tied to cognitive moral psychology. (shrink)

In this paper I discuss Kant’s philosophy of grammar in order to argue that: (a) the formal analysis of language implies that there is a structural correspondence between logical and grammatical form; (b) there is a distinction between the sense in which logic is formal and the sense in which grammar is formal; (c) universal grammar descends from the system of categorial functions that are investigated in the transcendental analytic; (d) transcendental grammar implies that the universal (...) form of human language has its ground in the universal structure of thought; (e) the concept of a grammatical norm is clarified once we combine the theory of universal grammar with how linguistic experience takes place. (shrink)

A key motivation for Universal Grammar (UG) is developmental: UG can help children acquire the linguistic knowledge that they do as quickly as they do from the data that's available to them. Some of the most fruitful recent work in language acquisition has combined ideas about different hypothesis space building blocks with domain‐general statistical learning. Statistical learning can then provide a way to help navigate the hypothesis space in order to converge on the correct hypothesis. Reinforcement learning is a (...) principled way to update the probability of a categorical option that's in competition with other categorical options. There are two prominent options for linking theory theoretical representations: the Uniformity of Theta Assignment Hypothesis (UTAH) and the relativized form of that theory, relativized UTAH. The learning strategy of Pearl and Sprouse shares the intuition with subjacency that there's a local structural anomaly when syntactic islands occur. (shrink)

ArgumentThe Ashkenazi grammars of Hebrew written between roughly 1600 and 1800 fill a modest and largely forgotten shelf in the Jewish scholarly library. At first sight, especially when compared with the medieval Jewish and contemporary Christian Hebrew traditions, they seem to lack technical sophistication. As this paper hopes to demonstrate, however, this apparent lack of sophistication was not so much an intrinsic flaw as a deliberate choice. For the earliest Ashkenazi textbooks were not about studying grammar, but about teaching (...) Hebrew. By adapting the existing descriptive models to the needs of the classroom and the gemeyne leytn, Jewish scholars and teachers in such cities as Prague, Wilhelmsdorff, and Amsterdam hoped to find and instruct new audiences. Depending on context and target audience, they either relied on Hebrew, Yiddish, or on an intricate interplay of the two for maximum success and efficiency. It was this innovative combination of didactic simplification and functional bilingualism that allowed them not only to reach a new readership, but also to equip that readership to henceforth read their Bible and prayers with unprecedented autonomy. (shrink)

We describe a categorial system (PPTS) based on partial proof trees(PPTs) as the building blocks of the system. The PPTs are obtained byunfolding the arguments of the type that would be associated with a lexicalitem in a simple categorial grammar. The PPTs are the basic types in thesystem and a derivation proceeds by combining PPTs together. We describe theconstruction of the finite set of basic PPTs and the operations forcombining them. PPTS can be viewed as a categorial system incorporating (...) someof the key insights of lexicalized tree adjoining grammar, namely the notionof an extended domain of locality and the consequent factoring of recursionfrom the domain of dependencies. PPTS therefore inherits the linguistic andcomputational properties of that system, and so can be viewed as a middleground between a categorial grammar and a phrase structure grammar. We alsodiscuss the relationship between PPTS, natural deduction, and linear logicproof-nets, and argue that natural deduction rather than a proof-net systemis more appropriate for the construction of the PPTs. We also discuss howthe use of PPTs allows us to localize the management of resources, therebyfreeing us from this management as the PPTs are combined. (shrink)

(Though it is now known that many pronouns once lumped under ”bound variables” are in fact referential indefinites or other phenomena better accounted for in a DRT-like view of referents, there remain many true instances of sentenceinternally bound anaphora: this talk concerns only the latter.) Almost all versions of categorial grammar (CG) are differentiated from other syntactic theories in treating a multi-argument verb as an Ò-place predicate phrase (PrdP) that combines with a NP or other argument to yield a (...) (Ò-1)-place PrdP (which, if (n–1) 1, then combines with another argument to yield a ´Ò ¾µ-place PrdP, until a sentence (0-place PrdP) results) – a ”curried function” account of argument structure. (In CG, Ú ÔÜ ÒÔ · ÒÔ Üµ. A number of CG analyses of Ú Ô bound anaphora (Bach & Partee 1980, Chierchia 1988, Szabolcsi 1992, Jacobson 1991, Dowty 1993, Jacobson 1999), though otherwise diverse, have in common that they treat anaphoric binding as a process that affects (only) a predicate phrase (PrdP) — usually (finite or non-finite) Ú Ô, else ÚÔ ÒÔ — by binding an internal pronoun, i.e. ”binding at the VP level”; semantically, this is usually indicated ´Üµ . The result of this binding is that the next argument the.. (shrink)

We describe a categorial system (PPTS) based on partial proof trees(PPTs) as the building blocks of the system. The PPTs are obtained byunfolding the arguments of the type that would be associated with a lexicalitem in a simple categorial grammar. The PPTs are the basic types in thesystem and a derivation proceeds by combining PPTs together. We describe theconstruction of the finite set of basic PPTs and the operations forcombining them. PPTS can be viewed as a categorial system incorporating (...) someof the key insights of lexicalized tree adjoining grammar, namely the notionof an extended domain of locality and the consequent factoring of recursionfrom the domain of dependencies. PPTS therefore inherits the linguistic andcomputational properties of that system, and so can be viewed as a ’middleground‘ between a categorial grammar and a phrase structure grammar. We alsodiscuss the relationship between PPTS, natural deduction, and linear logicproof-nets, and argue that natural deduction rather than a proof-net systemis more appropriate for the construction of the PPTs. We also discuss howthe use of PPTs allows us to ’localize‘ the management of resources, therebyfreeing us from this management as the PPTs are combined. (shrink)

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and (...) a multimodal version incorporating structural rules and unary modes. (shrink)

The restrictive grammatical format suggested in GPSG provides an extremely interesting alternative to transformational approaches to grammar. However, we have seen that the way the grammar is currently organized, it will in certain cases fail to give the correct interpretation to sentences with displaced constituents. Whenever a left or rightward displaced constituent contains an element that can stand in an anaphoric relation with some other element in the sentence, i.e. contains a quantifier or a pronoun, the semantic rules (...) as given do not provide the intended reading. It should be made clear, however, that this shortcoming pertains to one particular type of GPSG, namely one whose interpretation procedures make use of lambda abstraction. The problematic cases addressed here do not by themselves invalidate the syntactic framework of a GPSG. It seems quite plausible that one could construct a semantics that does not depend on lambda conversion, in which case the problem addressed in this note is presumably no longer relevant. One such proposal is put forward in Cooper (forthcoming) where a non-movement syntax is combined with interpretation procedures that do not involve translation into a lambda calculus. (shrink)

This paper classifies a family of grammar formalisms that extendcontext-free grammar by talking about tuples of terminal strings, ratherthan independently combining single terminal words into larger singlephrases. These include a number of well-known formalisms, such as headgrammar and linear context-free rewriting systems, but also a new formalism,(simple) literal movement grammar, which strictly extends the previouslyknown formalisms, while preserving polynomial time recognizability.The descriptive capacity of simple literal movement grammars isillustrated both formally through a weak generative capacity argument and (...) ina more practical sense by the description of conjunctive cross-serialrelative clauses in Dutch. After sketching a complexity result and drawing anumber of conclusions from the illustrations, it is then suggested that thenotion of mild context-sensitivity currently in use, that depends on therather loosely defined concept of constant growth, needs a modification toapply sensibly to the illustrated facts; an attempt at such a revision isproposed. (shrink)

Grammatical error correction is an important element in language learning. In this article, based on deep learning, the application of the Transformer model in GEC was briefly introduced. Then, in order to improve the performance of the model on GEC, it was optimized by a generative adversarial network. Experiments were conducted on two data sets. It was found that the performance of the GAN-combined Transformer model was significantly improved compared to the Transformer model. The F 0.5 value of the optimized (...) model was 53.87 on CoNIL-2014, which was 2.69 larger than the Transformer model; the generalized language evaluation understanding value of the optimized model was 61.77 on JFLEG, which was 8.81 larger than that of the Transformer model. The optimized model also had a favorable correction performance in an actual English essay. The experimental results verify the reliability of the GAN-combined Transformer model on automatic English GEC, suggesting that the model can be further promoted and applied in practice. (shrink)

The book series Linguistische Arbeiten (LA) publishes high-quality work in linguistics that addresses current issues in synchrony and diachrony, theoretically or empirically oriented.