This collection of eighteen papers explores issues in the study of semantic parallelism — a world-wide tradition in the composition of oral poetry. It is concerned with both comparative issues and the intensive study of a single living poetic tradition of composition in strict canonical parallelism. The papers in the volume were written at intervals from 1971 to 2014 — a period of over forty years. They are a summation of a career-long research effort that continues to take shape. The concluding essay reflects on possible directions for future research.

A mechanistic theory of the representation and use of semantic knowledge that uses distributed connectionist networks as a starting point for a psychological theory of semantic cognition.

The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

Friederike Moltmann presents an original approach to philosophical issues to do with abstract objects. She focuses on natural language, and finds that reference to abstract objects such as properties, numbers, and propositions is much more restricted than is generally thought, and she offers a substantially new ontological picture.

The answer to the question "How can we understand and use a definition?" provides new constraints on natural language and on the internal language in which meaning is mentally represented. Most syntax takes the sentence as the basic unit for well-formedness, but definitions force us to focus on words and phrases, and hence to focus on compositional syntax in parallel with compositional semantics. This study examines both dictionary definitions and definitions from textbooks, from the points of view of their syntax, semantics, and use for learning word meaning. The tools used throughout are Principles and Parameters syntax, Relevance theoretic pragmatics, Model theoretic semantics, and the formal theory of definitions. The analyses argue that because phrases can be understood in isolation, some standard syntactic analyses must be modified. 'NP movement' has to be reanalysed as transmission of theta roles. These ideas are then applied to a variety of adjectives which take propositional complements. The final chapter argues that for definitions to be understood, the syntax of the Language of Thought must be close to that of Natural Language in specifiable way.

This volume presents the state of the art of recent research on the acquisition of semantics. Covering topics ranging from infants' initial acquisition of word meaning to the more sophisticated mapping between structure and meaning in the syntax-semantics interface, and the relation between logical content and inferences on language meaning (semantics and pragmatics), the papers in this volume introduce the reader to the variety of ways in which children come to realize that semantic content is encoded in word meaning (for example, in the event semantics of the verbal domain or the scope of logical operators), and at the level of the sentence, which requires the composition of semantic meaning. The authors represent some of the most established and promising researchers in this domain, demonstrating collective expertise in a range of methodologies and topics relevant to the acquisition of semantics. This volume will serve as a valuable resource for students and faculty, and junior and seasoned researchers alike.

Introduces the major elements of semantics in a simple, step-by-step fashion. Sections of explanation and examples are followed by practice exercises with answers and comment provided.

This book presents a comprehensive review of theoretical work on the linguistics and psycholinguistics of compound words and combines it with a series of surveys of compounding in a variety of languages from a wide range of language families. Compounding is an effective way to create and express new meanings. Compound words are segmentable into their constituents so that new items can often be understood on first presentation. However, as keystone, keynote, and keyboard, and breadboard, sandwich-board, and mortarboard show, the relation between components is often far from straightforward. The question then arises, as to how far compound sequences are analysed at each encounter and how far they are stored in the brain as single lexical items? The nature and processing of compounds thus offer an unusually direct route to how language operates in the mind, as well as providing the means of investigating important aspects of morphology, and lexical semantics, and insights to child language acquisition and the organization of the mental lexicon. This book is the first to report on the state of the art on these and other central topics, including the classification and typology of compounds, and cross-linguistic research on the subject in different frameworks and from synchronic and diachronic perspectives.

V.1 concept structuring systems -- V.2 Typology and process in concept structuring.