Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Logic Works
A Rigorous Introduction to Formal Logic
Lorne Falkenstein, Scott Stapleford, Molly Kao
Livre broché | Anglais
102,45 €
+ 204 points
Format
Description
Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines.
The book covers classical first-order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems.
Online support material includes a detailed student solutions manual with a running commentary on all starred exercises, and a set of editable slide presentations for course lectures.
Key Features
- Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives
- Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic
- Carefully considers the ways natural language both resists and lends itself to formalization
- Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises
- Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 646
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9780367460297
- Date de parution :
- 30-11-21
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 210 mm x 279 mm
- Poids :
- 1478 g
