Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A Philosophical Introduction to Higher-order Logics
This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages—their model theory and proof theory, the theory of λ-abstraction and its generalizations—and their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer science, mathematics, and linguistics. A Philosophical Introduction to Higher-order Logics assum...
Verb Second
This book addresses a general phenomenon in the European languages: verb second. The articles provide a comprehensive survey of synchronic vs. diachronic developments in the Germanic and Romance languages. New theoretical insights into the interaction of the properties of verbal mood and syntactic structure building lead to hypotheses about the mutual influence of these systems. The diachronic change in the syntax together with changes in the inflectional system show the interdependence between the syntactic and the inflectional component. The fact that the subjunctive can license verb second in dependent clauses reveals further dependencies between these subsystems of grammar. "Fronting finiteness" furthermore constitutes an instance of a main clause phenomenon. Whether "assertion" or "at-issueness" are encoded through this grammatical process will be a matter in the debates discussed in the book. Moreover, information structure appears to be directly related to the fronting of other constituents in front of the finite verb. Questions concerning the interrelations between these various subcomponents of the grammatical system are investigated.
