C Programming Language

This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. A logical perspective is adopted which employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is developed for solving arbitrary

This book offers a unique insight into a revolution in software development that allows model specifications to be fully and efficiently translated into code. Using the most widely adopted, industry standard, software modelling language, UML, the reader will learn how to build robust specifications based on OMG's Model Driven Architecture (MDA). From there, the authors describe the steps needed to translate the Executable UML (xUML) models to any platform-specific implementation. The benefits of this approach go well beyond simply reducing or eliminating the coding stage - it also ensures platform independence, avoids obsolescence (programming languages may change, the model doesn't) and allows full verification of the models by executing them in a test and debug xUML environment. This is an excellent reference for anyone embarking on what is surely the future of software development for medium and large scale projects.

Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This 1998 book contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments reflected by the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labelling techniques for confluence properties

Numerical Mathematics is a unique textbook which presents rudimentary numerical mathematics in conjunction with computational laboratory assignments. No previous knowledge of calculus or linear algebra is presupposed, and thus the book is tailor-made for undergraduate students, as well as prospective mathematics teachers. The material in the book emphasises algorithmic aspects of mathematics, which are made viable through numerical assignments, in which the traditional 'chalk-and-talk' lecturer turns, in part, into a laboratory instructor. The book is not a numerical methods book, containing ready-made computational recipes. Rather, it guides the student to create the algorithm required for any given assignment - expressed in whichever programming language is used - on the basis of the underlying mathematics. The computational assignments cover iterative processes, area approximations, solution of linear systems, acceleration of series summation, interpolative approximations, and const

This is an introduction to the field of efficient parallel algorithms and to the techniques for efficient parallelisation. It is self-contained and presumes no special knowledge of parallel computers or particular mathematics. The book emphasises designing algorithms within the timeless and abstracted context of a high-level programming language rather than within highly specific computer architectures. This is an approach which concentrates on the essence of algorithmic theory, determining and taking advantage of the inherently parallel nature of certain types of problem. The authors present regularly-used techniques and a range of algorithms which includes some of the more celebrated and well-known. Efficient Parallel Algorithms is targeted at non-specialists who are considering entering the field of parallel algorithms. It will be particularly useful for courses aimed at advanced undergraduate or new postgraduate students of computer science and mathematics.

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

The Franciscan William of Ockham (c. 1288–1347) was an English medieval philosopher, theologian, and political theorist. Along with Thomas Aquinas and Duns Scotus, he is regarded as one of the three main figures in medieval philosophy after around 1150. Ockham is important not only in the history of philosophy and theology, but also in the development of early modern science and of modern notions of property rights and church-state relations. This volume offers a full discussion of all significant aspects of Ockham's thought: logic, philosophy of language, metaphysics and natural philosophy, epistemology, ethics, action theory, political thought and theology. It is the first study of Ockham in any language to make full use of the new critical editions of his works, and to consider recent discoveries concerning his life, education, and influences.

The Franciscan William of Ockham (c. 1288–1347) was an English medieval philosopher, theologian, and political theorist. Along with Thomas Aquinas and Duns Scotus, he is regarded as one of the three main figures in medieval philosophy after around 1150. Ockham is important not only in the history of philosophy and theology, but also in the development of early modern science and of modern notions of property rights and church-state relations. This volume offers a full discussion of all significant aspects of Ockham's thought: logic, philosophy of language, metaphysics and natural philosophy, epistemology, ethics, action theory, political thought and theology. It is the first study of Ockham in any language to make full use of the new critical editions of his works, and to consider recent discoveries concerning his life, education, and influences.

International edition of Introduction to Management Science: A Modeling and Case Studies Approach with Spreadsheets 7th Edition. Hillier is especially known for his classic, award-winning text, Introduction to Operations Research, co-authored with the late Gerald J. Lieberman, which has been translated into well over a dozen languages and is currently in its 8th edition. The 6th edition won honorable mention for the 1995 Lanchester Prize (best English-language publication of any kind in the field) and Dr. Hillier also was awarded the 2004 INFORMS Expository Writing Award for the 8th edition. His other books include The Evaluation of Risky Interrelated Investments, Queueing Tables and Graphs, Introduction to Stochastic Models in Operations Research, and Introduction to Mathematical Programming. He received his BS in industrial engineering and doctorate specializing in operations research and management science from Stanford University. The winner of many awards in high school and colleg

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.

