Truth-functional logic / J.A. Faris
Publisher | Abingdon, Oxon : Routledge |
---|---|
Year | 2019 |
Authors | *Faris, J. A |
Hide book details.
Links to the text | Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|---|
Links to the text | Library Off-campus access |
|
OB00180459 | Taylor & Francis eBooks Archive Collection (電子ブック) | 9781000735031 |
|
|
Hide details.
Material Type | E-Book |
---|---|
Media type | 機械可読データファイル |
Size | 1 online resource (131 p.) |
Notes | Description based upon print version of record Originally published in 1962. This book gives an account of the concepts and methods of a basic part of logic. In chapter I elementary ideas, including those of truth-functional argument and truth-functional validity, are explained. Chapter II begins with a more comprehensive account of truth-functionality; the leading characteristics of the most important monadic and dyadic truth-functions are described, and the different notations in use are set forth. The main part of the book describes and explains three different methods of testing truth-functional aguments and agument forms for validity: the truthtable method, the deductive method and the method of normal forms; for the benefit mainly of readers who have not acquired in one way or another a general facility in the manipulation of symbols some of the procedures have been described in rather more detail than is common in texts of this kind. In the final chapter the author discusses and rejects the view, based largely on the so called paradoxes of material implication, that truth-functional logic is not applicable in any really important way to arguments of ordinary discourse OCLC-licensed vendor bibliographic record HTTP:URL=https://www.taylorfrancis.com/books/9780367853983 Information=Taylor & Francis |
Subjects | LCSH:First-order logic FREE:PHILOSOPHY / General |
Classification | LCC:BC128 DC23:160 |
ID | 8000082078 |
ISBN | 9781000735031 |