01772    a2200289   4500001001100000005001700011008003900028020001800067037003600085040000700121041000800128072001600136072001600152072001500168072001300183072001400196072001300210072002100223072002100244072001700265100001600282245002600298250000600324260003200330300001000362520111000372036742611020250317100412.0250312042021GB                   eng    a9780367426118  bTaylor & FranciscGBP 32.99fBB  a01  aeng7 aQDTL2thema7 aPBCD2thema7 aPBB2thema7 aHPL2bic7 aPBCD2bic7 aPBB2bic7 aPHI0000002bisac7 aBUS0000002bisac7 a511.32bisac1 aJ. A. Faris10aQuantification Theory  a1  aOxfordbRoutledgec20210501  a158 p  bOriginally published in 1964. This book is concerned with general arguments, by which is meant broadly arguments that rely for their force on the ideas expressed by all, every, any, some, none and other kindred words or phrases. A main object of quantificational logic is to provide methods for evaluating general arguments. To evaluate a general argument by these methods we must first express it in a standard form. Quantificational form is dealt with in chapter one and in part of chapter three; in the remainder of the book an account is given of methods by which arguments when formulated quantificationally may be tested for validity or invalidity. Some attention is also paid to the logic of identity and of definite descriptions. Throughout the book an attempt has been made to give a clear explanation of the concepts involved and the symbols used; in particular a step-by-step and partly mechanical method is developed for translating complicated statements of ordinary discourse into the appropriate quantificational formulae. Some elementary knowledge of truth-functional logic is presupposed.