Forum:  Didaktik der Mathematik
Thema: \(\begingroup\) \(\newcommand{\sem}[1]{[\![#1]\!]}\newcommand{\name}[1]{\ulcorner#1\urcorner}\)The Pedagogy of Logic: A Rant\(\endgroup\)
Themen-Übersicht
tactac
Senior
Dabei seit: 15.10.2014
Mitteilungen: 1386
Aus:
Themenstart: 2018-07-04 19:26

Hier ist ein netter Rant zu finden.
Fragen zur Diskussion:
* Haltet ihr die Kritikpunkte für berechtigt in dem Sinne, dass ein Logik-Buch / -Kurs für Anfänger sie vermeiden sollte, um als gut gelten zu dürfen?
* Haltet ihr die Kritikpunkte für berechtigt in dem Sinne, dass tatsächlich die meisten (oder zumindest: viel zu viele) Lernenden anhand von Material zu lernen scheinen, das von den Kritikpunkten getroffen wird?
* Welches Buch würdet ihr dem Autor empfehlen?


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.1, eingetragen 2018-07-04 23:03

Hat das Derek Elkins geschrieben? EDIT: Ja, siehe "Contact".


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.2, eingetragen 2018-07-04 23:36

Ich habe gerade keine Zeit, den ganzen Blog-Artikel zu lesen. Mir ist aber aufgefallen, dass Derek Elkins zwei andere (vielleicht interessantere  biggrin ) Artikel geschrieben hat:
Category Theory, Syntactically
Quotient Types for Programmers

Eine gute Einführung in grundlegende Logik (und allgemein in die Mathematik) geben die Videos von Christian Spannagel. Vielleicht will ja jemand checken, inwiefern diese Videos die Elkin'schen Kriterien erfüllen.


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.3, eingetragen 2018-07-07 21:11

tt, könntest du bitte deine Gedanken zu dem Rant schildern?


tactac
Senior
Dabei seit: 15.10.2014
Mitteilungen: 1386
Aus:
Beitrag No.4, vom Themenstarter, eingetragen 2018-07-07 21:41

Ich könnte. Mache ich aber nicht, da ich zuerst anderer Leute Meinung sehen und nicht beeinflussen will.


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.5, eingetragen 2018-07-08 00:43

Ich möchte zuerst deine Meinung lesen  razz
Ich schlage vor, du benutzt \hideon.


darkhelmet
Senior
Dabei seit: 05.03.2007
Mitteilungen: 2492
Aus: Bayern
Beitrag No.6, eingetragen 2018-07-08 09:15

Mir ist nicht klar, auf welche Art von Anfänger er sich bezieht.

Für eine Einführung in die Logik im ersten Semester als Grundlage für das Mathematikstudium finde ich die Punkte nicht relevant, weil nichtklassische Logik in der Mathematik abzüglich Logik und Mengenlehre keine Rolle spielt. Ob das gut ist, ist eine andere Frage.

Wenn es um eine Einführung in die Logik für Mathematikstudenten fortgeschrittenen Semesters geht, in der Logik als Forschungsgebiet vorgestellt wird, würde ich mich sehr wundern, wenn die angesprochenen Fehler da gemacht werden. Wenn, dann könnte ich mir eher vorstellen, dass diese Punkte gar nicht behandelt werden, weil sie einfach vorausgesetzt werden, und möglicherweise manche Studenten ihre vereinfachten Vorstellungen eine Zeit lang behalten.


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.7, eingetragen 2018-07-08 19:30

Jetzt kann tt. biggrin


tactac
Senior
Dabei seit: 15.10.2014
Mitteilungen: 1386
Aus:
Beitrag No.8, vom Themenstarter, eingetragen 2018-07-09 16:41

@Darkhelmet: Danke.

2018-07-08 19:30 - Nichtaristoteles in Beitrag No. 7 schreibt:
Jetzt kann tt. biggrin
Ich *konnte* vorher auch schon. Ich sprach jedoch von Leuten in der Mehrzahl -- die genaue Anzahl weiß ich aber selbst nicht.


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.9, eingetragen 2018-07-21 14:27

Och mach doch mal. Es antwortet doch eh keiner mehr.  biggrin


tactac
Senior
Dabei seit: 15.10.2014
Mitteilungen: 1386
Aus:
Beitrag No.10, vom Themenstarter, eingetragen 2018-07-22 01:06

Ich würde vielleicht so antworten:

* Ja.
* Ja.
* Avigad, Lewis, van Doorn: Logic and Proof.
Mein grober Eindruck ist, dass das Buch bisher (es ist noch in Entstehung) die genannten Kritikpunkte einigermaßen umschifft. Grob deshalb, weil ich noch nicht alles gelesen habe.


Nichtaristoteles
Aktiv
Dabei seit: 20.01.2018
Mitteilungen: 166
Aus:
Beitrag No.11, eingetragen 2018-07-25 15:33

Danke für die Verlinkung des Buches!




Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=236772=55
Druckdatum: 2018-11-19 21:26