Haluaisin alkaa opiskella logiikkaa yksin. Ongelma: käytettävissä olevien kirjojen määrän perusteella minulla ei ole aavistustakaan siitä, miten erottaa hyvät huonoista. Ehdota minulle hyviä kirjoja.
Kommentit
- Jos tätä kysymystä ei ' ei poisteta / closed / etc: tutustu Barwise & Etchemendy ' s Kieli, todiste ja logiikka . Se ' on kirjoitettu hyvin selkeästi, se ' on vuorovaikutteinen (mukana on kolme upeaa ohjelmistoa), ja kolmannessa osassaan on lyhyt esittely tärkeistä väliaiheista, kuten aksiomaattinen joukko-teoria, resoluutioperiaate, rajoittavat " metallogiset " tulokset jne. suosittele sitä ensimmäisenä oppikirjana.
- Logiikka on hyvin laaja aihe. Jotkut ihmiset tutkivat sitä auttaakseen päättelyään. Jotkut tutkivat matemaattista logiikkaa. Minä itse tutkin sitä sen kielen soveltamisen näkökulmasta. Olen ' varma, että on olemassa logiikan näkökohtia, joista en tiedä '. Lyhyesti sanottuna " -logiikka " on laaja joukko aiheita. Mitä haluat oppia tarkalleen ja miksi?
- Olen ' kiinnostunut siitä matemaattiselta puolelta!
- Luulen, että kurssi, coursera.org/course/intrologic , on erittäin hyvä tapa aloittaa matemaattisella logiikalla.
- Mahdollinen kopio Mistä on hyvä alkaa lukea logiikkaa?
Vastaa
Lataa loogisten kirjojen lukemisopas osoitteesta http://www.logicmatters.net/students/tyl/
§2.2 antaa joitain suosituksia aloittelijoille.
Lopussa oppaassa annetaan kattavia neuvoja jatkokäsittelystä.
Vastaa
Saanen nöyrästi ehdottaa ilmaista, matematiikkaan suuntautuvaa todistusohjelmistoni ja siihen liittyvää opetusohjelmaa, jossa on käytettyjä esimerkkejä ja harjoituksia, joista jokaisessa on vinkkejä ja täydellisiä ratkaisuja. Käy -sivustollani osoitteessa saadaksesi videoesittelyn.
Vastaa
Paitsi nämä kirjat, jotka on jo täällä tarkistettu , toistan joitain Redditin ehdotuksia: hae ”kirja” , etsi hakusanaa ”oppikirja” seuraavasti (mutta jätän lukulaitteet pois lukemisen helpottamiseksi):
Viesti 2011/11/17:
Logiikka: Johdanto , kirjoittanut Greg Restall
[…] Se on loistava kirja, mutta täynnä virheitä. Onneksi suurin osa heistä on hänen verkkosivustollaan Raymond Smullyanin
loogiset labyrintit toimisivat ystävällisenä johdantona aiheeseen. Smullyan ottaa usein käyttöönsä kuuluisia logiikkapulmia koko tekstissä opettaa erilaisia oppitunteja. Ja varoituksen sana: ystävällinen ei tarkoita helppoa! Smullyan painaa painikkeitasi ja saa sinut ajattelemaan syvällisesti hankalia käsitteitä. Tämä on erittäin palkitseva ja sitä suositellaan erittäin voimakkaasti.
Logiikan voima , Howard-Snyder, Howard -Snyder ja Wasserman […]
Muuten, tässä on erinomainen online-resurssi , josta voi olla hyötyä.
Lue että (pdf) viitteitä varten. Lue CL Hamblin ”s " -virheet " ja Doug Waltonin jutut.
Viesti lähetetty 6/6/5:
Virginia Klenkin symbolisen logiikan ymmärtäminen
Viesti lähetetty 28.09.2014:
Hausman ”Logiikka ja filosofia
Jos haluat ilmaisen kirjan ja vastaukset harjoituksiin verkossa, kokeile Paul Tellerin ” A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu
Äskettäiselle kirjalle, jolla on samankaltaiset kattavuus ja vastaavat selkeyden edut, logiikka: The Laws of Truth , kirjoittanut Nicholas JJ Smith (joka on saanut vastauksia harjoituksiin verkossa).
Lyhyempi ja vielä selkeämpi on ehkä Peter Smithin Johdatus muodolliseen logiikkaan (joka on saanut vastauksia myös harjoituksiin verkossa). Erityisen hyvä käännöksessä kvantifioituihin merkintöihin ja ulos, jotka aloittelijat voivat löytää tarttuvan pisteen.
Logiikka , kirjoittanut Paul Tomassi
Viesti 2015/7/11:
Aloitin logiikalla ensin ymmärtämällä filosofian ydinkäsitteet, joten suosittelen ensin Graylingin filosofista logiikkaa .Se ei ole oikea vastaus pyyntöönne, vaan pikemminkin henkilökohtainen suositus. Mutta jos haluat ohittaa filosofisen vaiheen, mene hakemaan Benson Mate Elementary Logic ja sen sijaan, että kattaisit saman antaa sinulle Smullyanin ensimmäisen asteen logiikan . Toinen suosittelema kirja on Peter Strawsonin Johdatus loogiseen teoriaan , joka ei jälleen käsitä vain muodollista logiikkaa, vaan myös filosofista kysymykset, jotka herättävät luonnollisesti.
Lähetetty 10.10.2016:
Symbolisen logiikan perustiedot kirjoittanut RL Simpson.
Viesti 12.12.2015:
Tein johdannon koulun logiikkatunnille käytimme Bergmannin, Moorin ja Nelsonin The Logic Book ia (6. painos). Suurin osa oppimisesta tehtiin oppikirjan ulkopuolella; luennot suunnattiin pääasiassa kysymysten esittämiseen ja käsitellä kovempia käytäntöongelmia. Jos muistan oikein, teksti oli melko tyyris, mutta uskomattoman hyödyllinen ratkaisukäsikirja on verkossa, ja varmaan voisit löytää itse tekstin myös verkosta vähän tekemällä työtä. Suosittelemme.
Kokeile Nelson Landen kirjaa Klassinen logiikka ja sen kaninreiät . Se on hyvin lähestyttävä, jopa hauska. Moniin ongelmiin on ratkaisuja myös verkossa.
Johdatus matemaattiseen logiikkaan (Dover Books on Mathematics) , kirjoittanut Richard E. Hodel
Johdanto logiikkaan: ja deduktiivisten tieteiden metodologiaan , kirjoittanut Alfred Tarski