Linking the Formal and Informal Economy

Linking the Formal and Informal Economy

Author: Basudeb Guha-Khasnobis

Publisher: OUP Oxford

Published: 2006-09-21

Total Pages: 316

ISBN-13: 0191525480

DOWNLOAD EBOOK

The concepts of formal and informal remain central to the theory and practice of development more than half a century after they were introduced into the debate. They help structure the way that statistical services collect data on the economies of developing countries, the development of theoretical and empirical analysis, and, most important, the formulation and implementation of policy. This volume brings together a significant new collection of studies on formality and informality in developing countries. The volume is multidisciplinary in nature, with contributions from anthropologists, economists, sociologists, and political scientists. It contains contributions from among the very best analysts in development studies. Between them the chapters argue for moving beyond the formal-informal dichotomy. Useful as it has proven to be, a more nuanced approach is needed in light of conceptual and empirical advances, and in light of the policy failures brought about by a characterization of the 'informal' as 'disorganized'. The wealth of empirical information in these studies, and in the literature more widely, can be used to develop guiding principles for intervention that are based on ground level reality.


Tense and Aspects in Discourse

Tense and Aspects in Discourse

Author: Co Vet

Publisher: Walter de Gruyter

Published: 2011-06-01

Total Pages: 305

ISBN-13: 3110902613

DOWNLOAD EBOOK

TRENDS IN LINGUISTICS is a series of books that open new perspectives in our understanding of language. The series publishes state-of-the-art work on core areas of linguistics across theoretical frameworks as well as studies that provide new insights by building bridges to neighbouring fields such as neuroscience and cognitive science. TRENDS IN LINGUISTICS considers itself a forum for cutting-edge research based on solid empirical data on language in its various manifestations, including sign languages. It regards linguistic variation in its synchronic and diachronic dimensions as well as in its social contexts as important sources of insight for a better understanding of the design of linguistic systems and the ecology and evolution of language. TRENDS IN LINGUISTICS publishes monographs and outstanding dissertations as well as edited volumes, which provide the opportunity to address controversial topics from different empirical and theoretical viewpoints. High quality standards are ensured through anonymous reviewing.


A Critical Introduction to Formal Epistemology

A Critical Introduction to Formal Epistemology

Author: Darren Bradley

Publisher: Bloomsbury Publishing

Published: 2015-08-27

Total Pages: 241

ISBN-13: 1780937644

DOWNLOAD EBOOK

Formal methods are changing how epistemology is being studied and understood. A Critical Introduction to Formal Epistemology introduces the types of formal theories being used and explains how they are shaping the subject. Beginning with the basics of probability and Bayesianism, it shows how representing degrees of belief using probabilities informs central debates in epistemology. As well as discussing induction, the paradox of confirmation and the main challenges to Bayesianism, this comprehensive overview covers objective chance, peer disagreement, the concept of full belief, and the traditional problems of justification and knowledge. Subjecting each position to a critical analysis, it explains the main issues in formal epistemology, and the motivations and drawbacks of each position. Written in an accessible language and supported study questions, guides to further reading and a glossary, positions are placed in an historic context to give a sense of the development of the field. As the first introductory textbook on formal epistemology, A Critical Introduction to Formal Epistemology is an invaluable resource for students and scholars of contemporary epistemology.


Analogical classification in formal grammar

Analogical classification in formal grammar

Author: Matías Guzmán Naranjo

Publisher: Language Science Press

Published: 2019

Total Pages: 256

ISBN-13: 3961101868

DOWNLOAD EBOOK

The organization of the lexicon, and especially the relations between groups of lexemes is a strongly debated topic in linguistics. Some authors have insisted on the lack of any structure of the lexicon. In this vein, Di Sciullo & Williams (1987: 3) claim that “[t]he lexicon is like a prison – it contains only the lawless, and the only thing that its inmates have in commonis lawlessness”. In the alternative view, the lexicon is assumed to have a rich structure that captures all regularities and partial regularities that exist between lexical entries.Two very different schools of linguistics have insisted on the organization of the lexicon. On the one hand, for theories like HPSG (Pollard & Sag 1994), but also some versions of construction grammar (Fillmore & Kay 1995), the lexicon is assumed to have a very rich structure which captures common grammatical properties between its members. In this approach, a type hierarchy organizes the lexicon according to common properties between items. For example, Koenig (1999: 4, among others), working from an HPSG perspective, claims that the lexicon “provides a unified model for partial regularties, medium-size generalizations, and truly productive processes”. On the other hand, from the perspective of usage-based linguistics, several authors have drawn attention to the fact that lexemes which share morphological or syntactic properties, tend to be organized in clusters of surface (phonological or semantic) similarity (Bybee & Slobin 1982; Skousen 1989; Eddington 1996). This approach, often called analogical, has developed highly accurate computational and non-computational models that can predict the classes to which lexemes belong. Like the organization of lexemes in type hierarchies, analogical relations between items help speakers to make sense of intricate systems, and reduce apparent complexity (Köpcke & Zubin 1984). Despite this core commonality, and despite the fact that most linguists seem to agree that analogy plays an important role in language, there has been remarkably little work on bringing together these two approaches. Formal grammar traditions have been very successful in capturing grammatical behaviour, but, in the process, have downplayed the role analogy plays in linguistics (Anderson 2015). In this work, I aim to change this state of affairs. First, by providing an explicit formalization of how analogy interacts with grammar, and second, by showing that analogical effects and relations closely mirror the structures in the lexicon. I will show that both formal grammar approaches, and usage-based analogical models, capture mutually compatible relations in the lexicon.


Formal Methods and Software Engineering

Formal Methods and Software Engineering

Author: Karin Breitman

Publisher: Springer

Published: 2009-11-18

Total Pages: 770

ISBN-13: 3642103731

DOWNLOAD EBOOK

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 9–11, in Rio de Janeiro, Brazil.


Formal logic

Formal logic

Author: F.C. Schiller

Publisher: Рипол Классик

Published: 1912

Total Pages: 449

ISBN-13: 5879256758

DOWNLOAD EBOOK


FME 2001: Formal Methods for Increasing Software Productivity

FME 2001: Formal Methods for Increasing Software Productivity

Author: Jose N. Oliveira

Publisher: Springer

Published: 2003-06-29

Total Pages: 641

ISBN-13: 3540452516

DOWNLOAD EBOOK

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit ̈at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.