Mermaid Construction: A Compound-Predicate Construction with Biclausal Appearance, Tasaku Tsunoda
Автор: Johannes Stern Название: Toward Predicate Approaches to Modality ISBN: 3319225561 ISBN-13(EAN): 9783319225562 Издательство: Springer Рейтинг: Цена: 11876.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Toward Predicate Approaches to Modality
Автор: Edsger W. Dijkstra; Carel S. Scholten Название: Predicate Calculus and Program Semantics ISBN: 1461279240 ISBN-13(EAN): 9781461279242 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.
Автор: Johannes Stern Название: Toward Predicate Approaches to Modality ISBN: 3319369520 ISBN-13(EAN): 9783319369525 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Chapter 1. Introduction.- Chapter 2. Modality and Logic.- Chapter 3. Consistencies and Inconsistencies in Modal Logic.- Chapter 4. Modality and Axiomatic Theories of Truth.- Chapter 5. Conclusion.
Автор: Lee-Schoenfeld Vera, Ott Dennis Название: Parameters of Predicate Fronting ISBN: 0197545556 ISBN-13(EAN): 9780197545553 Издательство: Oxford Academ Рейтинг: Цена: 27301.00 р. Наличие на складе: Нет в наличии.
Описание: Many of the world's languages permit or require clause-initial positioning of the primary predicate, potentially alongside some or all of its dependents. While such predicate fronting (where fronting may or may not involve movement) is a widespread phenomenon, it is also subject to intricate and largely unexplained variation. In Parameters of Predicate Fronting, Vera Lee-Schoenfeld and Dennis Ott bring together leaders in the field of comparative syntax to explore the empirical manifestations and theoretical modelling of predicate fronting across languages. There exists by now a rich literature on predicate fronting, but few attempts have been made at synthesizing the resulting empirical observations and theoretical implementations. While individual phenomena have been described in some detail, we are currently far from a complete understanding of the uniformity and variation underlying the wider cross-linguistic picture. This volume takes steps towards this goal by showcasing the state of the art in research on predicate fronting and the parameters governing its realization in a range of diverse languages. Covering topics like prosody, VP-fronting, and predicate doubling across a wide arrange of languages, including English, German, Malagasy, Niuean, Ch'ol, Asante, Twi, Limbum, Krachi, Hebrew, and multiple sign languages, this collection enriches our understanding of the predicate fronting phenomenon.
This text, volume II of a two-volume work, examines in depth the so-called "standard" predicate logic. Including a foundational lexicon of terms and a detour through the classical propositional logic, this volume can be used independently of the first.
As a means toward teasing out theoretical subtleties and negotiating formal and philosophic challenges, this work uses detailed examples and exercises; because of this feature, the text can also be used to study formal logic in a rigorous fashion.
Given its expressive power, predicate logic is deemed as minimally adequate for formalization of such fundamental languages as that of Mathematics and for translations of the meanings of English (or other natural-language) sentences. Laying foundations in this area is key to a technical understanding of deductive reasoning and to honing rigorous critical thinking and problem-solving skills.
Notable (some of them unusual) features that are covered in the present volume include the following:
The overview of propositional logic includes positive semantic trees, in addition to the negative semantic tree method.
Prenex forms and conversion to equivalent prenex forms.
Relational (ultimately polyadic) predicate symbols, function symbols and identity are made available.
The decision problem and the Lӧwenheim Result are discussed.
Proof-theoretic methods are presented analytically and extensive justifications are offered for the required restrictions on the deduction rules.
The semantics of predicate logic modeling are presented in analytical detail along with inquiries into the logical-philosophical significance of predicate logic.
Translation from English into the predicate logic idiom (formalization, symbolization) is examined thoroughly, accompanied by motivating linguistic observations and thorough scrutiny of available options; aspects of this inquiry include translations under restricted and unrestricted domains, translations of compacted predicates, rendering of non-classically quantified phrases, translations of numerical statements, definite descriptions and regimentation, and guidance on how to render existential presuppositions.
Disambiguation is imposed on translations and an extensive list of examples is presented.
Translations of idiomatic linguistic expressions are studied.
Semantic tree decision procedures (for finitarian domains) - including negative and positive semantic tree systems - are constructed and applied.
Appendices on Set Theory, Mathematical Induction and Dialogical Logic are presented.
Описание: This book provides a brand new treatment of Ancient Greek (AG) verb-first (V1) compounds. In AG, the very existence of this type is surprising: its left-oriented structure goes against the right-oriented structure of the compound system, in which there also exists a large class of verb-final (V2) compounds (many of which express the same agentive semantics). While past studies have privileged either the historical dimension or the assessment of semantic and stylistic issues over a systematic analysis of V1 compounds, this book provides a comprehensive corpus of appellative and onomastic forms, which are studied vis-a-vis V2 ones. The diachronic dimension (how these compounds developed from late PIE to AG and then within AG) is combined with the synchronic one (how they are used in specific contexts) in order to show that, far from being anomalous, V1 compounds fill lexical gaps that could not, for specified morphological and semantic reasons, be filled by more ‘regular’ V2 ones. Introductory chapters on compounding in morphological theory and in AG place the multi-faceted approach of this book in a modern perspective, highlighting the importance of AG for linguists debating the properties of the V1 type cross-linguistically.
Автор: Durrant, Michael Название: Sortals and the Subject-predicate Distinction (2001) ISBN: 0367249367 ISBN-13(EAN): 9780367249366 Издательство: Taylor&Francis Рейтинг: Цена: 6123.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title was first published in 2001. The problem of the subject-predicate distinction has featured centrally in much of modern philosophy of language and philosophical logic, and the distinction is taken as basic or fundamental in modern philosophical logic.
Автор: Smith G. F. Название: Subjected: The Predicate ISBN: 0983361282 ISBN-13(EAN): 9780983361282 Издательство: Неизвестно Цена: 2578.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Sequel:
Subjected: the Predicate
Why Does God Keep His Children in a Box?
Dr. Daniel J. Sayer has just learned that his life is essentially over, yet at the same time is reluctantly ushered into the heart of a terrorist crisis, with the lives of thousands of children in the proverbial balance.
At the turn of the 22nd century, thousands of children at the World Children's Orphanage, U.S. compound are taken hostage by militant Eco-political terrorists. One child will die horrifically each hour. The demands: "Permanently disable the world's fossil fuel refineries, and power plants...one plant for one child's life, non-negotiable."
Daniel J. Sayer, PhD, author, lecturer, advisor to world leaders, reluctantly finds himself mired in the crisis, pairing his own unique abilities, with the staff of the WCO, the Military, and the courageous sacrifices of the children, in their desperate efforts to combat the mysterious and ruthless terrorist group, the QUALM, and their world-televised Illustrations of Death.
Along the way, Dr. Sayer begins to realize that he is being steered through a twisted plot of metaphysical proportions, fighting not only over the fate of the children, and for the future of the Earth, but for his own beleaguered soul.
Thematic content and style of G. F. Smith's writing is a contemporary cross between the Twilight Zone(R), and the X-Files(R), with respectable portions of self-effacing humor and abstract curiosity carefully weaved in for balanced measure.
The Subjected Series was written to be read in any order.
Other books in this Series:
The Prequel:
Subjected: Eye of God
and
Subjected: Parallax
Available in Print and eBook formats at Leading Online Retailers and gfsmithbooks dot] com
This volume provides detailed studies of the crosslinguistically unusual mermaid construction in seventeen languages of Asia, including Modern Standard Japanese, and one language of Africa. This construction appears to be absent in languages of Europe, Oceania and the Americas. The name - mermaid construction - alludes to its paradoxical make-up, where the structure closely resembling a verb-predicate clause ends with what may look like a noun-predicate clause. Superficially it looks biclausal; however, syntactically it is monoclausal. It has a compound predicate which contains an independent noun, a clitic or an affix derived from a noun, or a nominalizer. Its compound predicate has a modal, evidential, aspectual, temporal, stylistic or discourse-related meaning. The paradox is resolved from a diachronic perspective insofar as a biclausal structure is reanalyzed as a monoclausal one. This volume shows how a noun may be reanalyzed to become a constituent of a predicate. It constitutes an important contribution to research on grammaticalization and in particular, the grammaticalization of nouns and more generally, to the typology of syntactic reanalysis.
Описание: "APA 7th Manual Made Easy" was written specifically for the 7th edition of APA and includes 80+ examples of different kinds of references. Revised according to the 7th edition of APA, this guide is offering general format and examples of:
paper layout,
title page,
abstract,
contents,
headings,
in-text citations,
quotations,
reference list,
footnotes,
lists,
tables and figures,
notes,
appendices, etc.
among others including:
APA student paper sample and
APA professional paper sample.
Learn more about writing style, language, and formatting. This student guide reflects the newest version of the APA and will address the vast majority of questions about using APA 7th edition correctly with 80+ examples of references.
Описание: The first book to explore two of the biggest names in modern and contemporary art side by side, Marcel Duchamp and Jeff Koons
Автор: Lee-Schoenfeld Vera, Ott Dennis Название: Parameters of Predicate Fronting ISBN: 0197545564 ISBN-13(EAN): 9780197545560 Издательство: Oxford Academ Рейтинг: Цена: 16599.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the world's languages permit or require clause-initial positioning of the primary predicate, potentially alongside some or all of its dependents. While such predicate fronting (where "fronting" may or may not involve movement) is a widespread phenomenon, it is also subject to intricate and largely unexplained variation. In Parameters of Predicate Fronting, Vera Lee-Schoenfeld and Dennis Ott bring together leaders in the field of comparative syntax to explore the empirical manifestations and theoretical modelling of predicate fronting across languages. There exists by now a rich literature on predicate fronting, but few attempts have been made at synthesizing the resulting empirical observations and theoretical implementations. While individual phenomena have been described in some detail, we are currently far from a complete understanding of the uniformity and variation underlying the wider cross-linguistic picture. This volume takes steps towards this goal by showcasing the state of the art in research on predicate fronting and the parameters governing its realization in a range of diverse languages. Covering topics like prosody, VP-fronting, and predicate doubling across a wide arrange of languages, including English, German, Malagasy, Niuean, Ch'ol, Asante, Twi, Limbum, Krachi, Hebrew, and multiple sign languages, this collection enriches our understanding of the predicate fronting phenomenon.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru