000			01799 a2200301 4500
001			0367426110
005			20250317100412.0
008			250312042021GB eng
020			_a9780367426118
037			_bTaylor & Francis _cGBP 32.99 _fBB
040			_a01
041			_aeng
072	7		_aQDTL _2thema
072	7		_aPBCD _2thema
072	7		_aPBB _2thema
072	7		_aHPL _2bic
072	7		_aPBCD _2bic
072	7		_aPBB _2bic
072	7		_aPHI000000 _2bisac
072	7		_aBUS000000 _2bisac
072	7		_a511.3 _2bisac
100	1		_aJ. A. Faris
245	1	0	_aQuantification Theory
250			_a1
260			_aOxford _bRoutledge _c20210501
300			_a158 p
520			_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.
999			_c2511 _d2511