This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all possible types for any term. In addition, he describes a new technique for establishing suitable coherence conditions that guarantee the same semantics for all possible translations of a given term. Practical issues that arise in concrete implementations are also discussed, concentrating in particular on the implementation of overloading in Haskell and Gofer, a small functional programming system dev

Hardcore JFC is a comprehensive guide to the functionality and practical use of the Java Foundations Classes (JFC), a component library designed for the Java programming language and operating environment. It presents intermediate and advanced techniques in exploiting the power and flexibility of JFC and the Swing component set. The book describes the inner workings of Swing and how its design principles can be used to add tremendous value to Java applications. The important features of JFC components are investigated thoroughly with a focus on the comprehension of fundamentals and the pragmatic application of advanced techniques. Included are concrete illustrations of how to enhance the JFC architecture: leveraging the 'Model/View/Controller' paradigm, customizing and developing new components and techniques for creating 'look and feel' user interface classes. Explanations of design and development techniques are introduced through effective, well-constructed and reusable example code

Most books on data structures assume an imperative language like C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques so that programmers can develop their own functional data structures. It includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs can easily be adapted to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.

Most books on data structures assume an imperative language like C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques so that programmers can develop their own functional data structures. It includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs can easily be adapted to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.

Of the writing systems of the ancient world which still await deciphering, the Indus script is the most important. It developed in the Indus or Harappan Civilization, which flourished c. 2500–1900 BC in and around modern Pakistan, collapsing before the earliest historical records of South Asia were composed. Nearly 4,000 samples of the writing survive, mainly on stamp seals and amulets, but no translations. Professor Parpola is the chief editor of the Corpus of Indus Seals and Inscriptions. His ideas about the script, the linguistic affinity of the Harappan language, and the nature of the Indus religion are informed by a remarkable command of Aryan, Dravidian, and Mesopotamian sources, archaeological materials, and linguistic methodology. His fascinating study confirms that the Indus script was logo-syllabic, and that the Indus language belonged to the Dravidian family.

This book offers step-by-step descriptions of various random systems and explores the world of computer simulations. In addition, this book offers a working introduction to those who want to learn how to create and run Monte Carlo simulations. Monte Carlo simulation has been a powerful computational tool for physics models, and when combined with the programming language Excel, this book is a valuable resource for readers who wish to acquire knowledge that can be applied to more complex systems. Visualization of the simulation results via the Visual Basic built in Microsoft EXCEL is presented as the first step towards the subject. Prior experience with the Excel add-in VBA is kept to a minimum. In addition, a chapter on quantum optimization simulation utilizing Python is added to explore the quantum computation. Readers will gain a fundamental knowledge and techniques of simulation physics, which can be extended to STEM projects and other research projects.

This book will serve as a framework for you as a software engineer seeking a fulfilling career and wishing to stay passionate and maintain a healthy mental state. It is filled with protocols to achieve effective life-long learning, navigate career development, adapt to changes, maintain work-life balance, and have a healthy lifestyle.As a successful software engineer you tend to focus on improving your technical skills: learning a new programming language, mastering another tool, or using a library. But you also need to build a solid mental framework that will help you navigate your professional development. You need to develop the skills that will help you be a happy software engineer.This book will help you if you feel frustrated, unmotivated, or unhappy; lost in your career path; or uncertain if you want to be a software engineer. It can help you deal with burnout, high levels of stress, or depression; or if you struggle to be productive while working from home. What You Will LearnE

The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers

This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers. Information is presented in a form handy for reference. Page 163, for example, tabulates all characters in the ASCII range; pages 124-5 summarize all information needed when composing screens of MODE 7 graphics. A quick reference to all functions and operators is given on page 179; the syntax of every statement and command of BBC-Basic is summarized on pages 180-1. But there is more to this book. How do you make a computer sort names into alphabetical order? Not as obvious as it might seem. Three different sorting techniques are explained by example in this book: bubble sort, monkey puzzle (more formally the 'binary tree') and Quicksort relies on 'recursion' - an important programming concept which is explained and demonstrated. Making coloured objects rebound around the walls of a squash court is another technique demonstrated; so is making voices sin

The inscriptions dealt with in this book come from the Old Testament period (c. 1000 BC to c. 200 BCE) and constitute an important additional source for our knowledge of the Hebrew language and the religion, history and customs of ancient Israel. The corpus includes texts like the Lachish and Arad letters, the Siloam tunnel inscription, the recently discovered religious texts from Kuntillet Ajerud, and the hundreds of seals, seal-impressions and weights that are now known. Each text is given a unique reference number according to a specially devised system, with an indication of its date and place of origin (where these are known) and one or more bibliographical references. It covers all complete words in the texts (including prepositions and names of persons and places), and also the Egyptian hieratic numerals and other symbols that were used in them.

