Was ist eine gute Quelle, um meine formalen Logikfähigkeiten vor der Graduiertenschule aufzufrischen?

Ich muss meine formalen Logikmuskeln vor dem Graduiertenstudium spielen lassen – ich hatte eine Durststrecke in meinen logischen Übungen, während ich mein Mathematikstudium abschloss, besonders da die Logik, die in Analysis, Algebra und Topologie verwendet wird, ein blasser Schatten meiner formalen Logik ist Logik Studien.

Ich möchte meine Prädikaten-, Modal- und Axiomatik-Logik üben. Ich würde meinen Logik-Mentor fragen, aber er ist emeritiert und nicht verfügbar.

Es wäre hilfreich, wenn Sie Ihre Forschungsinteressen angeben würden. Auch gibt es unterschiedliche Ansätze (rein theoretisch, angewandt) und Sichtweisen (Philosophie, Mathematik, Naturwissenschaften, Informatik etc.)
Ich hatte gehofft, dass die Graduiertenschule helfen würde, diese Frage zu beantworten. Meine Universität hat eine magere Auswahl an formalen Logikkursen und bietet keine mathematischen Logikkurse an. Ich habe Erfahrung in philosophischer Logik: Ich habe sowohl grundlegende natürliche Deduktionssysteme (Satz und Prädikat) als auch einen Überblick über Logiken genommen, die modale, aristotelische, axiomatische, Relevanzlogik, Semantik und einige andere Themen abdeckten. Ich habe mathematische Logik nie formell studiert.

Antworten (2)

Peter Smith – der Benutzer dieses Forums ist oder war – hat einen Diskussionsartikel mit dem Titel „ Teach Yourself Logic 2015: A Study Guide“ (PDF, iv + 94 S., zuletzt aktualisiert am 1. Januar 2015) veröffentlicht. Es steht auf seiner Website . Es legt seine fundierten Meinungen über die relativen Vorzüge der verschiedenen Bücher und Ressourcen für das Selbststudium dar, einschließlich der guten Bücher, die Mauro Allegranza in seiner Antwort erwähnt.

Du kannst es versuchen mit:

und :

Ich stimme der Unterstützung von Sider zu, insbesondere wenn Sie Philosophie studieren. Siders Buch enthält eine schöne Präsentation der wichtigen Teile des wichtigsten theoretischen Apparats, den Sie für ernsthafte Arbeit auf diesem Gebiet benötigen. Es gibt andere fortgeschrittenere Behandlungen von jedem der Themen, die er anspricht, aber sie gehen auf Themen ein, die sich für praktizierende Philosophen außerhalb der Logik/Philosophie der Mathematik selten stellen.
Ich mag Siders Buch auch, obwohl ich mich nicht für den Beweisstil entscheiden würde. (Er verwendet eher axiomatische Beweise als natürliche Deduktion.) Smith ist interessanterweise eher kühler, eher kritischer.
Was ist eine gute Quelle, um meine formalen Logikfähigkeiten vor der Graduiertenschule aufzufrischen?
AntwortenHierDatenschutz-Bestimmungen1y, 0v