Was ist ein gutes erstes Lehrbuch für selbstlernende Logik?

Ich möchte selbst anfangen, Logik zu studieren. Das Problem: Bei der Menge der verfügbaren Bücher habe ich keine Ahnung, wie ich die guten von den schlechten unterscheiden soll. Bitte schlagen Sie mir einige gute Bücher vor.

Kommentare

  • Falls diese Frage nicht ' nicht entfernt wird / close / etc.: check out Barwise & Etchemendy ' s Sprache, Beweis und Logik . Es ist ' sehr klar geschrieben, es ist ' interaktiv (es wird mit drei wunderbaren Softwareteilen geliefert) und im dritten Teil ist es hat kurze Einführungen in wichtige Zwischenthemen wie die axiomatische Mengenlehre, das Auflösungsprinzip, die limitierenden " metalogischen " Ergebnisse usw. Ich bin hoch empfehle es als erstes Lehrbuch.
  • Logik ist ein sehr breites Thema. Einige Leute studieren es, um ihre Argumentation zu unterstützen. Einige studieren mathematische Logik. Ich selbst studiere es unter dem Gesichtspunkt seiner Anwendung auf die Sprache. Ich ' bin mir sicher, dass es Aspekte der Logik gibt, über die ich ' nichts weiß. Kurz gesagt, " Logik " ist eine umfangreiche Sammlung von Themen. Was genau möchten Sie lernen und warum?
  • Ich ' interessiere mich für die mathematische Seite!
  • Ich denke die Natürlich ist coursera.org/course/intrologic ein sehr guter Weg, um mit der mathematischen Logik zu beginnen.
  • Mögliches Duplikat von Wo kann man gut über Logik lesen?

Antwort

Laden Sie die Leseanleitung zu Logikbüchern von http://www.logicmatters.net/students/tyl/

§2.2 herunter gibt einige Empfehlungen für Anfänger.

Der Rest des Handbuchs enthält ausführliche Hinweise zur weiteren Lektüre.

Antwort

Darf ich demütig meine kostenlose, mathematisch orientierte Proof-Software und das dazugehörige Tutorial mit Beispielen und Übungen vorschlagen, die jeweils Hinweise und vollständige Lösungen enthalten. Besuchen Sie meine Website unter, um eine Videodemo zu erhalten.

Antwort

Außer diese Bücher, die hier bereits besprochen wurden , reproduziere ich einige Vorschläge von Reddit: Suche nach „book“ , suchen Sie wie folgt nach „Lehrbuch“ (aber ich lasse Blockzitate weg, um das Lesen zu erleichtern):

Beitrag vom 17.11.2011:

Logik: Eine Einführung , von Greg Restall
[…] Es ist ein großartiges Buch, aber voller Fehler. Zum Glück befinden sich die meisten auf seiner Website

Logische Labyrinthe von Raymond Smullyan dienen als freundliche Einführung in das Thema. Smullyan setzt seine häufig ein berühmte logische Rätsel im gesamten Text, um eine Vielzahl von Lektionen zu unterrichten. Und ein Wort der Warnung: freundlich bedeutet nicht einfach! Smullyan drückt Ihre Knöpfe und lässt Sie tief über knifflige Konzepte nachdenken. Dieser ist sehr lohnend und wird dringend empfohlen.

Die Kraft der Logik von Howard-Snyder, Howard -Snyder und Wasserman […]
Übrigens, hier ist eine ausgezeichnete Online-Ressource , die Sie möglicherweise hilfreich finden.

Beitrag eingereicht am 06.09.2012:

Lesen Sie , dass (pdf) für Referenzen. Lesen Sie CL Hamblins " Irrtümer " und das Zeug von Doug Walton.

Beitrag eingereicht am 05.06.2014:

Virginia Klenks Verständnis der symbolischen Logik

Beitrag eingereicht am 28.9.2014:

Hausman „s Logik und Philosophie

Für ein kostenloses Buch mit Antworten auf die Online-Übungen versuchen Sie Paul Tellers A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu

Für ein aktuelles Buch mit ähnlichen Berichterstattung und ähnliche Tugenden der Klarheit, Logik: Die Gesetze der Wahrheit von Nicholas JJ Smith (der Antworten auf Online-Übungen hat).

Kürzer und vielleicht sogar klarer Peter Smiths Eine Einführung in die formale Logik (die auch Antworten auf Online-Übungen enthält). Besonders gut bei der Übersetzung in und aus der quantifizierten Notation, bei der Anfänger einen Knackpunkt finden können.

Logik , von Paul Tomassi

Post am 11.7.2015:

Ich habe zuerst mit Logik begonnen, indem ich die wichtigsten philosophischen Konzepte verstanden habe, daher würde ich zunächst Graylings Philosophical Logic .Dies ist keine richtige Antwort auf Ihre Anfrage, sondern eine persönliche Empfehlung. Wenn Sie jedoch die philosophische Phase überspringen möchten, holen Sie sich die Elementary Logic eines Benson Mate und decken Sie diese ab Sie haben die First Order Logic von Smullyan. Ein weiteres Buch, das ich empfehle, ist Introduction to a Logical-Theory von Peter Strawson, das wiederum nicht nur formale, sondern auch philosophische Logik behandelt Fragen, die natürlich aufkommen.

Beitrag vom 06.10.2015:

Grundlagen der symbolischen Logik von RL Simpson.

Beitrag am 03.12.2015:

Ich habe ein Intro gemacht Für den Logikunterricht in der Schule verwendeten wir The Logic Book (6. Aufl.) von Bergmann, Moor und Nelson. Der größte Teil des Lernens wurde aus dem Lehrbuch heraus durchgeführt. Die Vorlesungen waren hauptsächlich darauf ausgerichtet, Fragen zu stellen und Wenn ich mich richtig erinnere, war der Text ziemlich teuer, aber unglaublich hilfreich Das Lösungshandbuch ist online, und ich wette, Sie können den Text selbst mit ein wenig Arbeit auch online finden. Sehr zu empfehlen.

Probieren Sie das Buch von Nelson Lande, Classical Logic und seine Kaninchenlöcher . Es ist sehr zugänglich, sogar lustig. Es gibt auch online Lösungen für viele der Probleme.

Eine Einführung in die mathematische Logik (Dover Books on Mathematics) von Richard E. Hodel

Einführung in die Logik: und in die Methodik der deduktiven Wissenschaften von Alfred Tarski

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.