The inscriptions dealt with in this book come from the Old Testament period (c. 1000 BC to c. 200 BCE) and constitute an important additional source for our knowledge of the Hebrew language and the religion, history and customs of ancient Israel. The corpus includes texts like the Lachish and Arad letters, the Siloam tunnel inscription, the recently discovered religious texts from Kuntillet Ajerud, and the hundreds of seals, seal-impressions and weights that are now known. Each text is given a unique reference number according to a specially devised system, with an indication of its date and place of origin (where these are known) and one or more bibliographical references. It covers all complete words in the texts (including prepositions and names of persons and places), and also the Egyptian hieratic numerals and other symbols that were used in them.

Co-Operative Action proposes a new framework for the study of how human beings create action and shared knowledge in concert with others by re-using transformation resources inherited from earlier actors: we inhabit each other's actions. Goodwin uses videotape to examine in detail the speech and embodied actions of children arguing and playing hopscotch, interactions in the home of a man with severe aphasia, the fieldwork of archaeologists and geologists, chemists and oceanographers, and legal argument in the Rodney King trial. Through ethnographically rich, rigorous qualitative analysis of human action, sociality and meaning-making that incorporates the interdependent use of language, the body, and historically shaped settings, the analysis cuts across the boundaries of traditional disciplines. It investigates language-in-interaction, human tools and their use, the progressive accumulation of human cultural, linguistic and social diversity, and multimodality as different outcomes of c

First published in 1978, Reading Greek has become a best-selling one-year introductory course in ancient Greek for students and adults. It combines the best of modern and traditional language-learning techniques and is used widely in schools, summer schools and universities across the world. It has also been translated into several foreign languages. This volume provides full grammatical support together with numerous exercises at different levels. For the second edition the presentations of grammar have been substantially revised to meet the needs of today's students and the volume has been completely redesigned, with the use of colour. Greek-English and English-Greek vocabularies are provided, as well as a substantial reference grammar and language surveys. The accompanying Text and Vocabulary volume contains a narrative adapted entirely from ancient authors in order to encourage students rapidly to develop their reading skills, simultaneously receiving a good introduction to Greek c

This volume constitutes the largest collection of writings by the Italian philosopher Giorgio Agamben hitherto published in any language. With one exception, the fifteen essays, which reflect the wide range of the author’s interests, appear in English for the first time.The essays consider figures in the history of philosophy (such as Plato, Plotinus, Spinoza, and Hegel) and twentieth-century thought (most notably Walter Benjamin, but also Heidegger, Derrida, Deleuze, the historian Aby Warburg, and the linguist J.-C. Milner). They also examine several general topics that have always been of central concern to Agamben: the relation of linguistic and metaphysical categories; messianism in Islamic, Jewish, and Christian theology; and the state and future of contemporary politics. Despite the diversity of the texts collected here, they show a consistent concern for a set of overriding philosophical themes concerning language, history, and potentiality.In the first part of the book, Agamben

Since its founding by Joseph Papp in the 1950s, The Public Theater has been an American artistic leader defined by its breadth of programming, from Hair and A Chorus Line, to Free Shakespeare in the Park. With the recent critical and financial success of Fun Home and Hamilton , and its emphasis on new play development, The Public’s contemporary history has been equally remarkable, even as world crises and social changes have tested the mettle of its foundation of accessible and “radically inclusive” theatre for all. One Public: New York’s Public Theater in the Era of Oskar Eustis presents the broader organization, its creative methodology, and its enormous growth over the past 20 years. Framed by the tenure and leadership of its current artistic director, the book tells the contemporary story, recorded over many interviews with iconic practitioners and performers ranging from Diane Paulus, Tony Kushner and Lynn Nottage to Kevin Kline, Chelsea Clinton and Lin-Manuel Miranda. C

