Cargando…
How Logic Works : A User's Guide /
"Logic instruction typically takes two forms. The first has the aim of teaching students to solve a certain sort of problem as efficiently as possible. This is the approach adopted by most logic textbooks and truth trees, the most popular method, gives students an algorithm for solving logic pr...
| Autor principal: | |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton :
Princeton University Press,
[2020]
|
| Colección: | Book collections on Project MUSE.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | musev2_76725 | ||
| 003 | MdBmJHUP | ||
| 005 | 20230905051926.0 | ||
| 006 | m o d | ||
| 007 | cr||||||||nn|n | ||
| 008 | 200513s2020 nju o 00 0 eng d | ||
| 010 | |z 2020009315 | ||
| 020 | |a 9780691208718 | ||
| 020 | |z 0691208719 | ||
| 020 | |z 9780691182223 | ||
| 020 | |z 9780691211954 | ||
| 035 | |a (OCoLC)1157769023 | ||
| 040 | |a MdBmJHUP |c MdBmJHUP | ||
| 100 | 1 | |a Halvorson, Hans, |e author. | |
| 245 | 1 | 0 | |a How Logic Works : |b A User's Guide / |c Hans Halvorson. |
| 264 | 1 | |a Princeton : |b Princeton University Press, |c [2020] | |
| 264 | 3 | |a Baltimore, Md. : |b Project MUSE, |c 2020 | |
| 264 | 4 | |c ©[2020] | |
| 300 | |a 1 online resource (280 pages): |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Logic for humans -- Deducing -- Supposing -- New proofs from old -- Truth -- Quantifying -- Theories -- Models -- A theory about propositional logic -- A theory about predicate logic -- Beyond logic. | |
| 520 | |a "Logic instruction typically takes two forms. The first has the aim of teaching students to solve a certain sort of problem as efficiently as possible. This is the approach adopted by most logic textbooks and truth trees, the most popular method, gives students an algorithm for solving logic problems. The second has as its aim teaching students a certain style of thinking and, thus, concerns itself with how students solve problems. In How Logic Works, Hans Halvorson introduces students to the methods of natural deduction, a method which not only helps them solve problems, but helps them to understand the principles of valid reasoning for themselves. Halvorson uses formal logic to train students in the task of constructing paths between premises and conclusions. The student, then, will become an expert traveller in logical space, quickly recognizing the difference between a safe path (where truth is guaranteed to be preserved) and a hazardous path (where truth might be lost). This approach is premised on the fact that if a student learns natural deduction, she learns a skill that transfers to any domain where valid deductive reasoning is useful"-- |c Provided by publisher | ||
| 588 | |a Description based on print version record. | ||
| 650 | 7 | |a Logic |2 fast |0 (OCoLC)fst01002014 | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 0 | |a Logic |v Textbooks. | |
| 655 | 7 | |a Textbooks |2 fast |0 (OCoLC)fst01423863 | |
| 655 | 7 | |a Electronic books. |2 local | |
| 710 | 2 | |a Project Muse. |e distributor | |
| 830 | 0 | |a Book collections on Project MUSE. | |
| 856 | 4 | 0 | |z Texto completo |u https://projectmuse.uam.elogim.com/book/76725/ |
| 945 | |a Project MUSE - Custom Collection | ||