Chciałbym rozpocząć samodzielną naukę logiki. Problem: przy ilości dostępnych książek nie mam pojęcia, jak odróżnić dobre od złych. Proszę zasugerować mi kilka dobrych książek.
Komentarze
- Jeśli to pytanie nie jest ' t usunięte / closed / etc .: sprawdź Barwise & Etchemendy ' s Język, dowód i logika . Jest ' napisany bardzo przejrzyście, ' jest interaktywny (zawiera trzy wspaniałe programy), aw trzeciej części zawiera krótkie wprowadzenie do ważnych pośrednich tematów, takich jak aksjomatyczna teoria mnogości, zasada rozdzielczości, ograniczające wyniki " metalogiczne " itp. Bardzo polecam go jako pierwszy podręcznik.
- Logika to bardzo szeroki temat. Niektórzy ludzie studiują to, aby pomóc im w rozumowaniu. Niektórzy studiują logikę matematyczną. Ja sam badam go z punktu widzenia jego zastosowania w języku. ' Jestem pewien, że są aspekty logiki, o których ' nie wiem. Krótko mówiąc, " logika " to obszerny zbiór tematów. Czego dokładnie chcesz się nauczyć i dlaczego?
- Jestem ' zainteresowany tym ze strony matematycznej!
- Myślę, że Oczywiście, coursera.org/course/intrologic , to bardzo dobry sposób na rozpoczęcie od logiki matematycznej.
- Możliwy duplikat Gdzie warto zacząć czytać o logice?
Odpowiedź
Pobierz przewodnik po książkach logicznych ze strony http://www.logicmatters.net/students/tyl/
§2.2 zawiera zalecenia dla zupełnie początkujących.
Pozostała część przewodnika zawiera obszerne porady dotyczące dalszej lektury.
Odpowiedź
Mogę pokornie zasugerować moje bezpłatne, zorientowane na matematykę oprogramowanie do sprawdzania i towarzyszące mu samouczki z praktycznymi przykładami i ćwiczeniami, z których każdy zawiera wskazówki i pełne rozwiązania. Odwiedź moją witrynę pod adresem, aby obejrzeć demonstrację wideo.
Odpowiedź
Z wyjątkiem książek, które zostały już tutaj sprawdzone , powtarzam kilka sugestii z Reddit: wyszukaj „książkę” , wyszukaj „podręcznik” w następujący sposób (ale pomijam cytaty w celu ułatwienia czytania):
Post z 2011/11/17:
Logika: wprowadzenie , autor: Greg Restall
[…] To świetna książka, ale pełna błędów. Na szczęście większość z nich znajduje się na jego witrynie .
Logical Labyrinths Raymonda Smullyana służyłyby jako przyjazne wprowadzenie do tematu. Smullyan często wykorzystuje swoje słynne łamigłówki logiczne w całym tekście, aby uczyć różnych lekcji. I słowo ostrzeżenia: przyjazny nie znaczy łatwy! Smullyan wciśnie ci guziki i sprawi, że będziesz głęboko myśleć o skomplikowanych koncepcjach. Ten jest bardzo satysfakcjonujący i jest wysoce zalecany.
The Power of Logic autor: Howard-Snyder, Howard -Snyder and Wasserman […]
Przy okazji, oto doskonały internetowy zasób , który może okazać się pomocny.
Przeczytaj , że (pdf) w celu uzyskania referencji. Przeczytaj „s " błędy CL Hamblina " i materiał autorstwa Douga Waltona.
Post przesłany 06.06.2014:
Virginia Klenk „s Zrozumienie logiki symbolicznej
Post przesłany 28.09.2014:
Logika Hausmana i filozofia
Aby otrzymać bezpłatną książkę z odpowiedziami na ćwiczenia online, wypróbuj książkę Paula Tellera A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu
W przypadku niedawnej książki z podobnymi relacja i podobne zalety jasności, Logic: The Laws of Truth Nicholas JJ Smith (który ma odpowiedzi na ćwiczenia online).
Być może krótsza, a nawet jaśniejsza jest Petera Smitha „ An Introduction to Formal Logic (która zawiera również odpowiedzi na ćwiczenia online). Szczególnie dobry w tłumaczeniu w zapisie ilościowym i poza nim, które początkujący mogą znaleźć punkt zaczepienia.
Logika , Paul Tomassi
Opublikuj 07.07.2015:
Zacząłem od logiki najpierw od zrozumienia podstawowych pojęć filozoficznych, więc najpierw poleciłbym Graylinga Logikę filozoficzną .To nie jest właściwa odpowiedź na twoją prośbę, ale raczej osobista rekomendacja. Ale jeśli chcesz pominąć fazę filozoficzną, idź i zdobądź elementarną logikę firmy Benson Mate, a niż omówienie tego samego masz problemy z Logiką pierwszego rzędu Smullyana. Inną książką, którą polecam, jest Wprowadzenie do teorii logiki Petera Strawsona, ponownie obejmująca nie tylko logikę formalną, ale także filozoficzną pytania, które pojawiają się naturalnie.
Post z 2015/10/6:
Podstawy logiki symbolicznej autor: RL Simpson.
Post na 2015/12/3:
Zrobiłem wprowadzenie na lekcji logiki w szkole korzystaliśmy z The Logic Book (wyd. 6) autorstwa Bergmanna, Moora i Nelsona. Większość nauki odbywała się poza podręcznikiem; wykłady były głównie nastawione na zadawanie pytań i rozwiązując trudniejsze problemy praktyczne. Jeśli dobrze pamiętam, tekst był dość drogi, ale niezwykle pomocny Podręcznik rozwiązania jest dostępny w Internecie i założę się, że sam tekst również mógłby znaleźć się w Internecie przy odrobinie pracy. Gorąco polecam.
Zajrzyj do książki Nelsona Lande Classical Logic and its Rabbit Holes . Jest bardzo przystępna, a nawet zabawna. Istnieją również rozwiązania wielu problemów online.
An Introduction to Mathematical Logic (Dover Books on Mathematics) autorstwa Richarda E. Hodela
Wprowadzenie do logiki: i do metodologii nauk dedukcyjnych autorstwa Alfreda Tarskiego