Argumentationstheorie 9. Sitzung
|
|
- Kurt Bäcker
- vor 6 Jahren
- Abrufe
Transkript
1 Terminplan Argumentationstheorie 9. Sitzung Oktober November Dezember Januar ebruar Test 3 Prof. Dr. Ansgar Beckermann intersemester 2004/ Test Test Gültige Schlüsse ehlschlüsse modus ponens Bejahung des Nachsatzes enn A, dann B enn A, dann B A B B A Gültige Schlüsse ehlschlüsse Kontraposition enn A, dann B enn nicht B, dann nicht A alsche Kontraposition enn A, dann B enn nicht A, dann nicht B modus tollens enn A, dann B nicht B nicht A Verneinung des Vord.satzes enn A, dann B nicht A nicht B Hypothetischer Syllogismus enn A, dann B enn B, dann C enn A, dann C
2 Gültige Schlüsse ehlschlüsse Verneintes und (1) Verneintes und (2) nicht (A und B) nicht (A und B) A nicht A nicht B B Gültige Schlüsse ehlschlüsse disjunktiver Syllogismus A oder B nicht A B disjunktiver Syllogismus entweder A oder B nicht A B Gültige Schlüsse ehlschlüsse entweder oder (2) entweder A oder B A nicht B oder (2) A oder B A nicht B jeder ein (1) jeder ein (2) Es gibt ein x, das zu allen y in der Relation steht. ür jedes y gibt es ein x, das zu ihm in der Relation steht. ür jedes y gibt es ein x, das zu ihm in der Relation steht. Es gibt ein x, das zu allen y in der Relation steht. Ein ist eine Situation, in der man nur die ahl zwischen schlechten Alternativen hat. Beispiel Ein Person hat sich der üste verirrt und kommt endlich an ein asserloch, in dem sich allerdings verseuchtes asser befindet. enn sie das asser trinkt, wird sie tödlich erkranken. enn sie das asser nicht trinkt, wird sie verdursten.
3 Jedem liegt ein Schluss der folgenden orm zugrunde. Jedem liegt ein Schluss der folgenden orm zugrunde. A oder B A oder B wenn A, dann C wenn A, dann C (P3) wenn B, dann D (P3) wenn B, dann D C oder D C oder D Schlüsse dieser orm sind Ein echtes beinhalten solche Schlüsse aber nur, wenn die Alternativen C und D beide schlecht oder inakzeptabel sind. Konstruktives Jedes beginnt mit einer Aussage der orm A oder B. Ein besonderer all liegt vor, wenn aus A und B dasselbe folgt. (P3) A oder B wenn A, dann C wenn B, dann C C Auch Schlüsse dieser orm sind gültig. A B C A oder B wenn A, dann C wenn B, dann C C
4 Beispiel Jede Handlung ist determiniert oder sie passiert rein zufällig. enn sie determiniert ist, ist sie nicht frei. (P3) enn sie rein zufällig passiert, ist sie nicht frei. Keine Handlung ist frei. Mit hypothetischen Prämissen argumentieren Manchmal benutzt man Argumente nicht, um die Konklusion zu stützen, sondern um klar zu machen, was aus einer bestimmten Annahme folgt. Da dieses Argument gültig ist, kann man es nur angreifen, indem man seine Prämissen bestreitet. Mit hypothetischen Prämissen argumentieren Es gibt freie Handlungen. enn eine Handlung durch andere Ereignisse determiniert ist, ist sie nicht frei. (P3) enn sie rein zufällig passiert, ist sie nicht frei. Es nicht der all, dass jede Handlung durch andere Ereignisse determiniert ist oder rein zufällig passiert. Mit diesem Argument soll gezeigt werden, dass es reiheit nur geben kann, wenn es neben der Determiniertheit durch andere Ereignisse und dem reinen Zufall noch etwas Drittes gibt. Beweis durch iderspruch Die Methode des Argumentierens mit hypothetischen Prämissen kann man unter bestimmten Umständen dazu benutzen, die alschheit einer Annahme zu beweisen. Denn wenn aus einer Annahme ihr Gegenteil oder ein iderspruch folgt, dann muss diese Annahme falsch sein.
5 Denn Argumente der folgenden beiden Arten sind gültig. wenn A, dann nicht A wenn A, dann nicht A nicht A nicht A A wenn A, dann nicht A nicht A wenn A, dann (B und nicht B) nicht A wenn A, dann (B und nicht B) nicht A A B wenn A, dann (B und nicht B) nicht A Anselms ontologischer Gottesbeweis Eine berühmtes Beispiel Anselm von Canterburys ontologischer Gottesbeweis ir glauben, dass Gott das ist, über dem nichts Größeres gedacht werden kann. Auch jemand, der Gott leugnet, versteht den Ausdruck etwas, über dem nichts Größeres gedacht werden kann. Und wenn jemand einen Ausdruck versteht, ist das, wofür der Ausdruck steht, in seinem Verstand.
6 Anselms ontologischer Gottesbeweis Sicher aber kann das, über dem Größeres nicht gedacht werden kann, nicht im Verstande allein sein. Denn wenn es im Verstande ist, kann gedacht werden, daß es auch in irklichkeit existiere was größer ist. enn also das, über dem Größeres nicht gedacht werden kann, im Verstande allein ist, so ist eben das, über dem Größeres nicht gedacht werden kann, etwas, über dem Größeres gedacht werden kann. Das aber kann gewiß nicht sein. Es existiert also ohne Zweifel etwas, über dem Größeres nicht gedacht werden kann, sowohl im Verstande als auch in irklichkeit. Gott = das esen, über dem Größeres nicht gedacht werden kann. Gott existiert im Verstand. Definition (P3) Gott existiert nur im Verstand. Annahme (P4) enn etwas im Verstand ist, kann gedacht werden, dass es auch in irklichkeit existiert. (P5) enn etwas in irklichkeit existiert, ist es größer, als wenn es nur im Verstand existiert. Denn selbst wer Gott leugnet, versteht den Ausdruck das esen, über dem Größeres nicht gedacht werden kann. (K1) enn etwas nur im Verstand existiert, kann über ihm Größeres gedacht werden. (K2) Über dem esen, über dem Größeres nicht gedacht werden kann, kann Größeres gedacht werden. (K3) Gott existiert nicht nur im Verstand, sondern auch in irklichkeit. Aus (P4) und (P5) Aus der Annahme (P3) und (K1). iderspruch!! Da aus der Annahme (P3) ein iderspruch folgt, muss die Annahme falsch sein. iderlegung der Behauptung, dass 2 eine rationale Zahl ist. Annahme: 2 ist eine rationale Zahl; d.h., es gibt zwei teilerfremde natürliche Zahl n und m mit (1) 2 = n/m Aus (1) folgt (2) 2 = n 2 /m 2 Also (3) 2 m 2 = n 2 D.h., n 2 ist eine gerade Zahl.
7 Das Quadrat einer Zahl ist aber nur dann gerade, wenn die Zahl auch selbst gerade ist. Aus (3) folgt also, dass es eine Zahl u gibt mit (4) n = 2 u Aus (3) und (4) folgt: (5) 2 m 2 = 2 2 u 2 Und hieraus (6) m 2 = 2 u 2 D.h., m 2 ist ebenfalls eine gerade Zahl und damit auch m. Also sind n und m nicht teilerfremd. Aus der Annahme Es gibt zwei teilerfremde Zahlen n und m mit 2 = n/m folgt also, dass n und m nicht teilerfremd sind. Also ist die Annahme falsch! D.h., 2 ist keine rationale Zahl. Ritter und Schurken Auf einer Insel leben nur Ritter und Schurken. Die Ritter sagen immer die ahrheit, während die Schurken immer lügen. Sie treffen zwei Inselbewohner Albert und Bruno. Albert sagt: Mindestens einer von uns ist ein Schurke. as sind Albert und Bruno? Raymond Smullyan ie heißt dieses Buch? Braunschweig/iesbaden: Vieweg 1981 Ritter und Schurken Albert sagt: Mindestens einer von uns ist ein Schurke. Angenommen: Albert ist ein Schurke. Dann lügt Albert. D.h., beide sind Ritter. Dann ist aber Albert ein Ritter und kein Schurke. Aus der Annahme folgt das Gegenteil. Also ist die Annahme falsch. D.h., Albert ist kein Schurke, sondern ein Ritter. Dann sagt er die ahrheit. Also ist Bruno ein Schurke.
8 Ritter und Schurken Albert sagt: Ich bin ein Schurke oder Bruno ist ein Ritter. Angenommen: Albert ist ein Schurke. Dann lügt Albert. D.h., er ist kein Schurke und Bruno ist kein Ritter. Aus der Annahme folgt das Gegenteil. Also ist die Annahme falsch. D.h., Albert ist kein Schurke, sondern ein Ritter. Dann sagt er die ahrheit. Also ist auch Bruno ein Ritter. Äquivokation Quaternio terminorum Vervierfachung der Begriffe Syllogismus Syllogismen sind Schlüsse wie Alle Säugetiere sind Tiere. Alle Hunde sind Säugetiere. Alle Hunde sind Tiere. Alle M sind P Alle S sind M Alle S sind P Syllogismen Alle M sind P Alle S sind M Alle S sind P Grundsätzliches In jedem Syllogismus kommen nur drei Begriffe vor: der Subjektbegriff S der Prädikatbegriff P und der Mittelbegriff M Alle M sind P Alle S sind M Alle S sind P Grundsätzliches Syllogismen In Syllogismen können Prämissen und Konklusion nur eine von vier ormen haben: Alle A sind B. Kein A ist B. Einige A sind B. a e i A a B A e B A i B Einige A sind nicht B. o A o B
9 Syllogismen Einige gültige Syllogismen Syllogismen Einige gültige Syllogismen barbara darii Alle M sind P M a P Alle M sind P M a P Alle S sind M S a M Einige S sind M S i M Alle S sind P S a P Einige S sind P S i P celarent ferio Kein M ist P M e P Kein M ist P M e P Alle S sind M S a M Einige S sind M S i M Kein S ist P S e P Einige S sind nicht P S o P
Formale Logik. 4. Sitzung. Die Logik der Sprache AL. Die Logik der Sprache AL. Die Logik der Sprache AL
ormale Logik 4. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Erinnerung Ein Satz ist genau dann logisch wahr, wenn er unabhängig davon, was die in ihm vorkommenden deskriptiven Zeichen bedeuten
MehrErinnerung 1. Erinnerung 2
Erinnerung 1 Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass
MehrLogik und Missbrauch der Logik in der Alltagssprache
Logik und Missbrauch der Logik in der Alltagssprache Wie gewinnt man in Diskussionen? Carmen Kölbl SS 2004 Seminar: " Logik auf Abwegen: Irrglaube, Lüge, Täuschung" Übersicht logische Grundlagen Inferenzregeln
MehrAnselm von Canterbury
Anselm von Canterbury *1034 in Aosta/Piemont Ab 1060 Novize, dann Mönch der Benediktinerabtei Bec ab 1078: Abt des Klosters von Bec 1093: Erzbischof von Canterbury *1109 in Canterbury 1076 Monologion (
MehrArgumentationstheorie 5. Sitzung
Zwei Arten von Schlüssen Argumentationstheorie 5. Sitzung All reasonings may be divided into two kinds, namely demonstrative reasoning, [ ] and moral (or probable) reasoning. David Hume An Enquiry Concerning
MehrLogisches und Widersprüchliches
Logisches und Widersprüchliches Manfred Dobrowolski Universität Würzburg Logisches und Widersprüchliches 1 Wahr oder falsch? 2 Antinomien 3 Logik-Rätsel 4 Paradoxien 5 Die Umkehr der Höflichkeit Aussagen
MehrVorlesung Einführung in die Logik Prädikatenlogik. Philipp Etti (Institut für Logik+Wissenschaftstheorie)
Vorlesung Einführung in die Logik Prädikatenlogik Philipp Etti (Institut für Logik+Wissenschaftstheorie) www.etti.de.gg Aussagenlogik versus Prädikatenlogik AL: * Aussagenlogik Prädikatenlogik * Aussage
MehrRhetorik und Argumentationstheorie.
Rhetorik und Argumentationstheorie 2 [frederik.gierlinger@univie.ac.at] Teil 2 Was ist ein Beweis? 2 Wichtige Grundlagen Tautologie nennt man eine zusammengesetzte Aussage, die wahr ist, unabhängig vom
MehrAufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6.
Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den 7.9.01 Vorkurs Mathematik WS 01/13 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht
MehrSudoku. Warum 6? Warum 6?
. / Sudoku Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem x Kästchen alle Zahlen von bis stehen.. / Warum?. / Warum?. / Geschichte der Logik Syllogismen (I) Beginn
MehrLogik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016
Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe16 Ronja Düffel 21. März 2016 Logik und Beweise Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe.
MehrAufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den
Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht
MehrAnselms Gottesbeweis und die Logik. und überhaupt: Beweise
Anselms Gottesbeweis und die Logik und überhaupt: Beweise Inhalt 1) Vorbemerkungen zur Logik (und Wissenschaft) 2) Vorbemerkungen zu Gottesbeweisen und zu Anselm von Canterbury 3) Anselms Ontologisches
MehrEinführung in die Logik
Einführung in die Logik Prof. Dr. Ansgar Beckermann Wintersemester 2001/2 Allgemeines vorab Wie es abläuft Vorlesung (Grundlage: Ansgar Beckermann. Einführung in die Logik. (Sammlung Göschen Bd. 2243)
Mehr7 Gültigkeit und logische Form von Argumenten
7 Gültigkeit und logische Form von Argumenten Zwischenresümee 1. Logik ist ein grundlegender Teil der Lehre vom richtigen Argumentieren. 2. Speziell geht es der Logik um einen spezifischen Aspekt der Güte
MehrHandout zu Beweistechniken
Handout zu Beweistechniken erstellt vom Lernzentrum Informatik auf Basis von [Kre13],[Bün] Inhaltsverzeichnis 1 Was ist ein Beweis? 2 2 Was ist Vorraussetzung, was ist Behauptung? 2 3 Beweisarten 3 3.1
MehrGottesbeweise Universum Warum sind nicht alle Menschen von der Existenz Gottes überzeugt?
Gottesbeweise Warum sind nicht alle Menschen von der Existenz Gottes überzeugt? Ich begegne Menschen, die von der Existenz Gottes überzeugt sind. Andere können keinen Gott erkennen. Wer hat Recht? Es müsste
Mehr5 Logische Programmierung
5 Logische Programmierung Logik wird als Programmiersprache benutzt Der logische Ansatz zu Programmierung ist (sowie der funktionale) deklarativ; Programme können mit Hilfe zweier abstrakten, maschinen-unabhängigen
MehrWelcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden:
Übungsaufgaben 1. Aufgabe 1 Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: a. x ist eine gerade Zahl. Aussageform b. 10 ist Element der Menge A.
Mehr14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln
14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln Erinnerung Man kann die logischen Eigenschaften von Sätzen der Sprache AL in dem Maße zur Beurteilung der logischen
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 30.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 30. November 2016 Süddeutsche Zeitung, 8. Januar 2010 Fehlschluss: G L (L G) vielleicht
Mehr5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56
5 Beweistechniken Übersicht 5.1 Drei wichtige Beweistechniken................................. 55 5. Erklärungen zu den Beweistechniken............................ 56 Dieses Kapitel ist den drei wichtigsten
MehrÜbungen zur Wahrscheinlichkeitstheorie und Statistik
Übungen zur Wahrscheinlichkeitstheorie und Statistik Prof. Dr. C. Löh/M. Blank Blatt 0 vom 16. April 2012 Aufgabe 1 (Wahrscheinlichkeitsräume). Welche der folgenden Aussagen sind wahr? Begründen Sie jeweils
MehrDiese Unterteilung ist nicht exklusiv, Fachgrenzen (gerade auch im Zuge der interdisziplinären Vernetzung) durchlässig!
Allgemeine Begriffsbestimmung von Wissenschaft Wissenschaft ist der Oberbegriff für alle diejenigen Disziplinen menschlicher Forschung, deren Ziel es ist, Tatsachen über Bereiche der Natur sowie der geistigen,
MehrWissenschaftliches Arbeiten
Teil 7: Argumentieren und Begründen 1 Grundregel: Spezifisch argumentieren Wissenschaftliches Arbeiten Nie mehr zeigen, als nötig oder gefragt ist. Sonst wird das Argument angreifbar und umständlich. Schwammige
MehrKlassische Aussagenlogik
Eine Einführung in die Logik Schon seit Jahrhunderten beschäftigen sich Menschen mit Logik. Die alten Griechen und nach ihnen mittelalterliche Gelehrte versuchten, Listen mit Regeln zu entwickeln, welche
MehrDonnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.
Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )
Mehrmathe plus Aussagenlogik Seite 1
mathe plus Aussagenlogik Seite 1 1 Aussagenlogik 1.1 Grundbegriffe Def 1 Aussage Eine Aussage ist ein beschriebener Sachverhalt, dem eindeutig einer der Wahrheitswerte entweder wahr oder falsch zugeordnet
MehrUnabhängigkeit KAPITEL 4
KAPITEL 4 Unabhängigkeit 4.1. Unabhängigkeit von Ereignissen Wir stellen uns vor, dass zwei Personen jeweils eine Münze werfen. In vielen Fällen kann man annehmen, dass die eine Münze die andere nicht
MehrElementare Beweismethoden
Elementare Beweismethoden Christian Hensel 404015 Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrLogische Folgerung. Definition 2.11
Logische Folgerung Definition 2.11 Sei 2A eine aussagenlogische Formel und F eine endliche Menge aussagenlogischer Formeln aus A. heißt logische Folgerung von F genau dann, wenn I ( ) =1für jedes Modell
Mehreine Folge in R, für die man auch hätte schreiben können, wenn wir alle richtig raten, was auf dem Pünktchen stehen sollte.
Analysis, Woche 5 Folgen und Konvergenz A 5. Cauchy-Folgen und Konvergenz Eine Folge in R ist eine Abbildung von N nach R und wird meistens dargestellt durch {x n } n=0, {x n} n N oder {x 0, x, x 2,...
MehrAristoteles Satz vom Widerspruch. Prof. Dr. Gregor Nickel: Philosophie der Mathematik. (Vorlesung im Sommersemester 2016)
Aristoteles Satz vom Widerspruch Prof. Dr. Gregor Nickel: Philosophie der Mathematik (Vorlesung im Sommersemester 2016) Stand: 15.06.2016 Karsten Berg Ja, er gilt absolut! In der Logik und damit auch der
MehrProf. Christian Nimtz //
Programm Prof. Christian Nimtz www.nimtz.net // lehre@nimtz.net Theoretische Philosophie der Gegenwart Teil V: Religionsphilosophie Gott und seine Natur 1. Der Ausdruck Gott 2. Gott, Gott und Gottes Natur
MehrLösungshinweise zu Kapitel 4
L-23 Lösungshinweise zu Kapitel 4 zu Selbsttestaufgabe 4.3 (Regelumformungen 1) Die Regeln R1, R2 und R2 sind bereits in vereinfachter Form und entsprechen genau den Regeln GA-1, GA-8 und GA-7. Die Umformung
MehrStrukturelle Rekursion und Induktion
Kapitel 2 Strukturelle Rekursion und Induktion Rekursion ist eine konstruktive Technik für die Beschreibung unendlicher Mengen (und damit insbesondere für die Beschreibung unendliche Funktionen). Induktion
Mehr7 Der kleine Satz von Fermat
7 Der kleine Satz von Fermat Polynomkongruenz modulo p. Sei p eine Primzahl, n 0 und c 0,..., c n Z. Wir betrachten die Kongruenz ( ) c 0 + c 1 X +... + c n 1 X n 1 + c n X n 0 mod p d.h.: Wir suchen alle
MehrWeitere Beweistechniken und aussagenlogische Modellierung
Weitere Beweistechniken und aussagenlogische Modellierung Vorlesung Logik in der Informatik, HU Berlin 2. Übungsstunde Aussagenlogische Modellierung Die Mensa versucht ständig, ihr Angebot an die Wünsche
Mehr24 KAPITEL 2. REELLE UND KOMPLEXE ZAHLEN
24 KAPITEL 2. REELLE UND KOMPLEXE ZAHLEN x 2 = 0+x 2 = ( a+a)+x 2 = a+(a+x 2 ) = a+(a+x 1 ) = ( a+a)+x 1 = x 1. Daraus folgt dann, wegen x 1 = x 2 die Eindeutigkeit. Im zweiten Fall kann man für a 0 schreiben
Mehr2.1 Beschreibung von Mengen 2.2 Formale Logik 2.3 Beziehungen zwischen Mengen 2.4 Mengenoperationen
2. Mengen 2.1 Beschreibung von Mengen 2.2 Formale Logik 2.3 Beziehungen zischen Mengen 2.4 Mengenoperationen 2. Mengen GM 2-1 Wozu Mengen? In der Mathematik Au dem Mengenbegri kann man die gesamte Mathematik
MehrFrege löst diese Probleme, indem er zusätzlich zum Bezug (Bedeutung) sprachlicher Ausdrücke den Sinn einführt.
1 Vorlesung: Denken und Sprechen. Einführung in die Sprachphilosophie handout zum Verteilen am 9.12.03 (bei der sechsten Vorlesung) Inhalt: die in der 5. Vorlesung verwendeten Transparente mit Ergänzungen
MehrFrage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung?
8 Grundsätzliches zu Beweisen Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung? ˆ Mathematik besteht nicht (nur) aus dem Anwenden auswendig gelernter Schemata. Stattdessen
MehrEntwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik) in Abgrenzung von der mittelalterlich-scholastischen Naturphilosophie
René Descartes (1596-1650) Meditationen über die Grundlagen der Philosophie (1641) Geistes- bzw. wissenschaftsgeschichtlicher Hintergrund Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik)
MehrDie Standardabweichung
Die Standardabweichung Ein anderes Maß, das wir im Zusammenhang mit den Messdaten und ihrem Durchschnittswert kennenlernen, ist die sogenannte Standardabweichung der Messdaten von ihrem arithmetischen
MehrLenstras Algorithmus für Faktorisierung
Lenstras Algorithmus für Faktorisierung Bertil Nestorius 9 März 2010 1 Motivation Die schnelle Faktorisierung von Zahlen ist heutzutage ein sehr wichtigen Thema, zb gibt es in der Kryptographie viele weit
Mehr1.2 Mengenlehre-Einführung in die reellen Zahlen
.2 Mengenlehre-Einführung in die reellen Zahlen Inhaltsverzeichnis Repetition 2 2 Dezimalzahlen 3 3 weitere irrationale Zahlen 4 3. Zusatz: Der Beweis, dass 2 irrational ist.......................... 5
Mehr4. Aussagenlogik 32 #WUUCIGPNQIKM
4. Aussagenlogik Wir haben bisher beschrieben, auf welche Weise die Objekte und Individuen in unserer Welt als einfache Mengen und Mengen von n-tupeln erfasst werden können. Daraufhin haben wir Relationen
MehrDefinition 3.1. Sei A X. Unter einer offenen Überdeckung von A versteht man eine Familie (U i ) i I offener Mengen U i X mit U i
3 Kompaktheit In der Analysis I zeigt man, dass stetige Funktionen f : [a, b] R auf abgeschlossenen, beschränkten Intervallen [a, b] gleichmäßig stetig und beschränkt sind und dass sie ihr Supremum und
Mehr1.2 Eigenschaften der ganzen Zahlen
Lineare Algebra I WS 2015/16 c Rudolf Scharlau 13 1.2 Eigenschaften der ganzen Zahlen Dieser Abschnitt handelt von den gewöhlichen ganzen Zahlen Z und ihren Verknüpfungen plus und mal. Man kann die natürlichen
MehrEthisch-moralisches Argumentieren Station 3: Sein-Sollen-Fehlschluss Seite 1 von 5. Grundlagen:
Ethisch-moralisches Argumentieren Station 3: Sein-Sollen-Fehlschluss Seite 1 von 5 Grundlagen: Die Grundlage unseres Argumentierens bildet der sog. Syllogismus, der aus Prämissen (Voraussetzungen) und
Mehr6 Reelle und komplexe Zahlenfolgen
$Id: folgen.tex,v.7 200//29 :58:57 hk Exp hk $ 6 Reelle und komplexe Zahlenfolgen 6. Folgenkonvergenz In der letzten Sitzung hatten wir den Begriff der Konvergenz einer reellen oder komplexen Folge gegen
MehrMathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1
Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1 1 Vorbemerkungen Mathematische Begriffe und Argumentationsweisen sind in vielen Fällen nötig, wo man über abstrakte Objekte sprechen und
MehrVorkurs Mathematik Logik und Beweise
Vorkurs Mathematik Logik und Beweise Axel Wagner 30. September 2012 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper Goch.
MehrGrundlagen der Mengenlehre
mathe plus Grundlagen der Mengenlehre Seite 1 1 Grundbegriffe Grundlagen der Mengenlehre Def 1 Mengenbegriff nach Georg Cantor (1845-1918) Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
MehrAxiomatische Beschreibung der ganzen Zahlen
Axiomatische Beschreibung der ganzen Zahlen Peter Feigl JKU Linz peter.feigl@students.jku.at 0055282 Claudia Hemmelmeir JKU Linz darja@gmx.at 0355147 Zusammenfassung Wir möchten in diesem Artikel die ganzen
Mehr3 Vollständige Induktion
3.1 Natürliche Zahlen In den vorherigen Kapiteln haben wir die Menge der natürlichen Zahlen schon mehrfach als Beispiel benutzt. Das Konzept der natürlichen Zahlen erscheint uns einfach, da wir es schon
MehrLösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 26. September 2016, Fehler und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
MehrFormale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30
Formale Methoden II SS 2008 Universität Bielefeld Teil 8, 11. Juni 2008 Gerhard Jäger Formale Methoden II p.1/30 Beispiele Anmerkung: wenn der Wahrheitswert einer Formel in einem Modell nicht von der Belegungsfunktion
MehrAnalyse ethischer Texte
WEITERBILDUNGSSTUDIENGANG ANGEWANDTE ETHIK SOMMERSEMESTER 2005 Prof. Dr. Kurt Bayertz Analyse ethischer Texte 23. Juli 2005 I. Was sind Argumente? Zunächst eine allgemeine Charakterisierung von Argumenten
MehrKonstruktion der reellen Zahlen 1 von Philipp Bischo
Konstruktion der reellen Zahlen 1 von Philipp Bischo 1.Motivation 3 1.1. Konstruktion von R im allgemeine 3 2.Voraussetzung 3 2.1Die Menge Q zusammen mit den beiden Verknüpfungen 3 2.2Die Rationalen Zahlen
MehrVorlesung. Einführung in die mathematische Sprache und naive Mengenlehre
Vorlesung Einführung in die mathematische Sprache und naive Mengenlehre Allgemeines RUD26 Erwin-Schrödinger-Zentrum (ESZ) RUD25 Johann-von-Neumann-Haus Fachschaft Menge aller Studenten eines Institutes
MehrGeisteswissenschaft. Carolin Wiechert. Was ist Sprache? Über Walter Benjamins Text Über Sprache überhaupt und über die Sprache des Menschen.
Geisteswissenschaft Carolin Wiechert Was ist Sprache? Über Walter Benjamins Text Über Sprache überhaupt und über die Sprache des Menschen Essay Veranstaltung: W. Benjamin: Über das Programm der kommenden
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Große Übung #2 Phillip Keldenich, Arne Schmidt 10.11.2016 Organisatorisches Fragen? Checkliste: Anmeldung kleine Übungen Anmeldung Mailingliste Dies ersetzt nicht die Prüfungsanmeldung!
MehrDie Menge C der komplexen Zahlen wird im Kapitel Weitere Themen behandelt.
1 1 Funktionen 1.1 Grundlegende Zahlenmengen Georg Cantor (1845-1918) hat den Begriff der Menge eingeführt. Man versteht darunter die Zusammenfassung einzelner Dinge, welche Elemente genannt werden, zu
Mehr3.5 Ringe und Körper. Diese Eigenschaften kann man nun auch. 1. (R, +) ist eine kommutative Gruppe. 2. Es gilt das Assoziativgesetz bezüglich.
3.5 Ringe und Körper Gehen wir noch mal zu den ganzen Zahlen zurück. Wir wissen: (Z, + ist eine Gruppe, es gibt aber als Verknüpfung noch die Multiplikation, es gibt ein neutrales Element bezüglich, es
MehrSeminar Kommutative Algebra und Varietäten Vortrag 1: Ideale kommutativer Ringe
Seminar Kommutative Algebra und Varietäten Vortrag 1: Ideale kommutativer Ringe Sebastian Dobrzynski 17042014 1 Grundsätzliches zu Idealen Vorab legen wir fest: Alle im Vortrag betrachteten Ringe sind
Mehr1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)
Technische Universität München Zentrum Mathematik PD Dr. Christian Karpfinger http://www.ma.tum.de/mathematik/g8vorkurs 1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Aufgabe 1.1: Gehen Sie die Inhalte
MehrWas kann PL? Klassische Analyse Prädikat Qualitätsanzeiger (am Prädikat) Der Weihnachtsmann existiert nicht.
1 Philosophisches Problem: Gibt es den Weihnachtsmann? 2 Was kann PL? 1. Die Formulierung von Thesen präzisieren, z.b. (Ü 11): Zwischen zwei Zeitpunkten liegt immer noch ein dritter wird zu x [ y [F x
Mehr1 Das Prinzip der vollständigen Induktion
1 1 Das Prinzip der vollständigen Induktion 1.1 Etwas Logik Wir nennen eine Formel oder einen Satz der Alltagssprache eine Aussage, wenn sie wahr oder falsch sein kann. Die Formeln 2 = 3, 2 4, 5 5 sind
MehrEinführung in die Wissenschaftsphilosophie
Einführung in die Wissenschaftsphilosophie Prof. Dr. Martin Kusch 1 Einführung in die Wissenschaftsphilosophie: 2. Vorlesung: Induktion 2 (1) Logik,
MehrSchließende Statistik: Hypothesentests (Forts.)
Mathematik II für Biologen 15. Mai 2015 Testablauf (Wdh.) Definition Äquivalente Definition Interpretation verschiedener e Fehler 2. Art und Macht des Tests Allgemein im Beispiel 1 Nullhypothese H 0 k
MehrZahlen und metrische Räume
Zahlen und metrische Räume Natürliche Zahlen : Die natürlichen Zahlen sind die grundlegendste Zahlenmenge, da man diese Menge für das einfache Zählen verwendet. N = {1, 2, 3, 4,...} Ganze Zahlen : Aus
MehrKapitel 3. Natürliche Zahlen und vollständige Induktion
Kapitel 3 Natürliche Zahlen und vollständige Induktion In Kapitel 1 haben wir den direkten Beweis, den modus ponens, kennen gelernt, der durch die Tautologie ( A (A = B) ) = B gegeben ist Dabei war B eine
MehrAlso kann nur A ist roter Südler und B ist grüner Nordler gelten.
Aufgabe 1.1: (4 Punkte) Der Planet Og wird von zwei verschiedenen Rassen bewohnt - dem grünen und dem roten Volk. Desweiteren sind die Leute, die auf der nördlichen Halbkugel geboren wurden von denen auf
MehrGerman Translations of Brad Yates Videos
German Translations of Brad Yates Videos Contents: You Matter Tapping for Rejection and Abandonment You Matter - Translated by Verena Besse http://www.youtube.com/watch?v=9xqeodupww4 Sie sind wichtig Eines
MehrWenn ich pro Sekunde eine natürliche Zahl aufzählen kann, kann ich in 2000 Sekunden alle natürlichen Zahlen aufsagen.
Schülerzirkel Mathematik Fakultät für Mathematik. Universität Regensburg Unendliche Mengen Immer eins mehr als du 1 Was ist unendlich? Michi sagt zu Anna: Wenn ich pro Sekunde eine natürliche Zahl aufzählen
Mehr11 Logarithmus und allgemeine Potenzen
Logarithmus und allgemeine Potenzen Bevor wir uns mit den Eigenschaften von Umkehrfunktionen, und insbesondere mit der Umkehrfunktion der Eponentialfunktion ep : R R + beschäftigen, erinnern wir an den
MehrWas es gibt und wie es ist
Was es gibt und wie es ist Dritte Sitzung Existenzfragen 0. Zur Erinnerung Benjamin Schnieder Philosophisches Seminar der Universität Hamburg 0 1 Was ist die Ontologie? Platons Bart Eine Standard-Antwort
MehrKonvergenz, Filter und der Satz von Tychonoff
Abschnitt 4 Konvergenz, Filter und der Satz von Tychonoff In metrischen Räumen kann man topologische Begriffe wie Stetigkeit, Abschluss, Kompaktheit auch mit Hilfe von Konvergenz von Folgen charakterisieren.
MehrDiophantische Gleichungen
Diophantische Gleichungen Pythagoras, Fermat und Homer Simpson Tag der Mathematik 2013 Lars Kindler, Freie Universität Berlin Benannt nach Diophant von Alexandrien (~ 250 v.chr) Sein wichtigstes Werk war
MehrLösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 11. Oktober 2016, Fehler, Ideen, Anmerkungen und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
MehrPrimzahlen. Herbert Koch Mathematisches Institut Universität Bonn Die Primfaktorzerlegung. a = st
Primzahlen Herbert Koch Mathematisches Institut Universität Bonn 12.08.2010 1 Die Primfaktorzerlegung Wir kennen die natürlichen Zahlen N = 1, 2,..., die ganzen Zahlen Z, die rationalen Zahlen (Brüche
MehrArbeitsblatt 2 Übungen zu Mathematik I für das Lehramt an der Grund- und Mittelstufe sowie an Sonderschulen H. Strade, B. Werner WiSe 06/
14. November 2006 Arbeitsblatt 2 Übungen zu Mathematik I für das Lehramt an der Grund- und Mittelstufe sowie an Sonderschulen H. Strade, B. Werner WiSe 06/07 31.10.06 Präsenzaufgaben: 1) Welche rationale
MehrEin Satz wird auch dunkel werden wo solch ein Begriff einfliest; Klar: Ist Erkenntnis wenn man die dargestellte Sache wieder erkennen kann.
Lebenslauf: Gottfried Wilhelm Leibniz: 1.Juli 1646(Leipzig) - 14. November 1716 (Hannover) mit 15 Besuchte er Uni Leipzig; mit 18 Mag; wegen seines geringen Alters (kaum 20) nicht zum Doktorat zugelassen;
MehrEinführung in die Mathematik (Vorkurs 1 )
Einführung in die Mathematik (Vorkurs 1 ) Wintersemester 2008/09 Dr. J. Jordan Institut für Mathematik Universität Würzburg Germany 1 Modulbezeichnung 10-M-VKM 1 Inhaltsverzeichnis 1 Aussagen und Beweise
Mehr6 Lineare Kongruenzen
6 Lineare Kongruenzen Sei m > 0 un a, b beliebig. Wir wollen ie Frage untersuchen, unter welchen Beingungen an a, b un m eine Zahl x 0 existiert, so aß ax 0 b mo m. Wenn ein solches x 0 existiert, sagen
MehrLeibniz. (G.W.F. Hegel)
Leibniz 3. Der einzige Gedanke den die Philosophie mitbringt, ist aber der einfache Gedanke der Vernunft, dass die Vernunft die Welt beherrsche, dass es also auch in der Weltgeschichte vernünftig zugegangen
MehrVon der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009
TU Dortmund, Wintersemester 2009/10 Institut für Philosophie und Politikwissenschaft C. Beisbart Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009
MehrTheoretische Informatik
Theoretische Informatik Einheit 1 Mathematische Methodik 1. Problemlösen 2. Beweistechniken 3. Wichtige Grundbegriffe Methodik des Problemlösens Klärung der Voraussetzungen Welche Begriffe sind zum Verständnis
MehrVertiefung NWI: 13. Vorlesung zur Wahrscheinlichkeitstheorie
Fakultät für Mathematik Prof. Dr. Barbara Gentz SS 2013 Vertiefung NWI: 13. Vorlesung zur Wahrscheinlichkeitstheorie Mittwoch, 10.7.2013 13. Markoffketten 13.1 Beispiele 1. Irrfahrt auf dem zweidimensionalen
Mehr1 Zahlentheorie. 1.1 Kongruenzen
3 Zahlentheorie. Kongruenzen Der letzte Abschnitt zeigte, daß es sinnvoll ist, mit großen Zahlen möglichst einfach rechnen zu können. Oft kommt es nicht darauf, an eine Zahl im Detail zu kennen, sondern
MehrFundamente der Computational Intelligence
Wintersemester 2005/06 Fundamente der Computational Intelligence (Vorlesung) Prof. Dr. Günter Rudolph Fachbereich Informatik Lehrstuhl für Algorithm Engineering Kapitel 2: Fuzzy Systeme Inhalt Fuzzy Mengen
MehrDidaktik der Stochastik
Didaktik der Stochastik. Didaktik der Stochastik Didaktik der Stochastik. Inhaltsverzeichnis Didaktik der Stochastik Ziele und Inhalte Beschreibende Statistik Wahrscheinlichkeitsrechnung Beurteilende Statistik
MehrErsetzbarkeitstheorem
Ersetzbarkeitstheorem Die Abgeschlossenheit läßt sich auch folgendermaßen formulieren: Ersetzbarkeitstheorem Seien F und G Formeln mit F G. SeienH und H Formeln, so daß H aus H hervorgeht, indem ein Vorkommen
MehrKapitel 4: Irreduzible und aperiodische Markov Ketten 1
Matrielnummer: 1152750 Projetseminar zur Stochasti Kapitel 4: Irreduzible und aperiodische Marov Ketten 1 Für einige besonders interessante Ergebnisse der Marov Theorie, werden zunächst bestimmte Annnahme
MehrAnalysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME
Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME Dietmar A. Salamon ETH-Zürich 23. Februar 2015 1 Topologische Grundbegriffe Sei (X, d) ein metrischer Raum, d.h. X ist eine Menge und d : X X R ist
MehrHausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia
Elementare Logik Diskrete Strukturen Uta Priss ZeLL, Ostfalia Sommersemester 2016 Diskrete Strukturen Elementare Logik Slide 1/26 Agenda Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung
MehrBrückenkurs. Beweise. Anja Haußen Brückenkurs, Seite 1/23
Brückenkurs Beweise Anja Haußen 30.09.2016 Brückenkurs, 30.09.2016 Seite 1/23 Inhalt 1 Einführung 2 Sätze 3 Beweise 4 direkter Beweis Brückenkurs, 30.09.2016 Seite 2/23 Einführung Die höchste Form des
Mehr