Aș dori să încep singură studierea logicii. Problema: cu cantitatea de cărți disponibile, nu am nicio idee despre cum să disting cele bune de cele rele. Vă rog să-mi sugerați câteva cărți bune.
Comentarii
- În cazul în care nu se elimină această întrebare ' / închis / etc .: verificați Barwise & Etchemendy ' s Limbă, dovadă și logică . ' este scris foarte clar, este ' interactiv (vine cu trei piese minunate de software), iar în a treia parte este are scurte introduceri la subiecte intermediare importante, cum ar fi teoria axiomatică a seturilor, principiul rezoluției, rezultatele limitative " metalogice " etc. recomandă-l ca prim manual.
- Logica este un subiect foarte larg. Unii oameni o studiază pentru a-și ajuta raționamentul. Unii studiază logica matematică. Eu însumi îl studiez din punctul de vedere al aplicării sale la limbaj. ' sunt sigur că există aspecte ale logicii pe care nu le cunosc '. Pe scurt, " logic " este o vastă colecție de subiecte. Ce anume doriți să aflați și de ce?
- Mă ' mă interesează pentru latura matematică!
- Cred că desigur, coursera.org/course/intrologic , este un mod foarte bun de a începe cu logica matematică.
- Duplicat posibil al Unde este un loc bun pentru a începe să citiți despre logică?
Răspuns
Descărcați Ghidul de lectură despre cărțile logice din http://www.logicmatters.net/students/tyl/
§2.2 oferă câteva recomandări pentru începători complet.
Restul Ghidului oferă sfaturi extinse cu privire la lecturi ulterioare.
Răspuns
Permiteți-mi cu umilință să sugerez software-ul meu gratuit, orientat spre matematică și tutorialul însoțitor cu exemple și exerciții lucrate, fiecare cu sugestii și soluții complete oferite. Accesați site-ul meu la pentru o demonstrație video.
Răspuns
Cu excepția aceste cărți deja recenzate aici , reproduc câteva sugestii de la Reddit: căutați „carte” , căutați „manual” după cum urmează (dar omit citatele pentru a ușura citirea):
Postarea din 2011/11/17:
Logică: o introducere , de Greg Restall
[…] Este „o carte grozavă, dar plină de erori. Din fericire, majoritatea sunt pe site-ul său .
Labirintele logice de Raymond Smullyan ar servi ca o introducere prietenoasă a subiectului. Smullyan își desfășoară frecvent celebre puzzle-uri logice în tot textul pentru a preda o varietate de lecții. Și un avertisment: prietenos nu înseamnă ușor! Smullyan vă va apăsa butoanele și vă va face să vă gândiți profund la concepte dificile. Acesta este foarte plin de satisfacții și este foarte recomandat.
Puterea logicii de Howard-Snyder, Howard -Snyder și Wasserman […]
Apropo, iată că este o excelentă resursă pe care o puteți găsi utilă.
Postare trimisă pe 6 septembrie 2012:
Citiți că (pdf) pentru referințe. Citiți CL Hamblin „s " erori " și lucrurile de Doug Walton.
Postare trimisă în 06.06.2014:
Virginia Klenk „ Înțelegerea logicii simbolice
Postare trimisă pe 28.09.2014:
Logica
Hausman și Filosofie
Pentru o carte gratuită, cu răspunsuri la exerciții online, încercați „T A Modern Formal Logic Primer lui Paul Teller: http://tellerprimer.ucdavis.edu
Pentru o carte recentă cu acoperire și virtuți similare ale clarității, Logică: Legile adevărului de Nicholas JJ Smith (care are răspunsuri la exerciții online).
Mai scurt și chiar mai clar, poate, este Peter Smith „ An Introduction to Formal Logic (care are și răspunsuri la exerciții online). Deosebit de bun în traducerea în și în afara notării cuantificate, pentru care începătorii pot găsi un punct de lipire.
Logică , de Paul Tomassi
Postare pe 11.07.2015:
Am început mai întâi cu logica prin înțelegerea conceptelor filosofice fundamentale, așa că aș recomanda mai întâi Logica filosofică lui Grayling .Acesta nu este un răspuns corespunzător pentru solicitarea dvs., ci este mai degrabă o recomandare personală. Dar dacă doriți să treceți peste faza filosofică, mergeți și obțineți o Logică elementară a unui Benson Mate și nu pentru acoperirea aceluiași lucru emite „Smullyan” First Order Logic . O altă carte pe care o recomand este Introducere într-o logică-teorie de Peter Strawson, care nu acoperă din nou doar logica formală, ci și filosofica întrebări care se trezesc în mod natural.
Postarea din 06.06.2015:
Elementele esențiale ale logicii simbolice de RL Simpson.
Postare pe 03.12.2015:
Am luat o introducere la clasa de logică la școală, am folosit Cartea de logică (ediția a 6-a) de Bergmann, Moor și Nelson. Cea mai mare parte a învățării a fost realizată din manual; prelegerile au fost orientate în principal către punerea de întrebări și rezolvând problemele de practică mai dure. Dacă îmi amintesc corect, textul a fost destul de scump, dar incredibil de util manualul soluției este online și pariez că ați putea găsi textul în sine și online, cu un pic de muncă. Vă recomandăm cu tărie.
Încercați cartea lui Nelson Lande, Classical Logic and its Rabbit Holes . Este foarte accesibilă, chiar amuzantă. Există și soluții la multe dintre problemele online.
An Introduction to Mathematical Logic (Dover Books on Mathematics) de Richard E. Hodel
Introducere în logică: și în metodologia științelor deductive de Alfred Tarski