Jeg vil begynne å studere logikk alene. Problemet: med antall tilgjengelige bøker aner jeg ikke hvordan jeg skal skille de gode fra de dårlige. Foreslå meg noen gode bøker.
Kommentarer
- Hvis dette spørsmålet ikke er ' t fjernet / lukket / etc .: sjekk ut Barwise & Etchemendy ' s Språk, bevis og logikk . Den ' er skrevet veldig tydelig, den ' er interaktiv (den kommer med tre fantastiske stykker programvare), og i sin tredje del har korte introduksjoner til viktige mellomtemaer som aksiomatisk mengde teori, oppløsningsprinsippet, de begrensende " metalogiske " resultater osv. Jeg høy anbefaler det som en første lærebok.
- Logikk er et veldig bredt tema. Noen studerer det for å hjelpe deres resonnement. Noen studerer matematisk logikk. Selv studerer jeg det fra synspunktet på dets anvendelse på språk. Jeg ' er sikker på at det er aspekter ved logikk som jeg ikke vet '. Kort sagt er " logikk " en enorm samling av emner. Hva vil du nøyaktig lære, og hvorfor?
- Jeg ' Jeg er interessert i det for den matematiske siden!
- Jeg tror kurs, coursera.org/course/intrologic , er en veldig god måte å begynne med matematisk logikk.
- Mulig duplikat av Hvor er et bra sted å begynne å lese om logikk?
Svar
Last ned leseveiledningen på logikkbøker fra http://www.logicmatters.net/students/tyl/
§2.2 gir noen anbefalinger for nybegynnere.
Resten av guiden gir omfattende råd om videre lesing.
Svar
Kan jeg ydmykt foreslå min gratis, matteorienterte bevisprogramvare og tilhørende opplæring med utarbeidede eksempler og øvelser, hver med hint og komplette løsninger. Besøk nettstedet på for en videodemo.
Svar
Med unntak av disse bøkene som allerede er vurdert her , gjengir jeg noen forslag fra Reddit: søk etter «book» , søk etter «lærebok» som følger (men jeg utelater blockquotes for å gjøre det lettere å lese):
Innlegg av 2011/11/17:
Logikk: En introduksjon , av Greg Restall
[…] Det er en flott bok, men full av feil. Heldigvis er de fleste på hans hjemmeside .
Logiske labyrinter av Raymond Smullyan vil tjene som en vennlig introduksjon til emnet. Smullyan bruker ofte sine berømte logikkoppgaver gjennom hele teksten for å lære en rekke leksjoner. Og et ord av advarsel: vennlig betyr ikke lett! Smullyan vil trykke på knappene dine og få deg til å tenke dypt om vanskelige konsepter. Denne er veldig givende og anbefales på det sterkeste.
The Power of Logic av Howard-Snyder, Howard -Snyder og Wasserman […]
Forresten, her er det en utmerket online ressurs som du kan synes er nyttig.
Les at (pdf) for referanser. Les CL Hamblin «s " feilslutninger ", og ting av Doug Walton.
Innlegg innsendt 2014/6/5:
Virginia Klenk «s Forstå symbolsk logikk
Innlegg sendt den 28.9.2014:
Hausman s logikk og filosofi
For en gratis bok med svar på øvelsene på nettet, prøv Paul Teller «s A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu
For en nylig bok med lignende dekning og lignende dyder av klarhet, Logic: The Laws of Truth av Nicholas JJ Smith (som har svar på øvelser på nettet).
Kortere og enda klarere, kanskje, er Peter Smiths En introduksjon til formell logikk (som også har fått svar på øvelser på nettet). Spesielt bra på oversettelse til og ut av kvantifisert notasjon hvilke nybegynnere som kan finne et fastpunkt.
Logikk , av Paul Tomassi
Innlegg 2015/7/11:
Jeg startet med logikk først ved å forstå kjernefilosofiske begreper, så jeg vil først anbefale Grayling s Philosophical Logic .Det er ikke et riktig svar på din forespørsel, men er heller en personlig anbefaling. Men hvis du vil hoppe over den filosofiske fasen, kan du gå og få en Benson Mates Elementary Logic og enn for å dekke det samme saker du har Smullyan «s First Order Logic . En annen bok som jeg anbefaler er Introduction to a Logical-Theory av Peter Strawson, igjen dekker ikke bare formell logikk, men også filosofisk spørsmål som vekker naturlig.
Innlegg av 2015/10/6:
Essentials of Symbolic Logic av RL Simpson.
Innlegg 2015/12/3:
Jeg tok en intro til Logic-klassen på skolen brukte vi The Logic Book (6. utg.) av Bergmann, Moor og Nelson. Det meste av læringen ble gjort ut av læreboka; forelesningene var hovedsakelig rettet mot å stille spørsmål og arbeider gjennom tøffere praksis problemer. Hvis jeg husker riktig, var teksten ganske kostbar, men utrolig nyttig løsningsmanualen er online, og jeg vedder på at du også kunne finne selve teksten på nettet med litt arbeid. Anbefaler på det sterkeste.
Prøv Nelson Landes bok, Classical Logic and its Rabbit Holes . Den er veldig imøtekommende, til og med morsom. Det er også løsninger på mange av problemene på nettet.
En introduksjon til matematisk logikk (Dover Books on Mathematics) av Richard E. Hodel
Introduksjon til logikk: and to the Methodology of Deductive Sciences av Alfred Tarski