Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their...
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to impr...
Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. Attitude Problems presents an original account of mental state ascriptions that are made using intensional transitive verbs such as "want," "seek," "imagine," and "worship." Forbes offers a theory of how such verbs work that draws on ideas from natural language semantics, philosophy of language, and aesthetics.
Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. Attitude Problems presents an original...
