Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their progress. Logic With Trees equips students with * a complete and clear account of the truth-tree system for first order logic * the importance of logic and its relevance to many different disciplines * the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic * the ability to contest claims that `ordinary' reasoning is well represented by formal first order logic The issues covered include a thorough discussion of truth-functional and full first order logic, using the truth-tree or semantic tableau approach. Completeness and Soundness proofs are given for both truth-functional and first order trees. Much use is made of induction, which is presented in a clear and consistent manner. There is also discussion of alternative deductive systems, an introduction to transfinite numbers and categoricity, the Lowenhein-Skolem theories and the celebrated findings of Godel and Church. The book concludes with an account of Kripke's attempted solution of the liar paradox and a discussion of the weakness of truth-functional account of conditionals. Particularly useful to those who favour critical accounts of formal reasoning, it will be of interest to students of philosophy at first level and beyond and also students of mathematics and computer science.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Howson, Colin
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 6,32 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisEUR 11,27 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisVendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Etat : Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. N° de réf. du vendeur wbs1641317435
Quantité disponible : 1 disponible(s)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Hardcover. Etat : New. N° de réf. du vendeur 6666-TNFPD-9780415133418
Quantité disponible : 5 disponible(s)
Vendeur : moluna, Greven, Allemagne
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Howson, ColinLogic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clari. N° de réf. du vendeur 594623504
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 677574-n
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 677574
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 677574
Quantité disponible : Plus de 20 disponibles
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. pp. 224 This item is printed on demand. N° de réf. du vendeur 7537338
Quantité disponible : 3 disponible(s)
Vendeur : California Books, Miami, FL, Etats-Unis
Etat : New. N° de réf. du vendeur I-9780415133418
Quantité disponible : Plus de 20 disponibles
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. pp. 224. N° de réf. du vendeur 26310629
Quantité disponible : 3 disponible(s)
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 677574-n
Quantité disponible : Plus de 20 disponibles