Logik Fur Dummies (Fur Dummies)

Logik Fur Dummies (Fur Dummies)

By: Mark Zegarelli (author)Paperback

1 - 2 weeks availability

Description

We do not currently have a description for this product.

Create a review

Contents

Einfuhrung 21 Uber dieses Buch 21 Konventionen in diesem Buch 22 Was Sie nicht unbedingt lesen mussen 23 Torichte Annahmen uber den Leser 23 Wie dieses Buch aufgebaut ist 23 Teil I: Ein kurzer Uberblick uber die Logik 23 Teil II: Formale Aussagenlogik 24 Teil III: Beweise, Syntax und Semantik in der Aussagenlogik 24 Teil IV: Pradikatenlogik 24 Teil V: Moderne Entwicklungen in der Logik 24 Teil VI: Der Top-Ten-Teil 25 In diesem Buch verwendete Symbole 25 Wie es weitergeht 25 Teil I Ein kurzer Uberblick uber die Logik 27 Kapitel 1 Logik was ist das eigentlich? 29 Wie man die Dinge logisch sieht 29 Wie man von der Frage zur Antwort kommt 30 Was Ursache und Wirkung miteinander zu tun haben 30 Alles und noch mehr 32 Sein oder Nichtsein 32 Wichtige Worter in der Logik 33 Wie man Argumente konstruiert 33 Wie man Pramissen aufstellt 34 Wie man mit Zwischenschritten zur Antwort gelangt 34 Wie man eine Konklusion formuliert 34 Wie man entscheidet, ob das Argument gultig ist 35 Was sind Enthymeme? 35 Logische Schlusse: leicht gemacht durch Denkgesetze 35 Der Satz der Identitat 36 Der Satz vom ausgeschlossenen Dritten 36 Das Gesetz der Nichtwiderspruchlichkeit 36 Wie man Logik und Mathematik miteinander kombiniert 37 Die Mathematik hilft, die Logik zu verstehen 37 Die Logik hilft, die Mathematik zu verstehen 37 Kapitel 2 Die Geschichte der Logik von Aristoteles bis zum Computer 39 Die klassische Logik von Aristoteles bis zur Aufklarung 39 Aristoteles erfindet die syllogistische Logik 40 Euklids Axiome und Theoreme 43 Chrysippos und die Stoiker 44 Die Logik macht Urlaub 44 Die moderne Logik das 17., 18. und 19. Jahrhundert 45 Leibniz und die Fruhaufklarung 45 Der Ausbau zur formalen Logik 46 Freges formale Logik 48 Die Logik im 20. und 21. Jahrhundert 49 Die nichtklassische Logik 50 Godels Beweis 50 Das Computerzeitalter 51 Auf der Suche nach der endgultigen Grenze 51 Kapitel 3 Die Hauptsache: das Argument 53 Was ist Logik? 53 Wie man die Argumentstruktur pruft 54 Die Gultigkeitsprufung 55 Weitere Beispiele fur Argumente 56 Eis am Sonntag 57 Fiffis Kummer 57 Flucht aus Berlin 58 Der Fall des schlecht gelaunten Mitarbeiters 58 Was Logik nicht ist 59 Denken kontra Logik 60 Die Wirklichkeit was fur ein Begriff! 61 Die Schlussigkeit eines Arguments 61 Deduktion und Induktion 63 Rhetorische Fragen 64 Wozu dient eigentlich die Logik? 66 Wahl eine Zahl (Mathematik) 66 Flieg mit mir zumMond (Wissenschaft) 67 Schalt ein oder aus (Computerwissenschaft) 67 Erzahlen Sie das dem Richter (Recht) 67 Finden Sie den Sinn des Lebens (Philosophie) 68 Teil II Formale Aussagenlogik 69 Kapitel 4 Formales 71 Wichtig: die Formalitaten bei der Aussagenlogik 71 Aussagenkonstanten 72 Aussagenvariablen 72 Wahrheitswerte 73 Die funf Operatoren der Aussagenlogik 73 Negativ fuhlen 74 Nach dem "oder" graben 77 Nun wird es aber heikel 79 Nun wird es sogar noch heikler 81 Warum Aussagenlogik wie einfache Arithmetik ist 83 Die Ein- und Ausgabe von Werten 83 Fur einen Stellvertreter gibt es keinen Ersatz 84 Wir setzen Klammern 85 Lost in Translation 85 Der einfache Weg das Ubersetzen aus der Aussagenlogik ins Deutsche 86 Der nicht-so-einfache Weg das Ubersetzen aus dem Deutschen in die Aussagenlogik 87 Kapitel 5 Der Wert der Bewertung 91 Der Wert ist das Entscheidende 91 Wie man mit der Bewertung von Aussagen vertraut wird 92 Wie man ein weiteres Verfahren ausprobiert 94 Wie man eine Aussage macht 95 Wie man Teilaussagen ermittelt 95 Wie man eine Aussage eingrenzt 96 Der Hauptanziehungspunkt: die Suche nach den Hauptoperatoren 98 Die acht verschiedenen Aussagen in der Aussagenlogik 100 Teile vom Ganzen 100 Kommen wir auf die Bewertung zuruck 101 Kapitel 6 Wie man mit Wahrheitstafeln Aussagen bewertet 103 Kommen Sie mal nach vorne an die Tafel! Von der Freude an der rohen Gewalt 103 Die erste Wahrheitstafel fur Abc-Schutzen 104 Wie man eine Wahrheitstafel erstellt 104 Wie man eine Wahrheitstafel ausfullt 107 Wie man eine Wahrheitstafel analysiert 110 Wie man Wahrheitstafeln einsetzt 110 Wie man es mit Tautologien und Kontradiktionen aufnimmt 110 Woran man semantische Aquivalenz erkennt 111 Wie man konsistent bleibt 113 Wie man sich um die Gultigkeit streitet 115 Wie man die Teile zusammensetzt 117 Wie man Tautologie und Kontradiktion miteinander verbindet 118 Wie man semantische Aquivalenz und Tautologie miteinander verbindet 119 Wie man Inkonsistenz und Kontradiktion miteinander verbindet 120 Wie man Gultigkeit und Kontradiktion miteinander verbindet 121 Kapitel 7 Die einfache Losung: Wie man Schnelltafeln erstellt 123 Wie man der Wahrheitstafel wegen einer neuen Freundin den Laufpass gibt: die Schnelltafel 124 Eine kurze Zusammenfassung des Schnelltafelverfahrens 125 Wie man eine strategische Annahme aufstellt 125 Wie man eine Schnelltafel ausfullt 126 Wie man eine Schnelltafel deutet 126 Wie man eine Annahme widerlegt 127 Wie man seine Strategie plant 128 Tautologie 128 Kontradiktion 129 Logisch nicht determinierte Aussagen 129 Semantische Aquivalenz oder Nichtaquivalenz 129 Konsistenz und Inkonsistenz 130 Gultigkeit und Ungultigkeit 130 Wie man mit Schnelltafeln eleganter arbeitet 131 Wie man die sechs einfachsten Typen von Aussagen erkennt und mit ihnen arbeitet 131 Wie man mit den vier nicht-so-einfachen Aussagentypen arbeitet 133 Wie man die sechs schwierigen Aussagentypen bewaltigt 135 Kapitel 8 Die Wahrheit wachst auf Baumen 139 Wie Wahrheitsbaume funktionieren 139 Wie man Aussagen zerlegt 140 Wie man mit Baumen Aufgaben lost 142 Wie man Konsistenz oder Inkonsistenz aufzeigt 142 Wie man auf Gultigkeit oder Ungultigkeit testet 145 Wie man Tautologien, Kontradiktionen und logisch nicht determinierte Aussagen voneinander trennt 147 Tautologien 147 Kontradiktionen 150 Logisch nicht determinierte Aussagen 153 Wie man auf semantische Aquivalenz testet 153 Teil III Beweise, Syntax und Semantik in der Aussagenlogik 157 Kapitel 9 Was mussen Sie beweisen? 159 Wie man von der Pramisse zur Konklusion gelangt 159 Wie man in der Aussagenlogik die Implikationsregeln anwendet 161 Die -Regeln: Modus ponens und Modus tollens 161 Die &-Regeln: Konjunktion und Simplifikation 164 Die -Regeln: Addition und disjunktiver Syllogismus 167 Die beiden -Regeln: hypothetischer Syllogismus und konstruktives Dilemma 169 Kapitel 10 Chancengleichheit: wie man den Aquivalenzregeln Arbeit verschafft 173 Wie man Implikationen und Aquivalenzen voneinander unterscheidet 173 Warum Aquivalenzen wahre Tausendsassa sind 174 Wie man Aquivalenzen von einem Teil auf das Ganze anwendet 174 Woran man die zehn gultigen Aquivalenzen erkennt 174 Doppelte Negation (DN) 175 Kontraposition (Kontra) 175 Implikation (Impl) 176 Exportation (Exp) 178 Kommutation (Kom) 179 Assoziation (Ass) 179 Distribution (Dist) 180 DeMorgan-Theorem (DeM) 182 Tautologie (Taut) 183 Aquivalenz (Aquiv) 183 Kapitel 11 Konditionalbeweise und indirekte Beweise 187 Wie man die Pramissen mit dem Konditionalbeweis aufarbeitet 187 Wir lernen den Konditionalbeweis kennen 188 Wie man Anderungen an der Konklusion vornimmt 190 Wie man Annahmen aussondert 192 Indirekt denken: Wie man Argumente mit indirekten Beweisen beweist 193 Was ist ein indirekter Beweis? 194 Wie man kurze Konklusionen beweist 195 Wie man Konditionalbeweise und indirekte Beweise miteinander kombiniert 196 Kapitel 12 Wie man alles zusammenpackt: strategisch vorgehen, um jeden Beweis blitzschnell zu knacken 199 Leichte Beweise: den richtigen Ansatz wahlen 200 Schauen Sie sich die Aufgabe an 200 Schreiben Sie den leichten Kram auf 201 Wie geht es weiter? 203 Moderate Beweise: Wann wendet man den Konditionalbeweis an? 203 Die drei freundlichen Formen: x y, x y und (x & y) 204 Die beiden weniger freundlichen Formen: x y und ~(x y) 205 Die drei unfreundlichen Formen: x & y, ~(x y) und ~(x y) 207 Schwierige Beweise: Was macht man, wenn es immer komplizierter wird? 207 Treffen Sie uberlegt eine Wahl zwischen einem direkten und einem indirekten Beweis 207 Arbeiten Sie sich ruckwarts von der Konklusion ab vor 209 Vertiefen Sie sich in die Aussagen der Aussagenlogik 211 Zerlegen Sie lange Pramissen 214 Stellen Sie eine scharfsinnige Vermutung an 216 Kapitel 13 Einer fur alle und alle fur einen 219 Wie man sich mit den funf Operatoren der Aussagenlogik behelfen kann 219 Stellenabbau eine wahre Geschichte 221 Die Tyrannei der Macht 222 Es kommt zum Aufstand 222 Die Zwickmuhle 223 Der geniale Shefferstrich 224 Die Moral von der Geschicht 225 Kapitel 14 Syntaktische Manover und semantische Betrachtungen 227 Wohlgeformte Formeln (WFF) und nichtwohlgeformte 227 Was sind WFFs? 228 Die Regeln werden gelockert 229 WFFs werden von den Nicht-WFFs getrennt 230 Der Vergleich zwischen Aussagenlogik und boolescher Algebra 231 Die Zeichen lesen 231 Mathematik betreiben 233 Syntax und Semantik der booleschen Algebra erforschen 234 Teil IV Pradikatenlogik 235 Kapitel 15 Wie man Quantitat mit Qualitat ausdruckt: Die Pradikatenlogik stellt sich vor 237 Werfen wir einen kurzen Blick auf die Pradikatenlogik 238 Wie man Individuenkonstanten und Eigenschaftskonstanten einsetzt 238 Die Operatoren der Aussagenlogik kommen ins Spiel 240 Wofur die Individuenvariablen stehen 241 Wie sich Quantitat mit zwei neuen Operatoren ausdrucken lasst 242 Was ist ein Allquantor? 242 Wie man "Es gibt-Aussagen" einfangt 243 Der jeweilige Individuenbereich 244 Wie man Aussagen und Aussageformen auseinanderhalt 246 Wie man den Skopus eines Quantors bestimmt 246 Wir entdecken gebundene Variablen und freie Variablen 247 Welcher Unterschied besteht zwischen Aussagen und Aussageformen? 247 Kapitel 16 Ubersetzungen in die Pradikatenlogik 249 Wie man die vier Grundformen kategorischer Aussagen ubersetzt 249 "Alle" und "einige" 249 "Nicht alle" und "kein" 252 Alternative Ubersetzungen der Grundformen 253 Wie man "alle" mit und ~ ubersetzt 253 Wie man "einige" mit und ~ ubersetzt 254 Wie man "nicht alle" mit ubersetzt 254 Wie man "kein" mit ubersetzt 255 Wie man maskierte Aussagen identifiziert 255 "Alle"-Aussagen erkennen 256 "Einige"-Aussagen erkennen 256 "Nicht alle"-Aussagen erkennen 256 "Kein"-Aussagen erkennen 257 Kapitel 17 Mit der Pradikatenlogik die Gultigkeit von Argumenten beweisen 259 Wie man Regeln aus der Aussagenlogik in der Pradikatenlogik einsetzt 259 Der Vergleich von Aussagen der Aussagenlogik und der Pradikatenlogik 260 Wie man die acht Implikationsregeln der Aussagenlogik in die Pradikatenlogik ubertragt 260 Wie man in der Pradikatenlogik die zehn Aquivalenzregeln einsetzt 263 Wie man Aussagen mithilfe der Quantorennegation (QN) transformiert 263 Die Quantorennegation stellt sich vor 264 Wie man QN bei Beweisen einsetzt 265 Die vier Quantorenregeln 266 Leichte Regel Nr. 1: die universelle Instanziierung (UI) 267 Leichte Regel Nr. 2: die existenzielle Generalisierung 270 Die nicht-so-einfache Regel Nr. 1: die existenzielle Instanziierung (EI) 272 Die nicht-so-einfache Regel Nr. 2: die universelle Generalisierung (UG) 276 Kapitel 18 Gute Beziehungen und positive Identitaten 281 Was sind Relationen? 281 Wie man Relationen definiert und nutzt 282 Wie man relationale Ausdrucke miteinander verknupft 283 Wie man Quantoren bei Relationen verwendet 283 Wie man mit mehreren Quantoren arbeitet 284 Wie man Beweise mit Relationen erstellt 286 Wie man Identitaten identifiziert 288 Was sind Identitaten? 289 Wie man Beweise mit der Identitat erstellt 289 Kapitel 19 Wir pflanzen viele Baumchen 293 Wie Sie Ihr Wissen uber Wahrheitsbaume in der Pradikatenlogik anwenden konnen 293 Der Einsatz der Zerlegungsregeln aus der Aussagenlogik 293 UI, EI und QN gesellen sich dazu 295 Der wiederholte Einsatz von UI 297 Nicht-endende Baume 300 Teil V Moderne Entwicklungen in der Logik 303 Kapitel 20 Computerlogik 305 Fruhe Computer 305 Babbage entwirft die ersten Computer 305 Turing und seine Turing-Maschine 306 Das moderne Computerzeitalter 308 Hardware und logische Gatter 308 Software und Computersprachen 310 Kapitel 21 Die nichtklassische Logik 313 Die Tur zum Moglichen wird aufgestossen 313 Die dreiwertige Logik 314 Die mehrwertige Logik 315 Die Fuzzy-Logik 316 Klaren wir die Modalitaten! 318 Wie man mit Aussagen in indirekter Rede umgeht 320 Die Logik einer hoheren Ordnung 320 Uber die Konsistenz hinaus 321 Wir setzen zumQuantensprung an 322 Ein Quantchen Quantenlogik 323 Wir spielen das Hutchenspiel 323 Kapitel 22 Paradoxe und axiomatische Systeme 325 Die Fundierung der Logik durch die Mengenlehre 325 Die Anordnung der Dinge 326 Der Arger mit dem Paradox: wie man dieses Problemmit der Mengenlehre angeht 327 Die Losung des Problems in den Principia Mathematica 328 Die Aussagenlogik als axiomatisches System 329 Wie man Korrektheit und Vollstandigkeit beweist 330 Korrektheit und Vollstandigkeit von Aussagenlogik und Pradikatenlogik 331 Wie das Hilbert-Programm Logik und Mathematik formalisiert 331 Godels Unvollstandigkeitssatz 332 Die Bedeutung des godelschen Unvollstandigkeitssatzes 332 Wie er es anstellte 332 Was hat das alles zu bedeuten? 333 Teil VI Der Top-Ten-Teil 335 Kapitel 23 Zehn Zitate zur Logik 337 Kapitel 24 Zehn grosse Personlichkeiten der Logik 339 Aristoteles (384 322 v. Chr.) 339 Gottfried Wilhelm Leibniz (1646 1716) 339 George Boole (1815 1864) 339 Lewis Carroll (1832 1898) 340 Georg Cantor (1845 1918) 340 Gottlob Frege (1848 1925) 340 Bertrand Russell (1872 1970) 341 David Hilbert (1862 1943) 341 Kurt Godel (1906 1978) 341 Alan Turing (1912 1954) 342 Stichwortverzeichnis 343

Product Details

  • publication date: 13/01/2016
  • ISBN13: 9783527711031
  • Format: Paperback
  • Number Of Pages: 351
  • ID: 9783527711031
  • weight: 448
  • ISBN10: 3527711031
  • language of text: German

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close