This groundbreaking study reveals the distinctive impact of apocalyptic ideas about time, evil and power on church and society in the Latin West, c.400–c.1050. Drawing on evidence from late antiquity, the Frankish kingdoms, Anglo-Saxon England, Spain and Byzantium and sociological models, James Palmer shows that apocalyptic thought was a more powerful part of mainstream political ideologies and religious reform than many historians believe. Moving beyond the standard 'Terrors of the Year 1000', The Apocalypse in the Early Middle Ages opens up broader perspectives on heresy, the Antichrist and Last World Emperor legends, chronography, and the relationship between eschatology and apocalypticism. In the process, it offers reassessments of the worlds of Augustine, Gregory of Tours, Bede, Charlemagne and the Ottonians, providing a wide-ranging and up-to-date survey of medieval apocalyptic thought. This is the first full-length English-language treatment of a fundamental and controversial pa

This groundbreaking study reveals the distinctive impact of apocalyptic ideas about time, evil and power on church and society in the Latin West, c.400–c.1050. Drawing on evidence from late antiquity, the Frankish kingdoms, Anglo-Saxon England, Spain and Byzantium and sociological models, James Palmer shows that apocalyptic thought was a more powerful part of mainstream political ideologies and religious reform than many historians believe. Moving beyond the standard 'Terrors of the Year 1000', The Apocalypse in the Early Middle Ages opens up broader perspectives on heresy, the Antichrist and Last World Emperor legends, chronography, and the relationship between eschatology and apocalypticism. In the process, it offers reassessments of the worlds of Augustine, Gregory of Tours, Bede, Charlemagne and the Ottonians, providing a wide-ranging and up-to-date survey of medieval apocalyptic thought. This is the first full-length English-language treatment of a fundamental and controversial pa

In 30–15 BC Sextus Propertius composed at Rome four books of elegies which range from erotic to learned to political and exhibit an unparalleled richness of themes, concepts and language. This book investigates their sources and motives, examining Propertius' family background in Umbrian Asisium and tracing his career as he sought through poetry to restore his family's fortunes after the Civil Wars. Propertius' progress within the Roman poetic establishment depended on his patrons - Tullus, 'Gallus', Maecenas and Augustus. Initially his poetry was influenced radically by his elegiac predecessor C. Cornelius Gallus, arguably also the 'Gallus' who jointly patronised Propertius' first book. New heuristic techniques help to recover the impact on Propertius of Cornelius Gallus' (mainly lost) elegies. Propertius' subsequent move into Maecenas', and then Augustus', patronage had an equally powerful, ideological, impact; in his latter books he became (alongside Virgil and Horace) a major and c

In 30–15 BC Sextus Propertius composed at Rome four books of elegies which range from erotic to learned to political and exhibit an unparalleled richness of themes, concepts and language. This book investigates their sources and motives, examining Propertius' family background in Umbrian Asisium and tracing his career as he sought through poetry to restore his family's fortunes after the Civil Wars. Propertius' progress within the Roman poetic establishment depended on his patrons - Tullus, 'Gallus', Maecenas and Augustus. Initially his poetry was influenced radically by his elegiac predecessor C. Cornelius Gallus, arguably also the 'Gallus' who jointly patronised Propertius' first book. New heuristic techniques help to recover the impact on Propertius of Cornelius Gallus' (mainly lost) elegies. Propertius' subsequent move into Maecenas', and then Augustus', patronage had an equally powerful, ideological, impact; in his latter books he became (alongside Virgil and Horace) a major and c

Beginning with the belief that the study of leadership belongs to all and to no one in particular, the author offers twenty-seven stable and unchanging elements for the study of leadership, and collects them under four themes: context, shared purpose, language, and human agency. He (a) argues that the rational interest in making our world a better place cuts across all academic disciplines/boundaries, (b) grounds the quest for an integrated theory of leadership in the Desire for Shared Agreement, and (c) offers the possibility that this Desire as a Governing Standard can potentially unite the multiple approaches to leadership studies.

Why did the Anatolians remain illiterate for so long, although surrounded by people using script? Why and how did they eventually adopt the cuneiform writing system and why did they still invent a second, hieroglyphic script of their own? What did and didn't they write down and what role did Hittite literature, the oldest known literature in any Indo-European language, play? These and many other questions on scribal culture are addressed in this first, comprehensive book on writing, reading, script usage, and literacy in the Hittite kingdom (c.1650–1200 BC). It describes the rise and fall of literacy and literature in Hittite Anatolia in the wider context of its political, economic, and intellectual history.

Dongolese is one of the dialects spoken by the Nubian peoples of the Sudan. Since it is a spoken and not a written language, there are difficulties in the way of collecting adequate material; the position is further complicated by the fact that most Nubians are bilingual and frequently lapse into Arabic when talking to a foreigner. Despite these obstacles, the late C. J. Armbruster was able, as an official of the Sudan Service in Dongola, to amass a great deal of material for investigation. This 1965 book is the result of years of close observation and analysis of the Dongolese conversations in which the author took part, or to which he attended; it is a monumental and authoritative work.

