GeoSpatial Semantics

What is the role of meaning in linguistic theory? Generative linguists have severely limited the influence of meaning, claiming that language is not affected by other cognitive processes and that semantics does not influence linguistic form. Conversely, cognitivist and functionalist linguists believe that meaning pervades and motivates all levels of linguistic structure. This dispute can be resolved conclusively by evidence from signed languages. Signed languages are full of iconic linguistic items: words, inflections, and even syntactic constructions with structural similarities between their physical form and their referents' form. Iconic items can have concrete meanings and also abstract meanings through conceptual metaphors. Language from the Body rebuts the generativist linguistic theories which separate form and meaning and asserts that iconicity can only be described in a cognitivist framework where meaning can influence form.

Linguistics, neurocognition, and phenomenological psychology are fundamentally different fields of research. Helmut Schnelle provides an interdisciplinary understanding of a new integrated field in which linguists can be competent in neurocognition and neuroscientists in structure linguistics. Consequently the first part of the book is a systematic introduction to the function of the form and meaning-organising brain component - with the essential core elements being perceptions, actions, attention, emotion and feeling. Their descriptions provide foundations for experiences based on semantics and pragmatics. The second part is addressed to non-linguists and presents the structural foundations of currently established linguistic frameworks. This book should be serious reading for anyone interested in a comprehensive understanding of language, in which evolution, functional organisation and hierarchies are explained by reference to brain architecture and dynamics.

Linguistics, neurocognition, and phenomenological psychology are fundamentally different fields of research. Helmut Schnelle provides an interdisciplinary understanding of a new integrated field in which linguists can be competent in neurocognition and neuroscientists in structure linguistics. Consequently the first part of the book is a systematic introduction to the function of the form and meaning-organising brain component - with the essential core elements being perceptions, actions, attention, emotion and feeling. Their descriptions provide foundations for experiences based on semantics and pragmatics. The second part is addressed to non-linguists and presents the structural foundations of currently established linguistic frameworks. This book should be serious reading for anyone interested in a comprehensive understanding of language, in which evolution, functional organisation and hierarchies are explained by reference to brain architecture and dynamics.

The relation between ontologies and language is currently at the forefront of natural language processing (NLP). Ontologies, as widely used models in semantic technologies, have much in common with the lexicon. A lexicon organizes words as a conventional inventory of concepts, while an ontology formalizes concepts and their logical relations. A shared lexicon is the prerequisite for knowledge-sharing through language, and a shared ontology is the prerequisite for knowledge-sharing through information technology. In building models of language, computational linguists must be able to accurately map the relations between words and the concepts that they can be linked to. This book focuses on the technology involved in enabling integration between lexical resources and semantic technologies. It will be of interest to researchers and graduate students in NLP, computational linguistics, and knowledge engineering, as well as in semantics, psycholinguistics, lexicology and morphology/syntax.

This book provides a general perspective on valency-changing mechanisms - passives, antipassives, causatives, applicatives - in the languages of the world. It contains a comprehensive typology of causatives by R. M. W. Dixon, and detailed descriptions of valency-changing mechanisms in ten individual languages by leading scholars, based on original fieldwork. The sample languages span five continents and every kind of structural profile. Each contributor draws out the theoretical status and implications of valency-changing derivations in their language of study, and the relevant parameters are drawn together, and typological possibilities delineated, in the editors' introduction. The volume, originally published in 2000, will interest typologists, those working in the fields of morphosyntactic variation and lexical semantics, and exponents of formal theories engaging with the range of linguistic diversity found in natural language.

Ellipsis occurs when certain portions of a sentence are not spoken - for example 'Mary has read more books than Bill has [read books]' and 'Jack called, but I don't know where [he called] from'. These constructions interest linguists because the meaning of the sentence cannot be traced directly to the words it contains. This volume brings together a team of leading syntacticians to propose new and original solutions to some key questions in the study of ellipsis: What characterises ellipsis? Under what conditions is it possible? What kinds of meanings are allowed to go unspoken? Drawing on a variety of authentic constructions, they examine ellipsis in the context of a range of syntactic phenomena such as binding, raising, anaphora, movement and scrambling. Making significant progress towards solving some central problems in syntactic theory, this volume will be of key interest to anyone working on theoretical syntax, semantics and psycholinguistics.

In studying discourse, the problem for the linguist is to find a fruitful level of analysis. Carlota Smith offers a new approach with this study of discourse passages, units of several sentences or more. She introduces the key idea of the 'Discourse Mode', identifying five modes: Narrative, Description, Report, Information, Argument. These are realized at the level of the passage, and cut across genre lines. Smith shows that the modes, intuitively recognizable as distinct, have linguistic correlates that differentiate them. She analyzes the properties that distinguish each mode, focusing on grammatical rather than lexical information. The book also examines linguistically based features that appear in passages of all five modes: topic and focus, variation in syntactic structure, and subjectivity, or point of view. Operating at the interface of syntax, semantics, and pragmatics, the book will appeal to researchers and graduate students in linguistics, stylistics and rhetoric.

Laurel Brinton's important study of the development of English aspectual systems provides an exceptionally clear and systematic account of an area of syntax and semantics that continues to be the subject of both terminological and notional confusion. Not only has the study of aspect been confused, but the variety of aspectual markers in English has also been unduly neglected. In this book Dr Brinton convincingly demonstrates the need to make clear distinction between 'aspect' and 'aktionsart' and betwen the aspectual meaning of individual forms and the meanings that result from the combination of verbs, auxiliaries, particles, and adverbs, as well as nominal arguments within a sentence. This exceptionally clear account of two sets of aspectual forms points to the coherence and systematicity of aspectual marking in Modern English. The wide range of theoretical issues explored makes this a significant contribution to the synchronic study of aspect and to the diachronic study of language

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

Memory-based language processing - a machine learning and problem solving method for language technology - is based on the idea that the direct reuse of examples using analogical reasoning is more suited for solving language processing problems than the application of rules extracted from those examples. This book discusses the theory and practice of memory-based language processing, showing its comparative strengths over alternative methods of language modelling. Language is complex, with few generalizations, many sub-regularities and exceptions, and the advantage of memory-based language processing is that it does not abstract away from this valuable low-frequency information. By applying the model to a range of benchmark problems, the authors show that for linguistic areas ranging from phonology to semantics, it produces excellent results. They also describe TiMBL, a software package for memory-based language processing. The first comprehensive overview of the approach, this book wi

This book is the first detailed study of Kant's method of 'transcendental reflection' and its use in the Critique of Pure Reason to identify our basic human cognitive capacities, and to justify Kant's transcendental proofs of the necessary a priori conditions for the possibility of self-conscious human experience. Kenneth Westphal, in a closely argued internal critique of Kant's analysis, shows that if we take Kant's project seriously in its own terms, the result is not transcendental idealism but (unqualified) realism regarding physical objects. Westphal attends to neglected topics - Kant's analyses of the transcendental affinity of the sensory manifold, the 'lifelessness of matter', fallibilism, the semantics of cognitive reference, four externalist aspects of Kant's views, and the importance of Kant's Metaphysical Foundations for the Critique of Pure Reason - that illuminate Kant's enterprise in new and valuable ways. His book will appeal to all who are interested in Kant's theo

In this volume the author describes and systematically accounts for language variation in a Creole-speaking community and assesses the implications the study has on generally accepted notions of the nature of language. Based on an extensive study of Guyana, South America, the volume analyses the bewildering diversity found in the syntax and underlying semantics of tense and aspect of the language of that country and shows that data which at first sight appear merely chaotic in fact represent different developmental stages of the language existing side by side in the contemporary community. The volume also offers strong support for theories of Creole origins of 'Black English' in the United States. It should be of interest not only to those linguists involved in Creole and pidgin studies but also to anyone concerned with general linguistic theory.

The ancient semantic paradoxes were thought to undermine the rationalist metaphysics of Plato, and their modern relatives have been used by Russell and others to administer some severe logical and epistemological shocks. These are not just tricks or puzzles, but are intimately connected with some of the liveliest and most basic philosophical disputes about logical form, universals, reference and predication. Dr Cargile offers here an original and sustained treatment of this range of issues, and in fact presents an unfashionable defence of a platonistic ontology. He argues that the paradoxes arise not from mistakes in classical assumptions about truth or from an ontology that includes propositions and properties, but from mistakes in describing what propositions and properties are conveyed by particular linguistic expressions. The book should interest, and may well surprise, philosophers and others concerned with semantics and the foundations of logic.

This is a book about the concept of a physical thing and about how the names of things relate to the things they name. It questions the prevalent view that names 'refer to' or 'denote' the things they name. Instead it presents a new theory of proper names, according to which names express certain special properties that the things they name exhibit. This theory leads to some important conclusions about whether things have any of their properties as a matter of necessity. This will be an important book for philosophers in metaphysics and the philosophy of language, though it will also interest linguists concerned with the semantics of natural language.

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing

In 1972 when R. M. W. Dixon's classic grammar, The Dyirbal Language of North Queensland, was published, under thirty speakers of the 'traditional' language remained. Now only some of their children and grandchildren use the language; these younger people speak a simplified version. In this impressive empirical survey, Annette Schmidt analyses the changes that have taken place in the Dyirbal spoken by that last generation of its speakers at the levels of phonology, morphology, syntax, the lexicon and semantics. She also provides a detailed account of the socio-linguistic setting of the community and the attitudes towards Dyirbal among younger speakers, their elders and English speakers.

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalised logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the general principles that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, linguistics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction, uses the resources of philosophical and mathematical logics to develop a formalisation of the laws of the semantic theory advanc

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalized logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the general principles that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, lingustics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction uses the resources of philosophical and mathematical logics to develop a formalization of the laws of the semantic theory advance

Dr Thrane makes an original contribution to one of the central topics in syntax and semantics: the nature and mechanisms of reference in natural language. He makes a fundamental distinction between syntactic analyses that are internal to the structure of a language and analyses of the referential properties that connect a language with the 'outside world' - and therefore derive in some sense from common human capacities for perceptual discrimination. Dr Thrane argues that the failure to make this distinction and to attend separately to both kinds of analysis has vitiated previous general accounts of linguistic structure. The book focuses particularly on pronouns and on the role of determiners, quantifiers and other components of the noun phrase. Most of the data come from the modern Germanic languages, especially English, but Dr Thrane considers also the structural peculiarities of 'classifier languages' like Vietnamese. The book will be important for students of English language as we

Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and li

This important book provides a theory about the nature of fiction, and about the relation between the author, the reader and the fictional text. The approach is philosophical: that is to say, the author offers an account of key concepts such as fictional truth, fictional characters, and fiction itself. The book argues that the concept of fiction can be explained partly in terms of communicative intentions, partly in terms of a condition which excludes relations of counterfactual dependence between the world and the text. This communicative model is then applied to the following problems: how can something be 'true in the story' without being explicitly stated in the text? In what ways does interpreting a fictional story depend upon grasping its author's intentions? Is there always a unique best interpretation of a fictional text? What is the correct semantics for fictional names? What is the nature of our emotional response to a fictional work? In answering these questions the author e

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and

This book develops in detail the simple idea that assertion is the expression of belief. In it the author puts forward a version of 'probabilistic semantics' which acknowledges that we are not perfectly rational, and which offers a significant advance in generality on theories of meaning couched in terms of truth conditions. It promises to challenge a number of entrenched and widespread views about the relations of language and mind. Part I presents a functionalist account of belief, worked through a modified form of decision theory. In Part II the author generates a theory of meaning in terms of 'assertibility conditions', whereby to know the meaning of an assertion is to know the belief it expresses.

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene–Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for prof

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

One of the major arenas for debate within generative grammar is the nature of paradigmatic relations among words. Intervening in key debates at the interface between syntax and semantics, this book examines the relation between structure and meaning, and analyzes how it affects the internal properties of words and corresponding syntactic manifestations. Adapting notions from the Evo-Devo project in biology (the idea of 'co-linearity' between structural units and behavioural manifestations) Juan Uriagereka addresses a major puzzle: how words can be both decomposable so as to be acquired by children, and atomic, so that they do not manifest themselves as modular to adults.

This book is about one of the most baffling of all paradoxes – the famous Liar paradox. Suppose we say: 'We are lying now'. Then if we are lying, we are telling the truth; and if we are telling the truth we are lying. This paradox is more than an intriguing puzzle, since it involves the concept of truth. Thus any coherent theory of truth must deal with the Liar. Keith Simmons discusses the solutions proposed by medieval philosophers and offers his own solutions and in the process assesses other attempts to solve the paradox. Unlike such attempts, Simmons' 'singularity' solution does not abandon classical semantics and does not appeal to the kind of hierarchical view found in Barwise's and Etchemendy's The Liar. Moreover, Simmons' solution resolves the vexing problem of semantic universality – the problem of whether there are semantic concepts beyond the expressive reach of a natural language such as English.

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.

Ellipsis occurs when certain portions of a sentence are not spoken - for example 'Mary has read more books than Bill has [read books]' and 'Jack called, but I don't know where [he called] from'. These constructions interest linguists because the meaning of the sentence cannot be traced directly to the words it contains. This volume brings together a team of leading syntacticians to propose new and original solutions to some key questions in the study of ellipsis: What characterises ellipsis? Under what conditions is it possible? What kinds of meanings are allowed to go unspoken? Drawing on a variety of authentic constructions, they examine ellipsis in the context of a range of syntactic phenomena such as binding, raising, anaphora, movement and scrambling. Making significant progress towards solving some central problems in syntactic theory, this volume will be of key interest to anyone working on theoretical syntax, semantics and psycholinguistics.

