Vorlesung 17.12 von Esther Ramharter (DRV): Unterschied zwischen den Versionen
K (→Schreibweise) |
(→Gliederung: verbesserte Gliederung) |
||
| Zeile 120: | Zeile 120: | ||
===Anselm von Canterbury=== | ===Anselm von Canterbury=== | ||
Von: 14:44<br/> | Von: 14:44<br/> | ||
| − | Bis: 16: | + | Bis: 16:51<br/> |
Zusammenfassung: | Zusammenfassung: | ||
| Zeile 134: | Zeile 134: | ||
===Anekdote Falsch=== | ===Anekdote Falsch=== | ||
| − | Von: 16: | + | Von: 16:51<br/> |
Bis: 17:50<br/> | Bis: 17:50<br/> | ||
| Zeile 151: | Zeile 151: | ||
Von: 17:50<br/> | Von: 17:50<br/> | ||
Bis: 18:29<br/> | Bis: 18:29<br/> | ||
| + | |||
| + | Zusammenfassung: | ||
| + | :Literaturhinweise<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | ===Anselms Gottesbeweis Einführung=== | ||
| + | Von: 18:31<br/> | ||
| + | Bis: <br/> | ||
| + | |||
| + | 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<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Anselms Gottesbeweis=== | ||
| + | Von: 20:10<br/> | ||
| + | Bis: 23:51<br/> | ||
| + | |||
| + | Zusammenfassung: | ||
| + | :Gottesbeweis Kapitel 2 auf Latein | ||
| + | :immer dieselben Worte | ||
| + | :Gottesbeweis auf Deutsch<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Formale Rekonstruktion Prädikatenlogik 1. Stufe=== | ||
| + | Von: 23:51<br/> | ||
| + | Bis: 26:12<br/> | ||
| + | |||
| + | Zusammenfassung: <br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Formale Rekonstruktion Prädikatenlogik 2. Stufe=== | ||
| + | Von: 26:12<br/> | ||
| + | Bis: <br/> | ||
| + | |||
| + | 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<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Zusammenfassung der 2 Rekunstruktionen=== | ||
| + | Von: <br/> | ||
| + | Bis: <br/> | ||
| + | |||
| + | Zusammenfassung: | ||
| + | :Mit einem Beweis handelt man sich auch immer eine Theorie ein<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Wunder=== | ||
| + | Von: 33:58<br/> | ||
| + | Bis: <br/> | ||
| + | |||
| + | Zusammenfassung: | ||
| + | :Alles ist ein Wunder | ||
| + | :Trennung in natürliches, außernatürliches und übernatürliches | ||
| + | :Wunder muß etwas übernatürliches sein<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Existenz=== | ||
| + | Von: 39:54<br/> | ||
| + | Bis: <br/> | ||
| + | |||
| + | Zusammenfassung: | ||
| + | :Existenz ist kein Prädikat sondern ein Quantor | ||
| + | :Welche Existenz ist kein Prädikat? | ||
| + | :Existenz ist kein reales Prädikat (Kant)<br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: Frege – Die Grundlagen der Arithmetik<br/> | ||
| + | |||
| + | |||
| + | ===Totalitäten=== | ||
| + | Von: 45:50<br/> | ||
| + | Bis: <br/> | ||
Zusammenfassung: <br/> | Zusammenfassung: <br/> | ||
| Zeile 162: | Zeile 300: | ||
Links: <br/> | Links: <br/> | ||
| − | === | + | |
| − | Von: | + | ===Indirekter Beweis=== |
| + | Von: 47:45<br/> | ||
| + | Bis: <br/> | ||
| + | |||
| + | Zusammenfassung: <br/> | ||
| + | |||
| + | Audiofile: <br/> | ||
| + | |||
| + | Bild: <br/> | ||
| + | |||
| + | Beschreibung: <br/> | ||
| + | |||
| + | Links: <br/> | ||
| + | |||
| + | |||
| + | ===Deduktive vs. Induktive Beweise=== | ||
| + | Von: 50:00<br/> | ||
Bis: <br/> | Bis: <br/> | ||
| Zeile 177: | Zeile 331: | ||
| − | === | + | ===Ästhetische Aspekte der Beweise=== |
| − | Von: | + | Von: 54:00<br/> |
Bis: <br/> | Bis: <br/> | ||
| Zeile 192: | Zeile 346: | ||
| − | === | + | ===Abschlußbemerkung=== |
| − | Von: | + | Von: 55:58<br/> |
Bis: <br/> | Bis: <br/> | ||
Version vom 26. März 2010, 02:19 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
- 2.6 Gottesbeweise Überblick
- 2.7 Anselm von Canterbury
- 2.8 Anekdote Falsch
- 2.9 ???
- 2.10 Anselms Gottesbeweis Einführung
- 2.11 Anselms Gottesbeweis
- 2.12 Formale Rekonstruktion Prädikatenlogik 1. Stufe
- 2.13 Formale Rekonstruktion Prädikatenlogik 2. Stufe
- 2.14 Zusammenfassung der 2 Rekunstruktionen
- 2.15 Wunder
- 2.16 Existenz
- 2.17 Totalitäten
- 2.18 Indirekter Beweis
- 2.19 Deduktive vs. Induktive Beweise
- 2.20 Ästhetische Aspekte der Beweise
- 2.21 Abschlußbemerkung
- 2.22 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:
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:
Logik als wesentliches Kriterium der Wissenschaftlichkeit
Von: 02:34
Bis: 04:27
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:27
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: 06:14
Bis: 12:03
Teilen? (bei 08:38? oder 09:52?)
Zusammenfassung:
- Vorstellung einer üblichen "Schreibweise"
- Einstellige Prädikate – Rt
- Zweistellige Prädikate – Lmh
- Für Alle x – ∀x Lxh
- Es existiert ein x – ∃x Lxh
Audiofile:
Bild:
Beschreibung:
Links:
Gottesbeweise Überblick
Von: 12:03
Bis: 14:44
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:
