Vorlesung 17.12 von Esther Ramharter (DRV): Unterschied zwischen den Versionen
(→Gliederung) |
(→Gottesbeweise Überblick) |
||
Zeile 132: | Zeile 132: | ||
===Gottesbeweise Überblick=== | ===Gottesbeweise Überblick=== | ||
Von: 12:05<br/> | Von: 12:05<br/> | ||
− | Bis: 14: | + | Bis: 14:48<br/> |
Zusammenfassung: | Zusammenfassung: |
Version vom 26. März 2010, 16:22 Uhr
<root> <div class='right_side_navigation' style='width:156px;position:fixed;bottom:50px;background-color:#efefef;border-color:#bbbbbb;border-width:1pt;border-style:solid;padding:1px 2px;font-size:8pt;text-align:center;filter:alpha(opacity=90);-moz-opacity: 0.9;opacity: 0.9;'> <comment><!---------------------------------------------------------------------------------------------------------------> </comment> Übersicht<br /> Hauptseite<br /> Letzte Änderungen<br /> Alle Seiten
Vorlesungen<br /> Gotz I<br /> Gotz II<br /> Nemeth I<br /> Ramharter
Hilfe<br /> Vorlage Diskussion:DRV<br /> Sandkiste DRV <comment><!---------------------------------------------------------------------------------------------------------------> </comment></div><ignore><includeonly></ignore><ignore></includeonly></ignore></root>
Seite zur Organisation der Dokumentation der Ringvorlesung vom 17.12.2009 von Esther Ramharter.
Unterlagen: PP-Folien zur Vorlesung
Inhaltsverzeichnis
- 1 Thematisch passende Links
- 2 Gliederung
- 2.1 Einleitung
- 2.2 Positionierung der Logik innerhalb der Wissenschaften
- 2.3 Logik als wesentliches Kriterium der Wissenschaftlichkeit
- 2.4 Keine Definition von Logik
- 2.5 Schreibweise von einstelligen Prädikaten
- 2.6 Schreibweise von zweistellige Prädikaten
- 2.7 Schreibweise von Quantoren
- 2.8 Gottesbeweise Überblick
- 2.9 Anselm von Canterbury
- 2.10 Anekdote Falsch
- 2.11 ???
- 2.12 Anselms Gottesbeweis Einführung
- 2.13 Anselms Gottesbeweis
- 2.14 Formale Rekonstruktion Prädikatenlogik 1. Stufe
- 2.15 Formale Rekonstruktion Prädikatenlogik 2. Stufe
- 2.16 Zusammenfassung der 2 Rekunstruktionen
- 2.17 Wunder
- 2.18 Existenz
- 2.19 Totalitäten
- 2.20 Indirekter Beweis
- 2.21 Deduktive vs. Induktive Beweise
- 2.22 Ästhetische Aspekte der Beweise
- 2.23 Abschlußbemerkung
- 2.24 Template
Thematisch passende Links
http://www.myvideo.at/watch/86710/Homer_beweist_dass_es_keinen_Gott_gibt
http://sammelpunkt.philo.at:8080/1924/
Gliederung
Einleitung
Von: 00:00
Bis: 00:40
Zusammenfassung: Aussicht auf den Inhalt der Vorlesung
Audiofile:
Bild:
Beschreibung:
Links: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_01_Einleitung.mp3
Positionierung der Logik innerhalb der Wissenschaften
Von: 00:40
Bis: 02:34
Zusammenfassung:
- Lichtenberg: Einteilung der Wissenschaften nach Brod und Ehre
- Logik in der Mathematik und Logik in der Philosophie sind eindeutig zu unterscheiden
- Die Wurzeln sind aber gemeinsam
Audiofile:
Bild:
Beschreibung:
Links: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_02_Positionierung.mp3
Logik als wesentliches Kriterium der Wissenschaftlichkeit
Von: 02:34
Bis: 04:28
Zusammenfassung:
- Logik als ein Element von dem was überhaupt Wissenschaftlichkeit ausmachen kann (Wiener Kreis)
- Sind Gottesbeweise wissenschaftlich? Spielt Logik in ihnen eine große Rolle?
Audiofile:
Bild:
Beschreibung:
Links:
Keine Definition von Logik
Von: 04:28
Bis: 06:16
Zusammenfassung:
- Logik ist die Lehre von den Denkgesetzen? Nicht nach Frege.
- Logik ist die Lehre vom richtigen Gebrauch des Wortes also?
- Locke: Anatomie des Denkens
- Lehre vom deduktiven Schließen
Audiofile:
Bild:
Beschreibung:
Links:
Schreibweise von einstelligen Prädikaten
Von: 06:16
Bis: 08:39
Zusammenfassung:
- Vorstellung einer üblichen "Schreibweise"
- Einstellige Prädikate – Rt
Audiofile:
Bild:
Beschreibung:
Links:
Schreibweise von zweistellige Prädikaten
Von: 08:39
Bis: 09:52
Zusammenfassung:
- Zweistellige Prädikate – Lmh
- Für Alle x – ∀x Lxh
- Es existiert ein x – ∃x Lxh
Audiofile:
Bild:
Beschreibung:
Links:
Schreibweise von Quantoren
Von: 09:52
Bis: 12:05
Zusammenfassung:
- Für Alle x – ∀x Lxh
- Es existiert ein x – ∃x Lxh
Audiofile:
Bild:
Beschreibung:
Links:
Gottesbeweise Überblick
Von: 12:05
Bis: 14:48
Zusammenfassung:
- Kurzer Überblick über verschiedene Verfasser von Gottesbeweisen
- fragliche Motivation bei Gödel
- Descartes benötigt Gott für sein System
Audiofile:
Bild:
Beschreibung:
Links:
Anselm von Canterbury
Von: 14:44
Bis: 16:51
Zusammenfassung:
- Erzbischof von Canterbury wider Willen
Audiofile:
Bild:
Beschreibung:
Links:
Anekdote Falsch
Von: 16:51
Bis: 17:50
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
???
Von: 17:50
Bis: 18:29
Zusammenfassung:
- Literaturhinweise
Audiofile:
Bild:
Beschreibung:
Links:
Anselms Gottesbeweis Einführung
Von: 18:31
Bis:
Zusammenfassung:
- Proslogion Kapitel 2: Beweis, daß Gott existiert
- Proslogion Kapitel 3: Beweis, daß man gar nicht denken kann, daß Gott nicht existiert
- Gott existiert notwendig – Modallogik
Audiofile:
Bild:
Beschreibung:
Links:
Anselms Gottesbeweis
Von: 20:10
Bis: 23:51
Zusammenfassung:
- Gottesbeweis Kapitel 2 auf Latein
- immer dieselben Worte
- Gottesbeweis auf Deutsch
Audiofile:
Bild:
Beschreibung:
Links:
Formale Rekonstruktion Prädikatenlogik 1. Stufe
Von: 23:51
Bis: 26:12
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
Formale Rekonstruktion Prädikatenlogik 2. Stufe
Von: 26:12
Bis:
Zusammenfassung:
- Was versteht Anselm unter größer?
- Durch die Eigenschaft in Wirklichkeit zu existieren
- Es gibt keine Eigenschaft die Gott nicht hat
- Deshalb muß Gott existieren, da er ja alle Eigenschaften hat, auch die zu existieren
- Bessere Rekonstruktion in der schlechteren Theorie
Audiofile:
Bild:
Beschreibung:
Links:
Zusammenfassung der 2 Rekunstruktionen
Von:
Bis:
Zusammenfassung:
- Mit einem Beweis handelt man sich auch immer eine Theorie ein
Audiofile:
Bild:
Beschreibung:
Links:
Wunder
Von: 33:58
Bis:
Zusammenfassung:
- Alles ist ein Wunder
- Trennung in natürliches, außernatürliches und übernatürliches
- Wunder muß etwas übernatürliches sein
Audiofile:
Bild:
Beschreibung:
Links:
Existenz
Von: 39:54
Bis:
Zusammenfassung:
- Existenz ist kein Prädikat sondern ein Quantor
- Welche Existenz ist kein Prädikat?
- Existenz ist kein reales Prädikat (Kant)
Audiofile:
Bild:
Beschreibung:
Links: Frege – Die Grundlagen der Arithmetik
Totalitäten
Von: 45:50
Bis:
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
Indirekter Beweis
Von: 47:45
Bis:
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
Deduktive vs. Induktive Beweise
Von: 50:00
Bis:
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
Ästhetische Aspekte der Beweise
Von: 54:00
Bis:
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
Abschlußbemerkung
Von: 55:58
Bis:
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links:
Template
Von:
Bis:
Zusammenfassung:
Audiofile:
Bild:
Beschreibung:
Links: