Metahilfe: Was wir hier (nicht) tun - Informationen zum Thema Fragen und Hilfen im Forum.

Du kennst dich aus? — Prima. Unser Fragenbeantwortungs-Team freut sich immer über engagierte Verstärkung!



1 Benutzer in diesem Thread: (0 Mitglieder, und 1 Besucher). 1 Gast/Gäste
Antwort schreiben 
[Sem]: Semantik, Etymologie, Semiotik  » nicht erledigt Logik-Einführungen, speziell Metatheoreme
▶ Didaktik der Logik, v. a. Metatheoreme

05.07.2013, 16:38:25
Beitrag #1
Logik-Einführungen, speziell Metatheoreme
Es mangelt zwar nicht an Einführungen in die Logik, sei es für Philosophen, für Informatiker oder für Linguisten. Viele sind großartig - was Linguisten betrifft, komme ich bei "Logic, Language, and Meaning" von LTF GAMUT ins Schwärmen. Aber in Bezug auf Vollständigkeitsbeweise für Kalküle habe ich kein Buch lieben gelernt. Didaktisch am nettesten fand ich bisher noch das alte "Einführung in die moderne Logik" von Kutschera/Breitkopf (am ehesten für Philosophen) von 1971. (Ich weiß nicht, ob spätere Auflagen eine Verbesserung waren.) Hat jemand didaktisch mit bestimmten Büchern speziell mit Bezug auf Beweise von Metatheoremen gute Erfahrungen gemacht? Wie gesagt, geht es mir um die Metatheoreme, die erst etwas über den Wert der betr. formalen Sprachen mit Blick auf das Argumentieren aussagen.

Alle Beiträge dieses Benutzers finden
Diese Nachricht in einer Antwort zitierenReturn to top
10.07.2013, 17:01:57
Beitrag #2
RE: Logik-Einführungen, speziell Metatheoreme
Es kann sein, dass ich das schon einmal im Forum verlinkte. Ich mache es hier noch einmal, weil ich den Eindruck habe, dass Aussagen- und Prädikatenlogik im Studium oft wie ein Klotz am Bein empfunden werden:
http://vimeo.com/20664367

Alle Beiträge dieses Benutzers finden
Diese Nachricht in einer Antwort zitierenReturn to top
Antwort schreiben 


Möglicherweise verwandte Themen...
Thema:VerfasserAntworten:Ansichten:Letzter Beitrag
  [Sem] Logik / Tautologie Aufgabe Van11 5 2.786 18.06.2013 18:02:14
Letzter Beitrag: kunnukun

Gehe zu:


1 Benutzer in diesem Thread: (0 Mitglieder, und 1 Besucher). 1 Gast/Gäste