Introduction When one takes a functional approach to the study of natural languages, the ultimate questions one is interested in can be formulated as: How does the natural language user (NLU) work? How do speakers and addressees succeed ...
"This book explores the role of phonological form in the noun class systems of the Arapesh languages, which are spoken in Papua New Guinea. Linguists have long known that formal criteria play a role alongside semantics in the classification of lexical items, resulting in generalizations of the familiar type "nouns ending in -a are feminine." But the extent to which such patterns pervade the grammatical systems of the Arapesh languages is remarkable. In Arapesh, virtually every possible noun-final sound is represented in the paradigm of noun class and agreement markers, reflecting an interpenetration of sound structure and grammar that many theories would disallow as wildly unconstrained. Concreteness in Grammar describes these formal patterns so as to reveal their naturalness and elegance, establishing their place in a typology of noun class systems and drawing out their significance for theories of grammatical architecture"--Provided by publisher.
Where is language? Centuries of efforts to 'incorporate' language lie behind current concepts of extended mind and embodied cognition. This book examines this question.
This is the first volume of a two-volume work that introduces a new and fundamentally different conception of language structure and linguistic investigation. The central claim of cognitive grammar is that grammar forms a continuum with lexicon and is fully describable in terms of symbolic units (i.e. form-meaning pairings). In contrast to current orthodoxy, the author argues that grammar is not autonomous with respect to semantics, but rather reduces to patterns for the structuring and symbolization of conceptual content. Reviews It is impossible within the limits of a review to discuss, or even do justice to, the wealth of information and genuine insights that the book contains. . . . Let us look forward to seeing the continuation of this promising approach to language. Langacker has written a highly stimulating first part; it will be exciting to see the sequel. Canadian Journal of Linguistics It represents important changes in the thrust of linguistic approaches to language. . . . It is rich, full, and thought-provoking. . . . The issues it raises are significant and will be much debated in the future. Linguistic Anthropology Understanding Langacker s grammar is made easier by the fact that, instead of using mathematical formalisms to prove his points, he uses common knowledge of language to persuade the reader. . . . The book is valuable for several factors in addition to its clarification of grammar. The insights into verbal thought and meaning are prime reasons for recommending the book to the semantically inclined. Et cetera"
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.
This translation of "Marxism and Problems of Linguistics" is a reprint of the English-language text published in Moscow in 1954. This edition also includes notes from the 1971 Chinese edition.
Ernst Cassirer and the Autonomy of Language examines the central arguments in Cassirer’s first volume of the Philosophy of Symbolic Forms. Gregory Moss demonstrates both how Cassirer defends language as an autonomous cultural form and how he borrows the concept of the “concrete universal” from G. W. F. Hegel in order to develop a concept of cultural autonomy. While Cassirer rejected elements of Hegel’s methodology in order to preserve the autonomy of language, he also found it necessary to incorporate elements of Hegel’s method to save the Kantian paradigm from the pitfalls of skepticism. Moss advocates for the continuing relevanceof Cassirer’s work on language by situating it within in the context of contemporary linguistics and contemporary philosophy. This book provides a new program for investigating Cassirer’s work on the other forms of cultural symbolism in his Philosophy of Symbolic Forms, by showing how the autonomy of culture is one of the leading questions motivating Cassirer’s philosophy of culture. With a thorough comparison of Cassirer’s theory of symbolism to other dominant theories from the twentieth century, including Heidegger and Wittgenstein, this book provides valuable insight for studies in philosophy of language, semiotics, epistemology, pyscholinguistics, continental philosophy, Neo-Kantian philosophy, and German idealism.