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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Halvorson, Hans (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton University Press, [2020]
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 JSTOR_on1157769023
003 OCoLC
005 20231005004200.0
006 m o d
007 cr cnu---unuuu
008 200513s2020 njua ob 001 0 eng
010 |a  2020009315 
040 |a DLC  |b eng  |e rda  |e pn  |c DLC  |d OCLCO  |d P@U  |d EBLCP  |d UKAHL  |d YDX  |d JSTOR  |d OCLCQ  |d DLC  |d OCLCF  |d DEGRU  |d OCLCQ  |d OCLCO 
020 |a 9780691208718  |q (electronic book) 
020 |a 0691208719  |q (electronic book) 
020 |z 9780691182223  |q (hardcover ;  |q alkaline paper) 
020 |z 0691182221  |q (hardback ;  |q alk. paper) 
029 1 |a AU@  |b 000067239439 
035 |a (OCoLC)1157769023 
037 |a 22573/ctvxs9tsv  |b JSTOR 
042 |a pcc 
050 0 4 |a BC71  |b .H36 2020 
072 7 |a PHI  |x 011000  |2 bisacsh 
082 0 0 |a 162  |2 23 
049 |a UAMI 
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] 
300 |a 1 online resource (x, 246 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 
504 |a Includes bibliographical references and index. 
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 0 |a Online resource; title from digital title page (viewed on July 16, 2020). 
590 |a JSTOR  |b Books at JSTOR Evidence Based Acquisitions 
590 |a JSTOR  |b Books at JSTOR All Purchased 
590 |a JSTOR  |b Books at JSTOR Demand Driven Acquisitions (DDA) 
650 0 |a Logic  |v Textbooks. 
650 7 |a PHILOSOPHY  |x Logic.  |2 bisacsh 
650 7 |a Logic  |2 fast 
655 7 |a Textbooks  |2 fast 
776 0 8 |i Print version:  |a Halvorson, Hans.  |t How logic works.  |d Princeton : Princeton University Press, [2020]  |z 9780691182223  |w (DLC) 2020009314 
856 4 0 |u https://jstor.uam.elogim.com/stable/10.2307/j.ctvxrpz0q  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH37493423 
938 |a De Gruyter  |b DEGR  |n 9780691208718 
938 |a Project MUSE  |b MUSE  |n muse84141 
994 |a 92  |b IZTAP