01.03.2013 Aufrufe

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Logik Rahmenplan <strong>Logische</strong> <strong>Gr<strong>und</strong>lagen</strong> Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen<br />

Einführung<br />

Historischer Überblick<br />

Die Logik wurde als ” Wissenschaft vom richtigen<br />

Schließen”von Aristoteles begründet <strong>und</strong> hat, durch<br />

Mittelalter bis zu Kant <strong>und</strong> Hegel, die verschiedensten<br />

philosophischen (<strong>und</strong> theologischen) Erweiterungen erfahren.<br />

George Boole führte als erster für den Teilbereich der<br />

Aussagenlogik eine Formalisierung ein. Dies kann insofern als<br />

die Geburtsst<strong>und</strong>e mathematischer Logik dienen, als damit die<br />

Logik einer mathematischen Betrachtung zugänglich wurde.<br />

Booles Ansatz wurde später zur Prädikatenlogik erweitert.<br />

5 / 52

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!