"Generative Phonology" offers an overview of the post-SPE theory of generative phonology and is suitable for linguists not specializing in phonology, who want to keep abreast of the latest developments in the subject. It deals with all the major trends in what has come to be known as "non-linear" phonology, including: particle phonology; dependancy phonology; government and charm phonology. Iggy Roca guides the reader through the developments of the various approaches, justifying their rat...

The first edition of this major introduction to linguistics rapidly established itself as an important student textbook, and a reference tool for those who already have some acquaintance with linguistics. This second edition has been updated and revised and includes new chapters on syntax and on current developments in generative grammar, as well as new material on the nature of language and on morphology.This book first provides a comprehensive critical review of the analytic tool...

This book examines some knotty problems in natural language. These typically involve questions where the sense or the grammaticality of an utterance teeters on or over the edge of acceptability among native speakers. The phenomena in question have been examined within syntactic theory for over two decades with no wholly satisfactory outcome. Dr Truswell broadens the scope of the enquiry to the interface between syntactic structure and other, indirectly related, cognitive, and semantic stru...

This revised and considerably expanded 2nd edition, published in 2008, 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 exp...

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophe...

A critique of the assumptions the mind makes, of how humans tend to categorize objects and ideas, and of the implications of these modes of thought." Women, Fire, and Dangerous Things presents some of the most stimulating ideas on mind and meaning that I have ever read. It . . . has far-reaching consequences and is sure to rattle the foundations of thinking and research in the cognitive sciences. Lakoff's book is ...

The algebra of logic was founded by George Boole (1815-1864); it was developed and perfected by Ernst Schroder (1841-1902) The fundamental laws of this calculus were devised to express the principles of reasoning, the laws of thought But this calculus may be considered from the purely formal point of view, which is that of mathematics, as an algebra based upon certain principles arbitrarily laid down It belongs to the realm of philosophy to decide whether, and in what measure, this calculu...

Understanding Minimalism, first published in 2005, is an introduction to the Minimalist Program - the model of syntactic theory within generative linguistics. Accessibly written, it presents the basic principles and techniques of the minimalist program, looking firstly at analyses within Government and Binding Theory (the Minimalist Program's predecessor), and gradually introducing minimalist alternatives. Minimalist models of grammar are presented in a step-by-step fashion, and the ways i...

Accessible, succinct, and including numerous student-friendly features, this introductory textbook offers an exceptional foundation to the field for those who are coming to it for the first time.Provides an ideal first course book in phonology, written by a renowned phonologistDeveloped and tested in the classroom through years of experience and useEmphasizes analysis of phonological data, placing this in its scientific context, and explai...

This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the author's research for about three decades.Non-Axiomatic Logic is designed to provide a uniform logical foundation for Artificial Intelligence, as well as an abstract description of the “laws of thought” followed by the human mind. Different from “mathematical” logic, where the focus is the regularity required when demonstrating mathematical conclusions, Non-Axiomatic Logic is an...

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of t...

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, ...