Vorlesung 17.12 von Esther Ramharter (DRV): Unterschied zwischen den Versionen

Aus Philo Wiki
Wechseln zu:Navigation, Suche
(Formale Rekonstruktion Prädikatenlogik 1. Stufe)
 
(47 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 6: Zeile 6:
  
 
==Thematisch passende Links==
 
==Thematisch passende Links==
http://www.myvideo.at/watch/86710/Homer_beweist_dass_es_keinen_Gott_gibt<br/>
 
 
http://sammelpunkt.philo.at:8080/1924/
 
http://sammelpunkt.philo.at:8080/1924/
  
Zeile 25: Zeile 24:
 
Links: <br/>
 
Links: <br/>
  
===Positionierung der Logik innerhalb der Wissenschaften===
+
===Positionierung der Logik===
 +
Von: 00:40<br/>
 +
Bis: 04:28<br/>
 +
 
 +
Audiofile:  http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_02_Positionierung.mp3<br/>
 +
 
 +
====Positionierung der Logik innerhalb der Wissenschaften====
 
Von: 00:40<br/>
 
Von: 00:40<br/>
 
Bis: 02:34<br/>
 
Bis: 02:34<br/>
  
 
Zusammenfassung:
 
Zusammenfassung:
:Lichtenberg: Einteilung der Wissenschaften nach Brod und Ehre
+
:Lichtenberg: Einteilung der Wissenschaften nach Brot und Ehre
 
:Logik in der Mathematik und Logik in der Philosophie sind eindeutig zu unterscheiden
 
:Logik in der Mathematik und Logik in der Philosophie sind eindeutig zu unterscheiden
 
:Die Wurzeln sind aber gemeinsam<br/>
 
:Die Wurzeln sind aber gemeinsam<br/>
Zeile 42: Zeile 47:
 
Links: <br/>
 
Links: <br/>
  
 
+
====Logik als wesentliches Kriterium der Wissenschaftlichkeit====
===Logik als wesentliches Kriterium der Wissenschaftlichkeit===
 
 
Von: 02:34<br/>
 
Von: 02:34<br/>
 
Bis: 04:28<br/>
 
Bis: 04:28<br/>
Zeile 51: Zeile 55:
 
:Sind Gottesbeweise wissenschaftlich? Spielt Logik in ihnen eine große Rolle?
 
:Sind Gottesbeweise wissenschaftlich? Spielt Logik in ihnen eine große Rolle?
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_02_02_Wissenschaftskriterium.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 61: Zeile 65:
 
===Keine Definition von Logik===
 
===Keine Definition von Logik===
 
Von: 04:28<br/>
 
Von: 04:28<br/>
Bis: 06:16<br/>
+
Bis: 06:17<br/>
  
 
Zusammenfassung:  
 
Zusammenfassung:  
Zeile 69: Zeile 73:
 
:Lehre vom deduktiven Schließen<br/>
 
:Lehre vom deduktiven Schließen<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_03_Undefinierbarkeit.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 77: Zeile 81:
 
Links: <br/>
 
Links: <br/>
  
===Schreibweise von einstelligen Prädikaten===
+
===Schreibweise von Prädikaten===
Von: 06:16<br/>
+
Von: 06:17<br/>
 +
Bis: 09:53<br/>
 +
 
 +
Audiofile:  http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_04_Praedikate.mp3<br/>
 +
 
 +
====Schreibweise von einstelligen Prädikaten====
 +
Von: 06:17<br/>
 
Bis: 08:39<br/>
 
Bis: 08:39<br/>
  
Zeile 85: Zeile 95:
 
:Einstellige Prädikate &ndash; Rt<br/>
 
:Einstellige Prädikate &ndash; Rt<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_04_01_einstelligesPraedikat.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 93: Zeile 103:
 
Links: <br/>
 
Links: <br/>
  
 
+
====Schreibweise von zweistellige Prädikaten====
===Schreibweise von zweistellige Prädikaten===
+
Von: 08:42<br/>
Von: 08:39<br/>
+
Bis: 09:53<br/>
Bis: 09:52<br/>
 
  
 
Zusammenfassung:  
 
Zusammenfassung:  
Zeile 103: Zeile 112:
 
:Es existiert ein x &ndash; &exist;x Lxh<br/>
 
:Es existiert ein x &ndash; &exist;x Lxh<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_04_02_zweistelligePredikate.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 110: Zeile 119:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Schreibweise von Quantoren===
 
===Schreibweise von Quantoren===
Von: 09:52<br/>
+
Von: 09:53<br/>
 
Bis: 12:05<br/>
 
Bis: 12:05<br/>
  
Zeile 120: Zeile 128:
 
:Es existiert ein x &ndash; &exist;x Lxh<br/>
 
:Es existiert ein x &ndash; &exist;x Lxh<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_05_Quantore.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
  
Beschreibung: <br/>
+
Beschreibung:<br />
 
+
:Für alle x gilt = &forall;x<br />
Links: <br/>
+
:Alle lieben Hannah = &forall;x Lxh<br />(für alle X gilt x liebt Hannah)<br /><br />
 +
:Es existiert ein x für das gilt = &exist;x<br />
 +
:Jemand liebt Hannah = &exist;x Lxh<br />(es existiert mindestens ein x für das gilt, daß es Hannah liebt)
  
 +
<br/>
  
 +
Links:<br/>
 +
:http://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik#Quantoren<br/>
 +
:http://de.wikipedia.org/wiki/Quantor<br/>
  
 
===Gottesbeweise Überblick===
 
===Gottesbeweise Überblick===
Von: 12:05<br/>
+
Von: 12:07<br/>
 
Bis: 14:48<br/>
 
Bis: 14:48<br/>
  
Zeile 139: Zeile 153:
 
:Descartes benötigt Gott für sein System<br/>
 
:Descartes benötigt Gott für sein System<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_06_Gottesbeweise.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 154: Zeile 168:
 
:Erzbischof von Canterbury wider Willen<br/>
 
:Erzbischof von Canterbury wider Willen<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_07_AvCanterbury.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 170: Zeile 184:
 
:2. Literaturhinweis<br/>
 
:2. Literaturhinweis<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_08_Anekdote.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 178: Zeile 192:
 
Links: <br/>
 
Links: <br/>
  
===Anselms Gottesbeweis Einführung===
+
===Anselms Gottesbeweis===
 +
Von: 18:37<br/>
 +
Bis: 23:57<br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_09_AnselmsGottesbeweis.mp3<br/>
 +
 
 +
====Anselms Gottesbeweis Einführung====
 
Von: 18:37<br/>
 
Von: 18:37<br/>
 
Bis: 20:17<br/>
 
Bis: 20:17<br/>
Zeile 187: Zeile 207:
 
:Gott existiert notwendig &ndash; Modallogik<br/>
 
:Gott existiert notwendig &ndash; Modallogik<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_09_01_AnselmschesontologischesArgument.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 195: Zeile 215:
 
Links: <br/>
 
Links: <br/>
  
===Anselms Gottesbeweis===
+
====Anselms Gottesbeweis====
 
Von: 20:17<br/>
 
Von: 20:17<br/>
 
Bis: 23:57<br/>
 
Bis: 23:57<br/>
Zeile 204: Zeile 224:
 
:Gottesbeweis auf Deutsch<br/>
 
:Gottesbeweis auf Deutsch<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_09_02_AnselmsGottesbeweis.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 212: Zeile 232:
 
Links: <br/>
 
Links: <br/>
  
===Formale Rekonstruktion Prädikatenlogik 1. Stufe===
+
===Formale Rekonstruktion Prädikatenlogik===
 +
Von: 23:57<br/>
 +
Bis: 29:16<br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_10_Praedikatenlogik.mp3<br/>
 +
 
 +
====Formale Rekonstruktion Prädikatenlogik 1. Stufe====
 
Von: 23:57<br/>
 
Von: 23:57<br/>
Bis: 26:13<br/>
+
Bis: 26:21<br/>
  
 
Zusammenfassung:  
 
Zusammenfassung:  
 
:Beschreibung des Beweises in Prädikatenlogik 1. Stufe
 
:Beschreibung des Beweises in Prädikatenlogik 1. Stufe
:&not;&exist;xGxg<br/>
+
:&not;&exist;xGxg
 +
:Es existiert nichts das größer ist als Gott
 +
:Funktioniert so aber nicht. G könnte auch geldgierigier heißen statt größer.<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_10_01_Praedikatenlogik1.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 228: Zeile 256:
 
Links: <br/>
 
Links: <br/>
  
===Formale Rekonstruktion Prädikatenlogik 2. Stufe===
+
====Formale Rekonstruktion Prädikatenlogik 2. Stufe====
Von: 26:12<br/>
+
Von: 26:21<br/>
Bis: <br/>
+
Bis: 29:16<br/>
  
 
Zusammenfassung:
 
Zusammenfassung:
 
:Was versteht Anselm unter größer?
 
:Was versteht Anselm unter größer?
:Durch die Eigenschaft in Wirklichkeit zu existieren
+
:Durch die Eigenschaft in Wirklichkeit zu existieren wird etwas größer
 +
:&not;&exist;F&not;Fg  (F=beliebige Eigenschaft, g=Gott)
 
:Es gibt keine Eigenschaft die Gott nicht hat
 
:Es gibt keine Eigenschaft die Gott nicht hat
:Deshalb muß Gott existieren, da er ja alle Eigenschaften hat, auch die zu existieren
+
:Deshalb muß Gott existieren, da er ja alle Eigenschaften hat, auch die zu existieren<br/>
:Bessere Rekonstruktion in der schlechteren Theorie<br/>
 
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_10_02_Praedikatenlogik2.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 246: Zeile 274:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Zusammenfassung der 2 Rekunstruktionen===
 
===Zusammenfassung der 2 Rekunstruktionen===
Von: <br/>
+
Von: 29:16<br/>
Bis: <br/>
+
Bis: 32:00<br/>
  
 
Zusammenfassung:
 
Zusammenfassung:
:Mit einem Beweis handelt man sich auch immer eine Theorie ein<br/>
+
:Rekonstruktion in Prädikatenlogik 2. Stufe ist die bessere Rekonstruktion
 +
:Aber bessere Rekonstruktion in der schlechteren Theorie<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_11_Zusammenfassung_der_Rekonstruktionen.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 263: Zeile 291:
 
Links: <br/>
 
Links: <br/>
  
 
+
===Intuitive Erkenntnis===
===Wunder===
+
Von: 32:00<br/>
Von: 33:58<br/>
+
Bis: 35:03<br/>
Bis: <br/>
 
  
 
Zusammenfassung:
 
Zusammenfassung:
 +
:Mit jedem Beweis handelt man sich immer auch eine Theorie ein
 +
:Gibt es eine Einsicht außerhalb eines theoretischen Rahmens
 +
:Intuitive Erkenntnis, Gotteserfahrung, ...
 +
:Wunder: Zeugen daß es Gott gibt
 
:Alles ist ein Wunder
 
:Alles ist ein Wunder
 
:Trennung in natürliches, außernatürliches und übernatürliches
 
:Trennung in natürliches, außernatürliches und übernatürliches
 
:Wunder muß etwas übernatürliches sein<br/>
 
:Wunder muß etwas übernatürliches sein<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_12_Intuitive_Erkenntnis.mp3<br/>
 +
 
 +
Bild: <br/>
 +
 
 +
Beschreibung: <br/>
 +
 
 +
Links: <br/>
 +
 
 +
Ähh bei 32:25 rausschneiden
 +
 
 +
===Wunder===
 +
Von: 35:03<br/>
 +
Bis: 40:02<br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_13_Wunder.mp3<br/>
 +
 
 +
====Wunder====
 +
Von: 35:03<br/>
 +
Bis: 39:02<br/>
 +
 
 +
Zusammenfassung: <br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_13_01_Wunder.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 281: Zeile 334:
 
Links: <br/>
 
Links: <br/>
  
 +
====Das Außernatürliche====
 +
Von: 39:02<br/>
 +
Bis: 40:02<br/>
 +
 +
Zusammenfassung:
 +
:Das Außernatürliche bei Bacon<br/>
 +
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_13_02_Aussernatuerliches.mp3<br/>
 +
 +
Bild: <br/>
 +
 +
Beschreibung: <br/>
 +
 +
Links: <br/>
  
 
===Existenz===
 
===Existenz===
Von: 39:54<br/>
+
Von: 40:02<br/>
Bis: <br/>
+
Bis: 43:24<br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_14_Existenz.mp3<br/>
 +
 
 +
====Existenz Teil 1====
 +
Von: 40:02<br/>
 +
Bis: 42:15<br/>
  
 
Zusammenfassung:  
 
Zusammenfassung:  
 
:Existenz ist kein Prädikat sondern ein Quantor
 
:Existenz ist kein Prädikat sondern ein Quantor
:Welche Existenz ist kein Prädikat?
+
:Welche Existenz ist kein Prädikat?<br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_14_01_Existenz.mp3<br/>
 +
 
 +
Bild: <br/>
 +
 
 +
Beschreibung: <br/>
 +
 
 +
Links: Frege &ndash; Die Grundlagen der Arithmetik<br/>
 +
 
 +
====Existenz Teil 2====
 +
Von: 42:16<br/>
 +
Bis: 43:24<br/>
 +
 
 +
Zusammenfassung:
 
:Existenz ist kein reales Prädikat (Kant)<br/>
 
:Existenz ist kein reales Prädikat (Kant)<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_14_02_Existenz_2.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 297: Zeile 384:
 
Beschreibung: <br/>
 
Beschreibung: <br/>
  
Links: Frege &ndash; Die Grundlagen der Arithmetik<br/>
+
Links: <br/>
 +
 
 +
===Errechnen von Existenz===
 +
Von: 43:27<br/>
 +
Bis: 45:54<br/>
 +
 
 +
Zusammenfassung: <br/>
 +
 
 +
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_15_errechnen_von_Existenz.mp3<br/>
 +
 
 +
Bild: <br/>
 +
 
 +
Beschreibung: <br/>
  
 +
Links: <br/>
  
 
===Totalitäten===
 
===Totalitäten===
Von: 45:50<br/>
+
Von: 45:54<br/>
Bis: <br/>
+
Bis: 47:51<br/>
  
 
Zusammenfassung: <br/>
 
Zusammenfassung: <br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_16_Totalitaeten.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 313: Zeile 413:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Indirekter Beweis===
 
===Indirekter Beweis===
Von: 47:45<br/>
+
Von: 47:51<br/>
Bis: <br/>
+
Bis: 50:30<br/>
  
 
Zusammenfassung: <br/>
 
Zusammenfassung: <br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_17_indirekter_Beweis.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 328: Zeile 427:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Deduktive vs. Induktive Beweise===
 
===Deduktive vs. Induktive Beweise===
Von: 50:00<br/>
+
Von: 50:36<br/>
Bis: <br/>
+
Bis: 54:08<br/>
  
Zusammenfassung: <br/>
+
Zusammenfassung:  
 +
:Bei deduktiven Beweisen folgt aus gegeben Annahmen etwas logisch
 +
:Bei induktiven Beweisen werden beweisende Indizien angeführt
 +
:Kann mit Logik eigentlich etwas neues bewiesen werden?<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_18_deduktive_induktive_Beweise.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 343: Zeile 444:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Ästhetische Aspekte der Beweise===
 
===Ästhetische Aspekte der Beweise===
Von: 54:00<br/>
+
Von: 54:13<br/>
Bis: <br/>
+
Bis: 56:15<br/>
  
Zusammenfassung: <br/>
+
Zusammenfassung:  
 +
:In Mathematik gibt es Interesse an schöneren Beweisen<br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_19_Aesthetische_Aspekte.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 358: Zeile 459:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Abschlußbemerkung===
 
===Abschlußbemerkung===
Von: 55:58<br/>
+
Von: 56:15<br/>
Bis: <br/>
+
Bis: Ende<br/>
  
 
Zusammenfassung: <br/>
 
Zusammenfassung: <br/>
  
Audiofile: <br/>
+
Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_20_Abschlussbemerkung.mp3<br/>
  
 
Bild: <br/>
 
Bild: <br/>
Zeile 373: Zeile 473:
  
 
Links: <br/>
 
Links: <br/>
 
  
 
===Template===
 
===Template===

Aktuelle Version vom 8. Juni 2010, 21:31 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

Thematisch passende Links

http://sammelpunkt.philo.at:8080/1924/

Gliederung

Einleitung

Von: 00:00
Bis: 00:40

Zusammenfassung: Aussicht auf den Inhalt der Vorlesung

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_01_Einleitung.mp3

Bild:

Beschreibung:

Links:

Positionierung der Logik

Von: 00:40
Bis: 04:28

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_02_Positionierung.mp3

Positionierung der Logik innerhalb der Wissenschaften

Von: 00:40
Bis: 02:34

Zusammenfassung:

Lichtenberg: Einteilung der Wissenschaften nach Brot und Ehre
Logik in der Mathematik und Logik in der Philosophie sind eindeutig zu unterscheiden
Die Wurzeln sind aber gemeinsam

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_02_Positionierung.mp3

Bild:

Beschreibung:

Links:

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: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_02_02_Wissenschaftskriterium.mp3

Bild:

Beschreibung:

Links:

Keine Definition von Logik

Von: 04:28
Bis: 06:17

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: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_03_Undefinierbarkeit.mp3

Bild:

Beschreibung:

Links:

Schreibweise von Prädikaten

Von: 06:17
Bis: 09:53

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_04_Praedikate.mp3

Schreibweise von einstelligen Prädikaten

Von: 06:17
Bis: 08:39

Zusammenfassung:

Vorstellung einer üblichen "Schreibweise"
Einstellige Prädikate – Rt

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_04_01_einstelligesPraedikat.mp3

Bild:

Beschreibung:

Links:

Schreibweise von zweistellige Prädikaten

Von: 08:42
Bis: 09:53

Zusammenfassung:

Zweistellige Prädikate – Lmh
Für Alle x – ∀x Lxh
Es existiert ein x – ∃x Lxh

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_04_02_zweistelligePredikate.mp3

Bild:

Beschreibung:

Links:

Schreibweise von Quantoren

Von: 09:53
Bis: 12:05

Zusammenfassung:

Für Alle x – ∀x Lxh
Es existiert ein x – ∃x Lxh

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_05_Quantore.mp3

Bild:

Beschreibung:

Für alle x gilt = ∀x
Alle lieben Hannah = ∀x Lxh
(für alle X gilt x liebt Hannah)

Es existiert ein x für das gilt = ∃x
Jemand liebt Hannah = ∃x Lxh
(es existiert mindestens ein x für das gilt, daß es Hannah liebt)


Links:

http://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik#Quantoren
http://de.wikipedia.org/wiki/Quantor

Gottesbeweise Überblick

Von: 12:07
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: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_06_Gottesbeweise.mp3

Bild:

Beschreibung:

Links:

Anselm von Canterbury

Von: 14:48
Bis: 16:55

Zusammenfassung:

Erzbischof von Canterbury wider Willen

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_07_AvCanterbury.mp3

Bild:

Beschreibung:

Links:

Anekdote Falsch

Von: 16:55
Bis: 18:37

Zusammenfassung:

Ankdote
2. Literaturhinweis

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_08_Anekdote.mp3

Bild:

Beschreibung:

Links:

Anselms Gottesbeweis

Von: 18:37
Bis: 23:57

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_09_AnselmsGottesbeweis.mp3

Anselms Gottesbeweis Einführung

Von: 18:37
Bis: 20:17

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: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_09_01_AnselmschesontologischesArgument.mp3

Bild:

Beschreibung:

Links:

Anselms Gottesbeweis

Von: 20:17
Bis: 23:57

Zusammenfassung:

Gottesbeweis Kapitel 2 auf Latein
immer dieselben Worte
Gottesbeweis auf Deutsch

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_09_02_AnselmsGottesbeweis.mp3

Bild:

Beschreibung:

Links:

Formale Rekonstruktion Prädikatenlogik

Von: 23:57
Bis: 29:16

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_10_Praedikatenlogik.mp3

Formale Rekonstruktion Prädikatenlogik 1. Stufe

Von: 23:57
Bis: 26:21

Zusammenfassung:

Beschreibung des Beweises in Prädikatenlogik 1. Stufe
¬∃xGxg
Es existiert nichts das größer ist als Gott
Funktioniert so aber nicht. G könnte auch geldgierigier heißen statt größer.

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_10_01_Praedikatenlogik1.mp3

Bild:

Beschreibung:

Links:

Formale Rekonstruktion Prädikatenlogik 2. Stufe

Von: 26:21
Bis: 29:16

Zusammenfassung:

Was versteht Anselm unter größer?
Durch die Eigenschaft in Wirklichkeit zu existieren wird etwas größer
¬∃F¬Fg (F=beliebige Eigenschaft, g=Gott)
Es gibt keine Eigenschaft die Gott nicht hat
Deshalb muß Gott existieren, da er ja alle Eigenschaften hat, auch die zu existieren

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_10_02_Praedikatenlogik2.mp3

Bild:

Beschreibung:

Links:

Zusammenfassung der 2 Rekunstruktionen

Von: 29:16
Bis: 32:00

Zusammenfassung:

Rekonstruktion in Prädikatenlogik 2. Stufe ist die bessere Rekonstruktion
Aber bessere Rekonstruktion in der schlechteren Theorie

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_11_Zusammenfassung_der_Rekonstruktionen.mp3

Bild:

Beschreibung:

Links:

Intuitive Erkenntnis

Von: 32:00
Bis: 35:03

Zusammenfassung:

Mit jedem Beweis handelt man sich immer auch eine Theorie ein
Gibt es eine Einsicht außerhalb eines theoretischen Rahmens
Intuitive Erkenntnis, Gotteserfahrung, ...
Wunder: Zeugen daß es Gott gibt
Alles ist ein Wunder
Trennung in natürliches, außernatürliches und übernatürliches
Wunder muß etwas übernatürliches sein

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_12_Intuitive_Erkenntnis.mp3

Bild:

Beschreibung:

Links:

Ähh bei 32:25 rausschneiden

Wunder

Von: 35:03
Bis: 40:02

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_13_Wunder.mp3

Wunder

Von: 35:03
Bis: 39:02

Zusammenfassung:

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_13_01_Wunder.mp3

Bild:

Beschreibung:

Links:

Das Außernatürliche

Von: 39:02
Bis: 40:02

Zusammenfassung:

Das Außernatürliche bei Bacon

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_13_02_Aussernatuerliches.mp3

Bild:

Beschreibung:

Links:

Existenz

Von: 40:02
Bis: 43:24

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_14_Existenz.mp3

Existenz Teil 1

Von: 40:02
Bis: 42:15

Zusammenfassung:

Existenz ist kein Prädikat sondern ein Quantor
Welche Existenz ist kein Prädikat?

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_14_01_Existenz.mp3

Bild:

Beschreibung:

Links: Frege – Die Grundlagen der Arithmetik

Existenz Teil 2

Von: 42:16
Bis: 43:24

Zusammenfassung:

Existenz ist kein reales Prädikat (Kant)

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_14_02_Existenz_2.mp3

Bild:

Beschreibung:

Links:

Errechnen von Existenz

Von: 43:27
Bis: 45:54

Zusammenfassung:

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_15_errechnen_von_Existenz.mp3

Bild:

Beschreibung:

Links:

Totalitäten

Von: 45:54
Bis: 47:51

Zusammenfassung:

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_16_Totalitaeten.mp3

Bild:

Beschreibung:

Links:

Indirekter Beweis

Von: 47:51
Bis: 50:30

Zusammenfassung:

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_17_indirekter_Beweis.mp3

Bild:

Beschreibung:

Links:

Deduktive vs. Induktive Beweise

Von: 50:36
Bis: 54:08

Zusammenfassung:

Bei deduktiven Beweisen folgt aus gegeben Annahmen etwas logisch
Bei induktiven Beweisen werden beweisende Indizien angeführt
Kann mit Logik eigentlich etwas neues bewiesen werden?

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_18_deduktive_induktive_Beweise.mp3

Bild:

Beschreibung:

Links:

Ästhetische Aspekte der Beweise

Von: 54:13
Bis: 56:15

Zusammenfassung:

In Mathematik gibt es Interesse an schöneren Beweisen

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_19_Aesthetische_Aspekte.mp3

Bild:

Beschreibung:

Links:

Abschlußbemerkung

Von: 56:15
Bis: Ende

Zusammenfassung:

Audiofile: http://audiothek.philo.at/fileadmin/mp3/relecture/rv_17_12_09/rv_17_12_09_20_Abschlussbemerkung.mp3

Bild:

Beschreibung:

Links:

Template

Von:
Bis:

Zusammenfassung:

Audiofile:

Bild:

Beschreibung:

Links: