Produktdetaljer
Biografisk notat
Mark Sainsbury is Susan Stebbing Professor of Philosophy at King's College London. He is the author of Russell (1979) and Paradoxes (second edition, 1995)."This book provides a valuable philosophical accompaniment to the study of elementary formal logic, demonstrating the role of logical analysis in philosophy. The second edition takes account of new work from the last decade, and presents the old material with even greater clarity." <i>Dorothy Edgington, University of Oxford</i> <br /> <p>"<i>Logical Forms</i> is written in a way that makes the dry, abstract problems of philosophical logic accessible. It is one of the best books of its kind and is thoroughly recommended." <i>Francis Moorcroft, University of Hull, THES, 1/6/01</i></p>
Introduction.
1. Validity.
2. Truth Functionality.
3. Conditionals and Probabilities.
4. Quantification.
5. Necessity.
6. The Project pf formalization.
Glossary.
List of Symbols.
Bibliography.
Index.
The correct identification of logical forms has been held to be important not only to logic but also to philosophy. Bertrand Russell coined the phrase "philosophical logic" to describe an approach to philosophical problems: find the correct logical form of the problematic sentences, and the problems vanish. Logical Forms explains both the theoretical underpinnings of the approach and the detailed problems involved in finding logical forms in the languages of propositional logic, classical first order logic, modal logic, and some alternatives such as free logic, binary and substitutional quantifiers.
This revised edition incorporates results of recent work. Chapter 3 on conditionals, and the sections dealing with predicate quantifiers, free logics and subjunctive conditionals have been completely rewritten. The exercises are integrated throughout the book, and each chapter concludes with updated notes to guide further reading. The result is a genuinely interactive introduction which engages the reader in developing the argument.
This book does not presuppose knowledge of deductive methods in formal logic and it will be of immense benefit to those approaching philosophical logic for the first time.