Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Mathematische Gesetze der Logik I

Vorlesungen über Aussagenlogik
BuchKartoniert, Paperback
556 Seiten
Deutsch
Springererschienen am29.02.20121959
A. Die Zielsetzung des Buches. Die mathematische Logik, die hinsichtlich ihrer Methode als Mathe- matik, hinsichtlich ihres Gegenstandes als Logik anzusprechen ist, stellt sich als eines jener Wissensgebiete dar, auf denen sich gegenwartig die ur- sprunglichen Interessen der Mathematiker und der nicht originar mathe- matisch orientierten Geisteswissenschaftler uberschneiden. Die Gesetz- maBigkeit des Denkens hat sich in weitem MaBe als eine so1che von der Art mathematischer GesetzmaBigkeiten enthlillt, und keine Logik kann an diesem Tatbestand mehr vorbeigehen, so wie heute etwa keine Physik mehr den analogen Tatbestand ignoriert. Das vorliegende Buch will sich demgemaB - wie die ihm zugrunde liegenden mehrfach gehaltenen Vorlesungen es wollten - zunachst an Mathematiker, zugleich aber auch an mathematisch interessierte Nicht- mathematiker - hiervor allem eben: an geisteswissenschaftlich orien- tierte Logiker - wenden. Diesem Ausgangsimpuls entspringt eine doppelte Zielsetzung. Einerseits will das Buch - im Gegensatz zu bloBen Anfangerbuchem - in jedem angeschnittenen Problemkreis bis zu seinen zentralen Fragestellungen vordringen und sie in exakter mathematischer Behandlungsweise beantworten. Andererseits solI es jedoch gleichzeitig mathematisch ausgebildeten Lesem das Instrumen- den nebenfachlich tarium, das zum vollen Erfassen des mathematischen Gehaltes des Stoffes natig ist, in die Hand geben.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR49,95
E-BookPDF1 - PDF WatermarkE-Book
EUR36,99

Produkt

KlappentextA. Die Zielsetzung des Buches. Die mathematische Logik, die hinsichtlich ihrer Methode als Mathe- matik, hinsichtlich ihres Gegenstandes als Logik anzusprechen ist, stellt sich als eines jener Wissensgebiete dar, auf denen sich gegenwartig die ur- sprunglichen Interessen der Mathematiker und der nicht originar mathe- matisch orientierten Geisteswissenschaftler uberschneiden. Die Gesetz- maBigkeit des Denkens hat sich in weitem MaBe als eine so1che von der Art mathematischer GesetzmaBigkeiten enthlillt, und keine Logik kann an diesem Tatbestand mehr vorbeigehen, so wie heute etwa keine Physik mehr den analogen Tatbestand ignoriert. Das vorliegende Buch will sich demgemaB - wie die ihm zugrunde liegenden mehrfach gehaltenen Vorlesungen es wollten - zunachst an Mathematiker, zugleich aber auch an mathematisch interessierte Nicht- mathematiker - hiervor allem eben: an geisteswissenschaftlich orien- tierte Logiker - wenden. Diesem Ausgangsimpuls entspringt eine doppelte Zielsetzung. Einerseits will das Buch - im Gegensatz zu bloBen Anfangerbuchem - in jedem angeschnittenen Problemkreis bis zu seinen zentralen Fragestellungen vordringen und sie in exakter mathematischer Behandlungsweise beantworten. Andererseits solI es jedoch gleichzeitig mathematisch ausgebildeten Lesem das Instrumen- den nebenfachlich tarium, das zum vollen Erfassen des mathematischen Gehaltes des Stoffes natig ist, in die Hand geben.
Details
ISBN/GTIN978-3-642-94781-0
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2012
Erscheinungsdatum29.02.2012
Auflage1959
Seiten556 Seiten
SpracheDeutsch
Gewicht878 g
IllustrationenXXIV, 556 S.
Artikel-Nr.29952328

Inhalt/Kritik

Inhaltsverzeichnis
Erster Teil. Alternäre Aussagenlogik..- § 1. Vorläufige Abgrenzung der Aussagenlogik.- 1. Abschnitt. Algebra der Logik..- I. Grundlegende Gesetze des Booleschen Verbandes.- II. Strukturelle Einblicke in die logische Algebra.- III. Widerspruchsfreiheit, Vollständigkeit und Entscheidungsdefinitheit der logischen Algebra.- IV. Zusätze zum Ausbau und zur Interpretation der logischen Algebra.- V. Algebra der ??-Logik.- 2. Abschnitt. Wertende Logik..- VI. Wahrheitswertung, Verknüpfungsbasen.- VII. Wahrformen.- VIII. Verallgemeinerte Wahrheitswertung (Quasiwahrheitswertung).- 3. Abschnitt. Grundlegende Begriffe zur deduktiven Logik..- IX. Kodifikation.- X. Grundlegende syntaktische Begriffsbildungen.- XI. Grundsätzliches zur deduktiven Aussagenlogik.- 4. Abschnitt. Normaldeduktive alternäre Aussagenlogik..- XII. Das Deduktionstheorem und Anschließendes.- XIII. Normaldeduktive alternäre v? ?-Aussagenlogik.- XIV. Normaldeduktive alternäre ??-Aussagenlogik.- 5. Abschnitt. Aufschichtende alternäre Aussagenlogik..- XV. Natürliche alternäre aufschichtende Aussagenlogik.- XVI. Kürzungserweiterte aufschichtende Aussagenlogik.- XVII. Schnittelimination beim natürlichen kürzungserweiterten KodifikatK.- XVIII. Aufschichtende alternäre ??-Logik.- Zweiter Teil. Nichtalternäre Aussagenlogik..- § 107. Das Ziel der nichtalternären Logik.- 6. Abschnitt. Die derivative Aussagenlogik und ihre normaldeduktive Kodifikation..- XIX. Derivative ?- und ??-Logik.- XX. Derivative ?^- und ?^?-Logik.- XXI. Entwickelnde derivative Implikationslogik.- XXII. Natürliche derivative Logik.- 7. Abschnitt. Normaldeduktive intuitionistische Aussagenlogik..- XXIII. Die normaldeduktive Behandlung der intuitionistischen Aussagenlogik.- XXIV. CharakteristischeEigenschaften der intuitionistischen Aussagenlogik.- 8. Abschnitt. Aufschichtende derivative und intuitionistische Aussagenlogik..- XXV. Die aufschichtende Behandlung der derivativen und der intuitionistischen Aussagenlogik.- XXVI. Die Angemessenheit der aufschichtenden Kodifikate.- 9. Abschnitt. Handliches Entscheidungsverfahren für die natürliche derivative und intuitionistische Aussagenlogik..- XXVII. Vorbereitung des Entscheidungsverfahrens.- XXVIII. Das Entscheidungsverfahren.- 10. Abschnitt. Strikte Aussagenlogik..- § 161. Einführendes zur strikten Logik.- XXIX. Engere strikte Aussagenlogik.- XXX. Eine erste Erweiterung der strikten Logik.- 11. Abschnitt. Strikte Aussagen- und Modalitätenlogik..- XXXI. Die Modalitäten notwendig und möglich in der strikten Logik.- XXXII. Die Modalitätenaxiome. Verschärfte strikte Logik.- XXXIII. Entscheidungsverfahren für die verschärfte strikte Logik.- XXXIV. Die Modalitäten offen und zufällig in der strikten Logik.- § 192. Vorläufiges Beispiel einer aussagenlogisch fundierten Theorie.- Übersicht über die logischen Zeichen.- Verzeichnis der wichtigsten numerierten Formen.- Literatur.mehr