Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3) - Image 1

£139.71

Springer Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Name: Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)
Brand: Springer
Price: 127.36 GBP
Availability: InStock

History of Mathematics

Price History & Forecast

Last 79 days • 79 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 79 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £127 (68 days, 86.1%)

Price range: £127 - £140

Price levels: 2 different prices over 79 days

Description

Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge "etwas Schriftliches verfassen", das man mit nach Hause nehmen könne. Hinzu kam schließlich noch das Wissen um didaktische Nachteile vieler Logik-Bücher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschließlich die axiomatische Methode, in einem weiteren allein das natürliche Schließen und in einem dritten nur der Kalkül der PositivfNegativ-Teile vorgeführt wird, so fällt es selbst einem routinier ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkülisierungen einzusehen. Weichen dann auch noch die Systematisierungen der Se mantik erheblich voneinander ab, so wird ein Nichtmathematiker ver mutlich sogar den Eindruck gewinnen, die fraglichen Bücher handelten von verschiedenen Gegenständen. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bücher, die das Wort ,Logik' im Titel tragen, werden nämlich umgekehrt mehr oder weniger ausführlich Bereiche einbezogen, die zwar für Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit über den Rahmen der Logik hinausführen, wie z. B. Rekursionstheorie, axiomatische Mengenlehre oder Hilbertsche Beweis theorie. Zieht man die Grenze einmal so weit, so ist nicht zu erkennen, warum nicht noch viel mehr einbezogen werden sollte. In zunehmendem Maße spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540122109
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 01 November 1983
Listed Since: 06 July 2007

Barcode

No barcode data available

Springer Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic for Computer Science and Artificial Intelligence

Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe: 19 (Mathematisch-Naturwissenschaftliche Bibliothek, 19)

Logic in High Definition: Trends in Logical Semantics: 56

Three Views of Logic: Mathematics, Philosophy, and Computer Science

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Studies in Logic and the Foundations of Mathematics): Volume 151

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Logic: An Introduction (Fundamentals of Philosophy)

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

An Introduction to Substructural Logics

Logic Colloquium '03: Lecture Notes in Logic 24

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

J. Michael Dunn on Information Based Logics: 8 (Outstanding Contributions to Logic, 8)

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

How To Do Things With Logic

Logic in Practice: 23 (Routledge Library Editions: Logic)

Logic: An Introduction (Fundamentals of Philosophy)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic and Philosophy: A Modern Introduction

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Selected Papers Of John H. Holland: A Pioneer In Complexity Science: 4 (Exploring Complexity)

Proofs and Computations (Perspectives in Logic)