Jag vill börja studera logik på egen hand. Problemet: med mängden tillgängliga böcker har jag ingen aning om hur man ska skilja de goda från de dåliga. Vänligen föreslå för mig några bra böcker.
Kommentarer
- Om den här frågan inte ' tas bort / stängd / etc: kolla Barwise & Etchemendy ' s Språk, bevis och logik . Den ' skrivs mycket tydligt, den ' är interaktiv (den levereras med tre underbara programvaror) och i sin tredje del har korta introduktioner till viktiga mellanliggande ämnen som axiomatisk uppsättningsteori, upplösningsprincipen, de begränsande " metalogiska " resultat osv. Jag har mycket rekommendera det som en första lärobok.
- Logik är ett mycket brett ämne. Vissa människor studerar det för att underlätta deras resonemang. Vissa studerar matematisk logik. Jag själv studerar det ur synvinkeln för dess tillämpning på språk. Jag ' är säker på att det finns aspekter av logik som jag inte vet '. Kort sagt, " logik " är en stor samling ämnen. Vad vill du exakt lära dig och varför?
- Jag ' är intresserad av det för den matematiska sidan!
- Jag tror att kurs, coursera.org/course/intrologic , är ett mycket bra sätt att börja med matematisk logik.
- Möjlig duplikat av Var är det bra att börja läsa om logik?
Svar
Ladda ner läsguiden för logikböcker från http://www.logicmatters.net/students/tyl/
§2.2 ger några rekommendationer för fullständiga nybörjare.
Resten av guiden ger omfattande råd om vidare läsning.
Svar
Får jag ödmjukt föreslå min kostnadsfria, matteorienterade bevisprogramvara och tillhörande handledning med utarbetade exempel och övningar, alla med tips och kompletta lösningar. Besök min webbplats för en videodemo.
Svar
Förutom dessa böcker som redan har granskats här , återger jag några förslag från Reddit: sök efter ”bok” , sök efter ”lärobok” enligt följande (men jag utelämnar blocknoteringar för att underlätta läsningen):
Inlägg från 2011/11/17:
Logik: En introduktion , av Greg Restall
[…] Det är en fantastisk bok, men full av fel. Tack och lov finns de flesta på hans webbplats .
Logiska labyrinter av Raymond Smullyan skulle fungera som en vänlig introduktion till ämnet. Smullyan använder ofta sin berömda logiska pussel genom hela texten för att lära en mängd olika lektioner. Och ett varningsord: vänlig betyder inte lätt! Smullyan kommer att trycka på dina knappar och få dig att tänka djupt på knepiga koncept. Den här är mycket givande och rekommenderas starkt.
The Power of Logic av Howard-Snyder, Howard -Snyder och Wasserman […]
Förresten, här är en utmärkt online resurs som du kan hitta till hjälp.
Läs att (pdf) för referenser. Läs CL Hamblin ”s " fallacies ", och grejer av Doug Walton.
Inlägg inlämnat 2014/6/5:
Virginia Klenk ”s Förstå symbolisk logik
Inlägg inlämnat 28/9/2014:
Hausman s logik och filosofi
För en gratis bok med svar på övningarna online, prova Paul Teller ”s A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu
För en ny bok med liknande täckning och liknande dygder av tydlighet, Logik: Sanningens lagar av Nicholas JJ Smith (som har svar på övningar online).
Kortare och ännu tydligare, kanske är Peter Smiths En introduktion till formell logik (som också har svar på övningar online). Särskilt bra vid översättning till och från kvantifierad notation vilka nybörjare kan hitta en stickpunkt.
Logik , av Paul Tomassi
Skicka den 2015/7/11:
Jag började med logik först genom att förstå kärnfilosofiska begrepp, så jag skulle först rekommendera Graylings s Philosophical Logic .Det är inte ett korrekt svar på din begäran utan snarare en personlig rekommendation. Men om du vill hoppa över den filosofiska fasen, gå och skaffa en Benson Mates Elementary Logic och än för att täcka samma frågor du har Smullyans First Order Logic . En annan bok som jag rekommenderar är Introduction to a Logical-Theory av Peter Strawson, återigen inte bara om formell logik utan också för filosofisk frågor som väcker naturligt.
Inlägg från 2015/10/6:
Essentials of Symbolic Logic av RL Simpson.
Skicka den 2015/12/3:
Jag tog en introduktion till logikklassen i skolan använde vi The Logic Book (6: e upplagan) av Bergmann, Moor och Nelson. Det mesta av lärandet gjordes ur läroboken; föreläsningarna var främst inriktade på att ställa frågor och arbeta igenom de hårdare praxisproblemen. Om jag minns rätt var texten ganska dyr men oerhört hjälpsam lösningshandboken är online, och jag slår vad om att du också kan hitta själva texten online med lite arbete. Rekommenderar starkt.
Prova Nelson Landes bok, Klassisk logik och dess kaninhål . Den är mycket tillgänglig, till och med rolig. Det finns också lösningar på många av problemen online.
En introduktion till matematisk logik (Dover Books on Mathematics) av Richard E. Hodel
Introduktion till logik: and to the Methodology of Deductive Sciences av Alfred Tarski