Since the publication of his Introduction to Theoretical Linguistics (1968), Sir John Lyons became one of the most important and internationally renowned contributors to the study of linguistics. In a career which spanned several decades, he addressed himself to a broad range of issues of fundamental importance and is particularly noted for his seminal two-volume work, Semantics (1977). This volume, which is edited with an introduction by F. R. Palmer, gathers together a collection of essays by distinguished scholars on topics related to Lyons's work. In a concluding essay, Lyons responds to the contributors and reflects on the intellectual underpinning of his own work.

This is a volume of original essays on key aspects of John Searle's philosophy of language. It examines Searle's work in relation to current issues of central significance, including internalism versus externalism about mental and linguistic content, truth-conditional versus non-truth-conditional conceptions of content, the relative priorities of thought and language in the explanation of intentionality, the status of the distinction between force and sense in the theory of meaning, the issue of meaning scepticism in relation to rule-following, and the proper characterization of 'what is said' in relation to the semantics/pragmatics distinction. Written by a distinguished team of contemporary philosophers, and prefaced by an illuminating essay by Searle, the volume aims to contribute to a deeper understanding of Searle's work in philosophy of language, and to suggest innovative approaches to fundamental questions in that area.

This is a volume of original essays on key aspects of John Searle's philosophy of language. It examines Searle's work in relation to current issues of central significance, including internalism versus externalism about mental and linguistic content, truth-conditional versus non-truth-conditional conceptions of content, the relative priorities of thought and language in the explanation of intentionality, the status of the distinction between force and sense in the theory of meaning, the issue of meaning scepticism in relation to rule-following, and the proper characterization of 'what is said' in relation to the semantics/pragmatics distinction. Written by a distinguished team of contemporary philosophers, and prefaced by an illuminating essay by Searle, the volume aims to contribute to a deeper understanding of Searle's work in philosophy of language, and to suggest innovative approaches to fundamental questions in that area.

If there is a movement or school that epitomizes analytic philosophy in the middle of the twentieth century, it is logical empiricism. Logical empiricists created a scientifically and technically informed philosophy of science, established mathematical logic as a topic in and tool for philosophy, and initiated the project of formal semantics. Accounts of analytic philosophy written in the middle of the twentieth century gave logical empiricism a central place in the project. The second wave of interpretative accounts was constructed to show how philosophy should progress, or had progressed, beyond logical empiricism. The essays survey the formative stages of logical empiricism in central Europe and its acculturation in North America, discussing its main topics, and achievements and failures, in different areas of philosophy of science, and assessing its influence on philosophy, past, present, and future.

If there is a movement or school that epitomizes analytic philosophy in the middle of the twentieth century, it is logical empiricism. Logical empiricists created a scientifically and technically informed philosophy of science, established mathematical logic as a topic in and tool for philosophy, and initiated the project of formal semantics. Accounts of analytic philosophy written in the middle of the twentieth century gave logical empiricism a central place in the project. The second wave of interpretative accounts was constructed to show how philosophy should progress, or had progressed, beyond logical empiricism. The essays survey the formative stages of logical empiricism in central Europe and its acculturation in North America, discussing its main topics, and achievements and failures, in different areas of philosophy of science, and assessing its influence on philosophy, past, present, and future.

This philosophical treatise on the foundations of semantics is a systematic effort to clarify, deepen and defend the classical doctrine that words are conventional signs of mental states, principally thoughts and ideas, and that meaning consists in their expression. This expression theory of meaning is developed by carrying out the Gricean programme, explaining what it is for words to have meaning in terms of speaker meaning, and what it is for a speaker to mean something in terms of intention. But Grice's own formulations are rejected and alternatives developed. The foundations of the expression theory are explored at length, and the author develops the theory of thought as a fundamental cognitive phenomenon distinct from belief and desire, argues for the thesis that thoughts have parts, and identifies ideas or concepts with parts of thoughts. This book will appeal to students and professionals interested in the philosophy of language.

The Claims of Common Sense investigates the importance of ideas developed by Cambridge philosophers between the World Wars for the social sciences concerning common sense, vague concepts and ordinary language. John Coates examines the thought of Moore, Ramsey, Wittgenstein and Keynes, and traces their common drift away from early beliefs about the need for precise concepts and a canonical notation in analysis. He argues that Keynes borrowed from Wittgenstein and Ramsey their reappraisal of vague concepts, and developed the novel argument that when analysing something as complex as social reality, theory might be simplified by using concepts which lack sharp boundaries. Coates then contrasts this conclusion with the view shared by two contemporary philosophical paradigms - formal semantics and Continental post-structuralism - that the vagueness of ordinary language inevitably leads to interpretive indeterminacy. Developing a link between Cambridge philosophy and work on complexity, vagu

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.

Original commentary on the work of philosopher John Perry by prominent contemporary analytic philosophers, with Perry's detailed and original responses; topics include the metaphysics of identity, sem