Klicka på en bild för att gå till Google Book Search.
Laddar... Quantification Theoryav J A Faris
Ingen/inga Laddar...
Gå med i LibraryThing för att få reda på om du skulle tycka om den här boken. Det finns inga diskussioner på LibraryThing om den här boken. Inga recensioner inga recensioner | lägg till en recension
Originally 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. Inga biblioteksbeskrivningar kunde hittas. |
Pågående diskussionerIngen/inga
Google Books — Laddar... GenrerMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicKlassifikation enligt LCBetygMedelbetyg:
Är det här du? |