The answer to the question "How can we understand and use a definition?" provides new constraints on natural language and on the internal language in which meaning is mentally represented. Most syntax takes the sentence as the basic unit for well-formedness, but definitions force us to focus on words and phrases, and hence to focus on compositional syntax in parallel with compositional semantics. This study examines both dictionary definitions and definitions from textbooks, from the point...

The extensively updated fourth edition of the leading introductory textbook on theoretical syntax, including an all-new chapter and additional problem setsNow in its fourth edition, Andrew Carnie's Syntax: A Generative Introduction remains the leading introduction to the rules, principles, and processes that determine the structure of sentences in language. Comprehensive yet accessible, the text provides a well-balanced, student-friendly introduction to sy...

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...

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In...

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...

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incomp...

The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts, especially those of class and property. The method will be contrasted with various other semantical methods used in traditional philosophy or by contemporary authors. Thes...

Syntax: Basic Concepts and Applications provides a systematic introduction to core topics in syntax, focusing on how the basic concepts apply in the analysis of sentences. Assuming no background in linguistic analysis, the book gives students a working knowledge of syntactic analysis from a minimalist perspective. Step by step it explains the fundamentals of phrase structure, movement and deletion. Well-placed exercises throughout reinforce and extend the concepts and analyses presented in...

This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the W...

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s inco...

Understanding Semantics, Second Edition, provides an engaging and accessible introduction to linguistic semantics. The first part takes the reader through a step-by-step guide to the main phenomena and notions of semantics, covering levels and dimensions of meaning, ambiguity, meaning and context, logical relations and meaning relations, the basics of noun semantics, verb semantics and sentence semantics. The second part provides a critical introduction to the basic notions of the...

Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation of how and why it has changed over the years.