Originally published between 1830 and 1835, this three-volume critical edition by Thomas Arnold (1795–1842) of Thucydides' History of the Peloponnesian War remains a benchmark publication. The text and apparatus closely follows Bekker's 1821 critical edition. However, Arnold freshly collated a number of Greek manuscripts, including the important tenth-century Laurentian manuscript C of Book 3, which led to some revision of Bekker's text. The work's major contribution to Thucydidean scholarship lies in the detailed topographical and historical notes accompanying the text, which explain the geographical and political background to the History. For many generations Arnold's work has provided an indispensable guide through the complex geo-political context of the History, enabling students to appreciate its narrative, language and place in historiography.

Latin was for many centuries the common literary language of Europe, and Latin literature of immense range, stylistic power and social and political significance was produced throughout Europe and beyond from the time of Petrarch (c.1400) well into the eighteenth century. This is the first available work devoted specifically to the enormous wealth and variety of neo-Latin literature, and offers both essential background to the understanding of this material and sixteen chapters by leading scholars which are devoted to individual forms. Each contributor relates a wide range of fascinating but now little-known texts to the handful of more familiar Latin works of the period, such as Thomas More's Utopia, Milton's Latin poetry and the works of Petrarch and Erasmus. All Latin is translated throughout the volume.

Originally published by Cambridge in 1947, the manuscript upon which this volume is based lay dormant between the time of its creation and 1854, when it was discovered in an office of the Supreme Court in New South Wales. Whilst it is a concise account, written by the little-known Irish clergyman Thomas Campbell (1733–1795), it is notable for its frank description of encounters with Samuel Johnson. Campbell is unsparing in relating the crass aspects of Johnson's behaviour, such as his temperamentality and use of bad language, along with his manifold qualities. The text is consummately edited by James L. Clifford, with extensive notes, and contains a highly readable introduction by S. C. Roberts. It will be of value to anyone with an interest in Samuel Johnson, and the eighteenth-century literary milieu.

In Responsibility and evidence in oral discourse twelve prominent linguists and linguistic anthropologists examine 'responsibility', 'authority', and 'knowledge': central, but problematic, concepts in contemporary anthropology. Their detailed case studies analyze diverse forms of oral discourse - everyday conversation, conversational narrative, song, oratory, divination, and ritual poetry - in societies in the Americas, Africa, Asia, and the Pacific. The studies show how speakers attribute responsibility for acts and states of affairs, how particular forms of language and discourse relate to claims and disclaimers of responsibility, and how verbal acts are themselves social acts, subject to such attributions. The volume challenges those cognitive theorists who locate responsibility for the meaning of verbal acts solely in the intentions of individual speakers. Instead, the contributors focus on the production of meaning between speakers and audiences in particular social and cultural c

Moses Maimonides' Guide of the Perplexed (c. 1190) is the greatest and most influential text in the history of Jewish philosophy. Controversial in its day, the Guide directly influenced Aquinas, Spinoza, and Leibniz, and the history of Jewish philosophy took a decisive turn after its appearance. While there continues to be keen interest in Maimonides and his philosophy, this is the first scholarly collection in English devoted specifically to the Guide. It includes contributions from an international team of scholars addressing the most important philosophical themes that range over the three parts of this sprawling work - including topics in the philosophy of language, metaphysics, epistemology, philosophy of law, ethics, and political philosophy. There are also essays on the Guide's hermeneutic puzzles, and on its overall structure and philosophical trajectory. The volume will be of interest to philosophers, Judaists, theologians, and medievalists.

Humanity today functions as a gigantic, world-encompassing system. Renowned world historian, Patrick Manning traces how this human system evolved from Homo Sapiens' beginnings over 200,000 years ago right up to the present day. He focuses on three great shifts in the scale of social organization - the rise of syntactical language, of agricultural society, and today's newly global social discourse - and links processes of social evolution to the dynamics of biological and cultural evolution. Throughout each of these shifts, migration and social diversity have been central, and social institutions have existed in a delicate balance, serving not just their own members but undergoing regulation from society. Integrating approaches from world history, environmental studies, biological and cultural evolution, social anthropology, sociology, and evolutionary linguistics, Patrick Manning offers an unprecedented account of the evolution of humans and our complex social system and explores the c