Jeg vil gerne begynde at studere logik alene. Problemet: med den tilgængelige mængde bøger har jeg ingen idé om, hvordan man skelner mellem de gode og de dårlige. Foreslå mig nogle gode bøger.
Kommentarer
- Hvis dette spørgsmål ikke er ' t fjernet / lukket / etc .: tjek Barwise & Etchemendy ' s Sprog, bevis og logik . Det ' er skrevet meget tydeligt, det ' er interaktivt (det leveres med tre vidunderlige stykker software) og i sin tredje del har korte introduktioner til vigtige mellemliggende emner såsom aksiomatisk sætteori, opløsningsprincippet, de begrænsende " metalogiske " resultater osv. Jeg har meget anbefale det som en første lærebog.
- Logik er et meget bredt emne. Nogle mennesker studerer det for at hjælpe deres ræsonnement. Nogle studerer matematisk logik. Jeg selv studerer det fra synspunktet på dets anvendelse på sprog. Jeg ' er sikker på, at der er aspekter af logik, som jeg ikke ' ikke kender til. Kort sagt, " logik " er en enorm samling af emner. Hvad vil du nøjagtigt lære, og hvorfor?
- Jeg ' er interesseret i det for den matematiske side!
- Jeg tror, at kursus, coursera.org/course/intrologic , er en meget god måde at starte med matematisk logik.
- Mulig duplikat af Hvor er et godt sted at begynde at læse om logik?
Svar
Download læsevejledningen til logiske bøger fra http://www.logicmatters.net/students/tyl/
§2.2 giver nogle anbefalinger til komplette begyndere.
Resten af guiden giver omfattende råd om yderligere læsning.
Svar
Må jeg ydmygt foreslå min gratis, matematiske orienterede bevissoftware og ledsagende tutorial med bearbejdede eksempler og øvelser, hver med tip og komplette løsninger. Besøg mit websted for en videodemonstration.
Svar
Bortset fra disse bøger, der allerede er gennemgået her , gengiver jeg nogle forslag fra Reddit: søg efter “bog” , søg efter “lærebog” som følger (men jeg udelader blockquotes for at lette læsningen):
Indlæg af 2011/11/17:
Logik: En introduktion , af Greg Restall
[…] Det er en god bog, men fyldt med fejl. Heldigvis er de fleste af dem på hans hjemmeside .
Logiske labyrinter af Raymond Smullyan ville tjene som en venlig introduktion til emnet. Smullyan anvender ofte sin berømte logiske gåder i hele teksten for at undervise i en række lektioner. Og et advarselsord: venligt betyder ikke let! Smullyan vil skubbe på dine knapper og få dig til at tænke dybt over vanskelige koncepter. Denne er meget givende og kan varmt anbefales.
The Power of Logic af Howard-Snyder, Howard -Snyder og Wasserman […]
Forresten, her er en fremragende online ressource , som du måske finder nyttige.
Læs at (pdf) til referencer. Læs CL Hamblin “s " fejltagelser ", og tingene af Doug Walton.
Indlæg indsendt den 2014/6/5:
Virginia Klenk “s Forståelse af symbolsk logik
Indlæg indsendt den 28.9.2014:
Hausman s logik og filosofi
For en gratis bog med svar på øvelserne online, prøv Paul Teller “s A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu
For en nylig bog med lignende dækning og lignende dyder af klarhed, Logik: Sandhedens love af Nicholas JJ Smith (som har svar på øvelser online).
Kortere og endnu klarere er måske Peter Smiths En introduktion til formel logik (som også har svar på øvelser online). Særligt godt ved oversættelse til og ud af kvantificeret notation, hvilke begyndere kan finde et fast punkt.
Logik af Paul Tomassi
Send den 2015/7/11:
Jeg startede først med logik ved at forstå kernefilosofiske begreber, så jeg vil først anbefale Graylings s Filosofiske logik .Det er ikke et korrekt svar på din anmodning, men snarere en personlig anbefaling. Men hvis du vil springe over den filosofiske fase, skal du hente en Benson Mates Elementær logik og end for at dække det samme emner, du har Smullyans First Order Logic . En anden bog, som jeg anbefaler, er Introduktion til en logisk-teori af Peter Strawson, der igen ikke kun dækker formel logik, men også filosofisk spørgsmål, der vækker naturligt.
Indlæg af 2015/10/6:
Essentials of Symbolic Logic af RL Simpson.
Send den 2015/12/3:
Jeg tog en introduktion til logikklassen i skolen brugte vi The Logic Book (6. udgave) af Bergmann, Moor og Nelson. Det meste af læringen blev udført i lærebogen; forelæsninger var primært rettet mod at stille spørgsmål og arbejder gennem de hårdere praksis problemer. Hvis jeg husker rigtigt, var teksten temmelig pebret men utrolig hjælpsom løsningsmanual er online, og jeg vedder på, at du også kunne finde selve teksten online med lidt arbejde. Stærkt anbefalet.
Prøv Nelson Landes bog, Klassisk logik og dens kaninhuller . Den er meget tilgængelig, endda sjov. Der er også løsninger på mange af problemerne online.
En introduktion til matematisk logik (Dover Books on Mathematics) af Richard E. Hodel
Introduktion til logik: og til metodikken for deduktive videnskaber af Alfred Tarski